CRIS Current Research Information System

ASPERTI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.198
EU - Europa 4.052
AS - Asia 2.922
SA - Sud America 182
AF - Africa 120
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 18
Totale 11.511
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.062
IT - Italia 1.423
GB - Regno Unito 1.024
CN - Cina 893
SG - Singapore 839
VN - Vietnam 430
DE - Germania 372
HK - Hong Kong 222
SE - Svezia 219
UA - Ucraina 191
FR - Francia 182
RU - Federazione Russa 173
IN - India 172
CA - Canada 126
BR - Brasile 124
KR - Corea 97
IE - Irlanda 96
NL - Olanda 93
CH - Svizzera 84
TR - Turchia 69
JP - Giappone 59
ZA - Sudafrica 56
EE - Estonia 44
FI - Finlandia 35
AR - Argentina 33
PK - Pakistan 25
JO - Giordania 24
SC - Seychelles 23
AT - Austria 21
HR - Croazia 19
CI - Costa d'Avorio 18
BE - Belgio 17
EU - Europa 16
ID - Indonesia 15
AU - Australia 11
ES - Italia 11
PH - Filippine 11
BD - Bangladesh 10
GR - Grecia 10
MY - Malesia 10
TW - Taiwan 10
TG - Togo 9
DK - Danimarca 8
CZ - Repubblica Ceca 7
IR - Iran 7
MX - Messico 7
NZ - Nuova Zelanda 7
CL - Cile 6
BG - Bulgaria 5
KZ - Kazakistan 5
CO - Colombia 4
EC - Ecuador 4
IL - Israele 4
LB - Libano 4
PE - Perù 4
PT - Portogallo 4
SA - Arabia Saudita 4
VE - Venezuela 4
GE - Georgia 3
PL - Polonia 3
PY - Paraguay 3
SM - San Marino 3
TN - Tunisia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
BW - Botswana 2
EG - Egitto 2
LT - Lituania 2
MA - Marocco 2
NG - Nigeria 2
QA - Qatar 2
RO - Romania 2
SI - Slovenia 2
UZ - Uzbekistan 2
BB - Barbados 1
CV - Capo Verde 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GI - Gibilterra 1
KI - Kiribati 1
LK - Sri Lanka 1
LU - Lussemburgo 1
OM - Oman 1
PR - Porto Rico 1
PS - Palestinian Territory 1
TZ - Tanzania 1
Totale 11.511
Salva come PNG Salva come JPEG
Città #
Southend 893
Singapore 572
Bologna 409
Chandler 350
Fairfield 334
Ashburn 312
Santa Clara 259
Hefei 209
Hong Kong 200
Woodbridge 163
Wilmington 162
Seattle 149
Cambridge 148
Princeton 148
Houston 138
Beijing 128
Dong Ket 127
Jacksonville 127
Ann Arbor 124
Dallas 113
Milan 109
Dublin 94
New York 94
Boardman 86
Seoul 83
Nanjing 71
Bern 63
Westminster 60
Istanbul 59
Montreal 54
Padova 54
Tokyo 51
Berlin 50
Los Angeles 49
Ho Chi Minh City 44
Jinan 44
Medford 41
Saint Petersburg 37
Buffalo 32
Mülheim 31
Hanoi 29
Amsterdam 27
Redondo Beach 27
San Diego 27
Turin 27
Helsinki 26
Florence 25
Nanchang 25
Shenyang 25
Rome 24
Amman 23
Changsha 22
Tianjin 22
Munich 21
Paris 21
Redmond 19
Abidjan 18
Ferrara 18
Cesena 17
Mahé 17
Bengaluru 16
Forlì 16
Des Moines 14
Vienna 14
Brussels 13
Jiaxing 13
Nice 13
Pune 13
Redwood City 13
Civitanova Marche 12
Guangzhou 12
São Paulo 12
Yubileyny 12
Casalecchio di Reno 11
Norwalk 11
San Francisco 11
The Dalles 11
Düsseldorf 10
Nuremberg 10
Shanghai 10
Dearborn 9
Hebei 9
Jakarta 9
Lomé 9
London 9
Modena 9
Reggio Emilia 9
San Venanzo 9
Taiyuan 9
Catania 8
Chicago 8
Falls Church 8
Frankfurt am Main 8
Hangzhou 8
Naples 8
Ningbo 8
Verona 8
Zhengzhou 8
Brooklyn 7
Buenos Aires 7
Totale 7.145
Salva come PNG Salva come JPEG
Nome #
Comparing the latent space of generative models 262
Matita 0.5.8 260
A Survey on Variational Autoencoders from a Green AI Perspective 257
A formalization of multi-tape Turing machines 250
Deep Learning for Head Pose Estimation: A Survey 246
About Generative Aspects of Variational Autoencoders 237
Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders 234
A compact kernel for the calculus of inductive constructions 233
Crawling in Rogue's Dungeons With Deep Reinforcement Techniques 232
Variational Autoencoders and the Variable Collapse Phenomenon 230
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 217
Crawling in Rogue’s Dungeons with (Partitioned) A3C 217
An Interactive Algebra Course with Formalised Proofs and Definitions 206
About the Formalization of some Results by Chebyshev in Number Theory 196
Crafting a Proof Assistant 195
The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images 190
Image embedding for denoising generative models 184
The Matita Interactive Theorem Prover 177
Precipitation nowcasting with generative diffusion models 176
An Interactive Driver for Goal-directed Proof Strategies. 176
A new type for tactics 175
Mathematical Knowledge Management 172
Enhancing variational generation through self-decomposition 168
A Machine-Checked Proof of the Odd Order Theorem 168
A review of recent techniques for person re-identification 166
A Web Interface for Matita 163
A Compact Proof of Decidability for Regular Expression Equivalence 160
Some Considerations on the Usability of Interactive Provers. 159
Certified Complexity 158
User Interaction with the Matita Proof Assistant 157
A page in number theory 155
A content based mathematical search engine: Whelp 155
Variance Loss in Variational Autoencoders 154
Syllabification of the Divine Comedy 153
(Optimal) duplication is not elementary recursive. 152
Rating Disambiguation Errors 151
A proof of Bertrand's postulate 148
Automatic point-of-interest image cropping via ensembled convolutionalization 147
Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations 147
The intensional content of Rice's theorem. 144
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 144
Formalizing Turing Machines 144
Matita 0.5.7 143
Portrait Reification with Generative Diffusion Models 141
Matita 141
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 140
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem 140
Social processes, program verification and all that 138
Hints in Unification 138
A Modular Deep-learning Environment for Rogue 136
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 134
Zen and the art of formalisation. 133
A Web Interface for the Matita Proof Assistant 130
Superposition as a logical glue 129
Type systems for dummies 129
Sparsity in Variational Autoencoders 127
A Generative Approach to Person Reidentification 127
Verifica automatica e dimostrazione interattiva 126
An Investigation of the Domain Gap in CLIP-Based Person Re-Identification 124
Computational complexity via finite types 121
Rogueinabox: an Environment for Roguelike Learning. 116
Matita 0.99.1 106
Efficient Retrieval of Mathematical Statements. 102
Smart Matching 102
Mobile Petri nets 100
Proof, Message and Certificate 99
Reverse Complexity 99
The Cost of Usage in the Lambda-Calculus 95
The Speedup Theorem in a Primitive Recursive Framework 93
IST-2001-33562 MoWGLI 89
Preface 88
Journal of Formalized Reasoning ISSN: 1972-5787 87
MicroRacer: A Didactic Environment for Deep Reinforcement Learning 69
A Notion of Complexity for Theory of Mind via Discrete World Models 68
Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models 65
Illumination and Shadows in Head Rotation: Experiments with Denoising Diffusion Models 52
Matita Tutorial 47
null 46
A Critical Assessment of Modern Generative Models’ Ability to Replicate Artistic Styles 27
Machine Learning-Based Anomaly Prediction for Proactive Monitoring in Data Centers: A Case Study on INFN-CNAF 20
Totale 11.782
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.285
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 31.285
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021888 0 0 0 0 0 50 35 125 212 80 80 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/20261.875 263 406 420 309 439 38 0 0 0 0 0 0
Totale 11.782