CRIS Current Research Information System

ASPERTI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.685
EU - Europa 4.403
AS - Asia 3.945
SA - Sud America 230
AF - Africa 140
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 18
Totale 13.440
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.527
IT - Italia 1.567
SG - Singapore 1.075
GB - Regno Unito 1.038
CN - Cina 1.018
VN - Vietnam 899
DE - Germania 397
FR - Francia 276
HK - Hong Kong 243
SE - Svezia 221
IN - India 196
UA - Ucraina 191
RU - Federazione Russa 174
BR - Brasile 153
CA - Canada 142
KR - Corea 107
NL - Olanda 104
IE - Irlanda 98
CH - Svizzera 87
JP - Giappone 85
TR - Turchia 74
FI - Finlandia 68
ZA - Sudafrica 61
EE - Estonia 44
AR - Argentina 40
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 16
EU - Europa 16
BD - Bangladesh 15
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
NZ - Nuova Zelanda 7
BG - Bulgaria 6
EC - Ecuador 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
LB - Libano 4
LT - Lituania 4
NG - Nigeria 4
PY - Paraguay 4
EG - Egitto 3
GE - Georgia 3
SM - San Marino 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
BW - Botswana 2
JM - Giamaica 2
QA - Qatar 2
RO - Romania 2
SI - Slovenia 2
AO - Angola 1
BB - Barbados 1
CV - Capo Verde 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GI - Gibilterra 1
IS - Islanda 1
KE - Kenya 1
KG - Kirghizistan 1
KI - Kiribati 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LY - Libia 1
MN - Mongolia 1
NA - Namibia 1
NP - Nepal 1
OM - Oman 1
PR - Porto Rico 1
PS - Palestinian Territory 1
SN - Senegal 1
TZ - Tanzania 1
Totale 13.440
Salva come PNG Salva come JPEG
Città #
Southend 893
Singapore 704
Bologna 428
Chandler 350
Ashburn 346
Fairfield 334
Santa Clara 265
San Jose 245
Hong Kong 217
Hefei 209
Woodbridge 163
Wilmington 162
Seattle 150
Cambridge 148
Ho Chi Minh City 148
Princeton 148
Hanoi 147
Houston 139
Milan 135
Beijing 134
Dong Ket 127
Jacksonville 127
Ann Arbor 124
Dallas 115
New York 107
Dublin 96
Boardman 87
Seoul 83
Lauterbourg 80
Nanjing 72
Tokyo 67
Bern 63
Montreal 61
Westminster 60
Istanbul 59
Helsinki 58
Los Angeles 57
Padova 54
Berlin 51
Jinan 45
Medford 41
Saint Petersburg 37
Amsterdam 33
Buffalo 32
Florence 32
Mülheim 31
The Dalles 31
Council Bluffs 30
Da Nang 30
Paris 30
Haiphong 27
Redondo Beach 27
San Diego 27
Turin 27
Rome 26
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
Hangzhou 15
Vienna 15
Des Moines 14
Jiaxing 14
Modena 14
Brussels 13
Nice 13
Pune 13
Redwood City 13
Shanghai 13
Chicago 12
Civitanova Marche 12
Norwalk 12
Nuremberg 12
São Paulo 12
Yubileyny 12
Casalecchio di Reno 11
Reggio Emilia 11
San Francisco 11
Can Tho 10
Düsseldorf 10
London 10
Naples 10
Taipei 10
Zhengzhou 10
Brooklyn 9
Chengdu 9
Dearborn 9
Hebei 9
Jakarta 9
Totale 8.170
Salva come PNG Salva come JPEG
Nome #
A formalization of multi-tape Turing machines 291
A Survey on Variational Autoencoders from a Green AI Perspective 291
Comparing the latent space of generative models 289
Matita 0.5.8 279
Deep Learning for Head Pose Estimation: A Survey 274
Variational Autoencoders and the Variable Collapse Phenomenon 272
Precipitation nowcasting with generative diffusion models 265
A compact kernel for the calculus of inductive constructions 265
Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders 264
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 256
About Generative Aspects of Variational Autoencoders 254
Crawling in Rogue's Dungeons With Deep Reinforcement Techniques 253
Crawling in Rogue’s Dungeons with (Partitioned) A3C 231
Image embedding for denoising generative models 221
Crafting a Proof Assistant 221
An Interactive Algebra Course with Formalised Proofs and Definitions 220
A review of recent techniques for person re-identification 218
About the Formalization of some Results by Chebyshev in Number Theory 215
The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images 203
The Matita Interactive Theorem Prover 200
A new type for tactics 194
Enhancing variational generation through self-decomposition 191
An Interactive Driver for Goal-directed Proof Strategies. 191
Mathematical Knowledge Management 189
Syllabification of the Divine Comedy 183
Some Considerations on the Usability of Interactive Provers. 182
A Web Interface for Matita 181
A content based mathematical search engine: Whelp 180
A Machine-Checked Proof of the Odd Order Theorem 178
Certified Complexity 177
Rating Disambiguation Errors 177
A Compact Proof of Decidability for Regular Expression Equivalence 174
Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations 174
User Interaction with the Matita Proof Assistant 173
A page in number theory 173
Variance Loss in Variational Autoencoders 173
Portrait Reification with Generative Diffusion Models 172
The intensional content of Rice's theorem. 170
(Optimal) duplication is not elementary recursive. 170
Hints in Unification 169
Matita 0.5.7 168
A proof of Bertrand's postulate 168
Matita 167
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 167
Formalizing Turing Machines 165
An Investigation of the Domain Gap in CLIP-Based Person Re-Identification 163
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 160
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 160
A Generative Approach to Person Reidentification 160
Automatic point-of-interest image cropping via ensembled convolutionalization 159
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem 151
Social processes, program verification and all that 149
Verifica automatica e dimostrazione interattiva 148
Sparsity in Variational Autoencoders 148
Zen and the art of formalisation. 147
A Web Interface for the Matita Proof Assistant 146
A Modular Deep-learning Environment for Rogue 145
Type systems for dummies 142
Superposition as a logical glue 140
Rogueinabox: an Environment for Roguelike Learning. 138
Matita 0.99.1 129
Computational complexity via finite types 128
Mobile Petri nets 120
Reverse Complexity 120
Smart Matching 114
Proof, Message and Certificate 112
Efficient Retrieval of Mathematical Statements. 112
Preface 105
Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models 104
The Cost of Usage in the Lambda-Calculus 104
IST-2001-33562 MoWGLI 103
The Speedup Theorem in a Primitive Recursive Framework 101
Journal of Formalized Reasoning ISSN: 1972-5787 100
MicroRacer: A Didactic Environment for Deep Reinforcement Learning 99
A Notion of Complexity for Theory of Mind via Discrete World Models 93
Machine Learning-Based Anomaly Prediction for Proactive Monitoring in Data Centers: A Case Study on INFN-CNAF 93
A Critical Assessment of Modern Generative Models’ Ability to Replicate Artistic Styles 72
Illumination and Shadows in Head Rotation: Experiments with Denoising Diffusion Models 71
Thinking Machines: Mathematical Reasoning in the Age of LLMs 62
Matita Tutorial 62
null 46
Does CLIP Perceive Art the Same Way We Do? 32
Deep learning for sea surface temperature reconstruction under cloud occlusion 13
Totale 13.739
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.726
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 34.726
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021466 0 0 0 0 0 0 0 0 0 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/20263.832 263 406 420 309 439 226 496 172 814 287 0 0
Totale 13.739