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