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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021183 0 0 0 0 0 0 0 0 0 0 0 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/20266.428 484 579 546 798 900 543 723 205 398 663 435 154
Totale 25.554