IRIS
DODARO, CARMINE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.707
AS - Asia 549
NA - Nord America 542
SA - Sud America 52
AF - Africa 13
OC - Oceania 2
Totale 4.865
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.618
US - Stati Uniti d'America 512
SG - Singapore 204
CN - Cina 142
VN - Vietnam 116
FR - Francia 41
BR - Brasile 32
HK - Hong Kong 26
BD - Bangladesh 22
DE - Germania 15
JP - Giappone 11
CA - Canada 10
AR - Argentina 9
MX - Messico 8
NL - Olanda 8
GB - Regno Unito 6
IQ - Iraq 4
TR - Turchia 4
ZA - Sudafrica 4
ES - Italia 3
FI - Finlandia 3
IN - India 3
RO - Romania 3
AU - Australia 2
CO - Colombia 2
CR - Costa Rica 2
EC - Ecuador 2
GH - Ghana 2
HN - Honduras 2
ID - Indonesia 2
NP - Nepal 2
PE - Perù 2
PH - Filippine 2
UZ - Uzbekistan 2
VE - Venezuela 2
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BO - Bolivia 1
BZ - Belize 1
CL - Cile 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
GA - Gabon 1
GR - Grecia 1
HR - Croazia 1
IE - Irlanda 1
JM - Giamaica 1
KE - Kenya 1
KH - Cambogia 1
KR - Corea 1
LT - Lituania 1
MD - Moldavia 1
MR - Mauritania 1
MY - Malesia 1
NG - Nigeria 1
NI - Nicaragua 1
PA - Panama 1
PK - Pakistan 1
PR - Porto Rico 1
PY - Paraguay 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SE - Svezia 1
TH - Thailandia 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UA - Ucraina 1
Totale 4.865
Salva come PNG Salva come JPEG
Città #
Genova 1.748
Genoa 1.067
Rapallo 401
Vado Ligure 299
San Jose 139
Ashburn 110
Singapore 98
Ho Chi Minh City 37
Lauterbourg 35
Hanoi 29
Hong Kong 24
Beijing 16
Milan 16
Bordighera 14
Los Angeles 14
New York 13
Frankfurt am Main 12
Santa Clara 12
Tokyo 11
Boardman 10
Castrolibero 7
Council Bluffs 7
Bologna 6
Chicago 6
Haiphong 6
Philadelphia 6
Amsterdam 5
Da Nang 5
Orem 5
Rende 5
Rome 5
The Dalles 5
Biên Hòa 4
Buffalo 4
Dallas 4
Garland 4
Las Vegas 4
Shijiazhuang 4
Turin 4
Vibo Valentia 4
Afragola 3
Atlanta 3
Des Moines 3
Helsinki 3
Huntsville 3
Hải Dương 3
Johannesburg 3
Mexico City 3
Palermo 3
Perugia 3
Pittsburgh 3
Accra 2
Baghdad 2
Berlin 2
Brasília 2
Brooklyn 2
Bắc Ninh 2
Campinas 2
Canton 2
Cardiff 2
City of London 2
Colorado Springs 2
Da Lat 2
Denver 2
Fort Lauderdale 2
Houston 2
Murfreesboro 2
Naples 2
North Bergen 2
Piscataway 2
Quincy 2
Richmond 2
Rio de Janeiro 2
San Francisco 2
Seattle 2
Shenzhen 2
St Louis 2
São Paulo 2
Tampa 2
Thái Bình 2
Tianjin 2
Toronto 2
Vĩnh Long 2
Washington 2
Waunakee 2
Acapulco de Juárez 1
Adana 1
Alajuela 1
Alsip 1
Angra dos Reis 1
Annapolis 1
Apizaco 1
Arroio Grande 1
Asunción 1
Bahía Blanca 1
Barretos 1
Baton Rouge 1
Bay Roberts 1
Bayamón 1
Belize City 1
Totale 4.321
Salva come PNG Salva come JPEG
Nome #
Core-guided MaxSAT with soft cardinality constraints 213
Cautious reasoning in ASP via minimal models and unsatisfiable cores 186
Answer set enumeration via assumption literals 177
Comparing alternative solutions for unfounded set propagation in ASP 171
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 169
WASP: A native ASP solver based on constraint learning 168
Interactive debugging of non-ground ASP programs 166
On the application of answer set programming to the conference paper assignment problem 166
The fourth answer set programming competition: Preliminary report 162
Allotment problem in travel industry: A solution based on ASP 161
Anytime answer set optimization via unsatisfiable core shrinking 159
An advanced answer set programming encoding for nurse scheduling 156
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 147
Shared aggregate sets in answer set programming 146
Completion of disjunctive logic programs 143
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 139
Anytime computation of cautious consequences in answer set programming 138
Advances in WASP 132
Nurse scheduling via answer set programming 129
Operating Room Scheduling via Answer Set Programming 122
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 118
The ASP system DLV2 117
KR&R approaches for robot manipulation tasks with articulated objects 113
A MaxSAT algorithm using cardinality constraints of bounded size 111
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 110
Unsatisfiable core shrinking for anytime answer set optimization 108
External propagators in wasp: Preliminary report 104
JWASP: A new Java-based ASP solver 102
ASPQ: An ASP-based 2QBF solver 100
The ASP System DLV: Advancements and Applications 99
An overview of ASP applications in the health-care domain 86
Optimal Stable Model Search: Algorithms and Implementation. 82
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 81
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 78
Externally supported models for efficient computation of paracoherent answer sets 75
On the computation of paracoherent answer sets 70
Operating Room (Re)Scheduling with Bed Management via ASP 69
On the Configuration of More and Less Expressive Logic Programs 67
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 43
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 26
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms 24
Manipulation of articulated objects using dual-arm robots via answer set programming 5
Totale 4.938
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.965
article - articoli 5.037
book - libri 0
conference - conferenze 10.646
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.282
Totale 33.930
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022401 10 19 17 77 3 38 11 93 47 30 5 51
2022/2023476 35 43 3 50 48 104 29 32 65 3 60 4
2023/2024234 10 28 8 34 20 41 22 16 6 17 13 19
2024/2025720 42 56 12 31 111 61 80 132 26 24 61 84
2025/20261.577 194 20 101 83 216 161 278 70 162 108 68 116
2026/2027136 136 0 0 0 0 0 0 0 0 0 0 0
Totale 4.938