IRIS
GUIDOTTI, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 913
AS - Asia 778
SA - Sud America 454
EU - Europa 350
AF - Africa 40
OC - Oceania 2
Totale 2.537
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 854
BR - Brasile 403
SG - Singapore 359
CN - Cina 145
IT - Italia 95
HK - Hong Kong 76
VN - Vietnam 74
DE - Germania 62
GB - Regno Unito 49
FR - Francia 47
CA - Canada 26
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
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
GR - Grecia 1
LB - Libano 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
PA - Panama 1
PH - Filippine 1
RO - Romania 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 2.537
Salva come PNG Salva come JPEG
Città #
Dallas 273
Singapore 192
San Jose 119
Ashburn 96
Hong Kong 75
Beijing 53
Los Angeles 43
Ho Chi Minh City 36
Lauterbourg 32
São Paulo 30
New York 24
Chandler 21
Santa Clara 20
Shanghai 19
Munich 14
Milan 13
Rio de Janeiro 13
Belo Horizonte 12
Hanoi 12
London 12
Rome 12
Chicago 11
Falkenstein 11
Helsinki 11
Orem 11
Frankfurt am Main 10
Nuremberg 10
Warsaw 10
Baghdad 9
Montreal 9
Denver 8
Princeton 8
Salvador 8
Seoul 8
Tokyo 8
Atlanta 7
Brasília 7
Chennai 7
Düsseldorf 7
Johannesburg 7
Mexico City 7
Phoenix 7
Porto Alegre 7
Toronto 7
Buffalo 6
Council Bluffs 6
Ferrara 6
Ottawa 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
Boston 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
San Francisco 4
Sumaré 4
Barbianello 3
Bologna 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 José 3
Totale 1.537
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 100
Counter-Example Guided Abstract Refinement for Verification of Neural Networks 95
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 94
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 93
Verification of neural networks: Enhancing scalability through pruning 93
Repairing Learned Controllers with Convex Optimization: A Case Study 92
NeVer2: learning and verification of neural networks 91
Enhancing neural networks through formal verification 91
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0 85
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 84
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 84
Verification and Repair of Neural Networks 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 77
Repair of convolutional neural networks using convex optimization: Preliminary experiments 76
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 75
Verification of NNs in the IMOCO4.E Project: Preliminary Results 75
pyNeVer: A Framework for Learning and Verification of Neural Networks 75
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 69
Improving Reliability of Myocontrol Using Formal Verification 67
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 60
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
Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies 45
Translating Requirements in Property Specification Patterns using LLMs 42
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control 34
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance 33
Proceedings of the 40th Italian Conference on Computational Logic (CILC 2025) 33
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems 30
Totale 2.577
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.160
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 9.160
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.506 55 242 140 288 199 95 213 48 81 67 59 19
Totale 2.577