Sfoglia per Autore
Improving reachability analysis of hybrid automata for engine control
2004-01-01 Casagrande, A; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; Sangiovanni-Vincentelli, A
Independent Dynamics Hybrid Automata in System Biology
2005-01-01 Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B.
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
2005-01-01 Casagrande, A; Piazza, Carla; Mishra, B.
Tolque: A Tool for Algorithmic Algebraic Model Checking
2006-01-01 Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B.
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata
2007-01-01 Casagrande, A; Corvaja, Pietro; Piazza, Carla; Mishra, B.
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
2007-01-01 Casagrande, A.; Casey, K.; Falchi, R.; Piazza, Carla; Ruperti, B.; Vizzotto, Giannina; Mishra, B.
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla
2007-01-01 Jaillon, O; Aury, J. M.; Noel, B; Policriti, Alberto; Clepet, C; Casagrande, A; Choisne, N; Aubourg, S; Vitulo, N; Jubin, C; Vezzi, A; Legeai, F; Hugueney, P; Dasilva, C; Horner, D; Mica, E; Jublot, D; Poulain, J; Bruyère, C; Billault, A; Segurens, B; Gouyvenoux, M; Ugarte, E; Cattonaro, F; Anthouard, V; Vico, V; DEL FABBRO, Cristian; Alaux, M; DI GASPERO, Gabriele; Dumas, V; Felice, N; Paillard, S; Juman, I; Moroldo, M; Scalabrin, S; Canaguier, A; LE CLAINCHE, I; Malacrida, G; Durand, E; Pesole, G; Laucou, V; Chatelet, P; Merdinoglu, D; Delledonne, M; Pezzotti, M; Lecharny, A; Scarpelli, C; Artiguenave, F; Pè, Me; Valle, G; Morgante, Michele; Caboche, M; ADAM BLONDON, A. F.; Weissenbach, J; Quétier, F; Wincker, P.
Reachability computation for hybrid systems with Ariadne
2008-01-01 Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
Inclusion dynamics hybrid automata
2008-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud
Discreteness, hybrid automata, and biology
2008-01-01 Casagrande, A; Piazza, Carla; Policriti, Alberto
Decidable Compositions of O-Minimal Automata
2008-01-01 Casagrande, Alberto; Corvaja, Pietro; Mishra, Bud; Piazza, Carla
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies
2009-01-01 Casagrande, Alberto; DEL FABBRO, Cristian; Scalabrin, Simone; Policriti, Alberto
Discrete Semantics for Hybrid Automata
2009-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
A consensus list of microsatellite markers for olive genotyping
2009-01-01 Baldoni, L.; Cultrera, N. G.; Mariotti, R.; Ricciolini, C.; Arcioni, S.; Vendramin, G. G.; Buonamici, A.; Porceddu, A.; Sarri, V.; Ojeda, M. A.; Trujillo, I.; Rallo, L.; Belaj, A.; Perri, E.; Salimonti, A.; Muzzalupo, I.; Casagrande, A.; Lain, O.; Messina, R.; Testolin, R.
SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains
2011-01-01 Casagrande, A; Fabris, F
Composing FOCoRe Hybrid Automata
2011-01-01 A., Casagrande; B., Mishra; Piazza, Carla
Family fingerprints: a global approach to structural classification
2012-01-01 Casagrande, Alberto; Fabris, Francesco
Hybrid Automata and epsilon-Analysis on a Neural Oscillator
2012-01-01 Casagrande, A; Dreossi, Tommaso; Piazza, Carla
Model Checking on Hybrid Automata: Theory and Application to Biological Systems
2012-01-01 Casagrande, A; Piazza, Carla
High-throughput trascriptome profiling of two peach chimeric genotypes
2013-01-01 Falchi, Rachele; Vizzotto, Giannina; Vendramin, E; Cipriani, Guido; Piazza, Carla; Casagrande, A; Verde, I.
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design
2013-01-01 Alberto, Casagrande; Dreossi, Tommaso
Approximated Symbolic Computations over Hybrid Automata
2013-01-01 A., Casagrande; Dreossi, Tommaso; Piazza, Carla
PolyMorph: A P300 Polymorphic Speller
2013-01-01 Casagrande, A; Jarmolowska, J; Turconi, M; Fabris, F; Battaglini, Pp
External Interactions on Hybrid Models of Biological Systems
2014-01-01 Alberto, Casagrande; Piazza, Carla
ϵ-Semantics computations on biological systems
2014-01-01 Casagrande, A.; Dreossi, Tommaso; Fabriková, J.; Piazza, Carla
Unwinding biological systems
2015-01-01 Casagrande, Alberto; Piazza, Carla
Is Hyper-extensionality Preservable under Deletions of Graph Elements?
2016-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions
2018-01-01 Casagrande, A; Jarmolowska, J; Turconi, Mm; Busan, P; Fabris, F; Battaglini, Pp
Does every recursively enumerable set admit a finite-fold diophantine representation?
2019-01-01 Cantone, D.; Casagrande, A.; Fabris, F.; Omodeo, E.
Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings
2020-01-01 Casagrande, A.; Fabris, F.; Girometti, R.
Extending Information Agreement by Continuity
2020-01-01 Casagrande, Alberto; Fabris, Francesco; Girometti, Rossano
An effective pressure-flow characterization of respiratory asynchronies in mechanical ventilation
2021-01-01 Casagrande, Alberto; Quintavalle, Francesco; Fernandez, Rafael; Blanch, Lluis; Ferluga, Massimo; Lena, Enrico; Fabris, Francesco; Lucangelo, Umberto
THE QUEST FOR DIOPHANTINE FINITE-FOLD-NESS
2021-01-01 Cantone, D; Casagrande, A; Fabris, F; Omodeo, Eg
Hybrid automata in systems biology
2022-01-01 Casagrande, A.; Gentilini, R.; Piazza, C.; Policriti, A.
Parameter synthesis of polynomial dynamical systems
2022-01-01 Casagrande, Alberto; Dang, Thao; Dorigo, Luca; Dreossi, Tommaso; Piazza, Carla; Pippia, Eleonora
Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests
2022-01-01 Casagrande, A.; Fabris, F.; Girometti, R.
Pressure-flow breath representation eases asynchrony identification in mechanically ventilated patients
2022-01-01 Casagrande, Alberto; Quintavalle, Francesco; Lena, Enrico; Fabris, Francesco; Lucangelo, Umberto
An information-oriented paradigm in evaluating accuracy and agreement in radiology
2023-01-01 Casagrande, A.; Fabris, F.; Girometti, R.
Set-Based Invariants over Polynomial Systems
2023-01-01 Casagrande, A.; Cimatti, A.; Dorigo, L.; Piazza, C.; Tonetta, S.
Adaptive Directions for Bernstein-Based Polynomial Set Evolution
2023-01-01 Casagrande, Alberto; Piazza, Carla
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Improving reachability analysis of hybrid automata for engine control | 1-gen-2004 | Casagrande, A; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; Sangiovanni-Vincentelli, A | |
Independent Dynamics Hybrid Automata in System Biology | 1-gen-2005 | Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B. | |
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe | 1-gen-2005 | Casagrande, A; Piazza, Carla; Mishra, B. | |
Tolque: A Tool for Algorithmic Algebraic Model Checking | 1-gen-2006 | Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B. | |
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata | 1-gen-2007 | Casagrande, A; Corvaja, Pietro; Piazza, Carla; Mishra, B. | |
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction | 1-gen-2007 | Casagrande, A.; Casey, K.; Falchi, R.; Piazza, Carla; Ruperti, B.; Vizzotto, Giannina; Mishra, B. | |
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla | 1-gen-2007 | Jaillon, O; Aury, J. M.; Noel, B; Policriti, Alberto; Clepet, C; Casagrande, A; Choisne, N; Aubourg, S; Vitulo, N; Jubin, C; Vezzi, A; Legeai, F; Hugueney, P; Dasilva, C; Horner, D; Mica, E; Jublot, D; Poulain, J; Bruyère, C; Billault, A; Segurens, B; Gouyvenoux, M; Ugarte, E; Cattonaro, F; Anthouard, V; Vico, V; DEL FABBRO, Cristian; Alaux, M; DI GASPERO, Gabriele; Dumas, V; Felice, N; Paillard, S; Juman, I; Moroldo, M; Scalabrin, S; Canaguier, A; LE CLAINCHE, I; Malacrida, G; Durand, E; Pesole, G; Laucou, V; Chatelet, P; Merdinoglu, D; Delledonne, M; Pezzotti, M; Lecharny, A; Scarpelli, C; Artiguenave, F; Pè, Me; Valle, G; Morgante, Michele; Caboche, M; ADAM BLONDON, A. F.; Weissenbach, J; Quétier, F; Wincker, P. | |
Reachability computation for hybrid systems with Ariadne | 1-gen-2008 | Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano | |
Inclusion dynamics hybrid automata | 1-gen-2008 | Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud | |
Discreteness, hybrid automata, and biology | 1-gen-2008 | Casagrande, A; Piazza, Carla; Policriti, Alberto | |
Decidable Compositions of O-Minimal Automata | 1-gen-2008 | Casagrande, Alberto; Corvaja, Pietro; Mishra, Bud; Piazza, Carla | |
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies | 1-gen-2009 | Casagrande, Alberto; DEL FABBRO, Cristian; Scalabrin, Simone; Policriti, Alberto | |
Discrete Semantics for Hybrid Automata | 1-gen-2009 | Casagrande, Alberto; Piazza, Carla; Policriti, Alberto | |
A consensus list of microsatellite markers for olive genotyping | 1-gen-2009 | Baldoni, L.; Cultrera, N. G.; Mariotti, R.; Ricciolini, C.; Arcioni, S.; Vendramin, G. G.; Buonamici, A.; Porceddu, A.; Sarri, V.; Ojeda, M. A.; Trujillo, I.; Rallo, L.; Belaj, A.; Perri, E.; Salimonti, A.; Muzzalupo, I.; Casagrande, A.; Lain, O.; Messina, R.; Testolin, R. | |
SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains | 1-gen-2011 | Casagrande, A; Fabris, F | |
Composing FOCoRe Hybrid Automata | 1-gen-2011 | A., Casagrande; B., Mishra; Piazza, Carla | |
Family fingerprints: a global approach to structural classification | 1-gen-2012 | Casagrande, Alberto; Fabris, Francesco | |
Hybrid Automata and epsilon-Analysis on a Neural Oscillator | 1-gen-2012 | Casagrande, A; Dreossi, Tommaso; Piazza, Carla | |
Model Checking on Hybrid Automata: Theory and Application to Biological Systems | 1-gen-2012 | Casagrande, A; Piazza, Carla | |
High-throughput trascriptome profiling of two peach chimeric genotypes | 1-gen-2013 | Falchi, Rachele; Vizzotto, Giannina; Vendramin, E; Cipriani, Guido; Piazza, Carla; Casagrande, A; Verde, I. | |
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design | 1-gen-2013 | Alberto, Casagrande; Dreossi, Tommaso | |
Approximated Symbolic Computations over Hybrid Automata | 1-gen-2013 | A., Casagrande; Dreossi, Tommaso; Piazza, Carla | |
PolyMorph: A P300 Polymorphic Speller | 1-gen-2013 | Casagrande, A; Jarmolowska, J; Turconi, M; Fabris, F; Battaglini, Pp | |
External Interactions on Hybrid Models of Biological Systems | 1-gen-2014 | Alberto, Casagrande; Piazza, Carla | |
ϵ-Semantics computations on biological systems | 1-gen-2014 | Casagrande, A.; Dreossi, Tommaso; Fabriková, J.; Piazza, Carla | |
Unwinding biological systems | 1-gen-2015 | Casagrande, Alberto; Piazza, Carla | |
Is Hyper-extensionality Preservable under Deletions of Graph Elements? | 1-gen-2016 | Casagrande, Alberto; Piazza, Carla; Policriti, Alberto | |
PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions | 1-gen-2018 | Casagrande, A; Jarmolowska, J; Turconi, Mm; Busan, P; Fabris, F; Battaglini, Pp | |
Does every recursively enumerable set admit a finite-fold diophantine representation? | 1-gen-2019 | Cantone, D.; Casagrande, A.; Fabris, F.; Omodeo, E. | |
Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings | 1-gen-2020 | Casagrande, A.; Fabris, F.; Girometti, R. | |
Extending Information Agreement by Continuity | 1-gen-2020 | Casagrande, Alberto; Fabris, Francesco; Girometti, Rossano | |
An effective pressure-flow characterization of respiratory asynchronies in mechanical ventilation | 1-gen-2021 | Casagrande, Alberto; Quintavalle, Francesco; Fernandez, Rafael; Blanch, Lluis; Ferluga, Massimo; Lena, Enrico; Fabris, Francesco; Lucangelo, Umberto | |
THE QUEST FOR DIOPHANTINE FINITE-FOLD-NESS | 1-gen-2021 | Cantone, D; Casagrande, A; Fabris, F; Omodeo, Eg | |
Hybrid automata in systems biology | 1-gen-2022 | Casagrande, A.; Gentilini, R.; Piazza, C.; Policriti, A. | |
Parameter synthesis of polynomial dynamical systems | 1-gen-2022 | Casagrande, Alberto; Dang, Thao; Dorigo, Luca; Dreossi, Tommaso; Piazza, Carla; Pippia, Eleonora | |
Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests | 1-gen-2022 | Casagrande, A.; Fabris, F.; Girometti, R. | |
Pressure-flow breath representation eases asynchrony identification in mechanically ventilated patients | 1-gen-2022 | Casagrande, Alberto; Quintavalle, Francesco; Lena, Enrico; Fabris, Francesco; Lucangelo, Umberto | |
An information-oriented paradigm in evaluating accuracy and agreement in radiology | 1-gen-2023 | Casagrande, A.; Fabris, F.; Girometti, R. | |
Set-Based Invariants over Polynomial Systems | 1-gen-2023 | Casagrande, A.; Cimatti, A.; Dorigo, L.; Piazza, C.; Tonetta, S. | |
Adaptive Directions for Bernstein-Based Polynomial Set Evolution | 1-gen-2023 | Casagrande, Alberto; Piazza, Carla |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile