CRIS Current Research Information System

ASPERTI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.243
EU - Europa 3.160
AS - Asia 966
AF - Africa 78
Continente sconosciuto - Info sul continente non disponibili 18
SA - Sud America 16
OC - Oceania 10
Totale 7.491
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.136
GB - Regno Unito 965
IT - Italia 954
CN - Cina 317
VN - Vietnam 311
DE - Germania 301
SE - Svezia 215
UA - Ucraina 190
IN - India 139
FR - Francia 119
CA - Canada 107
IE - Irlanda 91
RU - Federazione Russa 89
CH - Svizzera 78
TR - Turchia 61
ZA - Sudafrica 46
EE - Estonia 44
PK - Pakistan 25
JO - Giordania 24
FI - Finlandia 23
HK - Hong Kong 21
SC - Seychelles 17
BE - Belgio 16
EU - Europa 16
HR - Croazia 15
NL - Olanda 13
SG - Singapore 12
AT - Austria 11
GR - Grecia 10
TG - Togo 9
JP - Giappone 8
KR - Corea 8
PH - Filippine 8
DK - Danimarca 7
ES - Italia 7
CI - Costa d'Avorio 6
AR - Argentina 5
AU - Australia 5
CL - Cile 5
KZ - Kazakistan 5
NZ - Nuova Zelanda 5
TW - Taiwan 5
BG - Bulgaria 4
BR - Brasile 4
IR - Iran 4
LB - Libano 4
GE - Georgia 3
MY - Malesia 3
SA - Arabia Saudita 3
A2 - ???statistics.table.value.countryCode.A2??? 2
CZ - Repubblica Ceca 2
IL - Israele 2
LT - Lituania 2
PE - Perù 2
SI - Slovenia 2
BD - Bangladesh 1
LK - Sri Lanka 1
PT - Portogallo 1
RO - Romania 1
UZ - Uzbekistan 1
Totale 7.491
Salva come PNG Salva come JPEG
Città #
Southend 893
Chandler 350
Fairfield 334
Bologna 256
Ashburn 207
Woodbridge 163
Wilmington 162
Cambridge 148
Princeton 146
Seattle 145
Houston 138
Dong Ket 127
Jacksonville 127
Ann Arbor 124
Dublin 91
New York 85
Bern 63
Nanjing 63
Westminster 60
Istanbul 58
Padova 54
Montreal 50
Berlin 49
Milan 48
Jinan 42
Medford 41
Saint Petersburg 37
Mülheim 31
San Diego 27
Beijing 26
Turin 26
Nanchang 25
Shenyang 24
Amman 23
Changsha 21
Helsinki 19
Redmond 19
Tianjin 18
Ferrara 17
Mahé 17
Forlì 16
Paris 15
Brussels 13
Redwood City 13
Cesena 12
Civitanova Marche 12
Des Moines 12
Jiaxing 12
Norwalk 11
Pune 11
Florence 10
Dearborn 9
Hebei 9
Lomé 9
San Venanzo 9
Taiyuan 9
Falls Church 8
Rome 8
Boardman 7
Castel Maggiore 7
Guangzhou 7
Ningbo 7
Zhengzhou 7
Abidjan 6
Central 6
Cercola 6
Copenhagen 6
Fiumefreddo Di Sicilia 6
Hangzhou 6
Islamabad 6
Los Angeles 6
Modena 6
Monza 6
Napoli 6
Olalla 6
San Francisco 6
Sasso Marconi 6
Treviso 6
Vienna 6
Amsterdam 5
Bagnacavallo 5
Bannia 5
Cardano al Campo 5
Córdoba 5
Davao City 5
Haikou 5
Kunming 5
Pittsburgh 5
Reggio Nell'emilia 5
San Giorgio di Piano 5
San Mauro Pascoli 5
Selargius 5
Sha Tin Wai 5
Taipei 5
Taizhou 5
Tokyo 5
Ansan-si 4
Benevento 4
Bühl 4
Como 4
Totale 4.784
Salva come PNG Salva come JPEG
Nome #
About Generative Aspects of Variational Autoencoders 198
Matita 0.5.8 190
Crawling in Rogue’s Dungeons with (Partitioned) A3C 186
A compact kernel for the calculus of inductive constructions 185
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 183
Crawling in Rogue's Dungeons With Deep Reinforcement Techniques 181
A Survey on Variational Autoencoders from a Green AI Perspective 166
The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images 165
An Interactive Algebra Course with Formalised Proofs and Definitions 162
Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders 162
About the Formalization of some Results by Chebyshev in Number Theory 157
A Machine-Checked Proof of the Odd Order Theorem 148
An Interactive Driver for Goal-directed Proof Strategies. 147
A new type for tactics 138
Crafting a Proof Assistant 132
The Matita Interactive Theorem Prover 131
Mathematical Knowledge Management 130
A Web Interface for Matita 128
A Compact Proof of Decidability for Regular Expression Equivalence 127
Variational Autoencoders and the Variable Collapse Phenomenon 127
Certified Complexity 125
Some Considerations on the Usability of Interactive Provers. 124
Automatic point-of-interest image cropping via ensembled convolutionalization 121
A content based mathematical search engine: Whelp 120
(Optimal) duplication is not elementary recursive. 119
Social processes, program verification and all that 116
User Interaction with the Matita Proof Assistant 115
A page in number theory 115
The intensional content of Rice's theorem. 114
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 114
A proof of Bertrand's postulate 114
A formalization of multi-tape Turing machines 114
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 112
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem 111
A Modular Deep-learning Environment for Rogue 108
Zen and the art of formalisation. 107
Superposition as a logical glue 107
Rating Disambiguation Errors 106
Formalizing Turing Machines 106
Matita 103
Type systems for dummies 103
Computational complexity via finite types 102
Hints in Unification 102
Variance Loss in Variational Autoencoders 100
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 98
Matita 0.5.7 97
Sparsity in Variational Autoencoders 97
Syllabification of the Divine Comedy 97
Deep Learning for Head Pose Estimation: A Survey 95
Verifica automatica e dimostrazione interattiva 95
A Web Interface for the Matita Proof Assistant 91
Rogueinabox: an Environment for Roguelike Learning. 88
Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations 78
The Speedup Theorem in a Primitive Recursive Framework 75
Mobile Petri nets 75
Efficient Retrieval of Mathematical Statements. 75
Proof, Message and Certificate 69
Comparing the latent space of generative models 68
Image embedding for denoising generative models 66
The Cost of Usage in the Lambda-Calculus 66
Matita 0.99.1 65
Smart Matching 65
Journal of Formalized Reasoning ISSN: 1972-5787 63
Reverse Complexity 62
IST-2001-33562 MoWGLI 61
Enhancing variational generation through self-decomposition 57
Preface 56
null 46
Portrait Reification with Generative Diffusion Models 37
A Generative Approach to Person Reidentification 29
MicroRacer: A Didactic Environment for Deep Reinforcement Learning 25
Matita Tutorial 18
Totale 7.735
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.087
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 18.087
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.551 238 43 34 96 134 148 174 194 201 109 66 114
2020/20211.273 215 48 31 60 31 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/20256 6 0 0 0 0 0 0 0 0 0 0 0
Totale 7.735