IRIS
POLICRITI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.092
AS - Asia 6.269
EU - Europa 4.080
SA - Sud America 1.005
Continente sconosciuto - Info sul continente non disponibili 313
AF - Africa 135
OC - Oceania 10
Totale 26.904
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.760
SG - Singapore 3.074
CN - Cina 1.410
IT - Italia 958
UA - Ucraina 923
BR - Brasile 746
HK - Hong Kong 509
DE - Germania 484
VN - Vietnam 466
FI - Finlandia 379
RU - Federazione Russa 315
FR - Francia 233
CA - Canada 201
SE - Svezia 200
IE - Irlanda 166
IN - India 149
GB - Regno Unito 141
TR - Turchia 126
BD - Bangladesh 117
KR - Corea 96
AR - Argentina 90
MX - Messico 58
PL - Polonia 50
BE - Belgio 48
NL - Olanda 46
EC - Ecuador 41
ID - Indonesia 40
ZA - Sudafrica 36
ES - Italia 34
CO - Colombia 33
JP - Giappone 31
IQ - Iraq 30
PK - Pakistan 30
VE - Venezuela 30
CL - Cile 25
SA - Arabia Saudita 23
MA - Marocco 21
IR - Iran 20
UZ - Uzbekistan 19
JM - Giamaica 18
AT - Austria 16
LT - Lituania 15
PH - Filippine 15
PY - Paraguay 15
AE - Emirati Arabi Uniti 14
MY - Malesia 13
EG - Egitto 12
DZ - Algeria 11
PE - Perù 11
DK - Danimarca 10
TG - Togo 10
TN - Tunisia 10
HU - Ungheria 9
AZ - Azerbaigian 8
CR - Costa Rica 8
CZ - Repubblica Ceca 8
EU - Europa 8
PT - Portogallo 8
BO - Bolivia 7
CH - Svizzera 7
HN - Honduras 7
IL - Israele 7
JO - Giordania 7
TH - Thailandia 7
EE - Estonia 6
KE - Kenya 6
KG - Kirghizistan 6
LB - Libano 6
OM - Oman 6
PS - Palestinian Territory 6
SD - Sudan 6
AU - Australia 5
KZ - Kazakistan 5
NI - Nicaragua 5
NP - Nepal 5
SV - El Salvador 5
TW - Taiwan 5
UY - Uruguay 5
AL - Albania 4
BG - Bulgaria 4
DO - Repubblica Dominicana 4
NZ - Nuova Zelanda 4
RO - Romania 4
BB - Barbados 3
BH - Bahrain 3
CU - Cuba 3
HT - Haiti 3
LK - Sri Lanka 3
PA - Panama 3
PR - Porto Rico 3
TT - Trinidad e Tobago 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BW - Botswana 2
BZ - Belize 2
CG - Congo 2
CI - Costa d'Avorio 2
CM - Camerun 2
ET - Etiopia 2
GA - Gabon 2
Totale 26.558
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.827
Ann Arbor 1.411
Fairfield 1.300
Ashburn 1.125
Houston 1.125
Singapore 1.002
Chandler 726
Jacksonville 643
Beijing 565
San Jose 556
Wilmington 547
Hong Kong 508
Seattle 495
Cambridge 424
Dearborn 396
Council Bluffs 357
Udine 224
Boardman 223
Hangzhou 194
Dublin 163
Lauterbourg 163
Princeton 161
Staranzano 154
Los Angeles 146
Ho Chi Minh City 128
New York 115
Hefei 107
Izmir 100
The Dalles 100
Seoul 95
Dallas 94
Dong Ket 90
Hanoi 83
Trieste 80
São Paulo 76
Buffalo 72
San Diego 72
Santa Clara 64
Milan 61
Helsinki 59
Ottawa 57
Des Moines 54
Redondo Beach 52
Warsaw 47
Brussels 46
Ogden 44
Munich 40
Phoenix 40
Frankfurt am Main 35
Turku 35
Orem 32
Rio de Janeiro 30
Chennai 29
Chicago 29
London 29
Toronto 29
Norwalk 28
Nanjing 26
Atlanta 25
Montreal 25
Stockholm 25
Tokyo 25
Brooklyn 24
Falls Church 24
Mumbai 23
Washington 21
Amsterdam 20
Belo Horizonte 20
Kunming 20
Rome 20
Johannesburg 19
Tashkent 19
Boston 18
Paris 18
Augusta 17
Denver 17
San Francisco 17
San Mateo 16
Jinan 15
Brasília 14
Düsseldorf 14
Grafing 14
Guayaquil 14
Manchester 14
Mexico City 14
Springfield 14
Venice 14
Bogotá 13
Haiphong 13
Quito 13
Scuola 13
Shanghai 13
Vienna 13
Wuhan 13
Ardabil 12
Baghdad 12
Caracas 12
Miano 12
Newark 12
Poplar 12
Totale 17.216
Salva come PNG Salva come JPEG
Nome #
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 456
Systems Biology: Models and Logics 320
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 299
Encodings of Sets and Hypersets 251
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution 248
CNV and structural variation in plants prospects of NGS approaches 240
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 233
Expressing Infinity without Foundation 229
Ackermann Encodings, Bisimulations, and OBDDs 220
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet 219
Mapping Sets and Hypersets into Numbers 217
T-resolution: refinements and model elimination 216
Three-variable statements of set-pairing 214
Fast randomized approximate string matching with succinct hash data structures 209
Computing LZ77 in Run-Compressed Space 209
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges 208
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 207
Fast online Lempel-Ziv factorization in compressed space 207
Hierarchical Assembly of Pools 206
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis 205
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 199
An Efficient Algorithm for Computing Bisimulation Equivalence 198
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 198
Model building and model checking for biochemical processes 198
Simulation as Coarsest Partition Problem 196
A set-theoretic translation method for polymodal logics 193
Discrete Semantics for Hybrid Automata 193
GAM-NGS: genomic assemblies merger for next generation sequencing 193
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 193
A set-theoretic translation method for (poly)modal logics 192
Infinity, in short 192
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior 192
A Fast Bisimulation Algorithm 189
mrNA: the MPI randomized Numerical Aligner 189
Rank and simulation: the well-founded case 189
Decidability of E*A-sentences in Membership Theories 189
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 188
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 186
Ackermann Encoding, Bisimulations, and OBDD's 185
High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera 185
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2 184
LZ77 Computation Based on the Run-Length Encoded BWT 183
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 182
The axiom of elementary sets on the edge of Peircean expressibility 180
The Bernays-Schoenfinkel-Ramsey Class in Set Theory: Decidability 179
An active learning approach to the falsification of black box cyber-physical systems 179
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 179
Adding the power-set to description logics 179
Note on: The Logically Simplest Form of the Infinity Axiom 177
A complete axiomatic system for a process-based spatial logic 176
Discreteness, hybrid automata, and biology 174
Decidability results for metric and layered temporal logics 174
Stochastic Programs and Hybrid Automata for (Biological) Modeling 173
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 173
Modal deduction in second-order logic and set theory. I 172
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 171
Towards tableau-based decision procedures for non-well-founded fragments of set theory 170
Chimera: a Bioconductor package for secondary analysis of fusion products 170
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 168
A Parallel Algorithm for the Best k-Mismatches Alignment Problem 168
Structured motifs search 167
Well-quasi-ordering hereditarily finite sets 167
rNA: a Fast and Accurate Short Reads Numerical Aligner 166
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program 165
Inclusion dynamics hybrid automata 165
Physical mapping in highly heterozygous genomes: a physical contig map of the Pinot Noir grapevine cultivar 164
Structured Motifs Search 163
Integrating lists, multisets, and sets in a logic programming framework. 162
Automated FingerPrint Background removal: FPB 162
Stochastic concurrent constraint programming and differential equations 161
A Randomized Numerical Aligner (rNA) 161
Finite families with few symmetric differences 160
Algorithms and Data Structures for Next Generation Sequences 160
Extending$$mathcal ALC$$ with the Power-Set Construct 159
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 158
The Automation of Syllogistic II. Optimization and Complexity Issues 158
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS 157
BuST: Bundled Suffix Trees 157
Martin Davis on Computability, Computational Logic, and Mathematical Foundations 156
Hybrid approximation of stochastic process algebras for systems biology 154
Theories of omega-layered metric temporal structures 154
Simulation Reduction as Constraint 153
Alternative Translation Techniques for Propositional and First-Order Modal Logics 152
The Rational Construction of a Wheeler DFA 151
Markov chain algorithms for generating sets uniformly at random 151
Optimization and multistage systems. The thawing case 151
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 149
A logical approach to time granularity 149
A Randomized Numerical Aligner -- rNA 149
Set-syllogistics meet combinatorics 148
Foundations of a query and simulation system for the modeling of biochemical and biological processes 147
T-theorem proving. I 146
Automated Search for LTR Retrotransposons 145
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 144
Extending Kamp's Theorem to Model Time Granularity 144
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 144
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies 143
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back 143
The Importance of Being (A Little Bit) Discrete 143
Completeness and Decidability of the Deducibility Problem for Some Classes of Formulas of Set Theory 142
Totale 18.331
Salva come PNG Salva come JPEG
Categoria #
all - tutte 89.200
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 89.200
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.213 0 0 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.910 62 205 148 145 115 133 159 136 307 376 824 1.300
2025/20266.514 477 574 544 794 891 539 716 201 397 656 429 296
2026/20271.289 336 465 488 0 0 0 0 0 0 0 0 0
Totale 26.904