IRIS
CANTONE, Domenico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.495
EU - Europa 5.492
AS - Asia 4.891
SA - Sud America 872
AF - Africa 507
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 6
Totale 21.274
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.106
SG - Singapore 2.481
RU - Federazione Russa 1.680
CN - Cina 1.297
IT - Italia 1.108
BR - Brasile 726
IE - Irlanda 714
UA - Ucraina 627
VN - Vietnam 359
DE - Germania 356
CA - Canada 321
FR - Francia 302
CI - Costa d'Avorio 210
KR - Corea 205
FI - Finlandia 189
GB - Regno Unito 128
NG - Nigeria 118
SE - Svezia 109
IN - India 90
BD - Bangladesh 83
JP - Giappone 74
SN - Senegal 72
PL - Polonia 51
AR - Argentina 50
NL - Olanda 47
ZA - Sudafrica 44
IQ - Iraq 43
HK - Hong Kong 39
MX - Messico 36
TR - Turchia 34
CH - Svizzera 31
ES - Italia 27
UZ - Uzbekistan 27
EC - Ecuador 26
BE - Belgio 24
PK - Pakistan 21
ID - Indonesia 16
AT - Austria 15
DZ - Algeria 15
CO - Colombia 14
LB - Libano 14
RO - Romania 14
SA - Arabia Saudita 14
LV - Lettonia 13
LT - Lituania 12
MA - Marocco 12
CL - Cile 11
PH - Filippine 11
PY - Paraguay 11
AU - Australia 10
VE - Venezuela 10
AE - Emirati Arabi Uniti 8
CZ - Repubblica Ceca 8
ET - Etiopia 8
NP - Nepal 8
UY - Uruguay 8
KE - Kenya 7
MY - Malesia 7
PE - Perù 7
BO - Bolivia 6
CR - Costa Rica 6
IR - Iran 6
JM - Giamaica 6
OM - Oman 6
TN - Tunisia 6
AL - Albania 5
AZ - Azerbaigian 5
BJ - Benin 5
EG - Egitto 5
EU - Europa 5
KZ - Kazakistan 5
PS - Palestinian Territory 5
TH - Thailandia 5
DK - Danimarca 4
DO - Repubblica Dominicana 4
EE - Estonia 4
GR - Grecia 4
SK - Slovacchia (Repubblica Slovacca) 4
SY - Repubblica araba siriana 4
BN - Brunei Darussalam 3
CY - Cipro 3
GY - Guiana 3
IL - Israele 3
JO - Giordania 3
KH - Cambogia 3
NI - Nicaragua 3
AO - Angola 2
GE - Georgia 2
GT - Guatemala 2
HN - Honduras 2
HU - Ungheria 2
KG - Kirghizistan 2
MT - Malta 2
NO - Norvegia 2
SI - Slovenia 2
TW - Taiwan 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
Totale 21.253
Salva come PNG Salva come JPEG
Città #
Dallas 1.523
Santa Clara 1.483
Singapore 1.397
Chandler 789
Moscow 715
Dublin 712
San Jose 688
Jacksonville 575
Ashburn 425
Boardman 296
Catania 233
Hefei 232
Andover 218
Abidjan 210
Seoul 205
Lauterbourg 199
Lawrence 193
Cambridge 191
Nanjing 188
Toronto 178
Los Angeles 175
Beijing 172
Helsinki 160
Grafing 156
Civitanova Marche 151
San Mateo 122
Bremen 113
Ho Chi Minh City 107
Chicago 99
Council Bluffs 99
Des Moines 95
New York 89
Wilmington 82
Houston 81
Hanoi 74
Ottawa 74
Dakar 72
São Paulo 70
Nanchang 66
Tokyo 61
Columbus 57
Lagos 57
Buffalo 53
Abuja 52
Hebei 52
Shenyang 51
The Dalles 48
Milan 43
Montreal 43
Warsaw 40
Orem 39
Palermo 38
Rome 38
Saint Petersburg 38
Jiaxing 35
Changsha 34
Stockholm 33
Hong Kong 31
Amsterdam 30
Brooklyn 30
Johannesburg 30
Munich 29
Belo Horizonte 28
Rio de Janeiro 27
Denver 26
San Francisco 26
Haiphong 24
Brasília 22
Da Nang 22
London 22
Tianjin 22
Nuremberg 21
Brussels 20
Messina 20
Atlanta 19
Phoenix 19
Turin 19
Baghdad 18
Seattle 18
Chennai 17
Lappeenranta 17
Bari 14
Campinas 14
Poplar 14
Boston 13
Dhaka 13
Manchester 13
Mexico City 13
Pune 13
Riga 13
Tashkent 13
Augusta 12
Guangzhou 12
Caltagirone 11
Guayaquil 11
Horia 11
Norwalk 11
San Giovanni la Punta 11
Bengaluru 10
Dong Ket 10
Totale 14.308
Salva come PNG Salva come JPEG
Nome #
(m,n)-rationalizable choices 204
A C++ reasoner for the description logic DL4;× D? 204
Congruence relations on a choice space 191
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces 188
A Decidable Theory Involving Addition of Differentiable Real Functions 181
An efficient approximate algorithm for the 1-median problem in metric spaces 176
Choice resolutions 160
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions 159
An OWL framework for rule-based recognition of places in Italian non-structured text 159
A Set-Based Reasoner for the Description Logic DL4, xD 158
A decidable theory treating addition of differentiable real functions 157
A Computerized Referee 156
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence. 152
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach 149
Distant reading through ontologies: The case study of catania's benedictines monastery 149
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach 146
A decidable fragment of the elementary theory of relations and some applications 146
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 143
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 142
A set-theoretic approach to ABox reasoning services 142
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate 141
Congruence Relations on a Choice Space: Revealed Indiscernibility 141
28th Italian Conference on Computational Logic (CILC 2013) 141
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case 141
Towards an ontology-based framework for a behavior-oriented integration of the IoT 139
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 138
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator 136
A meta-ontological approach to securing the semantic web data 136
A decidable theory of differentiable functions with convexities and concavities on real intervals 134
A behaviouristic semantic approach to blockchain-based e-commerce 132
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem 132
Adapting Boyer-Moore-like algorithms for searching Huffman encoded texts 132
A graphical representation of relational formulae with complementation 131
A graphical representation of relational formulae with complementation 130
Text searching allowing for inversions and translocations of factors 130
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators 130
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 129
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 127
A New Algorithm for Efficient Pattern Matching with Swaps 125
An Introduction to the Technique of Formative Processes in Set Theory 124
A Space Efficient Bit-Parallel Algorithm for the Multiple String Matching Problem 123
An Efficient Algorithm for Approximate Pattern Matching with Swaps 123
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 122
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 122
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates 121
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 120
Towards ontological interoperability of cognitive IoT agents based on natural language processing 119
A Faster Algorithm for the Single Source Shortest Path Problem in the Presence of Few Sources or Destinations of Negative Arcs 119
Decidability results for classes of purely universal formulae and quantifiers elimination in set theory. 117
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions 117
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 117
Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs 116
Conjunctive Query Answering via a Fragment of Set Theory 116
An Efficient Algorithm for the Approximate Median Selection Problem 116
Two-Levels Greedy: a generalization of Dijkstra's shortest path algorithm 116
"One equation to rule them all", revisited 115
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 113
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 112
A New Directly Accessible Compression Scheme 112
Quantum Circuit Based Longest Common Substring 111
The shape of a Benedictine monastery: The SaintGall ontology 111
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 111
QuickHeapsort: an efficient mix of classical sorting algorithms 110
A Space-Efficient Implementation of the Good-Suffix Heuristic 110
Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts 109
On some combinatorial problems concerning the harmonic structure of musical chord sequences 108
Effective memory fault injection attacks: formalization and properties 108
On the convexity of a fragment of pure set theory with applications within a nelson-oppen framework 108
An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily 107
Compiling dyadic first-order specifications into map algebra 107
On the bit-parallel simulation of the nondeterministic Aho-Corasick and suffix automata for a set of patterns 107
Herbrand-satisfiability of a Quantified Set-theoretic Fragment 107
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case 107
Web Ontology Representation and Reasoning via Fragments of Set Theory 106
The satisfiability problem for boolean set theory with a choice correspondence 106
An ontology for the iconographic sources of la divina commedia 106
A brief history of singlefold Diophantine definitions 105
A tool to easing the configuration and deploying process of Hyperledger Fabric 105
Applications of formative processes to the decision problem in set theory 105
A Space Efficient Bit-Parallel Algorithm for the Multiple String Matching Problem 105
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of (x) = { {y} | y Î x} 105
The decision problem in graph theory with reachability related constructs 104
An Efficient Algorithm for δ-Approximate-Matching with α-Bounded Gaps in Musical Sequences 102
A further and effective liberalization of the delta-rule in free variable semantic tableaux 102
A further and effective liberalization of the delta-rule in free variable semantic tableaux 102
A potential-based variant of the Bellman-Ford algorithm 102
Cumulative hierarchies and computability over universes of sets 101
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions 101
Searching for a substring with constant extra space complexity 101
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,× 101
QuickHeapsort: an efficient mix of classical sorting algorithms 100
18th International Symposium on Experimental Algorithms 99
Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operator 99
An ontology for ceramics cataloguing 99
The ideal Benedictine Monastery: From the Saint Gall map to ontologies 99
Transitive Venn with applications to the decision problem in set theory 98
Resolutions of convex geometries 98
Ontological Smart Contracts in {OASIS}: Ontology for Agents, Systems, and Integration of Services 97
A graphical representation of relational formulae with complementation 97
The ontology for agents, systems and integration of services: OASIS version 2 96
Totale 12.429
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.065
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 71.065
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20269.120 477 497 1.500 522 1.518 1.900 1.075 184 469 528 249 201
2026/2027139 139 0 0 0 0 0 0 0 0 0 0 0
Totale 21.745