CRIS Current Research Information System

ASPERTI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.993
EU - Europa 4.528
AS - Asia 4.055
SA - Sud America 236
AF - Africa 141
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 18
Totale 13.990
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.829
IT - Italia 1.674
SG - Singapore 1.084
GB - Regno Unito 1.044
CN - Cina 1.030
VN - Vietnam 902
DE - Germania 401
FR - Francia 276
HK - Hong Kong 252
SE - Svezia 221
IN - India 196
UA - Ucraina 191
RU - Federazione Russa 177
BR - Brasile 157
CA - Canada 146
KR - Corea 107
NL - Olanda 106
IE - Irlanda 98
JP - Giappone 90
CH - Svizzera 88
BD - Bangladesh 87
TR - Turchia 74
FI - Finlandia 68
ZA - Sudafrica 61
EE - Estonia 44
AR - Argentina 41
PK - Pakistan 37
PH - Filippine 29
JO - Giordania 25
AT - Austria 24
SC - Seychelles 23
HR - Croazia 22
TH - Thailandia 20
TW - Taiwan 20
ID - Indonesia 19
CI - Costa d'Avorio 18
BE - Belgio 17
ES - Italia 17
EU - Europa 16
IQ - Iraq 15
SA - Arabia Saudita 13
MY - Malesia 12
AU - Australia 11
GR - Grecia 11
MX - Messico 11
TG - Togo 9
CO - Colombia 8
DK - Danimarca 8
IR - Iran 8
CL - Cile 7
CZ - Repubblica Ceca 7
EC - Ecuador 7
NZ - Nuova Zelanda 7
BG - Bulgaria 6
PE - Perù 6
PL - Polonia 6
TN - Tunisia 6
UZ - Uzbekistan 6
VE - Venezuela 6
IL - Israele 5
KZ - Kazakistan 5
MA - Marocco 5
PT - Portogallo 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
LB - Libano 4
LT - Lituania 4
NG - Nigeria 4
PY - Paraguay 4
GE - Georgia 3
SM - San Marino 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
BW - Botswana 2
JM - Giamaica 2
LU - Lussemburgo 2
QA - Qatar 2
RO - Romania 2
SI - Slovenia 2
AO - Angola 1
BB - Barbados 1
CR - Costa Rica 1
CV - Capo Verde 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GD - Grenada 1
GI - Gibilterra 1
IS - Islanda 1
KE - Kenya 1
KG - Kirghizistan 1
KI - Kiribati 1
LK - Sri Lanka 1
LY - Libia 1
MN - Mongolia 1
NA - Namibia 1
NP - Nepal 1
OM - Oman 1
PR - Porto Rico 1
PS - Palestinian Territory 1
Totale 13.988
Salva come PNG Salva come JPEG
Città #
Southend 893
Singapore 710
Bologna 451
Ashburn 372
Chandler 350
Fairfield 334
San Jose 282
Santa Clara 273
Hong Kong 226
Hefei 209
Woodbridge 163
Wilmington 162
Seattle 153
Ho Chi Minh City 150
Cambridge 148
Hanoi 148
Princeton 148
Milan 144
Beijing 141
Houston 139
Dong Ket 127
Jacksonville 127
Ann Arbor 124
New York 123
Dallas 121
Dublin 96
Boardman 89
Seoul 83
Lauterbourg 80
Nanjing 72
Council Bluffs 70
Tokyo 70
Los Angeles 68
Bern 63
Montreal 63
Westminster 60
Istanbul 59
Helsinki 58
Padova 54
Berlin 51
Jinan 45
Medford 41
Saint Petersburg 37
Buffalo 35
Rome 35
Amsterdam 33
Florence 32
Mülheim 31
The Dalles 31
Da Nang 30
Paris 30
San Diego 28
Turin 28
Haiphong 27
Redondo Beach 27
Nanchang 25
Shenyang 25
Amman 24
Changsha 24
Tianjin 24
Guangzhou 21
Munich 21
Redmond 19
Abidjan 18
Cesena 18
Ferrara 18
Frankfurt am Main 18
Mahé 17
Bengaluru 16
Forlì 16
North Bergen 16
Phoenix 16
Hangzhou 15
San Francisco 15
Vienna 15
Chicago 14
Des Moines 14
Jiaxing 14
Modena 14
Naples 14
Shanghai 14
Brussels 13
Nice 13
Pune 13
Redwood City 13
Reggio Emilia 13
Rimini 13
São Paulo 13
Catania 12
Civitanova Marche 12
Norwalk 12
Nuremberg 12
Yubileyny 12
Casalecchio di Reno 11
London 11
Orem 11
Can Tho 10
Düsseldorf 10
Pisa 10
Taipei 10
Totale 8.433
Salva come PNG Salva come JPEG
Nome #
A formalization of multi-tape Turing machines 303
A Survey on Variational Autoencoders from a Green AI Perspective 301
Comparing the latent space of generative models 294
Precipitation nowcasting with generative diffusion models 289
Matita 0.5.8 287
Variational Autoencoders and the Variable Collapse Phenomenon 285
Deep Learning for Head Pose Estimation: A Survey 281
Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders 272
A compact kernel for the calculus of inductive constructions 271
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 260
About Generative Aspects of Variational Autoencoders 257
A review of recent techniques for person re-identification 256
Crawling in Rogue's Dungeons With Deep Reinforcement Techniques 255
Crawling in Rogue’s Dungeons with (Partitioned) A3C 234
Crafting a Proof Assistant 228
Image embedding for denoising generative models 227
An Interactive Algebra Course with Formalised Proofs and Definitions 223
About the Formalization of some Results by Chebyshev in Number Theory 218
Matita 210
The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images 204
The Matita Interactive Theorem Prover 202
Syllabification of the Divine Comedy 200
Enhancing variational generation through self-decomposition 198
A new type for tactics 198
An Interactive Driver for Goal-directed Proof Strategies. 194
Mathematical Knowledge Management 192
Some Considerations on the Usability of Interactive Provers. 186
A Web Interface for Matita 185
Rating Disambiguation Errors 181
A content based mathematical search engine: Whelp 181
A Compact Proof of Decidability for Regular Expression Equivalence 179
A Machine-Checked Proof of the Odd Order Theorem 179
A page in number theory 178
Certified Complexity 178
Portrait Reification with Generative Diffusion Models 177
User Interaction with the Matita Proof Assistant 177
Matita 0.5.7 177
The intensional content of Rice's theorem. 175
A proof of Bertrand's postulate 174
(Optimal) duplication is not elementary recursive. 174
Variance Loss in Variational Autoencoders 174
Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations 174
An Investigation of the Domain Gap in CLIP-Based Person Re-Identification 170
Hints in Unification 170
Formalizing Turing Machines 169
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 167
A Generative Approach to Person Reidentification 163
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 161
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 160
Automatic point-of-interest image cropping via ensembled convolutionalization 160
Verifica automatica e dimostrazione interattiva 157
Social processes, program verification and all that 154
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem 152
Zen and the art of formalisation. 150
Sparsity in Variational Autoencoders 150
A Web Interface for the Matita Proof Assistant 147
A Modular Deep-learning Environment for Rogue 145
Type systems for dummies 144
Rogueinabox: an Environment for Roguelike Learning. 142
Superposition as a logical glue 140
Matita 0.99.1 138
Computational complexity via finite types 128
Reverse Complexity 126
Mobile Petri nets 120
Smart Matching 117
Illumination and Shadows in Head Rotation: Experiments with Denoising Diffusion Models 116
Efficient Retrieval of Mathematical Statements. 116
Proof, Message and Certificate 114
Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models 113
Preface 107
Machine Learning-Based Anomaly Prediction for Proactive Monitoring in Data Centers: A Case Study on INFN-CNAF 106
Journal of Formalized Reasoning ISSN: 1972-5787 104
The Cost of Usage in the Lambda-Calculus 104
The Speedup Theorem in a Primitive Recursive Framework 104
IST-2001-33562 MoWGLI 104
A Notion of Complexity for Theory of Mind via Discrete World Models 101
MicroRacer: A Didactic Environment for Deep Reinforcement Learning 100
Thinking Machines: Mathematical Reasoning in the Age of LLMs 89
A Critical Assessment of Modern Generative Models’ Ability to Replicate Artistic Styles 77
Matita Tutorial 68
Does CLIP Perceive Art the Same Way We Do? 66
null 46
Deep learning for sea surface temperature reconstruction under cloud occlusion 36
Art through CLIP’s Eyes 1
Totale 14.290
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.990
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 36.990
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021306 0 0 0 0 0 0 0 0 0 0 0 306
2021/20221.851 246 72 97 139 141 87 68 116 74 52 504 255
2022/20231.677 177 171 96 178 93 176 77 111 246 46 165 141
2023/2024768 57 112 65 75 36 166 52 50 22 57 45 31
2024/20252.178 50 297 158 164 361 139 179 105 94 133 194 304
2025/20264.383 263 406 420 309 439 226 496 172 814 347 271 220
Totale 14.290