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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021147 0 0 0 0 0 0 0 0 0 0 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/20268.756 477 497 1.500 522 1.518 1.900 1.075 184 469 528 86 0
Totale 21.242