Formal Methods for the Analysis of Biomedical Ontologies Formal Methods for the Analysis of Biomedical Ontologies
2025
Advances in Digitalization and Machine Learning for Integrated Building-Transportation Energy Systems Advances in Digitalization and Machine Learning for Integrated Building-Transportation Energy Systems
2023
Formal Methods for the Analysis of Biomedical Ontologies Formal Methods for the Analysis of Biomedical Ontologies
2022
Permanent Magnet Synchronous Motor Drives for Gearless Traction Elevators Permanent Magnet Synchronous Motor Drives for Gearless Traction Elevators
2022
Reduced DC-link Capacitance AC Motor Drives Reduced DC-link Capacitance AC Motor Drives
2020
Position Sensorless Control Techniques for Permanent Magnet Synchronous Machine Drives Position Sensorless Control Techniques for Permanent Magnet Synchronous Machine Drives
2019