CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Reachability computation for hybrid systems with Ariadne
Luca Benvenuti
,
Davide Bresolin
,
Alberto Casagrande
,
Pieter Collins
,
Alberto Ferrari
,
Emanuele Mazzi
,
Alberto Sangiovanni-Vincentelli
,
Tiziano Villa
2008-01-01
Cite
DOI
Type
Conference paper
Publication
IFAC PROCEEDINGS (IFAC 2008)
Related
An information-oriented paradigm in evaluating accuracy and agreement in radiology
Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests
Pressure-flow breath representation eases asynchrony identification in mechanically ventilated patients
An effective pressure-flow characterization of respiratory asynchronies in mechanical ventilation
Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings
Cite
×