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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.957 0 0 0 468 245 594 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/2025488 69 210 151 58 0 0 0 0 0 0 0 0
Totale 14.321