IRIS
DOVIER, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.218
AS - Asia 4.960
EU - Europa 4.105
SA - Sud America 1.019
Continente sconosciuto - Info sul continente non disponibili 356
AF - Africa 140
OC - Oceania 14
Totale 24.812
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.886
SG - Singapore 2.254
CN - Cina 939
IT - Italia 936
UA - Ucraina 910
BR - Brasile 770
DE - Germania 546
HK - Hong Kong 530
VN - Vietnam 421
FI - Finlandia 336
RU - Federazione Russa 269
FR - Francia 234
SE - Svezia 201
CA - Canada 184
IE - Irlanda 165
GB - Regno Unito 162
IN - India 109
TR - Turchia 100
BD - Bangladesh 99
KR - Corea 90
AR - Argentina 84
JP - Giappone 68
PL - Polonia 67
ID - Indonesia 47
MX - Messico 45
EC - Ecuador 43
NL - Olanda 43
IQ - Iraq 41
BE - Belgio 38
ZA - Sudafrica 37
ES - Italia 36
CL - Cile 35
CO - Colombia 31
PK - Pakistan 30
TW - Taiwan 29
AT - Austria 27
UZ - Uzbekistan 25
VE - Venezuela 25
LT - Lituania 24
IR - Iran 23
CR - Costa Rica 21
SA - Arabia Saudita 21
JM - Giamaica 20
MA - Marocco 20
RO - Romania 17
PH - Filippine 16
CH - Svizzera 14
IL - Israele 14
MY - Malesia 14
NP - Nepal 14
TN - Tunisia 14
AE - Emirati Arabi Uniti 13
EU - Europa 13
PY - Paraguay 12
TG - Togo 12
HN - Honduras 11
PT - Portogallo 11
KE - Kenya 10
AU - Australia 9
DZ - Algeria 9
GT - Guatemala 9
HU - Ungheria 9
PE - Perù 9
EE - Estonia 8
EG - Egitto 8
JO - Giordania 8
GR - Grecia 7
NI - Nicaragua 7
CW - ???statistics.table.value.countryCode.CW??? 6
CZ - Repubblica Ceca 6
DK - Danimarca 6
OM - Oman 6
RS - Serbia 6
SV - El Salvador 6
AZ - Azerbaigian 5
BO - Bolivia 5
KZ - Kazakistan 5
LB - Libano 5
MO - Macao, regione amministrativa speciale della Cina 5
TH - Thailandia 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
DO - Repubblica Dominicana 4
ET - Etiopia 4
GP - Guadalupe 4
HR - Croazia 4
KW - Kuwait 4
NG - Nigeria 4
NO - Norvegia 4
PR - Porto Rico 4
PS - Palestinian Territory 4
AM - Armenia 3
BG - Bulgaria 3
BH - Bahrain 3
BS - Bahamas 3
BW - Botswana 3
SI - Slovenia 3
SN - Senegal 3
AL - Albania 2
AO - Angola 2
Totale 24.426
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.798
Ann Arbor 1.282
Fairfield 1.092
Houston 971
Singapore 927
Ashburn 872
Chandler 683
Jacksonville 623
San Jose 605
Hong Kong 511
Wilmington 495
Beijing 426
Seattle 416
Dearborn 410
Cambridge 362
Council Bluffs 349
Boardman 241
Dublin 164
Princeton 163
Lauterbourg 162
Staranzano 162
Udine 153
Los Angeles 146
Ho Chi Minh City 145
New York 115
Dallas 100
Hefei 100
Hanoi 90
The Dalles 87
Buffalo 81
Redondo Beach 70
Santa Clara 70
Seoul 69
Ottawa 67
São Paulo 66
Izmir 60
Milan 59
San Diego 55
Ogden 54
Trieste 53
Des Moines 49
Frankfurt am Main 48
Helsinki 47
Munich 47
Toronto 44
Warsaw 44
Phoenix 41
Chicago 40
Dong Ket 38
Tokyo 36
Berlin 35
Brussels 34
Norwalk 33
Orem 29
Rome 28
Atlanta 26
Denver 24
Nanjing 24
San Francisco 23
Haiphong 21
Kunming 21
Taipei 21
London 20
Montreal 20
Santiago 20
Tashkent 20
San José 19
Rio de Janeiro 18
Vienna 18
Belo Horizonte 17
Brooklyn 17
Grafing 17
Philadelphia 17
Buenos Aires 16
Curitiba 16
Fortaleza 16
Quito 16
Chennai 15
Johannesburg 15
Mumbai 15
Treviso 15
Baghdad 14
Brasília 14
Stockholm 14
Bologna 13
Guayaquil 13
Malo 13
Naples 13
Nuremberg 13
Salvador 13
Charlotte 12
Columbus 12
Guangzhou 12
Lomé 12
Paris 12
San Mateo 12
Turku 12
Wuhan 12
Biên Hòa 11
Boston 11
Totale 15.672
Salva come PNG Salva come JPEG
Nome #
Modeling and Solving the Rush Hour puzzle 255
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 242
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions 220
A comparison of CLP(FD) and ASP solutions to NP-complete problems 214
An Efficient Algorithm for Computing Bisimulation Equivalence 208
A GPU implementation of the ASP computation 208
The Subgraph Bisimulation Problem 206
Multiset Constraints and P Systems 206
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++ 203
A language with Finite Sets embedded in the CLP-scheme 201
A declarative concurrent system for protein structure prediction on GPU 198
Towards explainable data-to-text generation 197
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem 197
A Fast Bisimulation Algorithm 195
A multi-paradigm tool for large neighborhood search 194
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++ 193
Representing Multi-Agent Planning in CLP 193
Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search 192
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 192
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 185
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP 182
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 181
Designing an urban-scale auditory alert system 180
Parallel Answer Set Programming 180
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction 179
A Necessary Condition for Constructive Negation in Constraint Logic Programming 177
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. 175
Distributed multi-agent optimization for smart grids and home automation 174
Integrating Finite Domain Constraints and CLP with Sets 173
Disunification in ACI1 Theories 173
Exploring the use of BDDs in conformant planning 173
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 173
Sets and Constraint Logic Programming 173
From Set to Hyperset Unification 171
Protein Folding in CLP(FD) with Empirical Contact Energies 171
Planning as tabled logic programming 171
{log}: A Language for Programming in Logic with Finite Sets 168
Constructive negation and constraint logic programming with sets 168
Agent-Based Protein Folding Simulation 168
Scoring predictive models using a reduced representation of proteins: model and energy definition 168
Integrating lists, multisets, and sets in a logic programming framework. 167
Constrained Community-based Gene Regulatory Network Inference 167
Constraint Logic Programming approach to protein structure prediction 164
Multivalued Action Languages with Constraints in CLP(FD) 162
A Theoretical Perspective of Coinductive Logic Programming 161
ASP Applications in Bio-informatics: A Short Tour 161
Extending logic programming with labelled variables: Model and semantics 161
Recent constraint/logic programming based advances in the solution of the protein folding problem 161
ACI1 Constraints 160
A Constraint Solver for Flexible Protein Models 160
Embedding Finite Sets in a Logic Programming Language 160
2D object reconstruction with ASP 160
A WAM based Implementation of a Logic Language with Sets 159
Operational and abstract semantics of the query language G-Log 157
Agent-based Protein Structure Prediction 157
A Tabled Prolog Program for Solving Sokoban 157
An xAI Approach for Data-to-Text Processing with ASP 156
Using Secondary Structure Information for Protein Folding in CLP(FD) 156
Answer Set Programming with Constraints using Lazy Grounding 154
CLP-based protein fragment assembly 154
3coSoKu and its declarative modeling 154
GPU Parallelism for SAT Solving Heuristics 153
Multi-valued Action Languages with Constraints in CLP(FD) 153
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 153
Exploring Life: Answer Set Programming in Bioinformatics 153
Protein Folding Simulation in CCP 152
Decidability Results for Sets with Atoms 152
A Tabled Prolog Program for Solving Sokoban 152
Introduction to the Special Issue on Bioinformatics and Constraints 152
Introduction to the 28th International Conference on Logic Programming Special Issue 152
Model Checking Based Data Retrieval 151
Compiling and Executing Declarative Modeling Languages in Gecode 151
A Tabled Prolog Program for Solving Sokoban 151
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem 150
An investigation of Multi-Agent Planning in CLP. 148
Comparing Expressiveness of Set Constructor Symbols 145
Reconstruction with Interval Constraints Propagation 144
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results 144
Parallel execution of the ASP computation - An investigation on GPUs 144
GASP: Answer Set Programming with Lazy Grounding 144
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) 143
{CUDA}: Set Constraints on GPUs. 143
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain 142
{log}: A Logic Programming Language with Finite Sets 141
Applying Model-Checking to solve Queries on Semistructured Data 141
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints 141
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 140
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 139
Fondamenti dell’informatica. Linguaggi formali, calcolabilità e complessità 138
Logic programming and bisimulation 137
CUD@SAT: SAT solving on GPUs 136
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 136
Designing the minimal structure of hidden Markov model by bisimulation 135
PrettyCLP: a Light Java Implementation for Teaching CLP 135
A Minimality Study for Set Unification 135
Present and Future Challenges for ASP Systems 133
Compiling Intensional Sets in CLP 133
Logic programming applied to genome evolution in cancer? 133
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 132
Intensional Sets in CLP 130
Totale 16.512
Salva come PNG Salva come JPEG
Categoria #
all - tutte 89.413
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 89.413
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.111 0 0 0 70 40 64 74 57 13 220 345 228
2022/20231.666 186 59 33 234 180 434 8 154 227 23 96 32
2023/2024756 63 66 36 21 114 110 55 36 83 57 44 71
2024/20253.212 69 210 151 112 83 188 170 187 324 224 492 1.002
2025/20265.924 401 616 532 608 734 502 684 254 382 527 357 327
2026/20271.843 214 401 711 517 0 0 0 0 0 0 0 0
Totale 24.812