-
81
Thalime: A mobile app designed just for patients and their families
Published 2018-04-01Get full text
Article -
82
-
83
-
84
-
85
Growth differentiation factor 15 as a potential therapeutic for treating obesity
Published 2021-04-01Get full text
Article -
86
-
87
Thermodynamic and topological characterization of living systems
Published 2022Get full text
Thesis -
88
-
89
-
90
-
91
-
92
Compositional probabilistic verification through multi-objective model checking
Published 2013“…We target systems that exhibit both nondeterministic and stochastic behaviour, modelled as probabilistic automata, and augment these models with costs or rewards to reason about, for example, energy usage or performance metrics. Despite significant theoretical advances in compositional reasoning for probabilistic automata, there has been a distinct lack of practical progress regarding automated verification. …”
Journal article -
93
-
94
-
95
Coastal Harmful Algae Bloom Monitoring via a Sustainable, Sail-Powered Mobile Platform
Published 2019-10-01Get full text
Article -
96
Assessment of Physical Activity by Wearable Technology During Rehabilitation After Cardiac Surgery: Explorative Prospective Monocentric Observational Cohort Study
Published 2019-01-01“…Rehabilitation progress was assessed by measuring the number of steps and physical activity level daily. …”
Get full text
Article -
97
-
98
Performance and emissions of neat crude palm oil and its emulsions as diesel engine fuel
Published 2022Article -
99
-
100
Process Drivers, Inter-Model Spread, and the Path Forward: A Review of Amplified Arctic Warming
Published 2022-02-01Get full text
Article