GUIDOTTI, Dario
 Distribuzione geografica
Continente #
NA - Nord America 19
EU - Europa 13
AS - Asia 8
Totale 40
Nazione #
US - Stati Uniti d'America 18
KR - Corea 8
DE - Germania 5
GB - Regno Unito 3
IT - Italia 2
CA - Canada 1
CZ - Repubblica Ceca 1
NO - Norvegia 1
SE - Svezia 1
Totale 40
Città #
Seoul 8
Chandler 5
Nuremberg 5
Greenwich 3
Mountain View 3
Dalmine 2
Princeton 2
Chicago 1
Council Bluffs 1
Cupertino 1
Olomouc 1
Oslo 1
Seattle 1
Toronto 1
Totale 35
Nome #
pyNeVer: A Framework for Learning and Verification of Neural Networks 19
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 6
Verifying Neural Networks with SMT: An Experimental Evaluation 4
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 4
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 4
Verification of NNs in the IMOCO4.E Project: Preliminary Results 4
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 4
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 3
Totale 48
Categoria #
all - tutte 428
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 428


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20225 0 0 0 0 0 0 0 0 1 2 0 2
2022/202311 1 0 0 3 0 2 0 1 3 0 1 0
2023/202432 1 0 2 0 3 0 0 1 0 10 15 0
Totale 48