IRIS
LEOFANTE, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 320
AS - Asia 187
SA - Sud America 129
EU - Europa 98
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 8
Totale 756
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 303
BR - Brasile 119
SG - Singapore 84
CN - Cina 54
IT - Italia 18
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 748
Salva come PNG Salva come JPEG
Città #
Dallas 75
Singapore 46
Chandler 29
San Jose 26
Beijing 21
Ashburn 17
Ann Arbor 16
Hong Kong 15
Council Bluffs 11
São Paulo 10
Columbus 9
Lauterbourg 9
Dearborn 8
Los Angeles 8
Milan 8
Princeton 8
Jacksonville 6
Shanghai 6
Belo Horizonte 5
Ho Chi Minh City 5
Rio de Janeiro 5
Santa Clara 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
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
Phoenix 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
Celaya 1
Central 1
Charapotó 1
Charleston 1
Totale 484
Salva come PNG Salva come JPEG
Nome #
Automated Verification of Neural Networks: Advances, Challenges and Perspectives 144
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 125
SMT-based planning for robots in smart factories 122
SMarTplan: a Task Planner for Smart Factories 121
Repairing Learned Controllers with Convex Optimization: A Case Study 95
Repair of convolutional neural networks using convex optimization: Preliminary experiments 79
Improving Reliability of Myocontrol Using Formal Verification 70
Totale 756
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.874
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 2.874
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/202721 4 17 0 0 0 0 0 0 0 0 0 0
Totale 756