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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020369 0 0 0 0 0 0 0 129 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/20251.984 153 400 119 266 253 246 281 266 0 0 0 0
Totale 10.173