IRIS
LEOFANTE, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 363
AS - Asia 187
SA - Sud America 129
EU - Europa 111
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 8
Totale 812
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 346
BR - Brasile 119
SG - Singapore 84
CN - Cina 54
IT - Italia 31
FR - Francia 16
HK - Hong Kong 16
UA - Ucraina 16
DE - Germania 14
VN - Vietnam 11
MX - Messico 9
GB - Regno Unito 8
AR - Argentina 5
IQ - Iraq 5
RU - Federazione Russa 5
CA - Canada 4
SE - Svezia 4
BE - Belgio 3
EG - Egitto 3
IN - India 3
JP - Giappone 3
MA - Marocco 3
BD - Bangladesh 2
EC - Ecuador 2
ES - Italia 2
JM - Giamaica 2
KE - Kenya 2
PK - Pakistan 2
PL - Polonia 2
TN - Tunisia 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AT - Austria 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
CO - Colombia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
FI - Finlandia 1
GA - Gabon 1
JO - Giordania 1
ME - Montenegro 1
NL - Olanda 1
NP - Nepal 1
PE - Perù 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SA - Arabia Saudita 1
TR - Turchia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 804
Salva come PNG Salva come JPEG
Città #
Dallas 75
Singapore 46
San Jose 31
Chandler 29
Ashburn 24
Beijing 21
Ann Arbor 16
Santa Clara 16
Hong Kong 15
Council Bluffs 13
Milan 13
São Paulo 10
Columbus 9
Lauterbourg 9
Dearborn 8
Los Angeles 8
Princeton 8
Jacksonville 6
Shanghai 6
Belo Horizonte 5
Ho Chi Minh City 5
Phoenix 5
Rio de Janeiro 5
Staranzano 5
Baghdad 4
London 4
The Dalles 4
Wilmington 4
Brasília 3
Brussels 3
Chihuahua City 3
Falkenstein 3
Frankfurt am Main 3
Jinan 3
Nanjing 3
New York 3
Porto Alegre 3
Stockholm 3
The Villages 3
Tokyo 3
Andover 2
Boardman 2
Bragança Paulista 2
Calgary 2
Carapicuíba 2
Chicago 2
Curitiba 2
Goiânia 2
Hanoi 2
Johannesburg 2
Mexico City 2
Montreal 2
Moscow 2
Natal 2
Orem 2
Raleigh 2
São Bernardo do Campo 2
Tianjin 2
Tunis 2
Varginha 2
Vitória da Conquista 2
Votorantim 2
Woodbridge 2
Agadir 1
Alcântaras 1
Almenno San Bartolomeo 1
Americana 1
Antalya 1
Aparecida do Taboado 1
Aracaju 1
Araguaína 1
Araraquara 1
Arraial do Cabo 1
Augusta 1
Baku 1
Barro 1
Batna City 1
Belgrade 1
Bertópolis 1
Blumenau 1
Brasópolis 1
Brno 1
Cachoeira 1
Cachoeiro de Itapemirim 1
Cairo 1
Cambé 1
Campinas 1
Campo Grande 1
Campo Limpo Paulista 1
Can Tho 1
Cao Lanh 1
Caraguatatuba 1
Carcarañá 1
Casablanca 1
Castanhal 1
Catanduva 1
Catu 1
Caxias do Sul 1
Cedarburg 1
Celaya 1
Totale 523
Salva come PNG Salva come JPEG
Nome #
Automated Verification of Neural Networks: Advances, Challenges and Perspectives 149
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 133
SMT-based planning for robots in smart factories 129
SMarTplan: a Task Planner for Smart Factories 127
Repairing Learned Controllers with Convex Optimization: A Case Study 105
Repair of convolutional neural networks using convex optimization: Preliminary experiments 90
Improving Reliability of Myocontrol Using Formal Verification 79
Totale 812
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.064
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 3.064
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202220 0 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/2025280 0 1 13 7 13 16 12 53 81 56 11 17
2025/2026296 10 53 42 54 41 18 37 4 17 13 5 2
2026/202777 4 17 28 28 0 0 0 0 0 0 0 0
Totale 812