MAGGESI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.277
EU - Europa 3.084
AS - Asia 1.743
SA - Sud America 213
AF - Africa 66
OC - Oceania 30
Totale 8.413
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.237
IT - Italia 1.233
RU - Federazione Russa 655
PL - Polonia 495
CN - Cina 443
SG - Singapore 415
JP - Giappone 192
BR - Brasile 174
HK - Hong Kong 166
VN - Vietnam 162
KR - Corea 136
SE - Svezia 125
IE - Irlanda 115
DE - Germania 98
FI - Finlandia 87
FR - Francia 62
BD - Bangladesh 58
CH - Svizzera 54
NL - Olanda 47
GB - Regno Unito 46
IN - India 44
ID - Indonesia 39
AU - Australia 28
BJ - Benin 26
CA - Canada 23
TR - Turchia 21
AR - Argentina 14
UA - Ucraina 14
AT - Austria 12
SA - Arabia Saudita 10
IQ - Iraq 9
ZA - Sudafrica 9
MX - Messico 8
NG - Nigeria 8
ES - Italia 7
PH - Filippine 7
CO - Colombia 6
CZ - Repubblica Ceca 6
EC - Ecuador 6
MY - Malesia 5
PK - Pakistan 5
EE - Estonia 4
JO - Giordania 4
MA - Marocco 4
PE - Perù 4
RO - Romania 4
UZ - Uzbekistan 4
BE - Belgio 3
CI - Costa d'Avorio 3
CL - Cile 3
DK - Danimarca 3
DZ - Algeria 3
IR - Iran 3
JM - Giamaica 3
PT - Portogallo 3
SK - Slovacchia (Repubblica Slovacca) 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BO - Bolivia 2
CM - Camerun 2
EG - Egitto 2
GE - Georgia 2
KE - Kenya 2
LB - Libano 2
LT - Lituania 2
MT - Malta 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
OM - Oman 2
PY - Paraguay 2
SC - Seychelles 2
SV - El Salvador 2
TH - Thailandia 2
TJ - Tagikistan 2
TN - Tunisia 2
TW - Taiwan 2
AL - Albania 1
AO - Angola 1
BY - Bielorussia 1
KW - Kuwait 1
KZ - Kazakistan 1
MD - Moldavia 1
NI - Nicaragua 1
NO - Norvegia 1
PR - Porto Rico 1
PS - Palestinian Territory 1
QA - Qatar 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
VC - Saint Vincent e Grenadine 1
VE - Venezuela 1
Totale 8.413
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.307
Warsaw 494
Singapore 316
Florence 250
Ashburn 232
Fairfield 143
Seoul 135
Hong Kong 130
Chandler 119
Milan 119
Dublin 113
Hefei 113
San Jose 108
Rome 100
Seattle 81
Beijing 71
Cambridge 67
Woodbridge 60
Houston 58
Helsinki 52
Moscow 47
Wilmington 44
Bern 41
Los Angeles 41
Ho Chi Minh City 37
Tokyo 36
Hanoi 35
Princeton 34
Buffalo 33
Lauterbourg 33
Naples 33
Altamura 32
Lawrence 32
Turin 31
Ann Arbor 30
Dong Ket 29
Jakarta 29
Boston 27
Kent 27
Cotonou 26
Council Bluffs 25
Munich 25
Dallas 23
Melbourne 23
Boardman 20
Bologna 20
Chicago 19
Mumbai 19
The Dalles 19
New York 18
Jacksonville 17
Lappeenranta 17
Fara 16
Izmir 16
Bari 15
Medford 15
Catania 14
Guangzhou 14
São Paulo 13
Clifton 12
Palermo 12
Padua 11
Rignano sull'Arno 11
San Diego 11
Falkenstein 10
Phoenix 10
Prato 10
Siena 10
Bengaluru 9
Brooklyn 9
Dearborn 9
Vienna 9
Abuja 8
Brembate di Sopra 8
Falls Church 8
London 8
Norwalk 8
Toronto 8
Amsterdam 7
Brescia 7
Frankfurt am Main 7
Montreal 7
Reggio Emilia 7
Verona 7
Charlotte 6
Chennai 6
Como 6
Genoa 6
Hải Dương 6
Orem 6
Prague 6
Salt Lake City 6
Taranto 6
Birmingham 5
Cagliari 5
Castellina in Chianti 5
Castenedolo 5
Ferrara 5
Figino 5
Perugia 5
Totale 5.405
Salva come PNG Salva come JPEG
Nome #
Una introduzione visiva al Machine Learning e al Deep Learning 476
Matematica, l'esplosione continua ... 325
Initial Semantics for Strengthened Signatures 323
A Formalization of Metric Spaces in HOL Light 266
High-level signatures and initial semantics 266
Formalizing basic quaternionic analysis 257
A certified proof of the Cartan Fixed Point Theorems 236
Extension and tangential CRF conditions in quaternionic analysis 231
Modules over Monads and Linearity 223
Modular Specification of Monads Through Higher-Order Presentations 223
Bicategories in Univalent Foundations 210
Formalization of metric spaces in HOL Light 207
“Sistema, Complessità e Natura. Nuovi paradigmi per la progettazione energetica ambientale-urbana” 205
Growing HOLMS, a HOL Light Library for Modal Systems 204
Modules over Monads and Initial Semantics 198
Universal Algebra in UniMath 195
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 191
Reduction Monads and Their Signatures 191
On the Quantum Cohomology of Some Fano Threefolds 187
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System 171
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 167
Formalization of Quaternionic Calculus in HOL Light 165
Universal Algebra in UniMath 161
Nested Abstract Syntax in Coq 161
Presentable signatures and initial semantics 161
Some elementary remarks on lci algebraic cycles 160
Higher-order theories 156
MP3(0,2d2) is singular 154
On the quantum cohomology of Fano bundles over projective spaces 151
Mechanising Godel-Lob Provability Logic in HOL Light 149
A symbolic approach to abstract algebra in HOL Light 148
A formalisation of metric spaces in HOL Light 147
A formal proof of modal completeness for provability logic 147
Information technology implications for mathematics: a view from the French riviera 142
Bicategories in univalent foundations 142
Favorire la diffusione di WIMS in Italia 139
Variable binding and substitution for (nameless) dummies 136
The New IoT Driven World: Overview and Perspectives 136
Minimal resolution of general stable rank-2 vector bundles on P^2 136
Verifica automatica del ragionamento matematico 127
Modules over monads and typoids 122
Variable binding and substitution for (nameless) dummies 117
Blockchain, criptovalute e contratti intelligenti 113
Private types in Higher Order Logic Programming 102
Analysing Collective Adaptive Systems by Proving Theorems 84
Displayed Universal Algebra in UniMath: Basic Definitions and Results 82
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 62
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 54
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 35
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) 23
L'Intelligenza Artificiale non esiste 17
Totale 8.581
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.746
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 20.746
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022225 4 23 32 9 7 3 10 9 18 11 22 77
2022/2023574 57 126 34 35 25 105 58 21 41 5 20 47
2023/2024257 11 27 40 18 16 4 9 61 8 20 28 15
2024/20252.943 131 232 147 292 837 696 96 101 95 79 91 146
2025/20262.761 233 351 283 169 319 99 290 146 197 187 155 332
2026/202723 23 0 0 0 0 0 0 0 0 0 0 0
Totale 8.581