01a Articolo in rivista
-
-
-
Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of space. For instance, a memory access to a...
-
-
-
Over the years, there have been many improvements in job-related safety standards and working conditions, but there are still many situations and environments where human lives are put at risk, such as in search and rescue situations, construction sites, and chemical plants. We envision a world...
-
Type 1 Diabetes Mellitus (DM1) patients are used to checking their blood glucose levels several times per day through finger sticks and, by subjectively handling this information, to try to predict their future glycaemia in order to choose a proper strategy to keep their glucose levels under...
-
Heart disease and stroke are becoming the leading causes of death worldwide. Electrocardiography monitoring devices (ECG) are the only tool that helps physicians diagnose cardiac abnormalities. Although the design of ECGs has followed closely the electronics miniaturization evolution over the years...
-
Machine learning techniques combined with wearable electronics can deliver accurate short-term blood glucose level prediction models. These models can learn personalized glucose-insulin dynamics based on the sensor data collected by monitoring several aspects of the physiological condition and...
-