DEMARCHI, STEFANO
 Distribuzione geografica
Continente #
EU - Europa 415
AS - Asia 96
NA - Nord America 71
SA - Sud America 11
AF - Africa 4
Totale 597
Nazione #
IT - Italia 397
US - Stati Uniti d'America 67
SG - Singapore 38
CN - Cina 26
VN - Vietnam 15
HK - Hong Kong 6
BR - Brasile 5
FR - Francia 5
IQ - Iraq 3
NL - Olanda 3
CA - Canada 2
DE - Germania 2
EC - Ecuador 2
GB - Regno Unito 2
MX - Messico 2
TR - Turchia 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BD - Bangladesh 1
ES - Italia 1
ET - Etiopia 1
FI - Finlandia 1
GE - Georgia 1
HU - Ungheria 1
IN - India 1
KE - Kenya 1
LT - Lituania 1
LU - Lussemburgo 1
PE - Perù 1
PK - Pakistan 1
PY - Paraguay 1
SE - Svezia 1
TN - Tunisia 1
UY - Uruguay 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 597
Città #
Genoa 300
Vado Ligure 53
Rapallo 32
Singapore 22
San Jose 13
St Louis 10
Ashburn 8
Council Bluffs 6
Hong Kong 6
Hanoi 5
New York 5
Ho Chi Minh City 4
Lauterbourg 4
Los Angeles 4
Beijing 3
Milan 3
São Paulo 3
Amsterdam 2
Baghdad 2
Boardman 2
Bordighera 2
Charlotte 2
Dallas 2
Frankfurt am Main 2
Santa Clara 2
Tianjin 2
Addis Ababa 1
Araranguá 1
Aryanah 1
Asunción 1
Birmingham 1
Budapest 1
Buffalo 1
Can Tho 1
Cape Town 1
Chattanooga 1
Chittagong 1
Coro 1
Da Nang 1
Des Moines 1
Dubai 1
Helsinki 1
Hyderabad 1
Irapuato 1
Kayseri 1
Lahore 1
Latacunga 1
Lima 1
Luxembourg 1
Maldonado 1
Mexico City 1
Montreal 1
Nairobi 1
Noicattaro 1
Nova Timboteua 1
Orem 1
Padua 1
Phúc Yên 1
Quito 1
Rome 1
Selçuklu 1
Stockholm 1
Tbilisi 1
Toronto 1
Waterbury 1
Yerevan 1
Totale 539
Nome #
Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks 191
A comparison of declarative AI techniques for computer automated design of elevator systems 129
NeVer2: learning and verification of neural networks 106
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches 105
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 77
Totale 608
Categoria #
all - tutte 1.924
article - articoli 697
book - libri 0
conference - conferenze 747
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.368


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/2026280 19 7 24 23 31 25 45 26 37 42 1 0
Totale 608