IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 41 di 41
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.
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.
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata 1-gen-2007 Casagrande, A; Corvaja, Pietro; Piazza, Carla; Mishra, B.
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
Decidable Compositions of O-Minimal Automata 1-gen-2008 Casagrande, Alberto; Corvaja, Pietro; Mishra, Bud; Piazza, Carla
Discreteness, hybrid automata, and biology 1-gen-2008 Casagrande, A; Piazza, Carla; Policriti, Alberto
Inclusion dynamics hybrid automata 1-gen-2008 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud
Discrete Semantics for Hybrid Automata 1-gen-2009 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 1-gen-2009 Casagrande, Alberto; DEL FABBRO, Cristian; Scalabrin, Simone; 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.
Composing FOCoRe Hybrid Automata 1-gen-2011 A., Casagrande; B., Mishra; Piazza, Carla
SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains 1-gen-2011 Casagrande, A; Fabris, F
Hybrid Automata and epsilon-Analysis on a Neural Oscillator 1-gen-2012 Casagrande, A; Dreossi, Tommaso; Piazza, Carla
Family fingerprints: a global approach to structural classification 1-gen-2012 Casagrande, Alberto; Fabris, Francesco
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.
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
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design 1-gen-2013 Alberto, Casagrande; Dreossi, Tommaso
ϵ-Semantics computations on biological systems 1-gen-2014 Casagrande, A.; Dreossi, Tommaso; Fabriková, J.; Piazza, Carla
External Interactions on Hybrid Models of Biological Systems 1-gen-2014 Alberto, Casagrande; 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.
Extending Information Agreement by Continuity 1-gen-2020 Casagrande, Alberto; Fabris, Francesco; Girometti, Rossano
Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings 1-gen-2020 Casagrande, A.; Fabris, F.; Girometti, R.
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
Parameter synthesis of polynomial dynamical systems 1-gen-2022 Casagrande, Alberto; Dang, Thao; Dorigo, Luca; Dreossi, Tommaso; Piazza, Carla; Pippia, Eleonora
Pressure-flow breath representation eases asynchrony identification in mechanically ventilated patients 1-gen-2022 Casagrande, Alberto; Quintavalle, Francesco; Lena, Enrico; Fabris, Francesco; Lucangelo, Umberto
Hybrid automata in systems biology 1-gen-2022 Casagrande, A.; Gentilini, R.; Piazza, C.; Policriti, A.
Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests 1-gen-2022 Casagrande, A.; Fabris, F.; Girometti, R.
An information-oriented paradigm in evaluating accuracy and agreement in radiology 1-gen-2023 Casagrande, A.; Fabris, F.; Girometti, R.
Adaptive Directions for Bernstein-Based Polynomial Set Evolution 1-gen-2023 Casagrande, Alberto; Piazza, Carla
Set-Based Invariants over Polynomial Systems 1-gen-2023 Casagrande, A.; Cimatti, A.; Dorigo, L.; Piazza, C.; Tonetta, S.
A prevalence-robust measure of diagnostic test performance 1-gen-2024 Casagrande, Alberto; Fabris, Francesco; Girometti, Rossano
Mostrati risultati da 1 a 41 di 41
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