IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 101 a 150 di 172
Titolo Data di pubblicazione Autore(i) File
Hybrid dynamics of stochastic pi-calculus 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
Discrete Semantics for Hybrid Automata 1-gen-2009 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
The Bernays Schoenfinkel Ramsey class for set theory: semidecidability 1-gen-2010 Omodeo, E; Policriti, Alberto
Physical mapping in highly heterozygous genomes: a physical contig map of the Pinot Noir grapevine cultivar 1-gen-2010 S., Scalabrin; M., Troggio; M., Moroldo; M., Pindo; N., Felice; G., Coppola; G., Prete; G., Malacarne; R., Marconi; G., Faes; I., Jurman; S., Grando; T., Jesse; C., Segala; G., Valle; Policriti, Alberto; P., Fontana; Morgante, Michele; R., Velasco
A Randomized Numerical Aligner (rNA) 1-gen-2010 Policriti, Alberto; Tomescu, A; Vezzi, F.
High throughput approaches reveal splicing of primary microRNA transcripts and tissue specific expression of mature microRNAs in Vitis vinifera (vol 11 pg 109 2010) 1-gen-2010 Mica, Erica; Piccolo, Viviana; Delledonne, Massimo; Ferrarini, Alberto; Pezzotti, Mario; Casati, Cesare; DEL FABBRO, Cristian; Valle, Giorgio; Policriti, Alberto; Morgante, Michele; Pesole, Graziano; Pe M., Enrico; Horner David, S.
The SSR-based molecular profile of 1005 grapevine (Vitis vinifera L.) accessions uncovers new synonymy and parentages, and reveals a large admixture among varieties of different geographic origin 1-gen-2010 Cipriani, Guido; Crespan, Manna; Cresti, Mauro; DI GASPERO, Gabriele; Frare, E; Jurman, Irena; Meneghetti, Stefano; Morgante, Michele; Pe, Enrico; Pezzotti, Mario; Spadotto, Alessandro; Testolin, Raffaele; Vignani, Rita; Policriti, Alberto
Hybrid dynamics of stochastic programs 1-gen-2010 Bortolussi, L; Policriti, Alberto
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS 1-gen-2011 Policriti, Alberto; Tomescu, A.
mrNA: the MPI randomized Numerical Aligner 1-gen-2011 DEL FABBRO, Cristian; Vezzi, F; Policriti, Alberto
Counting extensional acyclic digraphs 1-gen-2011 Policriti, Alberto; Tomescu, A.
A Randomized Numerical Aligner -- rNA 1-gen-2012 Policriti, Alberto; Tomescu, Alexandru Ioan; Vezzi, Francesco
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet 1-gen-2012 Prezza, Nicola; DEL FABBRO, Cristian; Francesco, Vezzi; DE PAOLI, Emanuele; Policriti, Alberto
Rank-Based Simulation on Acyclic Graphs 1-gen-2012 Gentilini, R; Piazza, Carla; Policriti, Alberto
The Bernays-Schoenfinkel-Ramsey Class in Set Theory: Decidability 1-gen-2012 Omodeo, E; Policriti, Alberto
Infinity, in short 1-gen-2012 Omodeo, Eugenio; Policriti, Alberto; Tomescu, Alexandru Ioan
rNA: a Fast and Accurate Short Reads Numerical Aligner 1-gen-2012 Vezzi, A; DEL FABBRO, Cristian; Tomescu, A. I.; Policriti, Alberto
Encodings of Sets and Hypersets 1-gen-2013 Policriti, Alberto
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program 1-gen-2013 Bortolussi, Luca; Policriti, Alberto
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution 1-gen-2013 Verde, I; Abbott, Ag; Scalabrin, S; Jung, S; Shu, S; Marroni, Fabio; Zhebentyayeva, T; Dettori, Mt; Grimwood, J; Cattonaro, F; Zuccolo, A; Rossini, L; Jenkins, J; Vendramin, E; Meisel, La; Decroocq, V; Sosinski, B; Prochnik, S; Mitros, T; Policriti, Alberto; Cipriani, Guido; Dondini, L; Ficklin, S; Goodstein, Dm; Xuan, P; DEL FABBRO, Cristian; Aramini, V; Copetti, D; Gonzalez, S; Horner, Ds; Falchi, Rachele; Lucas, S; Mica, E; Maldonado, J; Lazzari, B; Bielenberg, D; Pirona, R; Miculan, Mara; Barakat, A; Testolin, Raffaele; Stella, A; Tartarini, S; Tonutti, P; Arús, P; Orellana, A; Wells, C; Main, D; Vizzotto, Giannina; Silva, H; Salamini, F; Schmutz, J; Morgante, Michele; Rokhsar, Ds
Markov chain algorithms for generating sets uniformly at random 1-gen-2013 Policriti, Alberto; Tomescu, Alexandru Ioan
Well-quasi-ordering hereditarily finite sets 1-gen-2013 Policriti, Alberto; Tomescu, Alexandru Ioan
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges 1-gen-2013 S., Scalabrin; Policriti, Alberto; F., Nadalin; S., Pinosio; F., Cattonaro; E., Vendramin; V., Aramini; I., Verde; D., Bassi; R., Pirona; L., Rossini; Cipriani, Guido; Testolin, Raffaele; Morgante, Michele
GAM-NGS: genomic assemblies merger for next generation sequencing 1-gen-2013 Vicedomini, Riccardo; Vezzi, Francesco; Scalabrin, Simone; Lars, Arvestad; Policriti, Alberto
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis 1-gen-2014 Policriti, Alberto; Prezza, Nicola
Algorithms and Data Structures for Next Generation Sequences 1-gen-2014 Vezzi, Francesco; Lancia, Giuseppe; Policriti, Alberto
Hyper-Extensionality and One-Node Elimination on Membership Graphs 1-gen-2014 E. G., Omodeo; Piazza, Carla; Policriti, Alberto; A. I., Tomescu
Chimera: a Bioconductor package for secondary analysis of fusion products 1-gen-2014 M., Beccuti; M., Carrara; F., Cordero; F., Lazzarato; S., Donatelli; F., Nadalin; Policriti, Alberto; R., Calogero
A Parallel Algorithm for the Best k-Mismatches Alignment Problem 1-gen-2014 DEL FABBRO, Cristian; Fabio, Tardivo; Policriti, Alberto
Hierarchical Assembly of Pools 1-gen-2015 Vicedomini, Riccardo; Vezzi, Francesco; Scalabrin, Simone; Arvestad, Lars; Policriti, Alberto
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 1-gen-2015 Policriti, Alberto; Gigante, Nicola; Prezza, Nicola
Set-syllogistics meet combinatorics 1-gen-2015 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
CNV and structural variation in plants prospects of NGS approaches 1-gen-2015 Francia, Enrico; Pecchioni, Nicola; Policriti, Alberto; Scalabrin, Simone
Mapping Sets and Hypersets into Numbers 1-gen-2015 D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
Fast randomized approximate string matching with succinct hash data structures 1-gen-2015 Policriti, Alberto; Prezza, Nicola
Rank and simulation: the well-founded case 1-gen-2015 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Fast online Lempel-Ziv factorization in compressed space 1-gen-2015 Policriti, Alberto; Prezza, Nicola
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 1-gen-2015 Bodei, Chiara; Bortolussi, Luca; Chiarugi, Davide; Guerriero, Maria Luisa; Policriti, Alberto; Romanel, Alessandro
Preface 1-gen-2016 Omodeo, E. G.; Policriti, A.
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2 1-gen-2016 Prezza, Nicola; Vezzi, Francesco; Käller, Max; Policriti, Alberto
Logic programming applied to genome evolution in cancer? 1-gen-2016 Palù, Dal; Dovier, Agostino; Formisano, A.; Policriti, Alberto; Pontelli, E.
Banishing Ultrafilters from Our Consciousness 1-gen-2016 Cantone, D.; Omodeo, E. G.; Policriti, A.
Computing LZ77 in Run-Compressed Space 1-gen-2016 Policriti, Alberto; Prezza, Nicola
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 1-gen-2016 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Logic-based multi-objective design of chemical reaction networks 1-gen-2016 Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone
Towards a Logic Programming Tool for Cancer Analysis 1-gen-2017 Tarzariol, Alice; Dovier, Agostino; Policriti, Alberto
Martin Davis on Computability, Computational Logic, and Mathematical Foundations 1-gen-2017 Omodeo, Eugenio G.; Policriti, Alberto
From LZ77 to the run-length encoded burrows-wheeler transform, and back 1-gen-2017 Policriti, Alberto; Prezza, Nicola
On Sets and Graphs: Perspectives on Logic and Combinatorics 1-gen-2017 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
LZ77 Computation Based on the Run-Length Encoded BWT 1-gen-2017 Policriti, Alberto; Prezza, Nicola
Mostrati risultati da 101 a 150 di 172
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