IRIS
GUIDOTTI, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.026
AS - Asia 791
SA - Sud America 455
EU - Europa 373
AF - Africa 40
Continente sconosciuto - Info sul continente non disponibili 40
OC - Oceania 2
Totale 2.727
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 965
BR - Brasile 403
SG - Singapore 359
CN - Cina 149
IT - Italia 109
HK - Hong Kong 79
VN - Vietnam 75
DE - Germania 62
GB - Regno Unito 50
FR - Francia 47
CA - Canada 26
IN - India 22
MX - Messico 20
AR - Argentina 18
IQ - Iraq 17
BD - Bangladesh 14
EC - Ecuador 13
ZA - Sudafrica 13
RU - Federazione Russa 12
ES - Italia 11
FI - Finlandia 11
PL - Polonia 11
TR - Turchia 11
AT - Austria 10
PK - Pakistan 10
UA - Ucraina 10
NL - Olanda 9
JP - Giappone 8
KR - Corea 8
SA - Arabia Saudita 8
SE - Svezia 8
VE - Venezuela 8
JM - Giamaica 7
MA - Marocco 6
CO - Colombia 5
DZ - Algeria 5
KE - Kenya 5
BE - Belgio 4
CR - Costa Rica 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
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
ET - Etiopia 1
IE - Irlanda 1
LB - Libano 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
RO - Romania 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 2.687
Salva come PNG Salva come JPEG
Città #
Dallas 274
Singapore 192
San Jose 119
Ashburn 98
Hong Kong 78
Beijing 54
Columbus 44
Council Bluffs 44
Los Angeles 43
Ho Chi Minh City 37
Lauterbourg 32
São Paulo 30
New York 24
Santa Clara 24
Chandler 21
Shanghai 19
Milan 16
Munich 14
Chicago 13
Rio de Janeiro 13
Belo Horizonte 12
Hanoi 12
London 12
Rome 12
Falkenstein 11
Helsinki 11
Orem 11
Frankfurt am Main 10
Nuremberg 10
Warsaw 10
Baghdad 9
Montreal 9
Phoenix 9
Chennai 8
Denver 8
Mexico City 8
Princeton 8
Salvador 8
Seoul 8
The Dalles 8
Tokyo 8
Atlanta 7
Brasília 7
Buffalo 7
Düsseldorf 7
Johannesburg 7
Porto Alegre 7
Toronto 7
Ferrara 6
Ottawa 6
Poplar 6
Stockholm 6
Ankara 5
Bragança Paulista 5
Curitiba 5
Da Nang 5
Elk Grove Village 5
Guayaquil 5
Mumbai 5
Sassari 5
Secaucus 5
Udine 5
Amman 4
Asunción 4
Betim 4
Boston 4
Brussels 4
Buenos Aires 4
Campinas 4
Cape Town 4
Carapicuíba 4
Cotia 4
Ipatinga 4
Kingston 4
Manchester 4
Moscow 4
Nairobi 4
Porto Rotondo 4
Porto Torres 4
Riyadh 4
San Francisco 4
Sumaré 4
Barbianello 3
Barcelona 3
Bologna 3
Brooklyn 3
Cagliari 3
Chihuahua City 3
Dubai 3
Fortaleza 3
Goiânia 3
Greenwich 3
Guarulhos 3
Haiphong 3
Maracaibo 3
Mountain View 3
Muscat 3
Nova Iguaçu 3
Prague 3
Quito 3
Totale 1.648
Salva come PNG Salva come JPEG
Nome #
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 125
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 111
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes 106
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 103
Counter-Example Guided Abstract Refinement for Verification of Neural Networks 100
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0 99
Verification of neural networks: Enhancing scalability through pruning 98
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 97
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 97
Repairing Learned Controllers with Convex Optimization: A Case Study 95
NeVer2: learning and verification of neural networks 93
Enhancing neural networks through formal verification 93
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 90
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 87
Discovering sentiment insights: streamlining tourism review analysis with Large Language Models 86
Verification and Repair of Neural Networks 85
Verification of Neural Networks for Safety and Security-critical Domains 82
pyNeVer: A Framework for Learning and Verification of Neural Networks 81
Verification of NNs in the IMOCO4.E Project: Preliminary Results 80
Repair of convolutional neural networks using convex optimization: Preliminary experiments 79
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 79
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 78
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 72
Improving Reliability of Myocontrol Using Formal Verification 70
Safety Analysis of Deep Neural Networks 62
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 62
A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas 57
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach 56
Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies 51
Verifying Neural Networks with SMT: An Experimental Evaluation 51
Translating Requirements in Property Specification Patterns using LLMs 48
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance 44
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control 39
Proceedings of the 40th Italian Conference on Computational Logic (CILC 2025) 36
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems 35
Totale 2.727
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.328
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 10.328
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202225 0 0 6 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/2027146 37 109 0 0 0 0 0 0 0 0 0 0
Totale 2.727