IRIS
CANTONE, Domenico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.007
AS - Asia 3.688
EU - Europa 3.617
SA - Sud America 766
AF - Africa 368
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 6
Totale 16.459
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.685
SG - Singapore 1.977
CN - Cina 1.135
IT - Italia 972
IE - Irlanda 710
BR - Brasile 671
UA - Ucraina 624
DE - Germania 343
RU - Federazione Russa 326
CA - Canada 285
CI - Costa d'Avorio 209
FI - Finlandia 187
VN - Vietnam 151
GB - Regno Unito 95
SE - Svezia 92
KR - Corea 91
SN - Senegal 71
JP - Giappone 66
FR - Francia 64
IN - India 58
NL - Olanda 40
PL - Polonia 33
BD - Bangladesh 32
AR - Argentina 30
CH - Svizzera 29
TR - Turchia 29
ZA - Sudafrica 29
MX - Messico 25
UZ - Uzbekistan 24
BE - Belgio 22
EC - Ecuador 21
IQ - Iraq 20
NG - Nigeria 19
ES - Italia 17
PK - Pakistan 17
AT - Austria 14
RO - Romania 13
ID - Indonesia 12
CO - Colombia 9
HK - Hong Kong 9
LB - Libano 9
LT - Lituania 9
ET - Etiopia 8
MA - Marocco 8
PY - Paraguay 7
VE - Venezuela 7
AU - Australia 6
CL - Cile 6
CZ - Repubblica Ceca 6
IR - Iran 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
BJ - Benin 5
BO - Bolivia 5
EG - Egitto 5
EU - Europa 5
PE - Perù 5
PS - Palestinian Territory 5
AZ - Azerbaigian 4
DO - Repubblica Dominicana 4
DZ - Algeria 4
KE - Kenya 4
OM - Oman 4
UY - Uruguay 4
DK - Danimarca 3
EE - Estonia 3
GR - Grecia 3
KZ - Kazakistan 3
MY - Malesia 3
NP - Nepal 3
TN - Tunisia 3
AL - Albania 2
BN - Brunei Darussalam 2
GE - Georgia 2
HU - Ungheria 2
IL - Israele 2
JO - Giordania 2
KG - Kirghizistan 2
NI - Nicaragua 2
SK - Slovacchia (Repubblica Slovacca) 2
TW - Taiwan 2
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
CR - Costa Rica 1
DM - Dominica 1
GY - Guiana 1
IS - Islanda 1
KH - Cambogia 1
LU - Lussemburgo 1
ML - Mali 1
MN - Mongolia 1
MQ - Martinica 1
NE - Niger 1
NZ - Nuova Zelanda 1
Totale 16.453
Salva come PNG Salva come JPEG
Città #
Dallas 1.513
Santa Clara 1.454
Singapore 996
Chandler 789
Dublin 710
Jacksonville 575
Boardman 295
Ashburn 233
Hefei 232
Andover 218
Catania 216
Abidjan 209
Lawrence 193
Cambridge 191
Nanjing 187
Toronto 173
Helsinki 158
Grafing 156
Civitanova Marche 151
Beijing 145
Los Angeles 133
San Mateo 122
Bremen 113
Moscow 107
Des Moines 92
Seoul 91
Chicago 89
Wilmington 82
Ottawa 73
Dakar 71
Houston 71
Council Bluffs 66
Nanchang 66
São Paulo 56
Columbus 54
Tokyo 54
Hebei 52
New York 52
Shenyang 51
The Dalles 48
Buffalo 45
Ho Chi Minh City 44
Milan 39
Saint Petersburg 38
Jiaxing 35
Changsha 34
Munich 28
Belo Horizonte 27
Brooklyn 25
Montreal 25
Palermo 25
Rome 25
Amsterdam 24
Warsaw 24
Hanoi 23
Rio de Janeiro 23
Brasília 22
Tianjin 22
San Francisco 20
Abuja 19
Brussels 19
Messina 19
Nuremberg 19
Stockholm 19
Johannesburg 17
Lappeenranta 17
Denver 15
Turin 15
Campinas 14
London 14
Augusta 12
Haiphong 12
Phoenix 12
Atlanta 11
Caltagirone 11
Guangzhou 11
Horia 11
Norwalk 11
Seattle 11
Bengaluru 10
Dong Ket 10
Orem 10
Pune 10
San Giovanni la Punta 10
Tashkent 10
Bari 9
Boston 9
Carlentini 9
Kunming 9
Mexico City 9
Misterbianco 9
Paternò 9
Addis Ababa 8
Civitavecchia 8
Curitiba 8
Dhaka 8
Guayaquil 8
Jinan 8
Liberty Lake 8
Mumbai 8
Totale 11.361
Salva come PNG Salva come JPEG
Nome #
A C++ reasoner for the description logic DL4;× D? 162
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces 156
Congruence relations on a choice space 155
(m,n)-rationalizable choices 154
A Decidable Theory Involving Addition of Differentiable Real Functions 151
A Computerized Referee 133
Choice resolutions 130
An efficient approximate algorithm for the 1-median problem in metric spaces 128
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions 126
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case 122
A decidable theory treating addition of differentiable real functions 121
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 120
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach 119
A decidable fragment of the elementary theory of relations and some applications 118
Towards an ontology-based framework for a behavior-oriented integration of the IoT 116
Text searching allowing for inversions and translocations of factors 114
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate 113
An OWL framework for rule-based recognition of places in Italian non-structured text 113
Distant reading through ontologies: The case study of catania's benedictines monastery 113
A Set-Based Reasoner for the Description Logic DL4, xD 112
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem 110
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 110
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach 109
Congruence Relations on a Choice Space: Revealed Indiscernibility 109
Decidability results for classes of purely universal formulae and quantifiers elimination in set theory. 108
Adapting Boyer-Moore-like algorithms for searching Huffman encoded texts 107
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 106
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 106
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator 105
28th Italian Conference on Computational Logic (CILC 2013) 104
A set-theoretic approach to ABox reasoning services 104
A graphical representation of relational formulae with complementation 103
Two-Levels Greedy: a generalization of Dijkstra's shortest path algorithm 101
A decidable theory of differentiable functions with convexities and concavities on real intervals 100
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 97
A graphical representation of relational formulae with complementation 97
An Introduction to the Technique of Formative Processes in Set Theory 97
A Space Efficient Bit-Parallel Algorithm for the Multiple String Matching Problem 96
Conjunctive Query Answering via a Fragment of Set Theory 96
Herbrand-satisfiability of a Quantified Set-theoretic Fragment 96
A New Algorithm for Efficient Pattern Matching with Swaps 95
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates 95
Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs 94
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 94
A Faster Algorithm for the Single Source Shortest Path Problem in the Presence of Few Sources or Destinations of Negative Arcs 94
An Efficient Algorithm for Approximate Pattern Matching with Swaps 93
Searching for a substring with constant extra space complexity 92
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators 92
On the bit-parallel simulation of the nondeterministic Aho-Corasick and suffix automata for a set of patterns 91
A behaviouristic semantic approach to blockchain-based e-commerce 90
Compiling dyadic first-order specifications into map algebra 90
QuickHeapsort: an efficient mix of classical sorting algorithms 90
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 90
The shape of a Benedictine monastery: The SaintGall ontology 90
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 90
Towards ontological interoperability of cognitive IoT agents based on natural language processing 89
On some combinatorial problems concerning the harmonic structure of musical chord sequences 89
Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operator 87
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions 87
The decision problem in graph theory with reachability related constructs 87
"One equation to rule them all", revisited 86
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 86
Cumulative hierarchies and computability over universes of sets 85
Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts 85
Web Ontology Representation and Reasoning via Fragments of Set Theory 84
Fast-Search algorithms: New efficient variants of the Boyer-Moore pattern-matching algorithm 83
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 83
A Space-Efficient Implementation of the Good-Suffix Heuristic 83
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions 83
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 83
Efficient string-matching allowing for non-overlapping inversions 82
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices 82
Resolutions of convex geometries 82
An ontology for the iconographic sources of la divina commedia 82
Improved and Self-Tuned Occurrence Heuristics 81
Effective memory fault injection attacks: formalization and properties 81
QuickHeapsort: an efficient mix of classical sorting algorithms 81
Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm 81
Applications of formative processes to the decision problem in set theory 80
A variant of Turing machines with no control states and its connection to bounded temporal memory 80
A brief history of singlefold Diophantine definitions 79
Gerarchie Cumulative e Computabilità sopra Universi di Insiemi 79
On the elimination of quantifiers through descriptors in predicate logic 79
A further and effective liberalization of the delta-rule in free variable semantic tableaux 79
Ontological Smart Contracts in {OASIS}: Ontology for Agents, Systems, and Integration of Services 78
The ontology for agents, systems and integration of services: OASIS version 2 78
An Efficient Algorithm for δ-Approximate-Matching with α-Bounded Gaps in Musical Sequences 78
A further and effective liberalization of the delta-rule in free variable semantic tableaux 78
A New Directly Accessible Compression Scheme 78
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 77
Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces 77
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 77
The ideal Benedictine Monastery: From the Saint Gall map to ontologies 77
Transitive Venn with applications to the decision problem in set theory 76
A Decision Procedure for Monotone Functions over Lattices 76
An ontology for ceramics cataloguing 76
A tableau-based decision procedure for a fragment of set theory with iterated membership 76
Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory 75
New efficient bit-parallel algorithms for the (delta,alpha)-matching problem with applications in music information retrieval 75
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of (x) = { {y} | y Î x} 75
Totale 9.652
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.267
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.267
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021866 0 0 0 0 289 22 116 24 259 9 100 47
2021/20221.448 164 197 5 15 208 0 243 61 158 5 46 346
2022/20232.441 224 102 51 314 236 412 7 371 567 12 89 56
2023/20241.315 66 218 47 70 53 134 31 68 11 259 259 99
2024/20254.629 40 445 254 286 1.107 662 198 237 322 395 352 331
2025/20264.435 477 497 1.500 522 1.439 0 0 0 0 0 0 0
Totale 16.921