IRIS
POLICRITI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.843
AS - Asia 5.248
EU - Europa 3.434
SA - Sud America 851
AF - Africa 102
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 9
Totale 22.496
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.671
SG - Singapore 2.668
CN - Cina 1.212
UA - Ucraina 919
BR - Brasile 699
IT - Italia 611
HK - Hong Kong 474
DE - Germania 463
VN - Vietnam 368
FI - Finlandia 359
RU - Federazione Russa 312
SE - Svezia 198
IE - Irlanda 163
CA - Canada 118
GB - Regno Unito 115
TR - Turchia 115
IN - India 101
KR - Corea 95
AR - Argentina 61
FR - Francia 54
PL - Polonia 49
BE - Belgio 46
BD - Bangladesh 38
MX - Messico 36
ZA - Sudafrica 31
NL - Olanda 30
EC - Ecuador 28
ID - Indonesia 28
ES - Italia 25
JP - Giappone 21
IR - Iran 18
MA - Marocco 16
AT - Austria 15
LT - Lituania 14
PY - Paraguay 13
VE - Venezuela 13
CO - Colombia 12
UZ - Uzbekistan 12
IQ - Iraq 11
CL - Cile 10
DK - Danimarca 10
EG - Egitto 10
PK - Pakistan 10
AE - Emirati Arabi Uniti 9
PE - Perù 9
CZ - Repubblica Ceca 8
EU - Europa 8
TG - Togo 8
HU - Ungheria 7
DZ - Algeria 6
EE - Estonia 6
IL - Israele 6
JO - Giordania 6
KG - Kirghizistan 6
SA - Arabia Saudita 6
SD - Sudan 6
TN - Tunisia 6
AZ - Azerbaigian 5
CH - Svizzera 5
OM - Oman 5
PT - Portogallo 5
AU - Australia 4
LB - Libano 4
NZ - Nuova Zelanda 4
PH - Filippine 4
RO - Romania 4
AL - Albania 3
BG - Bulgaria 3
BH - Bahrain 3
CU - Cuba 3
DO - Repubblica Dominicana 3
KE - Kenya 3
LK - Sri Lanka 3
TW - Taiwan 3
AM - Armenia 2
BB - Barbados 2
BO - Bolivia 2
BW - Botswana 2
CG - Congo 2
CM - Camerun 2
GA - Gabon 2
GY - Guiana 2
JM - Giamaica 2
KZ - Kazakistan 2
NP - Nepal 2
PA - Panama 2
PS - Palestinian Territory 2
QA - Qatar 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
SO - Somalia 2
TH - Thailandia 2
TM - Turkmenistan 2
UY - Uruguay 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BZ - Belize 1
CR - Costa Rica 1
DM - Dominica 1
Totale 22.479
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.827
Ann Arbor 1.411
Fairfield 1.300
Houston 1.117
Ashburn 902
Singapore 839
Chandler 726
Jacksonville 642
Wilmington 546
Beijing 535
Seattle 493
Hong Kong 473
Cambridge 424
Dearborn 396
Udine 219
Boardman 210
Hangzhou 193
Princeton 161
Dublin 160
Los Angeles 119
Hefei 108
Izmir 100
Ho Chi Minh City 99
New York 95
Seoul 94
Dong Ket 90
Trieste 76
Buffalo 72
São Paulo 72
San Diego 70
Dallas 69
Des Moines 54
Hanoi 54
Ottawa 53
Redondo Beach 52
The Dalles 50
Warsaw 47
Brussels 46
Ogden 44
Munich 43
Helsinki 38
Turku 36
Norwalk 28
Phoenix 28
Nanjing 26
Toronto 26
Falls Church 24
Milan 24
Rio de Janeiro 24
Stockholm 23
Council Bluffs 22
Mumbai 21
Frankfurt am Main 20
Kunming 20
Johannesburg 19
Belo Horizonte 18
Brooklyn 18
Chennai 18
Tokyo 18
Augusta 17
Paris 16
Boston 15
Orem 15
San Mateo 15
Amsterdam 14
Brasília 14
Düsseldorf 14
Grafing 14
Montreal 14
Santa Clara 14
Washington 14
Denver 13
Jinan 13
Scuola 13
Wuhan 13
Ardabil 12
London 12
Manchester 12
Redmond 12
Tashkent 12
Vienna 12
Guayaquil 11
Haiphong 11
Malo 11
Nanchang 11
Querétaro 11
Shanghai 11
Venice 11
Biên Hòa 10
Indiana 10
Poplar 10
Porto Alegre 10
Salvador 10
San Francisco 10
Atlanta 9
Campinas 9
Fuzhou 9
Guangzhou 9
Guarulhos 9
Mexico City 9
Totale 15.023
Salva come PNG Salva come JPEG
Nome #
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 422
Systems Biology: Models and Logics 300
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 274
Encodings of Sets and Hypersets 237
CNV and structural variation in plants prospects of NGS approaches 219
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution 213
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 200
Expressing Infinity without Foundation 193
Three-variable statements of set-pairing 192
Fast randomized approximate string matching with succinct hash data structures 191
Ackermann Encodings, Bisimulations, and OBDDs 187
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis 187
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges 184
Hierarchical Assembly of Pools 183
An Efficient Algorithm for Computing Bisimulation Equivalence 182
Fast online Lempel-Ziv factorization in compressed space 181
T-resolution: refinements and model elimination 179
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet 179
Computing LZ77 in Run-Compressed Space 178
Mapping Sets and Hypersets into Numbers 177
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 174
Infinity, in short 172
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 171
GAM-NGS: genomic assemblies merger for next generation sequencing 169
Rank and simulation: the well-founded case 168
Note on: The Logically Simplest Form of the Infinity Axiom 167
A set-theoretic translation method for polymodal logics 167
Simulation as Coarsest Partition Problem 167
A Fast Bisimulation Algorithm 167
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 167
High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera 166
Model building and model checking for biochemical processes 165
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior 164
Adding the power-set to description logics 164
A set-theoretic translation method for (poly)modal logics 163
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 162
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 162
mrNA: the MPI randomized Numerical Aligner 162
Ackermann Encoding, Bisimulations, and OBDD's 161
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2 158
Chimera: a Bioconductor package for secondary analysis of fusion products 156
An active learning approach to the falsification of black box cyber-physical systems 156
Stochastic Programs and Hybrid Automata for (Biological) Modeling 155
The axiom of elementary sets on the edge of Peircean expressibility 152
Decidability results for metric and layered temporal logics 151
Towards tableau-based decision procedures for non-well-founded fragments of set theory 150
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 150
Integrating lists, multisets, and sets in a logic programming framework. 149
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 149
Discreteness, hybrid automata, and biology 149
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 149
Finite families with few symmetric differences 148
Discrete Semantics for Hybrid Automata 148
Structured motifs search 148
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 147
Well-quasi-ordering hereditarily finite sets 147
Extending$$mathcal ALC$$ with the Power-Set Construct 147
A Parallel Algorithm for the Best k-Mismatches Alignment Problem 147
A complete axiomatic system for a process-based spatial logic 146
Physical mapping in highly heterozygous genomes: a physical contig map of the Pinot Noir grapevine cultivar 145
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program 145
Stochastic concurrent constraint programming and differential equations 144
rNA: a Fast and Accurate Short Reads Numerical Aligner 144
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 144
Martin Davis on Computability, Computational Logic, and Mathematical Foundations 143
BuST: Bundled Suffix Trees 143
Modal deduction in second-order logic and set theory. I 142
Decidability of E*A-sentences in Membership Theories 142
Algorithms and Data Structures for Next Generation Sequences 141
Hybrid approximation of stochastic process algebras for systems biology 140
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS 139
Inclusion dynamics hybrid automata 139
Structured Motifs Search 138
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 137
Markov chain algorithms for generating sets uniformly at random 137
LZ77 Computation Based on the Run-Length Encoded BWT 136
Simulation Reduction as Constraint 135
A logical approach to time granularity 134
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 134
Automated FingerPrint Background removal: FPB 133
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 131
Extending Kamp's Theorem to Model Time Granularity 131
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back 131
Optimization and multistage systems. The thawing case 131
A Randomized Numerical Aligner (rNA) 130
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 129
The importance of being (a little bit) discrete 129
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 129
Automated Search for LTR Retrotransposons 129
Hybrid dynamics of stochastic programs 128
Comparing Expressiveness of Set Constructor Symbols 128
Alternative Translation Techniques for Propositional and First-Order Modal Logics 127
A Randomized Numerical Aligner -- rNA 127
Foundations of a query and simulation system for the modeling of biochemical and biological processes 126
T-theorem proving. I 125
The Automation of Syllogistic II. Optimization and Complexity Issues 125
The Importance of Being (A Little Bit) Discrete 124
Theories of omega-layered metric temporal structures 124
A derived algorithm for evaluating epsilon-expressions over abstract sets 123
Truth Table for a Combinatorial Kernel of Set Theories 122
Totale 15.902
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.096
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 76.096
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.551 0 0 0 0 0 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/20253.935 62 205 148 145 115 133 159 140 308 379 827 1.314
2025/20263.641 484 579 546 798 900 334 0 0 0 0 0 0
Totale 22.767