IRIS
POLICRITI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.414
EU - Europa 2.643
AS - Asia 871
AF - Africa 18
SA - Sud America 9
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 5
Totale 14.968
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.327
UA - Ucraina 907
CN - Cina 567
IT - Italia 509
DE - Germania 379
FI - Finlandia 304
SE - Svezia 176
IE - Irlanda 157
TR - Turchia 103
VN - Vietnam 90
CA - Canada 82
GB - Regno Unito 61
IN - India 48
BE - Belgio 42
SG - Singapore 37
FR - Francia 34
PL - Polonia 24
IR - Iran 15
RU - Federazione Russa 14
BR - Brasile 8
DK - Danimarca 8
EU - Europa 8
SD - Sudan 6
TG - Togo 6
NL - Olanda 5
HU - Ungheria 4
RO - Romania 4
AT - Austria 3
AU - Australia 3
CU - Cuba 3
CZ - Repubblica Ceca 3
ES - Italia 3
TW - Taiwan 3
CM - Camerun 2
EE - Estonia 2
EG - Egitto 2
JP - Giappone 2
NZ - Nuova Zelanda 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
BZ - Belize 1
HK - Hong Kong 1
IL - Israele 1
IM - Isola di Man 1
KR - Corea 1
KZ - Kazakistan 1
LI - Liechtenstein 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
RS - Serbia 1
Totale 14.968
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.827
Ann Arbor 1.411
Fairfield 1.300
Houston 1.108
Chandler 726
Ashburn 644
Jacksonville 641
Wilmington 546
Seattle 482
Cambridge 424
Dearborn 396
Udine 208
Hangzhou 191
Beijing 184
Princeton 161
Dublin 155
Izmir 100
Dong Ket 90
San Diego 70
Trieste 59
New York 56
Ottawa 50
Des Moines 49
Ogden 44
Brussels 42
Singapore 36
Boardman 35
Norwalk 28
Helsinki 25
Falls Church 24
Warsaw 24
Hefei 23
Nanjing 22
Kunming 20
Toronto 19
Phoenix 18
Milan 17
San Mateo 15
Grafing 14
Augusta 13
Scuola 13
Washington 13
Ardabil 12
Paris 12
Redmond 12
Wuhan 12
Jinan 11
Malo 11
Nanchang 11
Indiana 10
Duncan 8
Fuzhou 8
Leawood 8
Aarhus 7
Guangzhou 7
Montréal 7
Ningbo 7
Shanghai 7
Shenyang 7
Zoppola 7
Andover 6
Hebei 6
Laives 6
Lomé 6
Nuremberg 6
Pignone 6
Rezzato 6
Torre Del Greco 6
Vicenza 6
Frankfurt am Main 5
Khartoum 5
Pasian Di Prato 5
Budapest 4
Jersey City 4
London 4
Modena 4
Monmouth Junction 4
Rome 4
Saint Petersburg 4
San Giorgio di Nogaro 4
San Vendemiano 4
Zhengzhou 4
Austin 3
Chaoyang 3
Edinburgh 3
Fayetteville 3
Lappeenranta 3
Los Angeles 3
Naples 3
New Delhi 3
Padova 3
Preganziol 3
Shaoxing 3
Simi Valley 3
Tappahannock 3
Treviso 3
Venezia 3
Amsterdam 2
Auburn 2
Baotou 2
Totale 11.647
Salva come PNG Salva come JPEG
Nome #
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 370
CNV and structural variation in plants prospects of NGS approaches 177
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution 159
Fast online Lempel-Ziv factorization in compressed space 155
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 150
Expressing Infinity without Foundation 149
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis 148
Fast randomized approximate string matching with succinct hash data structures 144
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 144
Note on: The Logically Simplest Form of the Infinity Axiom 143
Model building and model checking for biochemical processes 142
Hierarchical Assembly of Pools 141
Computing LZ77 in Run-Compressed Space 139
T-resolution: refinements and model elimination 134
Chimera: a Bioconductor package for secondary analysis of fusion products 131
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 131
Mapping Sets and Hypersets into Numbers 130
Three-variable statements of set-pairing 126
An Efficient Algorithm for Computing Bisimulation Equivalence 124
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges 124
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior 124
High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera 123
An active learning approach to the falsification of black box cyber-physical systems 123
Adding the power-set to description logics 123
Integrating lists, multisets, and sets in a logic programming framework. 121
A set-theoretic translation method for (poly)modal logics 121
Decidability results for metric and layered temporal logics 121
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 120
Infinity, in short 120
Stochastic Programs and Hybrid Automata for (Biological) Modeling 119
GAM-NGS: genomic assemblies merger for next generation sequencing 117
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 117
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet 116
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2 116
BuST: Bundled Suffix Trees 115
Simulation as Coarsest Partition Problem 114
A set-theoretic translation method for polymodal logics 113
Ackermann Encoding, Bisimulations, and OBDD's 113
Systems Biology: Models and Logics 113
Hybrid approximation of stochastic process algebras for systems biology 111
A Fast Bisimulation Algorithm 111
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 111
Rank and simulation: the well-founded case 111
A Parallel Algorithm for the Best k-Mismatches Alignment Problem 111
mrNA: the MPI randomized Numerical Aligner 110
Structured motifs search 110
LZ77 Computation Based on the Run-Length Encoded BWT 110
Inclusion dynamics hybrid automata 110
Extending$$mathcal ALC$$ with the Power-Set Construct 110
Automated FingerPrint Background removal: FPB 109
Martin Davis on Computability, Computational Logic, and Mathematical Foundations 109
Towards tableau-based decision procedures for non-well-founded fragments of set theory 108
Physical mapping in highly heterozygous genomes: a physical contig map of the Pinot Noir grapevine cultivar 108
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 107
Modal deduction in second-order logic and set theory. I 107
A complete axiomatic system for a process-based spatial logic 107
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 107
Stochastic concurrent constraint programming and differential equations 105
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS 103
Discreteness, hybrid automata, and biology 103
Algorithms and Data Structures for Next Generation Sequences 103
Finite families with few symmetric differences 102
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 102
Ackermann Encodings, Bisimulations, and OBDDs 101
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 101
Comparing Expressiveness of Set Constructor Symbols 100
Well-quasi-ordering hereditarily finite sets 100
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 99
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 99
Logic-based multi-objective design of chemical reaction networks 99
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 98
The axiom of elementary sets on the edge of Peircean expressibility 98
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program 97
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 97
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 96
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 96
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 96
Theories of omega-layered metric temporal structures 96
Truth Table for a Combinatorial Kernel of Set Theories 95
The importance of being (a little bit) discrete 95
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 95
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back 95
rNA: a Fast and Accurate Short Reads Numerical Aligner 95
A Randomized Numerical Aligner (rNA) 95
A logical approach to time granularity 94
Markov chain algorithms for generating sets uniformly at random 94
The Bernays Schoenfinkel Ramsey class for set theory: semidecidability 94
Hybrid dynamics of stochastic programs 93
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 92
Foundations of a query and simulation system for the modeling of biochemical and biological processes 92
A Randomized Numerical Aligner -- rNA 92
Completeness and Decidability of the Deducibility Problem for Some Classes of Formulas of Set Theory 91
Decidability of E*A-sentences in Membership Theories 91
Structured Motifs Search 91
Set-syllogistics meet combinatorics 90
The Importance of Being (A Little Bit) Discrete 89
Discrete Semantics for Hybrid Automata 89
Counting extensional acyclic digraphs 87
The Logically Simplest Form of the Infinity Axiom 85
T-theorem proving. I 84
Totale 11.386
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.692
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 42.692
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.797 221 160 139 538 300 616 456 442 265 322 87 251
2020/20212.363 71 271 68 303 99 344 72 241 327 102 282 183
2021/20221.419 65 141 55 95 37 65 98 70 28 227 321 217
2022/20231.613 196 120 63 193 189 392 8 117 219 19 53 44
2023/2024652 61 49 30 32 103 126 19 40 78 27 22 65
2024/202521 21 0 0 0 0 0 0 0 0 0 0 0
Totale 15.212