IRIS
CANTONE, Domenico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.846
EU - Europa 3.295
AS - Asia 2.158
SA - Sud America 495
AF - Africa 305
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 6
Totale 12.111
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.570
SG - Singapore 1.160
IT - Italia 922
CN - Cina 728
IE - Irlanda 709
UA - Ucraina 620
BR - Brasile 461
DE - Germania 342
CA - Canada 261
FI - Finlandia 181
CI - Costa d'Avorio 176
RU - Federazione Russa 173
SE - Svezia 75
SN - Senegal 71
GB - Regno Unito 67
FR - Francia 62
JP - Giappone 52
KR - Corea 34
IN - India 31
CH - Svizzera 29
TR - Turchia 25
NL - Olanda 23
BE - Belgio 21
BD - Bangladesh 20
NG - Nigeria 19
UZ - Uzbekistan 19
VN - Vietnam 16
PL - Polonia 14
AT - Austria 13
RO - Romania 13
ZA - Sudafrica 11
IQ - Iraq 10
MX - Messico 10
AR - Argentina 9
HK - Hong Kong 9
LB - Libano 9
PK - Pakistan 9
ET - Etiopia 8
MA - Marocco 7
EC - Ecuador 6
AU - Australia 5
CZ - Repubblica Ceca 5
EU - Europa 5
PS - Palestinian Territory 5
SA - Arabia Saudita 5
VE - Venezuela 5
EG - Egitto 4
ES - Italia 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
BO - Bolivia 3
CO - Colombia 3
DK - Danimarca 3
DZ - Algeria 3
EE - Estonia 3
GR - Grecia 3
KE - Kenya 3
KZ - Kazakistan 3
LT - Lituania 3
OM - Oman 3
PE - Perù 3
CL - Cile 2
GE - Georgia 2
SK - Slovacchia (Repubblica Slovacca) 2
TN - Tunisia 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
BS - Bahamas 1
BY - Bielorussia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
GY - Guiana 1
HU - Ungheria 1
IL - Israele 1
IR - Iran 1
IS - Islanda 1
JO - Giordania 1
KG - Kirghizistan 1
KH - Cambogia 1
LU - Lussemburgo 1
ML - Mali 1
MN - Mongolia 1
MY - Malesia 1
NI - Nicaragua 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PA - Panama 1
PY - Paraguay 1
SI - Slovenia 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TW - Taiwan 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 12.111
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.445
Chandler 789
Dublin 709
Singapore 662
Jacksonville 575
Boardman 295
Andover 218
Catania 199
Lawrence 193
Cambridge 191
Nanjing 187
Abidjan 176
Toronto 170
Helsinki 158
Grafing 156
Civitanova Marche 151
San Mateo 122
Bremen 113
Ashburn 103
Des Moines 92
Wilmington 82
Chicago 81
Ottawa 73
Hefei 72
Dakar 71
Nanchang 66
Council Bluffs 64
Houston 59
Columbus 53
Hebei 52
Shenyang 51
The Dalles 48
Beijing 40
Tokyo 40
Milan 38
Saint Petersburg 38
Los Angeles 37
Jiaxing 35
Changsha 34
Seoul 34
São Paulo 29
Munich 28
Belo Horizonte 26
Rome 22
Tianjin 22
Palermo 20
Abuja 19
Brussels 19
Messina 19
Nuremberg 19
Rio de Janeiro 17
San Francisco 17
Brasília 14
New York 13
Augusta 11
Caltagirone 11
Horia 11
Lappeenranta 11
Norwalk 11
Campinas 10
Dong Ket 10
Guangzhou 10
Moscow 10
Pune 10
San Giovanni la Punta 10
Bari 9
Carlentini 9
Kunming 9
Misterbianco 9
Paternò 9
Seattle 9
Addis Ababa 8
Amsterdam 8
Atlanta 8
Bengaluru 8
Civitavecchia 8
Jinan 8
Liberty Lake 8
London 8
Montreal 8
Redwood City 8
Turku 8
Valverde 8
Washington 8
West Jordan 8
Zhengzhou 8
Den Haag 7
Dhaka 7
Hangzhou 7
Reggio Calabria 7
Syracuse 7
Tashkent 7
Turin 7
Brooklyn 6
Fairfield 6
Gela 6
Hong Kong 6
Johannesburg 6
Modica 6
Naples 6
Totale 8.436
Salva come PNG Salva come JPEG
Nome #
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces 125
Congruence relations on a choice space 125
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case 111
A Decidable Theory Involving Addition of Differentiable Real Functions 108
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 107
Text searching allowing for inversions and translocations of factors 104
Choice resolutions 102
A C++ reasoner for the description logic DL4;× D? 102
Towards an ontology-based framework for a behavior-oriented integration of the IoT 101
Distant reading through ontologies: The case study of catania's benedictines monastery 100
A Computerized Referee 99
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions 93
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate 89
Two-Levels Greedy: a generalization of Dijkstra's shortest path algorithm 87
An efficient approximate algorithm for the 1-median problem in metric spaces 86
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach 86
Decidability results for classes of purely universal formulae and quantifiers elimination in set theory. 86
Congruence Relations on a Choice Space: Revealed Indiscernibility 85
A decidable theory treating addition of differentiable real functions 82
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem 81
(m,n)-rationalizable choices 81
A graphical representation of relational formulae with complementation 80
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 79
Searching for a substring with constant extra space complexity 78
A Set-Based Reasoner for the Description Logic DL4, xD 78
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach 77
A Space Efficient Bit-Parallel Algorithm for the Multiple String Matching Problem 76
On the bit-parallel simulation of the nondeterministic Aho-Corasick and suffix automata for a set of patterns 76
Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs 76
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions 76
A New Algorithm for Efficient Pattern Matching with Swaps 76
A graphical representation of relational formulae with complementation 76
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 76
A set-theoretic approach to ABox reasoning services 76
On some combinatorial problems concerning the harmonic structure of musical chord sequences 75
Conjunctive Query Answering via a Fragment of Set Theory 75
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 75
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates 75
The shape of a Benedictine monastery: The SaintGall ontology 74
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator 73
An Efficient Algorithm for Approximate Pattern Matching with Swaps 73
28th Italian Conference on Computational Logic (CILC 2013) 73
A decidable fragment of the elementary theory of relations and some applications 73
An Introduction to the Technique of Formative Processes in Set Theory 73
Fast-Search algorithms: New efficient variants of the Boyer-Moore pattern-matching algorithm 71
Adapting Boyer-Moore-like algorithms for searching Huffman encoded texts 71
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 71
An OWL framework for rule-based recognition of places in Italian non-structured text 71
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 71
An ontology for the iconographic sources of la divina commedia 71
Improved and Self-Tuned Occurrence Heuristics 70
QuickHeapsort: an efficient mix of classical sorting algorithms 70
Web Ontology Representation and Reasoning via Fragments of Set Theory 70
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices 69
A variant of Turing machines with no control states and its connection to bounded temporal memory 69
Herbrand-satisfiability of a Quantified Set-theoretic Fragment 69
A Faster Algorithm for the Single Source Shortest Path Problem in the Presence of Few Sources or Destinations of Negative Arcs 69
Compiling dyadic first-order specifications into map algebra 68
Efficient string-matching allowing for non-overlapping inversions 68
Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operator 68
Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory 68
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions 68
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators 68
Effective memory fault injection attacks: formalization and properties 67
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 67
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic 66
Applications of formative processes to the decision problem in set theory 66
Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm 66
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 65
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 65
The decision problem in graph theory with reachability related constructs 65
A Space-Efficient Implementation of the Good-Suffix Heuristic 65
Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces 65
A decidable theory of differentiable functions with convexities and concavities on real intervals 65
The ideal Benedictine Monastery: From the Saint Gall map to ontologies 65
Cumulative hierarchies and computability over universes of sets 64
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics 64
Bit-Parallelism$^2$: Getting to the Next Level of Parallelism 64
Gerarchie Cumulative e Computabilità sopra Universi di Insiemi 64
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of (x) = { {y} | y Î x} 64
A Decision Procedure for Monotone Functions over Lattices 63
Fast-Search: a New Efficient Variant of the Boyer-Moore String Matching Algorithm 62
A Tableau Calculus for Integrating First-Order Reasoning with Elementary Set Theory Reasoning in the presence of Monotone Functions 62
Techniques of computable set theory with applications to proof verification 62
A tableau-based decision procedure for a fragment of set theory with iterated membership 62
Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set‐theoretic formulae 61
Transitive Venn with applications to the decision problem in set theory 61
Can a single equation witness that every r.e. set admits a finite-fold Diophantine representation? 61
A fast saturation strategy for set-theoretic tableaux 60
Computational logic and set theory: Applying formalized logic to analysis 60
New efficient bit-parallel algorithms for the (delta,alpha)-matching problem with applications in music information retrieval 60
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 60
OntoCeramic: an OWL ontology for ceramics classification 60
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 60
A potential-based variant of the Bellman-Ford algorithm 59
Decision procedures for elementary sublanguages of Set Theory. X. Multilevel syllogistic extended by the singleton and powerset 58
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. 58
Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences 58
Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts 58
An Efficient Algorithm for the Approximate Median Selection Problem 58
Totale 7.409
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.703
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 46.703
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.156 48 98 132 12 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/202676 76 0 0 0 0 0 0 0 0 0 0 0
Totale 12.562