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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.301 0 125 65 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/2027535 214 321 0 0 0 0 0 0 0 0 0 0
Totale 23.504