MAGGESI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.950
EU - Europa 2.602
AS - Asia 1.362
SA - Sud America 186
AF - Africa 50
OC - Oceania 30
Totale 7.180
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.928
IT - Italia 846
RU - Federazione Russa 651
PL - Polonia 493
SG - Singapore 354
CN - Cina 334
JP - Giappone 159
BR - Brasile 158
HK - Hong Kong 157
KR - Corea 136
SE - Svezia 123
IE - Irlanda 114
DE - Germania 90
VN - Vietnam 81
FI - Finlandia 73
CH - Svizzera 49
GB - Regno Unito 42
NL - Olanda 41
ID - Indonesia 36
IN - India 32
AU - Australia 28
BJ - Benin 26
FR - Francia 22
TR - Turchia 21
CA - Canada 16
AT - Austria 12
UA - Ucraina 12
AR - Argentina 11
BD - Bangladesh 8
ES - Italia 6
IQ - Iraq 6
SA - Arabia Saudita 6
ZA - Sudafrica 6
EC - Ecuador 5
CZ - Repubblica Ceca 4
EE - Estonia 4
JO - Giordania 4
MX - Messico 4
PE - Perù 4
UZ - Uzbekistan 4
BE - Belgio 3
CI - Costa d'Avorio 3
DK - Danimarca 3
IR - Iran 3
MA - Marocco 3
RO - Romania 3
CL - Cile 2
CM - Camerun 2
CO - Colombia 2
DZ - Algeria 2
GE - Georgia 2
KE - Kenya 2
LB - Libano 2
LT - Lituania 2
MT - Malta 2
MU - Mauritius 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PK - Pakistan 2
PT - Portogallo 2
PY - Paraguay 2
SC - Seychelles 2
TH - Thailandia 2
TJ - Tagikistan 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BY - Bielorussia 1
EG - Egitto 1
KW - Kuwait 1
KZ - Kazakistan 1
MD - Moldavia 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PH - Filippine 1
PS - Palestinian Territory 1
QA - Qatar 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UY - Uruguay 1
VE - Venezuela 1
Totale 7.180
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.305
Warsaw 492
Singapore 259
Florence 227
Ashburn 146
Fairfield 143
Seoul 135
Hong Kong 127
Chandler 119
Hefei 113
Dublin 112
Seattle 80
Beijing 68
Cambridge 67
San Jose 60
Woodbridge 60
Houston 57
Rome 49
Moscow 46
Helsinki 45
Milan 45
Wilmington 44
Bern 41
Princeton 34
Altamura 32
Lawrence 32
Ann Arbor 30
Dong Ket 29
Jakarta 29
Los Angeles 29
Boston 27
Kent 27
Buffalo 26
Cotonou 26
Munich 25
Melbourne 23
Mumbai 19
Boardman 18
Dallas 18
Jacksonville 17
Turin 17
Chicago 16
Fara 16
Ho Chi Minh City 16
Izmir 16
Naples 16
Medford 15
Hanoi 13
São Paulo 13
Clifton 12
Guangzhou 11
Rignano sull'Arno 11
San Diego 11
Bari 10
Falkenstein 10
Lappeenranta 10
Dearborn 9
Siena 9
Vienna 9
Bengaluru 8
Brembate di Sopra 8
Catania 8
Falls Church 8
London 8
Norwalk 8
Prato 8
Toronto 7
Brooklyn 6
Como 6
Council Bluffs 6
Reggio Emilia 6
Verona 6
Amsterdam 5
Bologna 5
Castellina in Chianti 5
Castenedolo 5
Frankfurt am Main 5
Montreal 5
Palermo 5
Redwood City 5
Rio de Janeiro 5
Salt Lake City 5
San Miniato Basso 5
The Dalles 5
Udine 5
Bagno A Ripoli 4
Bonn 4
Brasília 4
Cagliari 4
Campi Bisenzio 4
Casalmaggiore 4
Curitiba 4
Nuremberg 4
Padova 4
Phoenix 4
Pontassieve 4
Prague 4
Redondo Beach 4
Romola 4
San Francisco 4
Totale 4.739
Salva come PNG Salva come JPEG
Nome #
Una introduzione visiva al Machine Learning e al Deep Learning 385
Matematica, l'esplosione continua ... 299
Initial Semantics for Strengthened Signatures 290
Formalizing basic quaternionic analysis 237
High-level signatures and initial semantics 235
A Formalization of Metric Spaces in HOL Light 223
A certified proof of the Cartan Fixed Point Theorems 217
Extension and tangential CRF conditions in quaternionic analysis 211
Modules over Monads and Linearity 203
Modular Specification of Monads Through Higher-Order Presentations 199
Bicategories in Univalent Foundations 193
“Sistema, Complessità e Natura. Nuovi paradigmi per la progettazione energetica ambientale-urbana” 185
Formalization of metric spaces in HOL Light 180
On the Quantum Cohomology of Some Fano Threefolds 176
Reduction Monads and Their Signatures 176
Modules over Monads and Initial Semantics 173
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 172
Growing HOLMS, a HOL Light Library for Modal Systems 171
Universal Algebra in UniMath 170
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 145
Presentable signatures and initial semantics 145
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System 144
Nested Abstract Syntax in Coq 143
Formalization of Quaternionic Calculus in HOL Light 143
MP3(0,2d2) is singular 141
On the quantum cohomology of Fano bundles over projective spaces 136
Some elementary remarks on lci algebraic cycles 134
Mechanising Godel-Lob Provability Logic in HOL Light 132
Higher-order theories 131
A formal proof of modal completeness for provability logic 130
Universal Algebra in UniMath 127
The New IoT Driven World: Overview and Perspectives 125
Favorire la diffusione di WIMS in Italia 124
A symbolic approach to abstract algebra in HOL Light 124
Bicategories in univalent foundations 123
Information technology implications for mathematics: a view from the French riviera 122
A formalisation of metric spaces in HOL Light 122
Variable binding and substitution for (nameless) dummies 118
Minimal resolution of general stable rank-2 vector bundles on P^2 118
Verifica automatica del ragionamento matematico 112
Modules over monads and typoids 108
Blockchain, criptovalute e contratti intelligenti 100
Variable binding and substitution for (nameless) dummies 96
Private types in Higher Order Logic Programming 89
Analysing Collective Adaptive Systems by Proving Theorems 70
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 19
Displayed Universal Algebra in UniMath: Basic Definitions and Results 19
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 9
Totale 7.344
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.971
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 17.971
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021337 0 0 0 0 0 0 24 40 152 63 9 49
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/20261.547 233 351 283 169 319 99 93 0 0 0 0 0
Totale 7.344