IRIS
DODARO, CARMINE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.727
NA - Nord America 695
AS - Asia 561
Continente sconosciuto - Info sul continente non disponibili 73
SA - Sud America 58
AF - Africa 14
OC - Oceania 2
Totale 5.130
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.627
US - Stati Uniti d'America 657
SG - Singapore 206
CN - Cina 144
VN - Vietnam 118
FR - Francia 41
BR - Brasile 33
HK - Hong Kong 30
BD - Bangladesh 22
DE - Germania 15
CA - Canada 12
JP - Giappone 12
AR - Argentina 10
NL - Olanda 10
MX - Messico 9
GB - Regno Unito 7
CO - Colombia 5
IQ - Iraq 4
JM - Giamaica 4
TR - Turchia 4
ZA - Sudafrica 4
AT - Austria 3
CR - Costa Rica 3
ES - Italia 3
FI - Finlandia 3
IN - India 3
PH - Filippine 3
RO - Romania 3
VE - Venezuela 3
AU - Australia 2
EC - Ecuador 2
GH - Ghana 2
HN - Honduras 2
ID - Indonesia 2
NP - Nepal 2
PE - Perù 2
PL - Polonia 2
PT - Portogallo 2
UZ - Uzbekistan 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
EE - Estonia 1
EG - Egitto 1
GA - Gabon 1
GR - Grecia 1
HR - Croazia 1
IE - Irlanda 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
SC - Seychelles 1
SE - Svezia 1
SV - El Salvador 1
TH - Thailandia 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UA - Ucraina 1
Totale 5.057
Salva come PNG Salva come JPEG
Città #
Genova 1.748
Genoa 1.067
Rapallo 401
Vado Ligure 299
San Jose 162
Ashburn 132
Singapore 100
Ho Chi Minh City 37
Lauterbourg 35
Hanoi 30
The Dalles 26
Hong Kong 25
Milan 21
Beijing 17
Santa Clara 16
Bordighera 14
Los Angeles 14
New York 14
Frankfurt am Main 12
Tokyo 12
Boardman 10
Phoenix 10
Council Bluffs 8
Castrolibero 7
Bologna 6
Chicago 6
Dallas 6
Haiphong 6
Philadelphia 6
Amsterdam 5
Da Nang 5
Denver 5
Orem 5
Rende 5
Rome 5
San Francisco 5
Biên Hòa 4
Buffalo 4
Des Moines 4
Garland 4
Las Vegas 4
Shijiazhuang 4
Turin 4
Vibo Valentia 4
Afragola 3
Atlanta 3
Brooklyn 3
Helsinki 3
Huntsville 3
Hải Dương 3
Johannesburg 3
Kingston 3
Mexico City 3
Palermo 3
Perugia 3
Pittsburgh 3
Seattle 3
São Paulo 3
Vienna 3
Accra 2
Baghdad 2
Berlin 2
Birmingham 2
Boston 2
Brasília 2
Bắc Ninh 2
Campinas 2
Canton 2
Caracas 2
Cardiff 2
Charleston 2
City of London 2
Colorado Springs 2
Da Lat 2
Florence 2
Fort Lauderdale 2
Gdynia 2
Houston 2
Ithaca 2
Murfreesboro 2
Naples 2
Nijverdal 2
North Bergen 2
Piscataway 2
Quincy 2
Richmond 2
Rio de Janeiro 2
Salt Lake City 2
San José 2
Shenzhen 2
St Louis 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
Totale 4.439
Salva come PNG Salva come JPEG
Nome #
Core-guided MaxSAT with soft cardinality constraints 215
Cautious reasoning in ASP via minimal models and unsatisfiable cores 188
Answer set enumeration via assumption literals 179
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 173
Comparing alternative solutions for unfounded set propagation in ASP 173
Interactive debugging of non-ground ASP programs 170
WASP: A native ASP solver based on constraint learning 168
Completion of disjunctive logic programs 167
On the application of answer set programming to the conference paper assignment problem 166
The fourth answer set programming competition: Preliminary report 164
Allotment problem in travel industry: A solution based on ASP 163
Anytime answer set optimization via unsatisfiable core shrinking 160
An advanced answer set programming encoding for nurse scheduling 158
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 153
Anytime computation of cautious consequences in answer set programming 148
Shared aggregate sets in answer set programming 148
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 144
Advances in WASP 139
Nurse scheduling via answer set programming 137
Operating Room Scheduling via Answer Set Programming 125
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 123
The ASP system DLV2 123
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 117
KR&R approaches for robot manipulation tasks with articulated objects 117
A MaxSAT algorithm using cardinality constraints of bounded size 116
External propagators in wasp: Preliminary report 110
Unsatisfiable core shrinking for anytime answer set optimization 108
JWASP: A new Java-based ASP solver 108
ASPQ: An ASP-based 2QBF solver 104
The ASP System DLV: Advancements and Applications 99
An overview of ASP applications in the health-care domain 89
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 86
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 85
Optimal Stable Model Search: Algorithms and Implementation. 83
Operating Room (Re)Scheduling with Bed Management via ASP 78
Externally supported models for efficient computation of paracoherent answer sets 76
On the computation of paracoherent answer sets 72
On the Configuration of More and Less Expressive Logic Programs 69
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 68
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 28
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms 27
Manipulation of articulated objects using dual-arm robots via answer set programming 6
Totale 5.130
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.983
article - articoli 5.323
book - libri 0
conference - conferenze 11.295
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.365
Totale 35.966
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022372 0 0 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/2027328 151 111 66 0 0 0 0 0 0 0 0 0
Totale 5.130