IRIS
GUIDOTTI, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.321
AS - Asia 802
EU - Europa 535
SA - Sud America 465
Continente sconosciuto - Info sul continente non disponibili 41
AF - Africa 40
OC - Oceania 2
Totale 3.206
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.239
BR - Brasile 404
SG - Singapore 361
IT - Italia 252
CN - Cina 151
HK - Hong Kong 80
VN - Vietnam 75
DE - Germania 64
GB - Regno Unito 53
FR - Francia 49
CA - Canada 36
IN - India 27
MX - Messico 22
AR - Argentina 19
IQ - Iraq 17
BD - Bangladesh 15
EC - Ecuador 14
FI - Finlandia 13
ZA - Sudafrica 13
ES - Italia 12
RU - Federazione Russa 12
PL - Polonia 11
TR - Turchia 11
UA - Ucraina 11
AT - Austria 10
PK - Pakistan 10
SE - Svezia 10
NL - Olanda 9
JM - Giamaica 8
JP - Giappone 8
KR - Corea 8
SA - Arabia Saudita 8
VE - Venezuela 8
NO - Norvegia 7
CO - Colombia 6
MA - Marocco 6
PE - Perù 6
CR - Costa Rica 5
DZ - Algeria 5
KE - Kenya 5
BE - Belgio 4
CZ - Repubblica Ceca 4
JO - Giordania 4
PT - Portogallo 4
PY - Paraguay 4
AE - Emirati Arabi Uniti 3
EG - Egitto 3
GE - Georgia 3
KZ - Kazakistan 3
LT - Lituania 3
OM - Oman 3
TN - Tunisia 3
UZ - Uzbekistan 3
AU - Australia 2
AZ - Azerbaigian 2
BO - Bolivia 2
DO - Repubblica Dominicana 2
GA - Gabon 2
GR - Grecia 2
GT - Guatemala 2
ID - Indonesia 2
NP - Nepal 2
PS - Palestinian Territory 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CL - Cile 1
CW - ???statistics.table.value.countryCode.CW??? 1
ET - Etiopia 1
HN - Honduras 1
IE - Irlanda 1
LB - Libano 1
MY - Malesia 1
NG - Nigeria 1
NI - Nicaragua 1
PA - Panama 1
PH - Filippine 1
PR - Porto Rico 1
RO - Romania 1
SV - El Salvador 1
TC - Turks e Caicos 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 3.166
Salva come PNG Salva come JPEG
Città #
Dallas 275
Singapore 193
San Jose 152
Ashburn 139
Hong Kong 79
Santa Clara 73
Council Bluffs 62
Beijing 55
Columbus 44
Los Angeles 43
Milan 38
Ho Chi Minh City 37
Lauterbourg 32
Staranzano 32
São Paulo 30
Rome 26
New York 24
Chandler 21
Phoenix 19
Shanghai 19
Munich 14
Chicago 13
Rio de Janeiro 13
Belo Horizonte 12
Hanoi 12
London 12
The Villages 12
Falkenstein 11
Helsinki 11
Orem 11
Atlanta 10
Frankfurt am Main 10
Montreal 10
Nuremberg 10
Warsaw 10
Baghdad 9
Buffalo 9
Chennai 8
Denver 8
Mexico City 8
Princeton 8
Salvador 8
Seoul 8
The Dalles 8
Tokyo 8
Brasília 7
Düsseldorf 7
Johannesburg 7
Porto Alegre 7
Toronto 7
Boston 6
Ferrara 6
Kongsberg 6
Miano 6
Montebello 6
Ottawa 6
Poplar 6
San Francisco 6
Stockholm 6
Ankara 5
Bologna 5
Bragança Paulista 5
Cagliari 5
Curitiba 5
Da Nang 5
Elk Grove Village 5
Guayaquil 5
Kingston 5
Lima 5
Mumbai 5
Sassari 5
Secaucus 5
Udine 5
Amman 4
Asunción 4
Barcelona 4
Betim 4
Brussels 4
Buenos Aires 4
Campinas 4
Cape Town 4
Carapicuíba 4
Cotia 4
Ipatinga 4
Manchester 4
Moscow 4
Nairobi 4
Naples 4
Porto Rotondo 4
Porto Torres 4
Pune 4
Quito 4
Riyadh 4
San José 4
Sumaré 4
Afragola 3
Barbianello 3
Brescia 3
Brooklyn 3
Charlotte 3
Totale 1.908
Salva come PNG Salva come JPEG
Nome #
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0 156
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 134
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes 128
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 121
Counter-Example Guided Abstract Refinement for Verification of Neural Networks 114
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 113
NeVer2: learning and verification of neural networks 111
Verification of neural networks: Enhancing scalability through pruning 110
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 108
Repairing Learned Controllers with Convex Optimization: A Case Study 106
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 106
Enhancing neural networks through formal verification 101
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 101
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 99
Discovering sentiment insights: streamlining tourism review analysis with Large Language Models 96
Verification of Neural Networks for Safety and Security-critical Domains 94
Verification and Repair of Neural Networks 94
Repair of convolutional neural networks using convex optimization: Preliminary experiments 91
pyNeVer: A Framework for Learning and Verification of Neural Networks 90
Verification of NNs in the IMOCO4.E Project: Preliminary Results 89
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 88
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 86
Improving Reliability of Myocontrol Using Formal Verification 80
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 80
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 75
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance 74
A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas 73
Safety Analysis of Deep Neural Networks 71
Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies 69
Translating Requirements in Property Specification Patterns using LLMs 67
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach 66
Verifying Neural Networks with SMT: An Experimental Evaluation 58
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control 55
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems 54
Proceedings of the 40th Italian Conference on Computational Logic (CILC 2025) 48
Totale 3.206
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.836
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 11.836
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202219 0 0 0 0 0 0 0 1 3 4 1 10
2022/202340 5 5 2 5 2 5 0 3 8 0 3 2
2023/202447 5 1 2 0 5 0 0 1 0 10 15 8
2024/2025947 3 5 33 40 39 46 67 157 293 177 55 32
2025/20261.510 55 242 140 288 199 95 213 48 81 67 59 23
2026/2027625 37 131 183 274 0 0 0 0 0 0 0 0
Totale 3.206