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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.087 0 0 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/2027689 254 351 84 0 0 0 0 0 0 0 0 0
Totale 22.295