GUIDOTTI, DARIO
 Distribuzione geografica
Continente #
EU - Europa 711
AS - Asia 138
NA - Nord America 63
SA - Sud America 16
AF - Africa 3
Totale 931
Nazione #
IT - Italia 690
US - Stati Uniti d'America 58
SG - Singapore 50
CN - Cina 47
VN - Vietnam 23
DE - Germania 9
BR - Brasile 8
FR - Francia 7
HK - Hong Kong 4
CA - Canada 3
AR - Argentina 2
EC - Ecuador 2
IN - India 2
JP - Giappone 2
MA - Marocco 2
PK - Pakistan 2
UA - Ucraina 2
BD - Bangladesh 1
CL - Cile 1
GB - Regno Unito 1
ID - Indonesia 1
IQ - Iraq 1
IR - Iran 1
KE - Kenya 1
LB - Libano 1
LT - Lituania 1
MX - Messico 1
PE - Perù 1
PH - Filippine 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
TR - Turchia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
VE - Venezuela 1
Totale 931
Città #
Genoa 300
Genova 214
Rapallo 108
Vado Ligure 56
Singapore 26
San Jose 24
Ho Chi Minh City 11
Frankfurt am Main 9
Lauterbourg 7
Ashburn 6
Beijing 5
Hong Kong 4
New York 4
Hanoi 3
Boardman 2
Hangzhou 2
Klausen 2
Lahore 2
Orem 2
Quito 2
Santa Clara 2
Tianjin 2
Toronto 2
Araci 1
Baghdad 1
Banjarmasin 1
Beirut 1
Beni Mellal 1
Birmingham 1
Biên Hòa 1
Bordighera 1
Buffalo 1
Can Tho 1
Catania 1
Chaguanas 1
Changsha 1
Chicago 1
Chittagong 1
Colatina 1
Dallas 1
Dammam 1
Denver 1
Des Moines 1
Dnipro 1
Germantown 1
Ha Long 1
Iguape 1
Ituzaingó 1
Iztapalapa 1
Kolomyia 1
Lima 1
Los Angeles 1
Lấp Vò 1
Manaus 1
Milan 1
Montevideo 1
Montreal 1
Moscow 1
Mumbai 1
Mérida 1
Nairobi 1
Nanjing 1
Noicattaro 1
Nova Iguaçu 1
Phúc Yên 1
Posadas 1
Pune 1
Rabat 1
Rome 1
Santiago 1
Selçuklu 1
Snellville 1
São Caetano do Sul 1
São José dos Campos 1
São Paulo 1
The Bronx 1
Tokyo 1
Villafranca Tirrena 1
Waterbury 1
Westwood 1
Zamboanga City 1
Zibo 1
Totale 854
Nome #
Verification and Repair of Machine Learning Models 187
Repairing Learned Controllers with Convex Optimization: A Case Study 160
Improving Reliability of Myocontrol Using Formal Verification 152
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 113
NeVer2: learning and verification of neural networks 104
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 81
pyNeVer: A Framework for Learning and Verification of Neural Networks 80
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 77
Totale 954
Categoria #
all - tutte 3.250
article - articoli 726
book - libri 0
conference - conferenze 2.047
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.023


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202118 0 0 0 0 0 0 0 0 0 10 3 5
2021/202258 6 4 4 4 4 5 2 8 6 4 2 9
2022/2023140 16 1 5 16 12 14 19 13 14 11 15 4
2023/202474 15 8 2 11 2 14 2 7 1 7 3 2
2024/2025180 3 12 5 4 22 20 20 37 2 16 19 20
2025/2026333 26 11 27 25 55 31 51 29 46 32 0 0
Totale 954