DEMARCHI, STEFANO
 Distribuzione geografica
Continente #
EU - Europa 388
AS - Asia 34
NA - Nord America 7
SA - Sud America 5
AF - Africa 1
Totale 435
Nazione #
IT - Italia 386
CN - Cina 12
SG - Singapore 12
US - Stati Uniti d'America 6
VN - Vietnam 5
BR - Brasile 2
EC - Ecuador 2
HK - Hong Kong 2
NL - Olanda 2
BD - Bangladesh 1
GE - Georgia 1
IQ - Iraq 1
KE - Kenya 1
MX - Messico 1
UY - Uruguay 1
Totale 435
Città #
Genoa 298
Vado Ligure 53
Rapallo 32
Beijing 3
Ho Chi Minh City 3
Amsterdam 2
Ashburn 2
Boardman 2
Bordighera 2
Hong Kong 2
Tianjin 2
Baghdad 1
Chittagong 1
Hanoi 1
Latacunga 1
Maldonado 1
Mexico City 1
Nairobi 1
Nova Timboteua 1
Phúc Yên 1
Quito 1
Rome 1
Singapore 1
São Paulo 1
Tbilisi 1
Totale 415
Nome #
Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks 150
A comparison of declarative AI techniques for computer automated design of elevator systems 87
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches 77
NeVer2: learning and verification of neural networks 75
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 57
Totale 446
Categoria #
all - tutte 1.678
article - articoli 594
book - libri 0
conference - conferenze 661
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.933


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202353 0 0 0 1 4 2 14 3 5 0 13 11
2023/202495 18 7 15 9 7 5 3 6 9 9 3 4
2024/2025180 7 9 9 5 19 11 25 25 21 18 14 17
2025/2026118 19 7 24 23 31 14 0 0 0 0 0 0
Totale 446