MAGGESI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.377
EU - Europa 3.142
AS - Asia 1.747
SA - Sud America 213
Continente sconosciuto - Info sul continente non disponibili 168
AF - Africa 67
OC - Oceania 31
Totale 8.745
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.321
IT - Italia 1.264
RU - Federazione Russa 655
PL - Polonia 495
CN - Cina 443
SG - Singapore 417
JP - Giappone 192
BR - Brasile 174
HK - Hong Kong 167
VN - Vietnam 162
SE - Svezia 150
KR - Corea 136
IE - Irlanda 115
DE - Germania 98
FI - Finlandia 87
FR - Francia 62
BD - Bangladesh 58
CH - Svizzera 54
GB - Regno Unito 47
NL - Olanda 47
IN - India 45
ID - Indonesia 39
CA - Canada 34
AU - Australia 29
BJ - Benin 26
TR - Turchia 21
AR - Argentina 14
UA - Ucraina 14
AT - Austria 13
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
JM - Giamaica 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
PT - Portogallo 3
SC - Seychelles 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
PR - Porto Rico 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
AL - Albania 1
AO - Angola 1
BY - Bielorussia 1
BZ - Belize 1
HN - Honduras 1
KW - Kuwait 1
KZ - Kazakistan 1
MD - Moldavia 1
NI - Nicaragua 1
NO - Norvegia 1
PS - Palestinian Territory 1
QA - Qatar 1
UY - Uruguay 1
VC - Saint Vincent e Grenadine 1
VE - Venezuela 1
Totale 8.577
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.309
Warsaw 494
Singapore 317
Florence 251
Ashburn 237
Fairfield 143
Seoul 135
Hong Kong 131
Milan 126
Chandler 119
Dublin 113
Hefei 113
San Jose 109
Rome 104
Seattle 81
Beijing 71
Cambridge 67
Council Bluffs 64
Woodbridge 60
Houston 59
Helsinki 52
Moscow 47
Wilmington 44
Bern 41
Los Angeles 41
Turin 39
Ho Chi Minh City 37
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
Munich 25
Melbourne 24
Dallas 23
Chicago 21
The Dalles 21
Boardman 20
Bologna 20
Mumbai 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
Vienna 10
Bengaluru 9
Brooklyn 9
Dearborn 9
Montreal 9
Abuja 8
Brembate di Sopra 8
Falls Church 8
London 8
Norwalk 8
Toronto 8
Amsterdam 7
Brescia 7
Frankfurt am Main 7
Reggio Emilia 7
Verona 7
Charlotte 6
Chennai 6
Como 6
Figino 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
Perugia 5
Totale 5.486
Salva come PNG Salva come JPEG
Nome #
Una introduzione visiva al Machine Learning e al Deep Learning 493
Matematica, l'esplosione continua ... 328
Initial Semantics for Strengthened Signatures 325
A Formalization of Metric Spaces in HOL Light 273
High-level signatures and initial semantics 268
Formalizing basic quaternionic analysis 262
A certified proof of the Cartan Fixed Point Theorems 239
Extension and tangential CRF conditions in quaternionic analysis 239
Modular Specification of Monads Through Higher-Order Presentations 226
Modules over Monads and Linearity 225
Bicategories in Univalent Foundations 212
“Sistema, Complessità e Natura. Nuovi paradigmi per la progettazione energetica ambientale-urbana” 210
Growing HOLMS, a HOL Light Library for Modal Systems 209
Formalization of metric spaces in HOL Light 209
Universal Algebra in UniMath 199
Modules over Monads and Initial Semantics 199
Reduction Monads and Their Signatures 193
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 192
On the Quantum Cohomology of Some Fano Threefolds 188
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System 174
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 170
Formalization of Quaternionic Calculus in HOL Light 166
Universal Algebra in UniMath 165
Nested Abstract Syntax in Coq 164
Presentable signatures and initial semantics 163
Some elementary remarks on lci algebraic cycles 161
Higher-order theories 159
MP3(0,2d2) is singular 155
A symbolic approach to abstract algebra in HOL Light 153
On the quantum cohomology of Fano bundles over projective spaces 152
Mechanising Godel-Lob Provability Logic in HOL Light 151
A formalisation of metric spaces in HOL Light 149
A formal proof of modal completeness for provability logic 148
Bicategories in univalent foundations 145
Information technology implications for mathematics: a view from the French riviera 143
Favorire la diffusione di WIMS in Italia 140
The New IoT Driven World: Overview and Perspectives 138
Minimal resolution of general stable rank-2 vector bundles on P^2 138
Variable binding and substitution for (nameless) dummies 137
Verifica automatica del ragionamento matematico 129
Modules over monads and typoids 124
Variable binding and substitution for (nameless) dummies 118
Blockchain, criptovalute e contratti intelligenti 116
Private types in Higher Order Logic Programming 104
Analysing Collective Adaptive Systems by Proving Theorems 87
Displayed Universal Algebra in UniMath: Basic Definitions and Results 84
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 74
null 55
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 40
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) 34
L'Intelligenza Artificiale non esiste 18
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 2
Totale 8.745
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.575
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 21.575
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022221 0 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/2027187 94 93 0 0 0 0 0 0 0 0 0 0
Totale 8.745