IRIS
CALIMERI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.390
EU - Europa 3.432
AS - Asia 1.892
AF - Africa 300
SA - Sud America 213
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 7
Totale 10.245
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.258
SG - Singapore 856
IT - Italia 821
UA - Ucraina 787
DE - Germania 629
CN - Cina 530
SE - Svezia 317
SN - Senegal 281
RU - Federazione Russa 217
BR - Brasile 172
TR - Turchia 151
FI - Finlandia 148
AT - Austria 134
CA - Canada 118
NL - Olanda 88
HK - Hong Kong 83
GB - Regno Unito 75
IN - India 69
KR - Corea 68
FR - Francia 44
JP - Giappone 30
BE - Belgio 29
CZ - Repubblica Ceca 25
ES - Italia 23
TW - Taiwan 19
PL - Polonia 17
RO - Romania 15
EC - Ecuador 14
GR - Grecia 14
IR - Iran 12
AU - Australia 11
IQ - Iraq 10
SA - Arabia Saudita 10
PK - Pakistan 9
PT - Portogallo 9
AR - Argentina 7
CL - Cile 7
IE - Irlanda 7
MA - Marocco 7
LT - Lituania 6
UZ - Uzbekistan 6
VN - Vietnam 6
EG - Egitto 5
HU - Ungheria 5
ID - Indonesia 5
MX - Messico 5
BD - Bangladesh 4
CO - Colombia 4
EU - Europa 4
KZ - Kazakistan 4
PA - Panama 4
PE - Perù 4
SK - Slovacchia (Repubblica Slovacca) 4
A1 - Anonimo 3
AL - Albania 3
IL - Israele 3
AZ - Azerbaigian 2
BO - Bolivia 2
CH - Svizzera 2
CR - Costa Rica 2
DK - Danimarca 2
GE - Georgia 2
IS - Islanda 2
JM - Giamaica 2
JO - Giordania 2
KG - Kirghizistan 2
LU - Lussemburgo 2
LV - Lettonia 2
OM - Oman 2
TN - Tunisia 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
DZ - Algeria 1
EE - Estonia 1
FK - Isole Falkland (Malvinas) 1
IM - Isola di Man 1
KE - Kenya 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LK - Sri Lanka 1
NG - Nigeria 1
NI - Nicaragua 1
PH - Filippine 1
PY - Paraguay 1
RS - Serbia 1
VE - Venezuela 1
Totale 10.245
Salva come PNG Salva come JPEG
Città #
Chandler 745
Jacksonville 457
Boardman 443
Singapore 415
Dakar 281
Dearborn 243
San Mateo 215
Helsinki 146
Rende 122
Shanghai 121
Roxbury 119
Lawrence 118
Izmir 116
Vienna 116
Ashburn 115
Cambridge 95
Bremen 85
Brooklyn 85
Des Moines 83
Ottawa 81
Florence 71
New York 65
Grafing 63
Seoul 59
Ann Arbor 58
Beijing 53
Munich 52
Rome 51
Milan 50
Ogden 48
Los Angeles 46
Hong Kong 45
Inglewood 45
Santa Clara 45
Seattle 43
Cosenza 40
Wilmington 36
Fremont 31
Council Bluffs 29
Guangzhou 28
Brussels 27
Mendicino 26
Falkenstein 25
Falls Church 25
Toronto 22
Brno 20
Catania 19
Catanzaro 18
Redwood City 18
San Francisco 18
Pune 17
Sanayi 16
Bucharest 15
Naples 14
Jiaxing 13
Reggio Calabria 13
Amsterdam 12
Hsinchu 12
São Paulo 12
Moscow 11
Lamezia Terme 10
Nanjing 10
Paris 10
Washington 10
Wuhan 10
Houston 9
Jinan 9
Leawood 9
Palermo 9
Athens 8
Frankfurt am Main 8
Kyiv 8
Quito 8
Tokyo 8
Ardabil 7
Brescia 7
Chicago 7
London 7
Scalea 7
Stefanaconi 7
Berlin 6
Central 6
Cirò Marina 6
Crotone 6
Fisciano 6
Guayaquil 6
Hefei 6
Messina 6
Montegiordano 6
Norwalk 6
Oldenburg 6
Salvador 6
Santiago 6
Tashkent 6
Vancouver 6
Warsaw 6
Wuxi 6
Acri 5
Bari 5
Castrolibero 5
Totale 5.797
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 169
Biomedical Data Augmentation using Generative Adversarial Neural Networks 161
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 159
BioHIPI: Biomedical Hadoop Image Processing Interface 154
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT) 116
Reasoning over Ontologies with DLV 115
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework 114
The ASP System DLV: Advancements and Applications 113
Graph based neural networks for automatic classification of multiple sclerosis clinical courses 113
DLV: An Advanced System for Knowledge Representation and Reasoning 111
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT) 109
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 108
An Agent System Reasoning about the Web and the User 106
I-DLV: the new Intelligent Grounder of DLV -- [Extended version of the work winner of the BEST PAPER AWARD at AI*IA 2016] 105
Developing ASP programs with ASPIDE and LoIDE 105
Integrating rule-based AI tools into mainstream game development 104
Enhancing DLV for Large-Scale Reasoning 102
A System with Template Answer Set Programs 101
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach 101
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 100
Artificial Intelligence in Medicine: From Imaging to Omics 99
A framework for easing the development of applications embedding answer set programming 99
I-DLV: The new intelligent grounder of DLV 98
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 98
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders 98
Large-scale reasoning on expressive horn ontologies 97
ASP-Core-2 Input Language Format 97
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images 97
Optimizing answer set computation via heuristic-based decomposition 96
Large Scale DLV: Preliminary Results 96
LoIDE: A web-based IDE for logic programming preliminary report 92
Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 91
Mixing logic programming and neural networks to support neurological disorders analysis 91
DLV - Declarative Problem Solving Using Answer Set Programming 90
An ASP System with Functions, Lists, and Sets 90
The DLV System 90
An Open-Source COVID-19 CT Dataset with Automatic Lung Tissue Classification for Radiomics 89
Enhancing Answer Set Programming with Templates 88
Answer set programming and declarative problem solving in game AIs 88
External computations and interoperability in the new DLV grounder 87
Querying large expressive horn ontologies 86
Classification and survival prediction in diffuse large B-cell lymphoma by gene expression profiling 86
Semantic Similarities between Locations based on Ontology 85
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 85
Classification of multiple sclerosis clinical profiles via graph convolutional neural networks 85
Artificial intelligence for brain diseases: A systematic review 84
Answer Set Programming 83
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 83
Embedding ASP in mobile systems: discussion and preliminary implementations 82
Efficiently Coupling the I-DLV Grounder with ASP Solvers 81
Design and Results of the Fifth Answer Set Programming Competition 80
Portable medical device and method for quantitative retinal image analysis through a smartphone 80
A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters 80
Optic Disc Detection using Fine Tuned Convolutional Neural Networks 80
Pruning Operators for Disjunctive Logic Programming Systems 80
I-DLV: The new intelligent grounder of DLV 79
Declarative and Computational Properties of Logic Programs with Aggregates 78
Incremental Answer Set Programming with Overgrounding 77
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 77
Combining deep learning and ASP-based models for the semantic segmentation of medical images 76
The AI system DLV: Ontologies, reasoning, and more 76
A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT) 75
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 72
The Answer Set Programming Competition 72
Data reduction and data visualization for automatic diagnosis using gene expression and clinical data 71
A machine learning guided rewriting approach for asp logic programs 71
Handling Function Symbols in the DLV Grounder 70
Bottom-up Evaluation of Finitely Recursive Queries 69
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 69
Parametric External Predicates for the DLV System 69
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings 69
New DLV Features for Data Integration 69
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 69
A Visual Tracer for DLV 68
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs 68
Individual identification of sharks through dorsal fin: a new approach thanks to advances in computer science. Poster Abstract. 65
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 64
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies 64
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques 64
Template Programs for Disjunctive Logic Programming: An Operational Semantics 64
Novel Method for Automated Analysis of Retinal Images: Results in Subjects with Hypertensive Retinopathy and CADASIL 63
How Modern Deductive Database Systems Can Enhance Data Integration 62
Pruning Operators for Answer Set Programming Systems 61
I-DLV-sr: A stream reasoning system based on I-DLV 61
Evaluating the Impact of Training Loss on MR to Synthetic CT Conversion 60
Understanding automatic COVID-19 classification using chest X-ray images 59
Extending ASP by value invention 59
The new DLV Grounder: External Computations, Interoperability and Customizability 59
The third open answer set programming competition 59
Inducing Clinical Course Variations in Multiple Sclerosis White Matter Networks 59
Efficient compliance checking of RDF data 58
Web Reasoning and Rule Systems: Five Years into the Conference 58
Experimenting with Parallelism for the Instantiation of ASP Programs 58
Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images 58
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation 58
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images 56
Dispositivo medico portatile e metodo per l’acqusizione di immagini della retina e esecuzione di analisi quantitative sull’immagi- ne della retina 56
Optimizing Answer Set Computation via Heuristic-Based Decomposition -- [Extended version of the work winner of the BEST PAPER AWARD at PADL 2018] 56
Finitely Recursive Programs: Decidability and Bottom-up Computation. 55
Parallel Instantiation of ASP Programs 55
Totale 8.412
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.560
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 70.560
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020240 0 0 0 0 0 0 0 0 27 29 107 77
2020/20211.023 127 29 98 128 50 149 28 132 24 120 54 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/20252.400 153 400 119 266 253 246 281 357 325 0 0 0
Totale 10.589