MAGGESI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.485
EU - Europa 3.162
AS - Asia 1.755
SA - Sud America 217
Continente sconosciuto - Info sul continente non disponibili 168
AF - Africa 67
OC - Oceania 31
Totale 8.885
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.421
IT - Italia 1.283
RU - Federazione Russa 655
PL - Polonia 495
CN - Cina 444
SG - Singapore 417
JP - Giappone 192
BR - Brasile 176
HK - Hong Kong 167
VN - Vietnam 163
SE - Svezia 150
KR - Corea 136
IE - Irlanda 115
DE - Germania 99
FI - Finlandia 87
FR - Francia 62
BD - Bangladesh 59
CH - Svizzera 54
GB - Regno Unito 47
NL - Olanda 47
IN - India 45
ID - Indonesia 40
CA - Canada 37
AU - Australia 29
BJ - Benin 26
TR - Turchia 21
AR - Argentina 14
UA - Ucraina 14
AT - Austria 13
SA - Arabia Saudita 11
MX - Messico 10
IQ - Iraq 9
ZA - Sudafrica 9
NG - Nigeria 8
PH - Filippine 8
EC - Ecuador 7
ES - Italia 7
CO - Colombia 6
CZ - Repubblica Ceca 6
JM - Giamaica 5
MY - Malesia 5
PK - Pakistan 5
EE - Estonia 4
JO - Giordania 4
MA - Marocco 4
PE - Perù 4
RO - Romania 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
BE - Belgio 3
CI - Costa d'Avorio 3
CL - Cile 3
DK - Danimarca 3
DZ - Algeria 3
IR - Iran 3
PR - Porto Rico 3
PT - Portogallo 3
SC - Seychelles 3
SK - Slovacchia (Repubblica Slovacca) 3
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
SV - El Salvador 2
TH - Thailandia 2
TJ - Tagikistan 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
TW - Taiwan 2
UY - Uruguay 2
AL - Albania 1
AO - Angola 1
BY - Bielorussia 1
BZ - Belize 1
GT - Guatemala 1
HN - Honduras 1
KW - Kuwait 1
KZ - Kazakistan 1
MD - Moldavia 1
NI - Nicaragua 1
NO - Norvegia 1
NP - Nepal 1
PS - Palestinian Territory 1
QA - Qatar 1
VC - Saint Vincent e Grenadine 1
VE - Venezuela 1
Totale 8.717
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.310
Warsaw 494
Singapore 317
Florence 256
Ashburn 245
Fairfield 143
San Jose 139
Seoul 135
Hong Kong 131
Milan 126
Chandler 119
Dublin 113
Hefei 113
Rome 106
Seattle 82
Beijing 71
Cambridge 68
Council Bluffs 68
Woodbridge 60
Houston 59
Helsinki 52
Moscow 47
Wilmington 44
Los Angeles 42
Bern 41
Turin 39
Ho Chi Minh City 38
Tokyo 36
Hanoi 35
Naples 35
Princeton 34
Buffalo 33
Lauterbourg 33
Altamura 32
Lawrence 32
Ann Arbor 30
Dong Ket 29
Jakarta 29
Boston 27
Kent 27
Cotonou 26
Chicago 25
Munich 25
Dallas 24
Melbourne 24
Phoenix 24
The Dalles 21
Boardman 20
Bologna 20
Mumbai 19
New York 19
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
Prato 10
Siena 10
Vienna 10
Bengaluru 9
Brooklyn 9
Dearborn 9
Montreal 9
Abuja 8
Brembate di Sopra 8
Falls Church 8
Frankfurt am Main 8
London 8
Norwalk 8
Toronto 8
Amsterdam 7
Brescia 7
Figino 7
Reggio Emilia 7
Verona 7
Charlotte 6
Chennai 6
Como 6
Genoa 6
Hải Dương 6
Orem 6
Prague 6
Riyadh 6
Salt Lake City 6
Taranto 6
Birmingham 5
Brasília 5
Cagliari 5
Castellina in Chianti 5
Castenedolo 5
Totale 5.563
Salva come PNG Salva come JPEG
Nome #
Una introduzione visiva al Machine Learning e al Deep Learning 505
Matematica, l'esplosione continua ... 333
Initial Semantics for Strengthened Signatures 327
A Formalization of Metric Spaces in HOL Light 279
High-level signatures and initial semantics 271
Formalizing basic quaternionic analysis 264
Extension and tangential CRF conditions in quaternionic analysis 244
A certified proof of the Cartan Fixed Point Theorems 241
Modules over Monads and Linearity 228
Modular Specification of Monads Through Higher-Order Presentations 227
Bicategories in Univalent Foundations 215
“Sistema, Complessità e Natura. Nuovi paradigmi per la progettazione energetica ambientale-urbana” 214
Growing HOLMS, a HOL Light Library for Modal Systems 212
Formalization of metric spaces in HOL Light 210
Universal Algebra in UniMath 202
Modules over Monads and Initial Semantics 202
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 194
Reduction Monads and Their Signatures 194
On the Quantum Cohomology of Some Fano Threefolds 189
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System 175
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 172
Formalization of Quaternionic Calculus in HOL Light 168
Universal Algebra in UniMath 167
Nested Abstract Syntax in Coq 166
Presentable signatures and initial semantics 164
Some elementary remarks on lci algebraic cycles 162
Higher-order theories 160
MP3(0,2d2) is singular 157
A symbolic approach to abstract algebra in HOL Light 156
On the quantum cohomology of Fano bundles over projective spaces 155
Mechanising Godel-Lob Provability Logic in HOL Light 154
A formalisation of metric spaces in HOL Light 151
A formal proof of modal completeness for provability logic 149
Information technology implications for mathematics: a view from the French riviera 147
Bicategories in univalent foundations 147
Favorire la diffusione di WIMS in Italia 143
Minimal resolution of general stable rank-2 vector bundles on P^2 143
Variable binding and substitution for (nameless) dummies 141
The New IoT Driven World: Overview and Perspectives 140
Verifica automatica del ragionamento matematico 132
Modules over monads and typoids 128
Variable binding and substitution for (nameless) dummies 120
Blockchain, criptovalute e contratti intelligenti 118
Private types in Higher Order Logic Programming 105
Displayed Universal Algebra in UniMath: Basic Definitions and Results 91
Analysing Collective Adaptive Systems by Proving Theorems 87
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 77
null 55
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 41
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) 40
L'Intelligenza Artificiale non esiste 20
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 3
Totale 8.885
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.108
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 22.108
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022198 0 0 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/2027327 94 107 126 0 0 0 0 0 0 0 0 0
Totale 8.885