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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.010 0 0 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/2026974 477 497 0 0 0 0 0 0 0 0 0 0
Totale 13.460