IRIS
GUIDOTTI, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 869
AS - Asia 768
SA - Sud America 454
EU - Europa 337
AF - Africa 40
OC - Oceania 2
Totale 2.470
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 812
BR - Brasile 403
SG - Singapore 357
CN - Cina 138
IT - Italia 90
HK - Hong Kong 76
VN - Vietnam 74
DE - Germania 57
GB - Regno Unito 47
FR - Francia 46
CA - Canada 25
MX - Messico 19
AR - Argentina 18
IN - India 18
IQ - Iraq 17
BD - Bangladesh 13
EC - Ecuador 13
ZA - Sudafrica 13
RU - Federazione Russa 12
FI - Finlandia 11
PL - Polonia 11
TR - Turchia 11
AT - Austria 10
PK - Pakistan 10
UA - Ucraina 10
ES - Italia 8
JP - Giappone 8
KR - Corea 8
SA - Arabia Saudita 8
SE - Svezia 8
VE - Venezuela 8
NL - Olanda 7
JM - Giamaica 6
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
PY - Paraguay 4
AE - Emirati Arabi Uniti 3
EG - Egitto 3
GE - Georgia 3
KZ - Kazakistan 3
LT - Lituania 3
OM - Oman 3
PT - Portogallo 3
TN - Tunisia 3
UZ - Uzbekistan 3
AU - Australia 2
AZ - Azerbaigian 2
BO - Bolivia 2
DO - Repubblica Dominicana 2
GA - Gabon 2
ID - Indonesia 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
GR - Grecia 1
LB - Libano 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
PH - Filippine 1
RO - Romania 1
UY - Uruguay 1
Totale 2.470
Salva come PNG Salva come JPEG
Città #
Dallas 269
Singapore 192
San Jose 119
Ashburn 85
Hong Kong 75
Beijing 53
Los Angeles 38
Ho Chi Minh City 36
Lauterbourg 32
São Paulo 30
Chandler 21
Santa Clara 19
Shanghai 19
New York 18
Munich 14
Rio de Janeiro 13
Belo Horizonte 12
Hanoi 12
London 12
Rome 12
Chicago 11
Falkenstein 11
Helsinki 11
Milan 11
Frankfurt am Main 10
Nuremberg 10
Orem 10
Warsaw 10
Baghdad 9
Montreal 8
Princeton 8
Salvador 8
Seoul 8
Tokyo 8
Atlanta 7
Brasília 7
Chennai 7
Denver 7
Düsseldorf 7
Johannesburg 7
Mexico City 7
Porto Alegre 7
Toronto 7
Buffalo 6
Council Bluffs 6
Ferrara 6
Ottawa 6
Phoenix 6
Poplar 6
Stockholm 6
The Dalles 6
Ankara 5
Bragança Paulista 5
Curitiba 5
Da Nang 5
Guayaquil 5
Secaucus 5
Amman 4
Asunción 4
Betim 4
Brussels 4
Buenos Aires 4
Campinas 4
Cape Town 4
Carapicuíba 4
Cotia 4
Ipatinga 4
Manchester 4
Moscow 4
Mumbai 4
Nairobi 4
Porto Rotondo 4
Porto Torres 4
Riyadh 4
Sumaré 4
Barbianello 3
Bologna 3
Boston 3
Brooklyn 3
Cagliari 3
Chihuahua City 3
Columbus 3
Dubai 3
Elk Grove Village 3
Fortaleza 3
Goiânia 3
Greenwich 3
Guarulhos 3
Haiphong 3
Kingston 3
Maracaibo 3
Mountain View 3
Muscat 3
Nova Iguaçu 3
Prague 3
Quito 3
Recife 3
Ribeirão Preto 3
San Francisco 3
San José 3
Totale 1.502
Salva come PNG Salva come JPEG
Nome #
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 122
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 108
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes 101
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 99
Counter-Example Guided Abstract Refinement for Verification of Neural Networks 95
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 93
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 93
Repairing Learned Controllers with Convex Optimization: A Case Study 92
Verification of neural networks: Enhancing scalability through pruning 92
NeVer2: learning and verification of neural networks 90
Enhancing neural networks through formal verification 90
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 84
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 83
Verification of Neural Networks for Safety and Security-critical Domains 80
Discovering sentiment insights: streamlining tourism review analysis with Large Language Models 80
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 76
Verification of NNs in the IMOCO4.E Project: Preliminary Results 75
pyNeVer: A Framework for Learning and Verification of Neural Networks 75
Repair of convolutional neural networks using convex optimization: Preliminary experiments 74
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 74
Verification and Repair of Neural Networks 72
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 69
Improving Reliability of Myocontrol Using Formal Verification 66
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 59
Safety Analysis of Deep Neural Networks 58
A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas 52
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach 52
Verifying Neural Networks with SMT: An Experimental Evaluation 48
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0 47
Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies 45
Translating Requirements in Property Specification Patterns using LLMs 40
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control 34
Proceedings of the 40th Italian Conference on Computational Logic (CILC 2025) 33
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance 30
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems 29
Totale 2.510
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.306
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 8.306
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.439 55 242 140 288 199 95 213 48 81 67 11 0
Totale 2.510