IRIS
DOVIER, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.723
EU - Europa 2.720
AS - Asia 868
AF - Africa 19
SA - Sud America 16
Continente sconosciuto - Info sul continente non disponibili 13
OC - Oceania 4
Totale 14.363
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.622
UA - Ucraina 901
IT - Italia 392
DE - Germania 380
CN - Cina 366
FI - Finlandia 304
SG - Singapore 273
SE - Svezia 187
IE - Irlanda 160
RU - Federazione Russa 112
CA - Canada 100
GB - Regno Unito 87
TR - Turchia 60
PL - Polonia 45
VN - Vietnam 39
BE - Belgio 32
TW - Taiwan 25
IR - Iran 21
FR - Francia 20
JP - Giappone 19
NL - Olanda 19
HK - Hong Kong 14
KR - Corea 14
EU - Europa 13
RO - Romania 13
IN - India 12
LT - Lituania 12
TG - Togo 12
AT - Austria 10
CL - Cile 7
PT - Portogallo 7
HU - Ungheria 6
IL - Israele 6
DK - Danimarca 5
EC - Ecuador 5
EE - Estonia 5
ES - Italia 5
AE - Emirati Arabi Uniti 4
AU - Australia 4
BD - Bangladesh 4
BR - Brasile 4
CH - Svizzera 4
CZ - Repubblica Ceca 4
EG - Egitto 4
MO - Macao, regione amministrativa speciale della Cina 3
ZA - Sudafrica 3
GR - Grecia 2
HR - Croazia 2
LB - Libano 2
LU - Lussemburgo 2
PK - Pakistan 2
RS - Serbia 2
TH - Thailandia 2
IM - Isola di Man 1
KH - Cambogia 1
LI - Liechtenstein 1
MX - Messico 1
MY - Malesia 1
Totale 14.363
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.798
Ann Arbor 1.282
Fairfield 1.090
Houston 957
Chandler 683
Jacksonville 619
Wilmington 495
Ashburn 491
Dearborn 410
Seattle 408
Cambridge 362
Singapore 225
Boardman 220
Princeton 163
Dublin 160
Beijing 148
Udine 108
Ottawa 66
Izmir 58
New York 58
San Diego 55
Ogden 54
Trieste 43
Des Moines 41
Dong Ket 38
Brussels 30
Norwalk 30
Helsinki 27
Warsaw 26
Toronto 25
Hefei 24
Nanjing 22
Milan 21
Kunming 20
Taipei 19
Grafing 17
Frankfurt am Main 13
Malo 13
Lomé 12
London 12
San Mateo 12
Wuhan 12
Berlin 10
Guangzhou 10
Krakow 10
Matsuyama 10
Rome 10
Andover 9
Edinburgh 9
Falls Church 9
Jinan 9
Los Angeles 9
Suzhou 9
Ardabil 8
Treviso 8
Aviano 7
Montano Lucino 7
Montreal 7
Phoenix 7
Shanghai 7
Tappahannock 7
Budapest 6
Chions 6
Glasgow 6
Lappeenranta 6
Moscow 6
Munich 6
Stockholm 6
Talca 6
Zanjan 6
Columbus 5
Dallas 5
Monmouth Junction 5
Murowana Goslina 5
Nanchang 5
San Francisco 5
Santa Clara 5
Shenyang 5
Shenzhen 5
Tallinn 5
Vienna 5
Washington 5
Zhongli District 5
Albenga 4
Baotou 4
Cairo 4
Chongqing 4
Dresden 4
Dubai 4
Fayetteville 4
Fremont 4
Hangzhou 4
Hong Kong 4
Las Cruces 4
Ningbo 4
Padova 4
Paris 4
Preganziol 4
Tel Aviv 4
Baeza 3
Totale 10.715
Salva come PNG Salva come JPEG
Nome #
A comparison of CLP(FD) and ASP solutions to NP-complete problems 151
The Subgraph Bisimulation Problem 146
Multiset Constraints and P Systems 146
Designing an urban-scale auditory alert system 144
A language with Finite Sets embedded in the CLP-scheme 143
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 142
Representing Multi-Agent Planning in CLP 139
Parallel Answer Set Programming 139
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem 137
A GPU implementation of the ASP computation 137
A declarative concurrent system for protein structure prediction on GPU 136
Protein Folding in CLP(FD) with Empirical Contact Energies 130
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 130
Embedding Finite Sets in a Logic Programming Language 130
Disunification in ACI1 Theories 129
An Efficient Algorithm for Computing Bisimulation Equivalence 129
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++ 129
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++ 127
ASP Applications in Bio-informatics: A Short Tour 127
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. 127
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 126
A Necessary Condition for Constructive Negation in Constraint Logic Programming 125
Extending logic programming with labelled variables: Model and semantics 125
Integrating Finite Domain Constraints and CLP with Sets 124
Integrating lists, multisets, and sets in a logic programming framework. 123
Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search 123
Recent constraint/logic programming based advances in the solution of the protein folding problem 122
Distributed multi-agent optimization for smart grids and home automation 122
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 121
Constrained Community-based Gene Regulatory Network Inference 120
{log}: A Language for Programming in Logic with Finite Sets 119
Planning as tabled logic programming 119
A WAM based Implementation of a Logic Language with Sets 118
Sets and Constraint Logic Programming 118
Scoring predictive models using a reduced representation of proteins: model and energy definition 118
A Fast Bisimulation Algorithm 117
A multi-paradigm tool for large neighborhood search 117
Introduction to the Special Issue on Bioinformatics and Constraints 116
Constructive negation and constraint logic programming with sets 115
An investigation of Multi-Agent Planning in CLP. 115
Protein Folding Simulation in CCP 114
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP 114
A Tabled Prolog Program for Solving Sokoban 114
Exploring the use of BDDs in conformant planning 114
A Tabled Prolog Program for Solving Sokoban 114
A Theoretical Perspective of Coinductive Logic Programming 112
Model Checking Based Data Retrieval 111
Introduction to the 28th International Conference on Logic Programming Special Issue 110
Operational and abstract semantics of the query language G-Log 109
Multi-valued Action Languages with Constraints in CLP(FD) 109
Multivalued Action Languages with Constraints in CLP(FD) 109
A Tabled Prolog Program for Solving Sokoban 105
Constraint Logic Programming approach to protein structure prediction 104
From Set to Hyperset Unification 103
Compiling and Executing Declarative Modeling Languages in Gecode 103
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 103
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction 103
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain 103
Comparing Expressiveness of Set Constructor Symbols 102
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) 102
Agent-based Protein Structure Prediction 102
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results 101
GASP: Answer Set Programming with Lazy Grounding 101
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 100
ACI1 Constraints 100
Agent-Based Protein Folding Simulation 99
Answer Set Programming with Constraints using Lazy Grounding 99
CLP-based protein fragment assembly 99
Compiling Intensional Sets in CLP 98
Decidability Results for Sets with Atoms 98
Present and Future Challenges for ASP Systems 96
Designing the minimal structure of hidden Markov model by bisimulation 95
Using Secondary Structure Information for Protein Folding in CLP(FD) 94
Applying Model-Checking to solve Queries on Semistructured Data 94
Reconstruction with Interval Constraints Propagation 94
A Constraint Solver for Flexible Protein Models 93
Exploring Life: Answer Set Programming in Bioinformatics 92
{log}: A Logic Programming Language with Finite Sets 91
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 91
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 89
Modeling and Solving the Rush Hour puzzle 88
PrettyCLP: a Light Java Implementation for Teaching CLP 88
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 88
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem 87
Intensional Sets in CLP 86
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints 84
Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices 84
A Minimality Study for Set Unification 83
CUD@SAT: SAT solving on GPUs 83
Embedding extensional finite sets in CLP 80
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 80
Parallel execution of the ASP computation - An investigation on GPUs 80
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 79
Logic programming applied to genome evolution in cancer? 79
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 78
Rank-Based Symbolic Bisimulation (and Model Checking) 76
Minimal set unification 75
On the Representation and Management of Finite Sets in CLP-languages 75
Editorial, September 2011 75
EDITORIAL, December 2014 75
Totale 10.828
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.705
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 49.705
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.650 0 0 0 0 0 0 356 431 250 276 74 263
2020/20211.924 55 232 40 240 105 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/2025817 69 210 151 112 83 188 4 0 0 0 0 0
Totale 14.650