IRIS
POLICRITI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.838
EU - Europa 3.135
AS - Asia 2.207
SA - Sud America 249
AF - Africa 33
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 8
Totale 17.478
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.734
SG - Singapore 1.173
UA - Ucraina 911
CN - Cina 619
IT - Italia 558
DE - Germania 419
FI - Finlandia 323
RU - Federazione Russa 297
BR - Brasile 229
SE - Svezia 179
IE - Irlanda 158
TR - Turchia 105
CA - Canada 92
VN - Vietnam 92
KR - Corea 80
GB - Regno Unito 76
IN - India 50
FR - Francia 48
BE - Belgio 46
PL - Polonia 30
NL - Olanda 19
HK - Hong Kong 17
IR - Iran 16
ES - Italia 10
AT - Austria 8
CZ - Repubblica Ceca 8
DK - Danimarca 8
EU - Europa 8
BD - Bangladesh 7
MA - Marocco 7
EC - Ecuador 6
HU - Ungheria 6
JP - Giappone 6
SD - Sudan 6
TG - Togo 6
ZA - Sudafrica 6
EE - Estonia 5
PT - Portogallo 5
AR - Argentina 4
AU - Australia 4
KG - Kirghizistan 4
LT - Lituania 4
MX - Messico 4
NZ - Nuova Zelanda 4
RO - Romania 4
UZ - Uzbekistan 4
VE - Venezuela 4
AZ - Azerbaigian 3
CH - Svizzera 3
CU - Cuba 3
IL - Israele 3
PH - Filippine 3
PK - Pakistan 3
TW - Taiwan 3
AE - Emirati Arabi Uniti 2
CM - Camerun 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
EG - Egitto 2
ID - Indonesia 2
IQ - Iraq 2
LK - Sri Lanka 2
PA - Panama 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
TM - Turkmenistan 2
AL - Albania 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BZ - Belize 1
CL - Cile 1
CO - Colombia 1
GA - Gabon 1
GE - Georgia 1
IM - Isola di Man 1
JO - Giordania 1
KZ - Kazakistan 1
LI - Liechtenstein 1
LV - Lettonia 1
MD - Moldavia 1
NO - Norvegia 1
PE - Perù 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
TH - Thailandia 1
TN - Tunisia 1
UY - Uruguay 1
Totale 17.478
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.827
Ann Arbor 1.411
Fairfield 1.300
Houston 1.108
Chandler 726
Ashburn 651
Jacksonville 641
Wilmington 546
Singapore 516
Seattle 483
Cambridge 424
Dearborn 396
Udine 214
Boardman 210
Hangzhou 191
Beijing 188
Princeton 161
Dublin 156
Izmir 100
Dong Ket 90
Seoul 79
San Diego 70
Trieste 64
New York 58
Ottawa 53
Des Moines 49
Brussels 46
Ogden 44
Helsinki 34
The Dalles 32
Norwalk 28
Warsaw 28
Falls Church 24
Nanjing 24
Hefei 23
Toronto 22
Kunming 20
Los Angeles 20
Milan 20
Phoenix 19
São Paulo 19
Frankfurt am Main 18
Hong Kong 16
San Mateo 15
Augusta 14
Düsseldorf 14
Grafing 14
Scuola 13
Washington 13
Wuhan 13
Ardabil 12
Paris 12
Redmond 12
Jinan 11
Malo 11
Nanchang 11
Shanghai 11
Indiana 10
Belo Horizonte 9
Brooklyn 9
Fuzhou 9
Guangzhou 9
Brasília 8
Duncan 8
Leawood 8
Nuremberg 8
Aarhus 7
Boston 7
London 7
Montréal 7
Ningbo 7
Padova 7
Rio de Janeiro 7
San Francisco 7
Shenyang 7
Vicenza 7
Zoppola 7
Andover 6
Fayetteville 6
Hebei 6
Laives 6
Lomé 6
Moscow 6
Pignone 6
Porto Alegre 6
Rezzato 6
Rome 6
Torre Del Greco 6
Venice 6
Baton Rouge 5
Bologna 5
Johannesburg 5
Khartoum 5
Lauterbourg 5
Pasian Di Prato 5
Turku 5
Vienna 5
Amsterdam 4
Bishkek 4
Budapest 4
Totale 12.604
Salva come PNG Salva come JPEG
Nome #
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 385
Systems Biology: Models and Logics 213
CNV and structural variation in plants prospects of NGS approaches 192
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 190
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution 175
Expressing Infinity without Foundation 165
Fast online Lempel-Ziv factorization in compressed space 164
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 162
Fast randomized approximate string matching with succinct hash data structures 160
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis 159
Encodings of Sets and Hypersets 155
Hierarchical Assembly of Pools 153
Note on: The Logically Simplest Form of the Infinity Axiom 152
Three-variable statements of set-pairing 152
Computing LZ77 in Run-Compressed Space 152
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 151
T-resolution: refinements and model elimination 149
Model building and model checking for biochemical processes 147
Mapping Sets and Hypersets into Numbers 143
Is Hyper-extensionality Preservable under Deletions of Graph Elements? 143
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet 142
An Efficient Algorithm for Computing Bisimulation Equivalence 140
A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges 139
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 139
Adding the power-set to description logics 139
High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera 138
A set-theoretic translation method for (poly)modal logics 136
Chimera: a Bioconductor package for secondary analysis of fusion products 136
An active learning approach to the falsification of black box cyber-physical systems 135
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 134
Infinity, in short 134
GAM-NGS: genomic assemblies merger for next generation sequencing 133
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2 133
Integrating lists, multisets, and sets in a logic programming framework. 132
A Fast Bisimulation Algorithm 132
Decidability results for metric and layered temporal logics 132
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior 131
A set-theoretic translation method for polymodal logics 130
Ackermann Encoding, Bisimulations, and OBDD's 130
Stochastic Programs and Hybrid Automata for (Biological) Modeling 127
Simulation as Coarsest Partition Problem 127
Finite families with few symmetric differences 125
Rank and simulation: the well-founded case 125
A Parallel Algorithm for the Best k-Mismatches Alignment Problem 125
mrNA: the MPI randomized Numerical Aligner 124
BuST: Bundled Suffix Trees 124
Structured motifs search 123
A complete axiomatic system for a process-based spatial logic 122
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 122
Inclusion dynamics hybrid automata 122
Physical mapping in highly heterozygous genomes: a physical contig map of the Pinot Noir grapevine cultivar 121
Martin Davis on Computability, Computational Logic, and Mathematical Foundations 121
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 120
Modal deduction in second-order logic and set theory. I 120
Automated FingerPrint Background removal: FPB 120
Towards tableau-based decision procedures for non-well-founded fragments of set theory 120
Discreteness, hybrid automata, and biology 119
Hybrid approximation of stochastic process algebras for systems biology 118
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 118
Algorithms and Data Structures for Next Generation Sequences 118
Extending$$mathcal ALC$$ with the Power-Set Construct 118
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 117
Ackermann Encodings, Bisimulations, and OBDDs 117
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program 117
LZ77 Computation Based on the Run-Length Encoded BWT 117
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 115
The axiom of elementary sets on the edge of Peircean expressibility 114
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 113
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 113
Comparing Expressiveness of Set Constructor Symbols 113
Stochastic concurrent constraint programming and differential equations 112
Discrete Semantics for Hybrid Automata 112
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 112
A Randomized Numerical Aligner (rNA) 111
Logic-based multi-objective design of chemical reaction networks 111
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 110
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 109
WELL-QUASI-ORDERING HEREDITARILY FINITE SETS 109
Well-quasi-ordering hereditarily finite sets 109
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 108
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 107
A logical approach to time granularity 106
Simulation Reduction as Constraint 106
A Randomized Numerical Aligner -- rNA 106
Decidability of E*A-sentences in Membership Theories 106
Truth Table for a Combinatorial Kernel of Set Theories 105
Extending Kamp's Theorem to Model Time Granularity 105
rNA: a Fast and Accurate Short Reads Numerical Aligner 105
Theories of omega-layered metric temporal structures 105
Structured Motifs Search 105
The Importance of Being (A Little Bit) Discrete 104
Markov chain algorithms for generating sets uniformly at random 104
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks 104
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back 103
The importance of being (a little bit) discrete 102
Set-syllogistics meet combinatorics 102
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 101
Hybrid dynamics of stochastic programs 100
Foundations of a query and simulation system for the modeling of biochemical and biological processes 100
The Bernays Schoenfinkel Ramsey class for set theory: semidecidability 99
Totale 12.920
Salva come PNG Salva come JPEG
Categoria #
all - tutte 59.484
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 59.484
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020338 0 0 0 0 0 0 0 0 0 0 87 251
2020/20212.363 71 271 68 303 99 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/20252.545 62 205 148 139 115 131 158 140 305 378 764 0
Totale 17.736