Sfoglia per Autore
Discrete Semantics for Hybrid Automata
2009-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies
2009-01-01 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
The Bernays Schoenfinkel Ramsey class for set theory: semidecidability
2010-01-01 Omodeo, E; Policriti, Alberto
Hybrid dynamics of stochastic programs
2010-01-01 Bortolussi, L; Policriti, Alberto
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
2010-01-01 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
Physical mapping in highly heterozygous genomes: a physical contig map of the Pinot Noir grapevine cultivar
2010-01-01 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)
2010-01-01 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)
2010-01-01 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.
mrNA: the MPI randomized Numerical Aligner
2011-01-01 DEL FABBRO, Cristian; Vezzi, F; Policriti, Alberto
Counting extensional acyclic digraphs
2011-01-01 Policriti, Alberto; Tomescu, A.
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS
2011-01-01 Policriti, Alberto; Tomescu, A.
Rank-Based Simulation on Acyclic Graphs
2012-01-01 Gentilini, R; Piazza, Carla; Policriti, Alberto
The Bernays-Schoenfinkel-Ramsey Class in Set Theory: Decidability
2012-01-01 Omodeo, E; Policriti, Alberto
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet
2012-01-01 Prezza, Nicola; DEL FABBRO, Cristian; Francesco, Vezzi; DE PAOLI, Emanuele; Policriti, Alberto
Infinity, in short
2012-01-01 Omodeo, Eugenio; Policriti, Alberto; Tomescu, Alexandru Ioan
rNA: a Fast and Accurate Short Reads Numerical Aligner
2012-01-01 Vezzi, A; DEL FABBRO, Cristian; Tomescu, A. I.; Policriti, Alberto
A Randomized Numerical Aligner -- rNA
2012-01-01 Policriti, Alberto; Tomescu, Alexandru Ioan; Vezzi, Francesco
Encodings of Sets and Hypersets
2013-01-01 Policriti, Alberto
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program
2013-01-01 Bortolussi, Luca; Policriti, Alberto
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges
2013-01-01 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
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution
2013-01-01 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
Well-quasi-ordering hereditarily finite sets
2013-01-01 Policriti, Alberto; Tomescu, Alexandru Ioan
Markov chain algorithms for generating sets uniformly at random
2013-01-01 Policriti, Alberto; Tomescu, Alexandru Ioan
GAM-NGS: genomic assemblies merger for next generation sequencing
2013-01-01 Vicedomini, Riccardo; Vezzi, Francesco; Scalabrin, Simone; Lars, Arvestad; Policriti, Alberto
Hyper-Extensionality and One-Node Elimination on Membership Graphs
2014-01-01 E. G., Omodeo; Piazza, Carla; Policriti, Alberto; A. I., Tomescu
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis
2014-01-01 Policriti, Alberto; Prezza, Nicola
A Parallel Algorithm for the Best k-Mismatches Alignment Problem
2014-01-01 DEL FABBRO, Cristian; Fabio, Tardivo; Policriti, Alberto
Algorithms and Data Structures for Next Generation Sequences
2014-01-01 Vezzi, Francesco; Lancia, Giuseppe; Policriti, Alberto
Chimera: a Bioconductor package for secondary analysis of fusion products
2014-01-01 M., Beccuti; M., Carrara; F., Cordero; F., Lazzarato; S., Donatelli; F., Nadalin; Policriti, Alberto; R., Calogero
Fast randomized approximate string matching with succinct hash data structures
2015-01-01 Policriti, Alberto; Prezza, Nicola
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform
2015-01-01 Policriti, Alberto; Gigante, Nicola; Prezza, Nicola
Rank and simulation: the well-founded case
2015-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
CNV and structural variation in plants prospects of NGS approaches
2015-01-01 Francia, Enrico; Pecchioni, Nicola; Policriti, Alberto; Scalabrin, Simone
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks
2015-01-01 Bodei, Chiara; Bortolussi, Luca; Chiarugi, Davide; Guerriero, Maria Luisa; Policriti, Alberto; Romanel, Alessandro
Hierarchical Assembly of Pools
2015-01-01 Vicedomini, Riccardo; Vezzi, Francesco; Scalabrin, Simone; Arvestad, Lars; Policriti, Alberto
Mapping Sets and Hypersets into Numbers
2015-01-01 D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
Fast online Lempel-Ziv factorization in compressed space
2015-01-01 Policriti, Alberto; Prezza, Nicola
Set-syllogistics meet combinatorics
2015-01-01 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
Logic programming applied to genome evolution in cancer?
2016-01-01 Palù, Dal; Dovier, Agostino; Formisano, A.; Policriti, Alberto; Pontelli, E.
Banishing Ultrafilters from Our Consciousness
2016-01-01 Cantone, D.; Omodeo, E. G.; Policriti, A.
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2
2016-01-01 Prezza, Nicola; Vezzi, Francesco; Käller, Max; Policriti, Alberto
Preface
2016-01-01 Omodeo, E. G.; Policriti, A.
Is Hyper-extensionality Preservable under Deletions of Graph Elements?
2016-01-01 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Computing LZ77 in Run-Compressed Space
2016-01-01 Policriti, Alberto; Prezza, Nicola
Logic-based multi-objective design of chemical reaction networks
2016-01-01 Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
2017-01-01 Omodeo, Eugenio G.; Policriti, Alberto
An active learning approach to the falsification of black box cyber-physical systems
2017-01-01 Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca
From LZ77 to the run-length encoded burrows-wheeler transform, and back
2017-01-01 Policriti, Alberto; Prezza, Nicola
Towards a Logic Programming Tool for Cancer Analysis
2017-01-01 Tarzariol, Alice; Dovier, Agostino; Policriti, Alberto
LZ77 Computation Based on the Run-Length Encoded BWT
2017-01-01 Policriti, Alberto; Prezza, Nicola
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Discrete Semantics for Hybrid Automata | 1-gen-2009 | Casagrande, Alberto; Piazza, Carla; Policriti, Alberto | |
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies | 1-gen-2009 | Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola | |
The Bernays Schoenfinkel Ramsey class for set theory: semidecidability | 1-gen-2010 | Omodeo, E; Policriti, Alberto | |
Hybrid dynamics of stochastic programs | 1-gen-2010 | Bortolussi, L; Policriti, Alberto | |
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 | |
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. | |
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. | |
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS | 1-gen-2011 | Policriti, Alberto; Tomescu, A. | |
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 | |
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 | |
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 | |
A Randomized Numerical Aligner -- rNA | 1-gen-2012 | Policriti, Alberto; Tomescu, Alexandru Ioan; Vezzi, Francesco | |
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 | |
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 | |
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 | |
Well-quasi-ordering hereditarily finite sets | 1-gen-2013 | Policriti, Alberto; Tomescu, Alexandru Ioan | |
Markov chain algorithms for generating sets uniformly at random | 1-gen-2013 | Policriti, Alberto; Tomescu, Alexandru Ioan | |
GAM-NGS: genomic assemblies merger for next generation sequencing | 1-gen-2013 | Vicedomini, Riccardo; Vezzi, Francesco; Scalabrin, Simone; Lars, Arvestad; Policriti, Alberto | |
Hyper-Extensionality and One-Node Elimination on Membership Graphs | 1-gen-2014 | E. G., Omodeo; Piazza, Carla; Policriti, Alberto; A. I., Tomescu | |
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis | 1-gen-2014 | Policriti, Alberto; Prezza, Nicola | |
A Parallel Algorithm for the Best k-Mismatches Alignment Problem | 1-gen-2014 | DEL FABBRO, Cristian; Fabio, Tardivo; Policriti, Alberto | |
Algorithms and Data Structures for Next Generation Sequences | 1-gen-2014 | Vezzi, Francesco; Lancia, Giuseppe; Policriti, Alberto | |
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 | |
Fast randomized approximate string matching with succinct hash data structures | 1-gen-2015 | Policriti, Alberto; Prezza, Nicola | |
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform | 1-gen-2015 | Policriti, Alberto; Gigante, Nicola; Prezza, Nicola | |
Rank and simulation: the well-founded case | 1-gen-2015 | Gentilini, R.; Piazza, Carla; Policriti, Alberto | |
CNV and structural variation in plants prospects of NGS approaches | 1-gen-2015 | Francia, Enrico; Pecchioni, Nicola; Policriti, Alberto; Scalabrin, Simone | |
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 | |
Hierarchical Assembly of Pools | 1-gen-2015 | Vicedomini, Riccardo; Vezzi, Francesco; Scalabrin, Simone; Arvestad, Lars; Policriti, Alberto | |
Mapping Sets and Hypersets into Numbers | 1-gen-2015 | D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. | |
Fast online Lempel-Ziv factorization in compressed space | 1-gen-2015 | Policriti, Alberto; Prezza, Nicola | |
Set-syllogistics meet combinatorics | 1-gen-2015 | Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. | |
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. | |
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2 | 1-gen-2016 | Prezza, Nicola; Vezzi, Francesco; Käller, Max; Policriti, Alberto | |
Preface | 1-gen-2016 | Omodeo, E. G.; Policriti, A. | |
Is Hyper-extensionality Preservable under Deletions of Graph Elements? | 1-gen-2016 | Casagrande, Alberto; Piazza, Carla; Policriti, Alberto | |
Computing LZ77 in Run-Compressed Space | 1-gen-2016 | Policriti, Alberto; Prezza, Nicola | |
Logic-based multi-objective design of chemical reaction networks | 1-gen-2016 | Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone | |
Martin Davis on Computability, Computational Logic, and Mathematical Foundations | 1-gen-2017 | Omodeo, Eugenio G.; Policriti, Alberto | |
An active learning approach to the falsification of black box cyber-physical systems | 1-gen-2017 | Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca | |
From LZ77 to the run-length encoded burrows-wheeler transform, and back | 1-gen-2017 | Policriti, Alberto; Prezza, Nicola | |
Towards a Logic Programming Tool for Cancer Analysis | 1-gen-2017 | Tarzariol, Alice; Dovier, Agostino; Policriti, Alberto | |
LZ77 Computation Based on the Run-Length Encoded BWT | 1-gen-2017 | Policriti, Alberto; Prezza, Nicola |
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