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


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/202440 1 0 2 0 3 0 0 1 0 10 15 8
2024/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 58