CRIS Current Research Information System

ASPERTI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.183
EU - Europa 4.582
AS - Asia 4.102
Continente sconosciuto - Info sul continente non disponibili 318
SA - Sud America 240
AF - Africa 146
OC - Oceania 20
Totale 14.591
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.003
IT - Italia 1.721
SG - Singapore 1.098
GB - Regno Unito 1.046
CN - Cina 1.034
VN - Vietnam 905
DE - Germania 401
FR - Francia 277
HK - Hong Kong 264
SE - Svezia 221
IN - India 197
UA - Ucraina 191
RU - Federazione Russa 177
BR - Brasile 159
CA - Canada 154
KR - Corea 107
NL - Olanda 107
BD - Bangladesh 99
IE - Irlanda 98
JP - Giappone 90
CH - Svizzera 88
TR - Turchia 74
FI - Finlandia 68
ZA - Sudafrica 62
EE - Estonia 44
AR - Argentina 42
PK - Pakistan 37
PH - Filippine 29
SC - Seychelles 26
JO - Giordania 25
AT - Austria 24
HR - Croazia 22
ID - Indonesia 20
TH - Thailandia 20
TW - Taiwan 20
CI - Costa d'Avorio 18
BE - Belgio 17
ES - Italia 17
EU - Europa 16
IQ - Iraq 15
MX - Messico 13
SA - Arabia Saudita 13
AU - Australia 12
GR - Grecia 12
MY - Malesia 12
TG - Togo 9
CO - Colombia 8
DK - Danimarca 8
EC - Ecuador 8
IR - Iran 8
CL - Cile 7
CZ - Repubblica Ceca 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
HN - Honduras 3
SM - San Marino 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
BW - Botswana 2
CR - Costa Rica 2
ET - Etiopia 2
JM - Giamaica 2
LU - Lussemburgo 2
NO - Norvegia 2
QA - Qatar 2
RO - Romania 2
SI - Slovenia 2
TT - Trinidad e Tobago 2
AO - Angola 1
BB - Barbados 1
CV - Capo Verde 1
DO - Repubblica Dominicana 1
DZ - Algeria 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
Totale 14.286
Salva come PNG Salva come JPEG
Città #
Southend 893
Singapore 724
Bologna 456
Ashburn 388
Chandler 350
Fairfield 334
San Jose 306
Santa Clara 283
Hong Kong 237
Hefei 209
Wilmington 163
Woodbridge 163
Seattle 153
Milan 152
Hanoi 151
Ho Chi Minh City 150
Cambridge 148
Princeton 148
Beijing 143
Houston 139
New York 128
Dong Ket 127
Jacksonville 127
Ann Arbor 124
Dallas 124
Council Bluffs 115
Dublin 96
Boardman 90
Seoul 83
Lauterbourg 80
Nanjing 72
Los Angeles 70
Tokyo 70
Bern 63
Montreal 63
Westminster 60
Istanbul 59
Helsinki 58
Padova 54
Berlin 51
Jinan 45
Medford 41
Rome 41
Saint Petersburg 37
Buffalo 35
Amsterdam 33
The Dalles 33
Florence 32
Mülheim 31
Da Nang 30
Paris 30
Turin 29
San Diego 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
Chicago 17
Mahé 17
Modena 17
Bengaluru 16
Forlì 16
Naples 16
North Bergen 16
Phoenix 16
San Francisco 16
Hangzhou 15
Shanghai 15
Vienna 15
Brooklyn 14
Des Moines 14
Jiaxing 14
Brussels 13
Catania 13
Nice 13
Pune 13
Redwood City 13
Reggio Emilia 13
Rimini 13
São Paulo 13
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
Totale 8.607
Salva come PNG Salva come JPEG
Nome #
A formalization of multi-tape Turing machines 319
A Survey on Variational Autoencoders from a Green AI Perspective 307
Precipitation nowcasting with generative diffusion models 301
Comparing the latent space of generative models 300
Deep Learning for Head Pose Estimation: A Survey 293
Variational Autoencoders and the Variable Collapse Phenomenon 293
Matita 0.5.8 289
A compact kernel for the calculus of inductive constructions 279
Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders 278
A review of recent techniques for person re-identification 268
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 261
About Generative Aspects of Variational Autoencoders 260
Crawling in Rogue's Dungeons With Deep Reinforcement Techniques 258
Crawling in Rogue’s Dungeons with (Partitioned) A3C 235
Crafting a Proof Assistant 231
An Interactive Algebra Course with Formalised Proofs and Definitions 230
Image embedding for denoising generative models 227
About the Formalization of some Results by Chebyshev in Number Theory 219
Matita 213
The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images 207
Syllabification of the Divine Comedy 205
The Matita Interactive Theorem Prover 203
Enhancing variational generation through self-decomposition 200
A new type for tactics 200
An Interactive Driver for Goal-directed Proof Strategies. 195
Mathematical Knowledge Management 193
Some Considerations on the Usability of Interactive Provers. 187
Rating Disambiguation Errors 186
A Machine-Checked Proof of the Odd Order Theorem 186
A Web Interface for Matita 185
Portrait Reification with Generative Diffusion Models 183
A page in number theory 183
A Compact Proof of Decidability for Regular Expression Equivalence 183
A content based mathematical search engine: Whelp 182
Matita 0.5.7 181
User Interaction with the Matita Proof Assistant 179
Certified Complexity 179
A proof of Bertrand's postulate 178
An Investigation of the Domain Gap in CLIP-Based Person Re-Identification 176
The intensional content of Rice's theorem. 176
Variance Loss in Variational Autoencoders 176
Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations 176
(Optimal) duplication is not elementary recursive. 174
Formalizing Turing Machines 171
Hints in Unification 171
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 168
A Generative Approach to Person Reidentification 167
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 163
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 161
Automatic point-of-interest image cropping via ensembled convolutionalization 161
Verifica automatica e dimostrazione interattiva 158
Social processes, program verification and all that 157
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem 155
A Web Interface for the Matita Proof Assistant 153
Zen and the art of formalisation. 152
Sparsity in Variational Autoencoders 151
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 141
Matita 0.99.1 140
Computational complexity via finite types 130
Reverse Complexity 129
Mobile Petri nets 121
Smart Matching 120
Illumination and Shadows in Head Rotation: Experiments with Denoising Diffusion Models 119
Machine Learning-Based Anomaly Prediction for Proactive Monitoring in Data Centers: A Case Study on INFN-CNAF 117
Efficient Retrieval of Mathematical Statements. 117
Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models 115
Proof, Message and Certificate 114
Preface 110
The Cost of Usage in the Lambda-Calculus 106
IST-2001-33562 MoWGLI 106
A Notion of Complexity for Theory of Mind via Discrete World Models 105
Journal of Formalized Reasoning ISSN: 1972-5787 105
The Speedup Theorem in a Primitive Recursive Framework 104
MicroRacer: A Didactic Environment for Deep Reinforcement Learning 101
Thinking Machines: Mathematical Reasoning in the Age of LLMs 97
A Critical Assessment of Modern Generative Models’ Ability to Replicate Artistic Styles 81
Does CLIP Perceive Art the Same Way We Do? 70
Matita Tutorial 69
Deep learning for sea surface temperature reconstruction under cloud occlusion 63
null 46
Art through CLIP’s Eyes 12
Totale 14.591
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.577
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 38.577
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.605 0 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.397 263 406 420 309 439 226 496 172 814 347 271 234
2026/2027287 170 117 0 0 0 0 0 0 0 0 0 0
Totale 14.591