A5046185338- Advanced Chemical Sensor Technologies
- Advanced Malware Detection Techniques
- Building Energy and Comfort Optimization
- Air Quality Monitoring and Forecasting
- Machine Learning and Algorithms
- Reinforcement Learning in Robotics
- Software Testing and Debugging Techniques
- Formal Methods in Verification
- Music and Audio Processing
- Greenhouse Technology and Climate Control
- Evolutionary Algorithms and Applications
University of Udine
2020-2023
Real-time estimation of temperatures in indoor environments is critical for several reasons, including the upkeep comfort levels, fulfillment legal requirements, and energy efficiency. Unfortunately, setting an adequate number sensors at desired locations to ensure a uniform monitoring temperature given premise may be troublesome. Virtual sensing set techniques replace subset physical by virtual ones, allowing unreachable locations, reducing deployment costs, providing fallback solution...
In several domains, systems generate continuous streams of data during their execution, including meaningful telemetry information, that can be used to perform tasks like preemptive failure detection. Deep learning models have been exploited for these with increasing success, but they hardly provide guarantees over a problem which is exacerbated by lack interpretability. many critical contexts, formal methods, ensure the correct behavior system, are thus necessary. However, specifying in...
Real-time measurement of temperatures in indoor environments is important for several reasons, among which we mention the maintenance comfort levels, satisfaction legal requirements, and energy efficiency. However, placing a sufficient number sensors at required locations to guarantee uniform monitoring temperature given premise may be difficult, with result that typically just one or few are deployed. This case, instance, thermostats buildings. Virtual sensing technique by values from...