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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.585 0 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.330 1.066 534 825 963 1.760 745 1.134 505 761 870 635 532
2026/2027939 678 261 0 0 0 0 0 0 0 0 0 0
Totale 23.208