Latest

• Adaptive Directions for Bernstein-Based Polynomial Set Evolution
• An information-oriented paradigm in evaluating accuracy and agreement in radiology
• An information-oriented paradigm in evaluating accuracy and agreement in radiology
• Set-Based Invariants over Polynomial Systems
• Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests
• Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests
• Hybrid automata in systems biology
• Hybrid automata in systems biology
• Parameter synthesis of polynomial dynamical systems
• Pressure-flow breath representation eases asynchrony identification in mechanically ventilated patients
• 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
• Extending Information Agreement by Continuity
• Does every recursively enumerable set admit a finite-fold diophantine representation?
• Is Hyper-extensionality Preservable under Deletions of Graph Elements?
• Unwinding biological systems
• ϵ-Semantics computations on biological systems
• Approximated Symbolic Computations over Hybrid Automata
• Family fingerprints: a global approach to structural classification
• Composing FOCoRe Hybrid Automata
• A consensus list of microsatellite markers for olive genotyping
• Discrete Semantics for Hybrid Automata
• GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies
• Decidable Compositions of O-Minimal Automata
• Inclusion dynamics hybrid automata
• Reachability computation for hybrid systems with Ariadne
• Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction