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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021329 0 0 0 0 0 0 0 0 0 0 211 118
2021/20221.374 73 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.449 401 616 532 608 734 502 684 254 382 527 209 0
Totale 22.494