-
81
Growth differentiation factor 15 as a potential therapeutic for treating obesity
Published 2021-04-01Get full text
Article -
82
-
83
Thermodynamic and topological characterization of living systems
Published 2022Get full text
Thesis -
84
-
85
-
86
-
87
-
88
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 -
89
Coastal Harmful Algae Bloom Monitoring via a Sustainable, Sail-Powered Mobile Platform
Published 2019-10-01Get full text
Article -
90
-
91
-
92
Process Drivers, Inter-Model Spread, and the Path Forward: A Review of Amplified Arctic Warming
Published 2022-02-01Get full text
Article -
93
-
94
-
95
International Directory of Company Histories; Vol. 109 /
Published 2010Get full text
software, multimedia -
96
Enhanced plasma performance in C-2W advanced beam-driven field-reversed configuration experiments
Published 2024-01-01Get full text
Article -
97
-
98
-
99
The Climate CoLab: Large scale model-based collaborative planning
Published 2014Get full text
Get full text
Article -
100