IRIS
GUIDOTTI, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 682
AS - Asia 614
SA - Sud America 441
EU - Europa 264
AF - Africa 37
OC - Oceania 1
Totale 2.039
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 632
BR - Brasile 393
SG - Singapore 312
CN - Cina 102
IT - Italia 72
HK - Hong Kong 60
DE - Germania 54
GB - Regno Unito 41
VN - Vietnam 40
CA - Canada 22
AR - Argentina 17
MX - Messico 17
EC - Ecuador 13
IN - India 12
ZA - Sudafrica 12
BD - Bangladesh 11
FI - Finlandia 11
IQ - Iraq 11
PL - Polonia 11
RU - Federazione Russa 11
TR - Turchia 11
AT - Austria 10
UA - Ucraina 10
ES - Italia 8
FR - Francia 8
JP - Giappone 8
KR - Corea 8
SA - Arabia Saudita 8
SE - Svezia 8
VE - Venezuela 8
PK - Pakistan 7
DZ - Algeria 5
MA - Marocco 5
BE - Belgio 4
CR - Costa Rica 4
JM - Giamaica 4
JO - Giordania 4
KE - Kenya 4
NL - Olanda 4
PY - Paraguay 4
AE - Emirati Arabi Uniti 3
CO - Colombia 3
CZ - Repubblica Ceca 3
EG - Egitto 3
GE - Georgia 3
KZ - Kazakistan 3
LT - Lituania 3
TN - Tunisia 3
AZ - Azerbaigian 2
BO - Bolivia 2
DO - Repubblica Dominicana 2
GA - Gabon 2
OM - Oman 2
PS - Palestinian Territory 2
UZ - Uzbekistan 2
AL - Albania 1
AU - Australia 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
NG - Nigeria 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
RO - Romania 1
UY - Uruguay 1
Totale 2.039
Salva come PNG Salva come JPEG
Città #
Dallas 269
Singapore 175
Hong Kong 60
Ashburn 59
Beijing 48
Los Angeles 38
São Paulo 30
Chandler 21
Ho Chi Minh City 21
Shanghai 19
New York 18
Santa Clara 17
Munich 14
Belo Horizonte 12
Rio de Janeiro 12
Rome 12
Falkenstein 11
Helsinki 11
London 10
Milan 10
Warsaw 10
Frankfurt am Main 9
Nuremberg 8
Princeton 8
Salvador 8
Seoul 8
Tokyo 8
Atlanta 7
Baghdad 7
Chicago 7
Denver 7
Düsseldorf 7
Johannesburg 7
Montreal 7
Porto Alegre 7
Buffalo 6
Ferrara 6
Hanoi 6
Ottawa 6
Phoenix 6
Poplar 6
Stockholm 6
The Dalles 6
Toronto 6
Ankara 5
Bragança Paulista 5
Chennai 5
Curitiba 5
Guayaquil 5
Mexico City 5
Orem 5
Amman 4
Asunción 4
Betim 4
Brasília 4
Brussels 4
Buenos Aires 4
Campinas 4
Carapicuíba 4
Cotia 4
Council Bluffs 4
Ipatinga 4
Moscow 4
Riyadh 4
Secaucus 4
Sumaré 4
Barbianello 3
Bologna 3
Boston 3
Brooklyn 3
Cape Town 3
Chihuahua City 3
Columbus 3
Dubai 3
Fortaleza 3
Goiânia 3
Greenwich 3
Guarulhos 3
Haiphong 3
Kingston 3
Manchester 3
Maracaibo 3
Mountain View 3
Mumbai 3
Nairobi 3
Nova Iguaçu 3
Quito 3
Recife 3
Ribeirão Preto 3
San Francisco 3
San José 3
Santa Luzia 3
Southampton 3
St Petersburg 3
São Bernardo do Campo 3
Tianjin 3
Antalya 2
Barquisimeto 2
Batna City 2
Bom Jesus de Goiás 2
Totale 1.229
Salva come PNG Salva come JPEG
Nome #
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 111
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 95
Counter-Example Guided Abstract Refinement for Verification of Neural Networks 85
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 85
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes 84
Verification of neural networks: Enhancing scalability through pruning 84
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 83
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 83
Enhancing neural networks through formal verification 82
Repairing Learned Controllers with Convex Optimization: A Case Study 80
NeVer2: learning and verification of neural networks 76
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 74
Discovering sentiment insights: streamlining tourism review analysis with Large Language Models 72
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 66
Verification of Neural Networks for Safety and Security-critical Domains 66
pyNeVer: A Framework for Learning and Verification of Neural Networks 66
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 63
Verification and Repair of Neural Networks 62
Verification of NNs in the IMOCO4.E Project: Preliminary Results 62
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 62
Repair of convolutional neural networks using convex optimization: Preliminary experiments 61
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 60
Improving Reliability of Myocontrol Using Formal Verification 56
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 49
Safety Analysis of Deep Neural Networks 45
Verifying Neural Networks with SMT: An Experimental Evaluation 38
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach 37
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0 33
Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies 28
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance 27
A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas 26
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control 21
Proceedings of the 40th Italian Conference on Computational Logic (CILC 2025) 21
Translating Requirements in Property Specification Patterns using LLMs 19
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems 17
Totale 2.079
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.352
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 7.352
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20219 0 0 0 0 0 0 3 0 3 3 0 0
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.008 55 242 140 288 199 84 0 0 0 0 0 0
Totale 2.079