LEOFANTE, Francesco
 Distribuzione geografica
Continente #
NA - Nord America 110
EU - Europa 40
AS - Asia 35
Totale 185
Nazione #
US - Stati Uniti d'America 110
SG - Singapore 21
UA - Ucraina 15
CN - Cina 13
DE - Germania 7
IT - Italia 6
FR - Francia 4
BE - Belgio 1
CZ - Repubblica Ceca 1
ES - Italia 1
GB - Regno Unito 1
HK - Hong Kong 1
NL - Olanda 1
RO - Romania 1
RS - Serbia 1
SE - Svezia 1
Totale 185
Città #
Chandler 29
Ann Arbor 16
Singapore 15
Dearborn 8
Princeton 8
Jacksonville 6
Wilmington 4
Jinan 3
Nanjing 3
Santa Clara 3
Andover 2
Beijing 2
Boardman 2
Woodbridge 2
Ashburn 1
Belgrade 1
Brno 1
Brussels 1
Central 1
Horia 1
Madrid 1
Nanping 1
Ningbo 1
Phoenix 1
Sassari 1
Shenyang 1
Tianjin 1
Torino 1
Totale 117
Nome #
Automated Verification of Neural Networks: Advances, Challenges and Perspectives 62
SMarTplan: a Task Planner for Smart Factories 45
SMT-based planning for robots in smart factories 41
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 32
Repair of convolutional neural networks using convex optimization: Preliminary experiments 6
Improving Reliability of Myocontrol Using Formal Verification 4
Repairing Learned Controllers with Convex Optimization: A Case Study 3
Totale 193
Categoria #
all - tutte 1.063
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 1.063


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202026 0 0 0 0 2 4 9 0 3 5 2 1
2020/202129 3 0 2 1 4 2 6 0 6 5 0 0
2021/202222 2 0 0 2 0 0 1 3 2 5 0 7
2022/202358 5 4 3 6 8 9 0 5 13 0 2 3
2023/20247 4 1 0 0 0 0 0 1 0 0 0 1
2024/202534 0 1 13 7 13 0 0 0 0 0 0 0
Totale 193