IRIS
DOVIER, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.706
AS - Asia 3.937
EU - Europa 3.264
SA - Sud America 841
AF - Africa 95
Continente sconosciuto - Info sul continente non disponibili 13
OC - Oceania 13
Totale 19.869
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.537
SG - Singapore 1.823
UA - Ucraina 907
CN - Cina 819
BR - Brasile 686
IT - Italia 502
DE - Germania 493
HK - Hong Kong 488
VN - Vietnam 319
FI - Finlandia 315
RU - Federazione Russa 261
SE - Svezia 198
IE - Irlanda 161
GB - Regno Unito 127
CA - Canada 122
KR - Corea 84
TR - Turchia 78
PL - Polonia 64
IN - India 62
AR - Argentina 59
JP - Giappone 46
BE - Belgio 35
EC - Ecuador 34
FR - Francia 32
NL - Olanda 32
ID - Indonesia 30
ZA - Sudafrica 30
MX - Messico 28
BD - Bangladesh 27
ES - Italia 27
TW - Taiwan 26
IR - Iran 23
IQ - Iraq 19
CL - Cile 16
LT - Lituania 16
AT - Austria 14
MA - Marocco 14
UZ - Uzbekistan 14
EU - Europa 13
RO - Romania 13
CH - Svizzera 12
TG - Togo 12
CO - Colombia 11
PY - Paraguay 11
VE - Venezuela 11
IL - Israele 9
PK - Pakistan 9
AU - Australia 8
HU - Ungheria 8
AE - Emirati Arabi Uniti 7
PT - Portogallo 7
TN - Tunisia 7
EG - Egitto 6
GR - Grecia 6
JO - Giordania 6
KE - Kenya 6
NP - Nepal 6
CR - Costa Rica 5
DK - Danimarca 5
EE - Estonia 5
MO - Macao, regione amministrativa speciale della Cina 5
PE - Perù 5
SA - Arabia Saudita 5
AZ - Azerbaigian 4
BO - Bolivia 4
CZ - Repubblica Ceca 4
HN - Honduras 4
KZ - Kazakistan 4
LB - Libano 4
NO - Norvegia 4
RS - Serbia 4
UY - Uruguay 4
BW - Botswana 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
GT - Guatemala 3
HR - Croazia 3
MY - Malesia 3
BG - Bulgaria 2
ET - Etiopia 2
GA - Gabon 2
KH - Cambogia 2
KW - Kuwait 2
LK - Sri Lanka 2
LU - Lussemburgo 2
NG - Nigeria 2
OM - Oman 2
PH - Filippine 2
SI - Slovenia 2
SN - Senegal 2
TH - Thailandia 2
AM - Armenia 1
BS - Bahamas 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
GE - Georgia 1
IM - Isola di Man 1
JM - Giamaica 1
KG - Kirghizistan 1
Totale 19.855
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.798
Ann Arbor 1.282
Fairfield 1.090
Houston 962
Singapore 724
Chandler 683
Ashburn 678
Jacksonville 621
Wilmington 495
Hong Kong 478
Seattle 412
Dearborn 410
Beijing 405
Cambridge 362
Boardman 220
Princeton 163
Dublin 161
Udine 148
Ho Chi Minh City 114
Los Angeles 107
Hefei 99
New York 78
Buffalo 77
Dallas 76
Redondo Beach 70
Seoul 68
Ottawa 66
Hanoi 62
São Paulo 60
Izmir 59
San Diego 55
Ogden 54
Trieste 50
Des Moines 47
Munich 45
Warsaw 42
Dong Ket 38
Brussels 32
Toronto 31
Berlin 30
Norwalk 30
Helsinki 28
Council Bluffs 26
Milan 26
Nanjing 24
Tokyo 22
Kunming 20
Taipei 20
London 19
San Francisco 19
The Dalles 19
Frankfurt am Main 18
Belo Horizonte 17
Grafing 17
Haiphong 16
Rio de Janeiro 16
Curitiba 15
Johannesburg 15
Fortaleza 14
Quito 14
Stockholm 14
Malo 13
Montreal 13
Orem 13
Rome 13
Santa Clara 13
Brooklyn 12
Chennai 12
Lomé 12
Mumbai 12
Phoenix 12
San Mateo 12
Wuhan 12
Atlanta 11
Brasília 11
Denver 11
Guangzhou 11
Salvador 11
Tashkent 11
Biên Hòa 10
Buenos Aires 10
Goiânia 10
Jinan 10
Krakow 10
Matsuyama 10
Treviso 10
Turku 10
Andover 9
Boston 9
Edinburgh 9
Falls Church 9
Nuremberg 9
Santo André 9
Suzhou 9
Ardabil 8
Budapest 8
Guayaquil 8
Juiz de Fora 8
Las Cruces 8
Manchester 8
Totale 13.267
Salva come PNG Salva come JPEG
Nome #
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 206
Multiset Constraints and P Systems 187
The Subgraph Bisimulation Problem 184
Modeling and Solving the Rush Hour puzzle 183
A comparison of CLP(FD) and ASP solutions to NP-complete problems 183
An Efficient Algorithm for Computing Bisimulation Equivalence 182
A GPU implementation of the ASP computation 180
A language with Finite Sets embedded in the CLP-scheme 176
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem 173
Representing Multi-Agent Planning in CLP 172
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++ 169
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++ 169
A Fast Bisimulation Algorithm 167
A declarative concurrent system for protein structure prediction on GPU 165
Designing an urban-scale auditory alert system 164
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 162
A multi-paradigm tool for large neighborhood search 161
Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search 158
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 156
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. 156
Parallel Answer Set Programming 155
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction 154
Disunification in ACI1 Theories 153
Distributed multi-agent optimization for smart grids and home automation 152
Protein Folding in CLP(FD) with Empirical Contact Energies 151
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP 151
Towards explainable data-to-text generation 150
A Necessary Condition for Constructive Negation in Constraint Logic Programming 150
Integrating lists, multisets, and sets in a logic programming framework. 149
Constrained Community-based Gene Regulatory Network Inference 149
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 148
Integrating Finite Domain Constraints and CLP with Sets 146
ASP Applications in Bio-informatics: A Short Tour 146
Embedding Finite Sets in a Logic Programming Language 146
Planning as tabled logic programming 145
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions 144
{log}: A Language for Programming in Logic with Finite Sets 144
A WAM based Implementation of a Logic Language with Sets 142
Multivalued Action Languages with Constraints in CLP(FD) 142
Constructive negation and constraint logic programming with sets 141
Recent constraint/logic programming based advances in the solution of the protein folding problem 140
Sets and Constraint Logic Programming 140
Model Checking Based Data Retrieval 139
Scoring predictive models using a reduced representation of proteins: model and energy definition 139
Agent-based Protein Structure Prediction 138
Exploring the use of BDDs in conformant planning 138
Extending logic programming with labelled variables: Model and semantics 138
Operational and abstract semantics of the query language G-Log 137
A Theoretical Perspective of Coinductive Logic Programming 137
ACI1 Constraints 136
Introduction to the Special Issue on Bioinformatics and Constraints 136
Agent-Based Protein Folding Simulation 135
Protein Folding Simulation in CCP 135
CLP-based protein fragment assembly 135
Introduction to the 28th International Conference on Logic Programming Special Issue 135
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 134
A Constraint Solver for Flexible Protein Models 134
Constraint Logic Programming approach to protein structure prediction 134
A Tabled Prolog Program for Solving Sokoban 133
A Tabled Prolog Program for Solving Sokoban 133
Multi-valued Action Languages with Constraints in CLP(FD) 132
Answer Set Programming with Constraints using Lazy Grounding 132
Decidability Results for Sets with Atoms 131
An investigation of Multi-Agent Planning in CLP. 131
A Tabled Prolog Program for Solving Sokoban 131
Compiling and Executing Declarative Modeling Languages in Gecode 130
Using Secondary Structure Information for Protein Folding in CLP(FD) 129
Comparing Expressiveness of Set Constructor Symbols 128
From Set to Hyperset Unification 125
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results 124
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain 124
Applying Model-Checking to solve Queries on Semistructured Data 123
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) 122
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 121
GASP: Answer Set Programming with Lazy Grounding 121
Exploring Life: Answer Set Programming in Bioinformatics 121
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints 119
{log}: A Logic Programming Language with Finite Sets 118
Present and Future Challenges for ASP Systems 118
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 118
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem 118
Designing the minimal structure of hidden Markov model by bisimulation 117
Compiling Intensional Sets in CLP 117
Reconstruction with Interval Constraints Propagation 117
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 116
PrettyCLP: a Light Java Implementation for Teaching CLP 115
CUD@SAT: SAT solving on GPUs 115
Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices 114
A Minimality Study for Set Unification 113
Parallel execution of the ASP computation - An investigation on GPUs 112
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 112
Intensional Sets in CLP 110
Logic programming applied to genome evolution in cancer? 110
2D object reconstruction with ASP 109
An xAI Approach for Data-to-Text Processing with ASP 108
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 107
{CUDA}: Set Constraints on GPUs. 107
GPU Parallelism for SAT Solving Heuristics 106
Data Structures and Algorithms for k-th Nearest Neighbours Conformational Entropy Estimation 105
Embedding extensional finite sets in CLP 104
Totale 13.867
Salva come PNG Salva come JPEG
Categoria #
all - tutte 72.870
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 72.870
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.252 0 0 0 0 0 246 98 225 280 74 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/20263.142 401 616 532 608 734 251 0 0 0 0 0 0
Totale 20.187