IRIS
CALIMERI, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.269
NA - Nord America 7.234
EU - Europa 4.812
SA - Sud America 1.863
AF - Africa 582
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 9
AN - Antartide 1
Totale 21.785
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.819
SG - Singapore 2.800
CN - Cina 1.376
BR - Brasile 1.332
IT - Italia 1.283
VN - Vietnam 1.134
UA - Ucraina 832
DE - Germania 806
HK - Hong Kong 347
SE - Svezia 339
BD - Bangladesh 336
FR - Francia 304
SN - Senegal 286
RU - Federazione Russa 270
IN - India 219
TR - Turchia 202
CA - Canada 201
FI - Finlandia 190
AR - Argentina 182
KR - Corea 173
AT - Austria 163
GB - Regno Unito 158
MX - Messico 122
IQ - Iraq 113
NL - Olanda 110
ZA - Sudafrica 93
EC - Ecuador 91
PL - Polonia 68
ID - Indonesia 63
MA - Marocco 63
CO - Colombia 61
PK - Pakistan 58
JP - Giappone 55
SA - Arabia Saudita 51
CL - Cile 50
ES - Italia 50
VE - Venezuela 49
UZ - Uzbekistan 38
PY - Paraguay 37
BE - Belgio 34
MY - Malesia 33
PH - Filippine 31
CZ - Repubblica Ceca 28
TN - Tunisia 27
JO - Giordania 25
AE - Emirati Arabi Uniti 24
EG - Egitto 23
PE - Perù 22
RO - Romania 21
TW - Taiwan 20
UY - Uruguay 20
GR - Grecia 19
KE - Kenya 19
BO - Bolivia 18
CH - Svizzera 18
CR - Costa Rica 17
DZ - Algeria 17
IR - Iran 17
NP - Nepal 17
KZ - Kazakistan 16
LT - Lituania 16
OM - Oman 16
DO - Repubblica Dominicana 15
PT - Portogallo 15
JM - Giamaica 14
NG - Nigeria 14
AL - Albania 12
AU - Australia 12
AZ - Azerbaigian 11
BH - Bahrain 11
ET - Etiopia 11
PS - Palestinian Territory 11
HN - Honduras 10
IL - Israele 10
GT - Guatemala 9
KW - Kuwait 9
PA - Panama 9
DK - Danimarca 8
HU - Ungheria 8
IE - Irlanda 8
RS - Serbia 7
TH - Thailandia 7
BG - Bulgaria 6
KG - Kirghizistan 6
NI - Nicaragua 6
SK - Slovacchia (Repubblica Slovacca) 6
SY - Repubblica araba siriana 6
AM - Armenia 5
BA - Bosnia-Erzegovina 5
BY - Bielorussia 5
GA - Gabon 5
GE - Georgia 5
LV - Lettonia 5
MD - Moldavia 5
MN - Mongolia 5
AO - Angola 4
EU - Europa 4
HR - Croazia 4
LB - Libano 4
SO - Somalia 4
Totale 21.723
Salva come PNG Salva come JPEG
Città #
Singapore 1.085
Chandler 745
San Jose 603
Ashburn 465
Jacksonville 460
Boardman 457
Ho Chi Minh City 397
Dallas 350
Beijing 340
Hong Kong 304
Dakar 286
Council Bluffs 254
Hanoi 253
Dearborn 243
San Mateo 215
Seoul 162
Rende 156
Helsinki 154
Lauterbourg 143
New York 141
Los Angeles 136
Shanghai 126
Vienna 123
São Paulo 122
Munich 121
Roxbury 119
Brooklyn 118
Hefei 118
Izmir 118
Lawrence 118
Santa Clara 100
Cambridge 95
Rome 94
Des Moines 86
Florence 86
Bremen 85
Ottawa 84
Milan 81
Grafing 63
The Dalles 61
Ann Arbor 58
Seattle 53
Toronto 49
Ogden 48
Columbus 46
Cosenza 46
Da Nang 46
Frankfurt am Main 46
Inglewood 45
Warsaw 44
Rio de Janeiro 43
Guangzhou 42
Haiphong 42
Mexico City 40
Quito 39
Johannesburg 38
Naples 37
Baghdad 36
Wilmington 36
San Francisco 35
Tashkent 35
Curitiba 32
Guayaquil 32
London 32
Fremont 31
Turku 31
Biên Hòa 30
Dhaka 30
Brussels 28
Catania 28
Catanzaro 27
Chennai 27
Hải Dương 27
Tokyo 27
Bari 26
Falkenstein 26
Mendicino 26
Falls Church 25
Buffalo 24
Montreal 24
Amsterdam 23
Chicago 23
Hillsboro 23
Brasília 22
Nuremberg 22
Orem 22
Santiago 22
Stockholm 22
Amman 20
Belo Horizonte 20
Brno 20
Lahore 20
Lima 20
Ninh Bình 20
Pune 20
Tianjin 20
Kuala Lumpur 19
Medellín 19
Paris 19
Porto Alegre 19
Totale 11.119
Salva come PNG Salva come JPEG
Nome #
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I 276
The ASP System DLV2 254
Biomedical Data Augmentation using Generative Adversarial Neural Networks 235
BioHIPI: Biomedical Hadoop Image Processing Interface 220
Artificial Intelligence in Medicine: From Imaging to Omics 215
I-DLV: the new Intelligent Grounder of DLV -- [Extended version of the work winner of the BEST PAPER AWARD at AI*IA 2016] 212
DLV: An Advanced System for Knowledge Representation and Reasoning 192
Reasoning over Ontologies with DLV 192
Answer Set Programming 191
Developing ASP programs with ASPIDE and LoIDE 190
Enhancing DLV for Large-Scale Reasoning 190
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework 188
Large-scale reasoning on expressive horn ontologies 188
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images 187
The DLV System 186
A framework for easing the development of applications embedding answer set programming 185
An ASP System with Functions, Lists, and Sets 184
Large Scale DLV: Preliminary Results 184
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders 182
Artificial intelligence for brain diseases: A systematic review 180
Efficiently Coupling the I-DLV Grounder with ASP Solvers 180
A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters 179
The ASP System DLV: Advancements and Applications 178
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach 177
Integrating rule-based AI tools into mainstream game development 177
Querying large expressive horn ontologies 177
An Open-Source COVID-19 CT Dataset with Automatic Lung Tissue Classification for Radiomics 177
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 176
A System with Template Answer Set Programs 174
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 172
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT) 172
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 171
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs 171
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT) 171
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments 169
Graph based neural networks for automatic classification of multiple sclerosis clinical courses 168
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings 168
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 167
Combining deep learning and ASP-based models for the semantic segmentation of medical images 166
Radiomics-Based Machine Learning Model for Predicting Overall and Progression-Free Survival in Rare Cancer: A Case Study for Primary CNS Lymphoma Patients 164
An Agent System Reasoning about the Web and the User 164
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 164
Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 163
Answer set programming and declarative problem solving in game AIs 162
ASP-Core-2 Input Language Format 162
Embedding ASP in mobile systems: discussion and preliminary implementations 157
Classification of multiple sclerosis clinical profiles via graph convolutional neural networks 157
I-DLV: The new intelligent grounder of DLV 156
Classification and survival prediction in diffuse large B-cell lymphoma by gene expression profiling 156
Optimizing answer set computation via heuristic-based decomposition 154
Enhancing Answer Set Programming with Templates 153
New DLV Features for Data Integration 153
Incremental Answer Set Programming with Overgrounding 153
DLV - Declarative Problem Solving Using Answer Set Programming 152
A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT) 150
Mixing logic programming and neural networks to support neurological disorders analysis 149
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 147
Declarative and Computational Properties of Logic Programs with Aggregates 146
LoIDE: A web-based IDE for logic programming preliminary report 146
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images 145
Individual identification of sharks through dorsal fin: a new approach thanks to advances in computer science. Poster Abstract. 144
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 143
Template Programs for Disjunctive Logic Programming: An Operational Semantics 142
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 142
External computations and interoperability in the new DLV grounder 141
A Visual Tracer for DLV 140
The AI system DLV: Ontologies, reasoning, and more 140
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies 139
Pruning Operators for Disjunctive Logic Programming Systems 139
A machine learning guided rewriting approach for asp logic programs 137
AI-Driven Innovations in Healthcare: Bridging Imaging and Genomics for Advanced Disease Insights 136
I-DLV: The new intelligent grounder of DLV 135
Data reduction and data visualization for automatic diagnosis using gene expression and clinical data 135
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 134
Handling Function Symbols in the DLV Grounder 133
Optic Disc Detection using Fine Tuned Convolutional Neural Networks 132
Portable medical device and method for quantitative retinal image analysis through a smartphone 131
How Modern Deductive Database Systems Can Enhance Data Integration 131
Understanding automatic COVID-19 classification using chest X-ray images 130
Efficient compliance checking of RDF data 129
Design and Results of the Fifth Answer Set Programming Competition 129
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 125
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 125
Understanding Automatic Pneumonia Classification Using Chest X-Ray Images 125
Inducing Clinical Course Variations in Multiple Sclerosis White Matter Networks 122
The new DLV Grounder: External Computations, Interoperability and Customizability 121
Semantic Similarities between Locations based on Ontology 121
I-DLV-sr: A stream reasoning system based on I-DLV 121
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation 120
Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images 118
Taking stock of available technologies for compliance checking on first-order knowledge 117
AIM in Endoscopy Procedures 114
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques 114
The Answer Set Programming Competition 114
Parametric External Predicates for the DLV System 113
The ASP Instantiator I-DLV 112
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 112
LLASP: Fine-tuning Large Language Models for Answer Set Programming 111
IDADA: A Blended Inductive-Deductive Approach for Data Augmentation 111
Bottom-up Evaluation of Finitely Recursive Queries 111
Totale 15.663
Salva come PNG Salva come JPEG
Categoria #
all - tutte 110.806
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 110.806
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202184 0 0 0 0 0 0 0 0 0 0 0 84
2021/20221.600 15 206 5 152 141 84 24 243 19 66 249 396
2022/20232.147 214 280 34 210 299 195 40 310 196 53 159 157
2023/20241.788 146 69 167 157 129 165 78 110 88 186 108 385
2024/20253.750 153 400 119 266 253 246 281 357 487 252 309 627
2025/202610.233 1.066 534 825 963 1.760 745 1.134 505 761 870 635 435
Totale 22.172