IRIS
POLICRITI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.459
AS - Asia 6.268
EU - Europa 3.841
SA - Sud America 983
AF - Africa 133
Continente sconosciuto - Info sul continente non disponibili 10
OC - Oceania 9
Totale 25.703
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.195
SG - Singapore 3.086
CN - Cina 1.404
UA - Ucraina 923
BR - Brasile 739
IT - Italia 724
HK - Hong Kong 510
DE - Germania 487
VN - Vietnam 468
FI - Finlandia 381
RU - Federazione Russa 315
FR - Francia 233
SE - Svezia 200
CA - Canada 167
IE - Irlanda 166
IN - India 149
GB - Regno Unito 133
TR - Turchia 127
BD - Bangladesh 118
KR - Corea 96
AR - Argentina 87
MX - Messico 50
PL - Polonia 50
BE - Belgio 48
NL - Olanda 42
EC - Ecuador 40
ID - Indonesia 36
ZA - Sudafrica 36
ES - Italia 34
JP - Giappone 33
IQ - Iraq 30
PK - Pakistan 30
CO - Colombia 27
VE - Venezuela 26
CL - Cile 25
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
JM - Giamaica 10
MY - Malesia 10
TN - Tunisia 10
HU - Ungheria 9
AZ - Azerbaigian 8
CZ - Repubblica Ceca 8
EU - Europa 8
PT - Portogallo 8
TG - Togo 8
CH - Svizzera 7
IL - Israele 7
JO - Giordania 7
BO - Bolivia 6
EE - Estonia 6
KE - Kenya 6
KG - Kirghizistan 6
LB - Libano 6
OM - Oman 6
PS - Palestinian Territory 6
SD - Sudan 6
TH - Thailandia 6
HN - Honduras 5
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
CR - Costa Rica 3
CU - Cuba 3
LK - Sri Lanka 3
PA - Panama 3
SV - El Salvador 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
ET - Etiopia 2
GA - Gabon 2
GY - Guiana 2
KW - Kuwait 2
MD - Moldavia 2
Totale 25.662
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.827
Ann Arbor 1.411
Fairfield 1.300
Houston 1.124
Ashburn 1.041
Singapore 1.003
Chandler 726
Jacksonville 643
Beijing 560
Wilmington 547
Hong Kong 509
Seattle 494
San Jose 489
Cambridge 424
Dearborn 396
Udine 224
Boardman 223
Council Bluffs 208
Hangzhou 194
Dublin 163
Lauterbourg 163
Princeton 161
Los Angeles 137
Ho Chi Minh City 128
New York 114
Hefei 108
The Dalles 101
Izmir 100
Seoul 95
Dong Ket 90
Dallas 87
Hanoi 83
Trieste 82
São Paulo 76
Buffalo 73
San Diego 70
Helsinki 60
Ottawa 56
Des Moines 54
Redondo Beach 52
Santa Clara 48
Warsaw 47
Brussels 46
Ogden 44
Munich 43
Turku 36
Frankfurt am Main 35
Phoenix 35
Milan 33
Orem 32
Rio de Janeiro 30
Chennai 29
Norwalk 28
Toronto 28
Tokyo 27
Nanjing 26
Stockholm 25
Atlanta 24
Falls Church 24
London 24
Montreal 24
Mumbai 23
Brooklyn 22
Amsterdam 20
Belo Horizonte 20
Kunming 20
Tashkent 20
Chicago 19
Johannesburg 19
Boston 18
Paris 18
Augusta 17
Washington 17
Denver 16
Jinan 15
Rome 15
San Francisco 15
San Mateo 15
Brasília 14
Düsseldorf 14
Grafing 14
Manchester 14
Venice 14
Guayaquil 13
Haiphong 13
Quito 13
Scuola 13
Shanghai 13
Vienna 13
Wuhan 13
Ardabil 12
Baghdad 12
Mexico City 12
Poplar 12
Redmond 12
Sandston 12
Biên Hòa 11
Caracas 11
Malo 11
Nanchang 11
Totale 16.670
Salva come PNG Salva come JPEG
Nome #
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 443
Systems Biology: Models and Logics 315
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 292
Encodings of Sets and Hypersets 248
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution 238
CNV and structural variation in plants prospects of NGS approaches 234
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 225
Expressing Infinity without Foundation 223
Ackermann Encodings, Bisimulations, and OBDDs 213
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet 213
Mapping Sets and Hypersets into Numbers 212
Three-variable statements of set-pairing 210
T-resolution: refinements and model elimination 208
Fast randomized approximate string matching with succinct hash data structures 205
Computing LZ77 in Run-Compressed Space 205
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges 202
Fast online Lempel-Ziv factorization in compressed space 199
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis 197
Hierarchical Assembly of Pools 196
An Efficient Algorithm for Computing Bisimulation Equivalence 194
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 193
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 191
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 190
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 190
Model building and model checking for biochemical processes 189
GAM-NGS: genomic assemblies merger for next generation sequencing 188
Simulation as Coarsest Partition Problem 187
Rank and simulation: the well-founded case 187
A set-theoretic translation method for polymodal logics 186
Discrete Semantics for Hybrid Automata 186
Infinity, in short 186
A set-theoretic translation method for (poly)modal logics 185
A Fast Bisimulation Algorithm 183
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior 183
mrNA: the MPI randomized Numerical Aligner 182
High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera 181
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 181
Ackermann Encoding, Bisimulations, and OBDD's 180
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2 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
Decidability of E*A-sentences in Membership Theories 176
Adding the power-set to description logics 175
Note on: The Logically Simplest Form of the Infinity Axiom 173
An active learning approach to the falsification of black box cyber-physical systems 173
The axiom of elementary sets on the edge of Peircean expressibility 172
The Bernays-Schoenfinkel-Ramsey Class in Set Theory: Decidability 172
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 172
Discreteness, hybrid automata, and biology 169
A complete axiomatic system for a process-based spatial logic 168
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 168
LZ77 Computation Based on the Run-Length Encoded BWT 168
Stochastic Programs and Hybrid Automata for (Biological) Modeling 167
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 166
Chimera: a Bioconductor package for secondary analysis of fusion products 166
Decidability results for metric and layered temporal logics 165
Towards tableau-based decision procedures for non-well-founded fragments of set theory 164
Well-quasi-ordering hereditarily finite sets 163
rNA: a Fast and Accurate Short Reads Numerical Aligner 162
A Parallel Algorithm for the Best k-Mismatches Alignment Problem 162
Modal deduction in second-order logic and set theory. I 161
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 161
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program 161
Automated FingerPrint Background removal: FPB 160
Inclusion dynamics hybrid automata 160
Structured motifs search 159
Integrating lists, multisets, and sets in a logic programming framework. 158
Stochastic concurrent constraint programming and differential equations 158
Structured Motifs Search 158
Finite families with few symmetric differences 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 157
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS 155
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 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
BuST: Bundled Suffix Trees 151
Hybrid approximation of stochastic process algebras for systems biology 150
The Automation of Syllogistic II. Optimization and Complexity Issues 150
Theories of omega-layered metric temporal structures 149
Simulation Reduction as Constraint 148
Alternative Translation Techniques for Propositional and First-Order Modal Logics 148
The Rational Construction of a Wheeler DFA 147
A logical approach to time granularity 147
Markov chain algorithms for generating sets uniformly at random 146
Optimization and multistage systems. The thawing case 146
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 144
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 143
A Randomized Numerical Aligner -- rNA 143
Set-syllogistics meet combinatorics 143
The Importance of Being (A Little Bit) Discrete 142
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 141
Automated Search for LTR Retrotransposons 141
T-theorem proving. I 140
Extending Kamp's Theorem to Model Time Granularity 140
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
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies 137
Totale 17.744
Salva come PNG Salva come JPEG
Categoria #
all - tutte 85.972
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 85.972
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.576 484 579 546 798 900 543 723 205 398 663 435 302
2026/2027299 299 0 0 0 0 0 0 0 0 0 0 0
Totale 26.001