IRIS
DODARO, Carmine
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.005
AS - Asia 2.912
EU - Europa 1.773
SA - Sud America 855
AF - Africa 232
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 4
Totale 8.789
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.868
SG - Singapore 1.366
BR - Brasile 646
CN - Cina 539
UA - Ucraina 415
IT - Italia 397
DE - Germania 386
VN - Vietnam 379
HK - Hong Kong 195
SN - Senegal 160
SE - Svezia 127
TR - Turchia 71
FI - Finlandia 70
CA - Canada 68
AR - Argentina 67
GB - Regno Unito 67
IN - India 67
KR - Corea 61
RU - Federazione Russa 61
FR - Francia 51
AT - Austria 49
EC - Ecuador 44
IQ - Iraq 44
MX - Messico 36
ID - Indonesia 35
ZA - Sudafrica 35
BE - Belgio 32
BD - Bangladesh 27
NL - Olanda 25
VE - Venezuela 22
ES - Italia 20
PK - Pakistan 20
CL - Cile 18
PY - Paraguay 18
SA - Arabia Saudita 17
CO - Colombia 15
RO - Romania 15
CZ - Repubblica Ceca 13
PE - Perù 9
JP - Giappone 8
KZ - Kazakistan 8
NI - Nicaragua 8
PL - Polonia 8
UY - Uruguay 8
UZ - Uzbekistan 8
AU - Australia 7
AZ - Azerbaigian 7
PT - Portogallo 7
AE - Emirati Arabi Uniti 6
BO - Bolivia 6
EG - Egitto 6
HN - Honduras 6
IR - Iran 6
JO - Giordania 6
MA - Marocco 6
NP - Nepal 6
DO - Repubblica Dominicana 5
IL - Israele 5
JM - Giamaica 5
KE - Kenya 5
TN - Tunisia 5
BG - Bulgaria 4
BH - Bahrain 4
CR - Costa Rica 4
DZ - Algeria 4
KG - Kirghizistan 4
LB - Libano 4
BY - Bielorussia 3
GA - Gabon 3
GE - Georgia 3
HU - Ungheria 3
MY - Malesia 3
NO - Norvegia 3
PA - Panama 3
PH - Filippine 3
SI - Slovenia 3
AL - Albania 2
AM - Armenia 2
EU - Europa 2
GR - Grecia 2
GY - Guiana 2
KW - Kuwait 2
NG - Nigeria 2
OM - Oman 2
SK - Slovacchia (Repubblica Slovacca) 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DK - Danimarca 1
ET - Etiopia 1
GT - Guatemala 1
IE - Irlanda 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
MD - Moldavia 1
Totale 8.782
Salva come PNG Salva come JPEG
Città #
Singapore 511
Chandler 488
Dallas 275
Jacksonville 212
Hong Kong 179
Boardman 177
San Mateo 171
Dakar 160
Beijing 156
Ho Chi Minh City 148
Ashburn 142
Dearborn 117
Hanoi 72
Hefei 71
Bremen 70
Lawrence 69
Roxbury 69
Rende 68
Helsinki 60
Seoul 60
São Paulo 58
Shanghai 57
Des Moines 51
Florence 50
Cambridge 48
Munich 44
Izmir 42
The Dalles 38
Grafing 37
Ottawa 37
New York 36
Ogden 36
Los Angeles 35
Rio de Janeiro 34
Columbus 33
Vienna 33
Brooklyn 32
Santa Clara 27
Seattle 27
Inglewood 26
Rome 24
Brussels 23
San Francisco 19
Belo Horizonte 17
Berlin 16
Da Nang 16
Palermo 16
Sanayi 16
Ann Arbor 15
Catanzaro 15
Council Bluffs 15
Guangzhou 15
Quito 15
Baghdad 14
Brasília 14
Cosenza 14
Guayaquil 14
Johannesburg 14
Redwood City 14
Haiphong 13
Kyiv 12
Turin 12
Wilmington 12
Biên Hòa 11
Messina 11
Pune 11
Amsterdam 10
Bari 10
Nuremberg 10
Toronto 10
Asunción 9
Caracas 9
Chicago 9
Curitiba 9
Frankfurt am Main 9
Mexico City 9
Caxias do Sul 8
Lahore 8
Las Vegas 8
Managua 8
Milan 8
San Jose 8
Tashkent 8
Baku 7
Can Tho 7
Fortaleza 7
Hải Dương 7
Jakarta 7
Lima 7
Lisbon 7
London 7
Montevideo 7
Montreal 7
Piracicaba 7
Porto Alegre 7
Ribeirão das Neves 7
Santiago 7
Santo André 7
Thái Bình 7
Tianjin 7
Totale 4.713
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 221
Nurse (Re)scheduling via answer set programming 172
An advanced answer set programming encoding for nurse scheduling 162
Evaluation of Disjunctive Programs in WASP 157
The ASP System DLV: Advancements and Applications 154
Algorithm Selection for Paracoherent Answer Set Computation 140
ASPQ: An ASP-based 2QBF solver 126
Model Enumeration via Assumption Literals 125
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 124
Efficiently Coupling the I-DLV Grounder with ASP Solvers 124
Advances in WASP 123
Allotment Problem in Travel Industry: A Solution Based on ASP 121
A formal approach for cautious reasoning in answer set programming (extended abstract) 121
Abstract Solvers for Computing Cautious Consequences of ASP programs 121
An ASP-based framework for operating room scheduling 120
Empowering ASPQ to win in QBFEval 2018 118
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 117
Answer set enumeration via assumption literals 115
An ASP-based solution for operating room scheduling with beds management 115
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 115
An ASP based solution for operating room scheduling with surgical teams in hospital environments 115
Computing modular paracoherent answer sets: Preliminary result 114
A Hybrid Approach to Optimization in Answer Set Programming 113
Data validation for answer set programming (extended abstract) 108
Better Paracoherent Answer Sets with Less Resources 108
Anytime computation of cautious consequences in answer set programming 107
Debugging of answer set programs using paracoherent reasoning 107
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 105
An overview of ASP applications in the health-care domain 105
Inconsistency Proofs for ASP: The ASP-DRUPE Format 104
Answer set programming in healthcare: Extended overview 104
Shared aggregate sets in answer set programming 103
Anytime answer set optimization via unsatisfiable core shrinking 102
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 100
Partial Compilation of ASP Programs 100
The Birth of a WASP: Preliminary Report on a New ASP Solver 97
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 97
JWASP: A New Java-Based {ASP} Solver 96
WASP: A native ASP solver based on constraint learning 96
Cautious reasoning in ASP via minimal models and unsatisfiable cores 96
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 96
Deep Learning Approaches for Segmentation and Classification of Breast Ultrasound Images 95
Completion of Disjunctive Logic Programs 95
Nurse scheduling via answer set programming 95
Core-guided MaxSAT with soft cardinality constraints 93
Comparing alternative solutions for unfounded set propagation in ASP 92
KR&R approaches for robot manipulation tasks with articulated objects 92
AMO-aware Aggregates in Answer Set Programming 90
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 89
Compilation of Aggregates in ASP Systems 88
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 87
On the implementation of weak constraints in WASP 87
Reduct-based Stability Check Using Literal Assumptions 87
The Fourth Answer Set Programming Competition: Preliminary Report 87
Preliminary Report on WASP 2.0 86
Optimum stable model search: algorithms and implementation 85
Operating Room Scheduling via Answer Set Programming 85
External propagators in wasp: Preliminary report 84
Chemotherapy treatment scheduling via answer set programming 84
Nuclear Medicine Scheduling via Answer Set Programming 83
Explaining ASP-based Operating Room Schedules 83
Data Validation Meets Answer Set Programming 82
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence 81
Structured Declarative Language 79
Compilation of aggregates in ASP: Preliminary results 78
Minipref: A tool for preferences in SAT 77
Enumeration of Minimal Models and MUSes in WASP 76
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 75
Interactive Debugging of Non-ground ASP Programs 75
On the application of answer set programming to the conference paper assignment problem 75
Paracoherent answer set computation 75
On the Computation of Paracoherent Answer Sets 74
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 72
Unsatisfiable core shrinking for anytime answer set optimization 70
The External Interface for Extending WASP 68
Debugging non-ground ASP programs: Technique and graphical tools 66
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 64
RecyBat24: a dataset for detecting lithium-ion batteries in electronic waste disposal 60
ValAsp: A Tool for Data Validation in Answer Set Programming 59
Compilation of Tight ASP Programs 58
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals 58
Operating Room (Re)Scheduling with Bed Management via ASP 58
Scheduling Periodic Treatments via Answer Set Programming 57
Compilation of ASP programs: Recent developments 57
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 56
Externally supported models for efficient computation of paracoherent answer sets 54
Comparing Planning Domain Models Using Answer Set Programming 54
Rescheduling rehabilitation sessions with answer set programming 53
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 50
Managing caching strategies for stream reasoning with reinforcement learning 50
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 48
Blending Grounding and Compilation for Efficient ASP Solving 48
Nuclear Medicine Rescheduling Problem: A Logic-based Approach 48
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data 48
LTL on Weighted Finite Traces: Formal Foundations and Algorithms 44
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 44
On the Configuration of More and Less Expressive Logic Programs 44
CNL2ASP: Converting Controlled Natural Language Sentences into ASP 34
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 33
A dual-stage Deep Learning framework for Breast Ultrasound Image Segmentation and Classification 29
Totale 8.962
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.529
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 54.529
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021265 0 0 0 0 0 65 11 73 14 64 3 35
2021/2022876 1 119 10 28 79 44 22 185 11 30 120 227
2022/20231.161 117 160 16 137 175 93 8 182 113 33 85 42
2023/2024726 50 46 89 37 54 82 40 53 56 32 44 143
2024/20251.990 71 217 54 184 157 124 156 157 252 102 158 358
2025/20263.071 612 256 527 478 1.102 96 0 0 0 0 0 0
Totale 8.981