DEMARCHI, STEFANO
 Distribuzione geografica
Continente #
EU - Europa 426
NA - Nord America 129
AS - Asia 98
SA - Sud America 11
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 4
Totale 679
Nazione #
IT - Italia 401
US - Stati Uniti d'America 121
SG - Singapore 38
CN - Cina 27
VN - Vietnam 15
FR - Francia 12
HK - Hong Kong 6
BR - Brasile 5
MX - Messico 4
IQ - Iraq 3
NL - Olanda 3
BD - Bangladesh 2
CA - Canada 2
DE - Germania 2
EC - Ecuador 2
GB - Regno Unito 2
TR - Turchia 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
ES - Italia 1
ET - Etiopia 1
FI - Finlandia 1
GE - Georgia 1
HU - Ungheria 1
IN - India 1
JM - Giamaica 1
KE - Kenya 1
LT - Lituania 1
LU - Lussemburgo 1
PE - Perù 1
PK - Pakistan 1
PY - Paraguay 1
SE - Svezia 1
SV - El Salvador 1
TN - Tunisia 1
UY - Uruguay 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 668
Città #
Genoa 300
Vado Ligure 53
Rapallo 32
San Jose 27
Singapore 22
New York 13
Ashburn 10
St Louis 10
Boardman 6
Council Bluffs 6
Hong Kong 6
Marseille 6
Hanoi 5
Beijing 4
Ho Chi Minh City 4
Lauterbourg 4
Los Angeles 4
Dallas 3
Mexico City 3
Milan 3
Santa Clara 3
São Paulo 3
Amsterdam 2
Baghdad 2
Bordighera 2
Charlotte 2
Frankfurt am Main 2
Plainview 2
Sterling Heights 2
Tianjin 2
Addis Ababa 1
Alexandria 1
Araranguá 1
Aryanah 1
Asunción 1
Atlanta 1
Birmingham 1
Bloomington 1
Brescia 1
Brooklyn 1
Budapest 1
Buffalo 1
Can Tho 1
Cape Town 1
Chattanooga 1
Chittagong 1
Clinton 1
Coro 1
Da Nang 1
Des Moines 1
Dubai 1
Forked River 1
Grenoble 1
Helsinki 1
Hyderabad 1
Irapuato 1
Kayseri 1
Kissimmee 1
Lahore 1
Lake Wylie 1
Latacunga 1
Lathrop 1
Lima 1
Luxembourg 1
Maldonado 1
Montreal 1
Nairobi 1
Naples 1
Noicattaro 1
Nova Timboteua 1
Oak Forest 1
Ocala 1
Orem 1
Padua 1
Phúc Yên 1
Quito 1
Radcliff 1
Rivoli 1
Rome 1
San Salvador 1
Selçuklu 1
Stockholm 1
Taunton 1
Tbilisi 1
Teaneck 1
Toronto 1
Virginia Beach 1
Waterbury 1
Yerevan 1
Totale 602
Nome #
Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks 204
A comparison of declarative AI techniques for computer automated design of elevator systems 150
NeVer2: learning and verification of neural networks 117
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches 116
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 92
Totale 679
Categoria #
all - tutte 2.165
article - articoli 802
book - libri 0
conference - conferenze 837
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.804


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/2026334 19 7 24 23 31 25 45 26 37 42 32 23
2026/202717 17 0 0 0 0 0 0 0 0 0 0 0
Totale 679