IRIS
GUIDOTTI, Dario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 88
NA - Nord America 87
EU - Europa 82
Totale 257
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 79
SG - Singapore 65
IT - Italia 25
DE - Germania 19
GB - Regno Unito 18
CN - Cina 15
CA - Canada 8
KR - Corea 8
UA - Ucraina 6
BE - Belgio 3
FI - Finlandia 2
LT - Lituania 2
SE - Svezia 2
AT - Austria 1
CZ - Repubblica Ceca 1
ES - Italia 1
NL - Olanda 1
NO - Norvegia 1
Totale 257
Salva come PNG Salva come JPEG
Città #
Singapore 55
Chandler 21
Shanghai 13
Munich 10
Princeton 8
Seoul 8
Ferrara 6
London 5
Nuremberg 5
Ottawa 5
Santa Clara 4
Bologna 3
Brussels 3
Greenwich 3
Mountain View 3
Rome 3
Southampton 3
Toronto 3
Dallas 2
Dalmine 2
Helsinki 2
Wilmington 2
Andover 1
Ascoli Piceno 1
Chicago 1
Council Bluffs 1
Cupertino 1
Frankfurt am Main 1
Madrid 1
Olomouc 1
Oslo 1
San Francisco 1
Seattle 1
Shenzhen 1
Totale 181
Salva come PNG Salva come JPEG
Nome #
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 33
Verification of neural networks: Enhancing scalability through pruning 32
pyNeVer: A Framework for Learning and Verification of Neural Networks 25
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 22
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 16
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 14
Verifying Neural Networks with SMT: An Experimental Evaluation 12
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 12
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 11
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 10
Verification of Neural Networks for Safety and Security-critical Domains 9
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes 8
Enhancing neural networks through formal verification 8
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 8
Verification of NNs in the IMOCO4.E Project: Preliminary Results 8
Repair of convolutional neural networks using convex optimization: Preliminary experiments 7
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 7
Safety Analysis of Deep Neural Networks 5
Improving Reliability of Myocontrol Using Formal Verification 5
Counter-Example Guided Abstract Refinement for Verification of Neural Networks 5
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 5
Repairing Learned Controllers with Convex Optimization: A Case Study 5
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 5
Verification and Repair of Neural Networks 5
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance 5
NeVer2: learning and verification of neural networks 2
Totale 284
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.454
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 2.454
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202112 0 0 0 0 3 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/2025160 3 5 33 40 39 40 0 0 0 0 0 0
Totale 284