IRIS
DOVIER, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.926
EU - Europa 3.002
AS - Asia 1.762
SA - Sud America 305
AF - Africa 42
Continente sconosciuto - Info sul continente non disponibili 13
OC - Oceania 5
Totale 16.055
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.810
UA - Ucraina 906
SG - Singapore 791
CN - Cina 595
IT - Italia 431
DE - Germania 411
FI - Finlandia 309
BR - Brasile 266
RU - Federazione Russa 247
SE - Svezia 190
IE - Irlanda 161
CA - Canada 107
GB - Regno Unito 102
KR - Corea 82
TR - Turchia 68
PL - Polonia 50
VN - Vietnam 39
BE - Belgio 34
NL - Olanda 29
FR - Francia 28
JP - Giappone 26
TW - Taiwan 25
IR - Iran 21
IN - India 19
HK - Hong Kong 17
BD - Bangladesh 14
EU - Europa 13
RO - Romania 13
ES - Italia 12
LT - Lituania 12
TG - Togo 12
AT - Austria 11
CH - Svizzera 11
AR - Argentina 10
CL - Cile 10
EC - Ecuador 8
MA - Marocco 8
IL - Israele 7
IQ - Iraq 7
PT - Portogallo 7
AE - Emirati Arabi Uniti 6
HU - Ungheria 6
UZ - Uzbekistan 6
ZA - Sudafrica 6
DK - Danimarca 5
EE - Estonia 5
EG - Egitto 5
MO - Macao, regione amministrativa speciale della Cina 5
MX - Messico 5
PK - Pakistan 5
TN - Tunisia 5
AU - Australia 4
CZ - Repubblica Ceca 4
GR - Grecia 4
NO - Norvegia 4
CO - Colombia 3
HR - Croazia 3
ID - Indonesia 3
JO - Giordania 3
KE - Kenya 3
NP - Nepal 3
VE - Venezuela 3
AZ - Azerbaigian 2
BO - Bolivia 2
CR - Costa Rica 2
DZ - Algeria 2
KH - Cambogia 2
KW - Kuwait 2
LB - Libano 2
LK - Sri Lanka 2
LU - Lussemburgo 2
PE - Perù 2
PH - Filippine 2
RS - Serbia 2
TH - Thailandia 2
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
IM - Isola di Man 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LI - Liechtenstein 1
MD - Moldavia 1
MY - Malesia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
QA - Qatar 1
SA - Arabia Saudita 1
UY - Uruguay 1
Totale 16.055
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.798
Ann Arbor 1.282
Fairfield 1.090
Houston 957
Chandler 683
Jacksonville 619
Ashburn 497
Wilmington 495
Singapore 435
Dearborn 410
Seattle 409
Cambridge 362
Beijing 282
Boardman 220
Princeton 163
Dublin 161
Udine 128
Hefei 99
Seoul 68
Ottawa 66
New York 63
Izmir 58
San Diego 55
Ogden 54
Trieste 47
Des Moines 41
Dong Ket 38
Brussels 31
Norwalk 30
Helsinki 28
Warsaw 28
Los Angeles 26
Toronto 26
Milan 22
Nanjing 22
Kunming 20
Taipei 19
São Paulo 18
Grafing 17
Frankfurt am Main 16
London 16
San Francisco 14
Berlin 13
Malo 13
Lomé 12
San Mateo 12
Wuhan 12
Munich 11
Guangzhou 10
Krakow 10
Matsuyama 10
Montreal 10
Rome 10
Treviso 10
Andover 9
Edinburgh 9
Falls Church 9
Jinan 9
Phoenix 9
Suzhou 9
Ardabil 8
Las Cruces 8
Santa Clara 8
Aviano 7
Dallas 7
Hong Kong 7
Montano Lucino 7
Moscow 7
Shanghai 7
Stockholm 7
Tappahannock 7
Tokyo 7
Amsterdam 6
Belo Horizonte 6
Budapest 6
Chions 6
Columbus 6
Curitiba 6
Dulliken 6
Glasgow 6
Lappeenranta 6
Nuremberg 6
Paris 6
Talca 6
Vienna 6
Zanjan 6
Cairo 5
Campo Grande 5
Chicago 5
Council Bluffs 5
Fayetteville 5
Monmouth Junction 5
Murowana Goslina 5
Nanchang 5
Shenyang 5
Shenzhen 5
Tallinn 5
The Dalles 5
Verona 5
Washington 5
Totale 11.341
Salva come PNG Salva come JPEG
Nome #
The Subgraph Bisimulation Problem 163
A comparison of CLP(FD) and ASP solutions to NP-complete problems 162
A language with Finite Sets embedded in the CLP-scheme 156
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 156
Multiset Constraints and P Systems 156
Designing an urban-scale auditory alert system 152
Representing Multi-Agent Planning in CLP 151
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem 146
A GPU implementation of the ASP computation 145
A declarative concurrent system for protein structure prediction on GPU 145
An Efficient Algorithm for Computing Bisimulation Equivalence 144
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++ 143
Parallel Answer Set Programming 143
Protein Folding in CLP(FD) with Empirical Contact Energies 141
A Fast Bisimulation Algorithm 138
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 138
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 137
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. 137
Disunification in ACI1 Theories 136
Embedding Finite Sets in a Logic Programming Language 135
Integrating lists, multisets, and sets in a logic programming framework. 134
A Necessary Condition for Constructive Negation in Constraint Logic Programming 134
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++ 134
Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search 134
ASP Applications in Bio-informatics: A Short Tour 134
Integrating Finite Domain Constraints and CLP with Sets 133
A WAM based Implementation of a Logic Language with Sets 133
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 131
Recent constraint/logic programming based advances in the solution of the protein folding problem 130
Sets and Constraint Logic Programming 130
Extending logic programming with labelled variables: Model and semantics 129
Distributed multi-agent optimization for smart grids and home automation 129
Constrained Community-based Gene Regulatory Network Inference 128
{log}: A Language for Programming in Logic with Finite Sets 127
A multi-paradigm tool for large neighborhood search 126
Scoring predictive models using a reduced representation of proteins: model and energy definition 126
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP 125
Planning as tabled logic programming 125
A Theoretical Perspective of Coinductive Logic Programming 125
Introduction to the Special Issue on Bioinformatics and Constraints 125
Constructive negation and constraint logic programming with sets 124
Protein Folding Simulation in CCP 123
An investigation of Multi-Agent Planning in CLP. 123
Exploring the use of BDDs in conformant planning 123
Operational and abstract semantics of the query language G-Log 122
A Tabled Prolog Program for Solving Sokoban 122
Model Checking Based Data Retrieval 121
A Tabled Prolog Program for Solving Sokoban 120
Modeling and Solving the Rush Hour puzzle 119
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 117
Multivalued Action Languages with Constraints in CLP(FD) 117
Comparing Expressiveness of Set Constructor Symbols 116
Introduction to the 28th International Conference on Logic Programming Special Issue 116
ACI1 Constraints 115
Multi-valued Action Languages with Constraints in CLP(FD) 114
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction 113
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) 113
From Set to Hyperset Unification 112
Constraint Logic Programming approach to protein structure prediction 112
A Tabled Prolog Program for Solving Sokoban 112
Compiling and Executing Declarative Modeling Languages in Gecode 111
Agent-Based Protein Folding Simulation 111
Decidability Results for Sets with Atoms 110
Agent-based Protein Structure Prediction 110
GASP: Answer Set Programming with Lazy Grounding 110
Using Secondary Structure Information for Protein Folding in CLP(FD) 109
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 109
Compiling Intensional Sets in CLP 109
CLP-based protein fragment assembly 109
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain 107
Answer Set Programming with Constraints using Lazy Grounding 106
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results 106
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 106
Designing the minimal structure of hidden Markov model by bisimulation 104
Present and Future Challenges for ASP Systems 103
Reconstruction with Interval Constraints Propagation 103
A Constraint Solver for Flexible Protein Models 103
Towards explainable data-to-text generation 102
{log}: A Logic Programming Language with Finite Sets 102
Applying Model-Checking to solve Queries on Semistructured Data 102
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 100
Exploring Life: Answer Set Programming in Bioinformatics 98
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem 97
PrettyCLP: a Light Java Implementation for Teaching CLP 96
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 96
Intensional Sets in CLP 94
Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices 94
A Minimality Study for Set Unification 93
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints 92
Embedding extensional finite sets in CLP 90
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 90
Rank-Based Symbolic Bisimulation (and Model Checking) 89
On the Representation and Management of Finite Sets in CLP-languages 88
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 88
CUD@SAT: SAT solving on GPUs 88
Parallel execution of the ASP computation - An investigation on GPUs 88
Logic programming applied to genome evolution in cancer? 88
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD) 87
An xAI Approach for Data-to-Text Processing with ASP 84
Editorial, September 2011 84
Totale 11.826
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.278
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 58.278
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020263 0 0 0 0 0 0 0 0 0 0 0 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/20252.531 69 210 151 112 83 188 170 187 324 224 492 321
Totale 16.364