IRIS
MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.358
EU - Europa 4.546
AS - Asia 2.108
SA - Sud America 173
AF - Africa 28
Continente sconosciuto - Info sul continente non disponibili 16
OC - Oceania 15
Totale 23.244
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.255
UA - Ucraina 1.232
SG - Singapore 1.014
IT - Italia 838
DE - Germania 669
CN - Cina 619
RU - Federazione Russa 421
FI - Finlandia 412
SE - Svezia 324
IE - Irlanda 249
TR - Turchia 169
BR - Brasile 146
VN - Vietnam 115
GB - Regno Unito 113
CA - Canada 86
BE - Belgio 64
CZ - Repubblica Ceca 57
IN - India 54
NL - Olanda 25
PL - Polonia 22
HK - Hong Kong 21
AT - Austria 20
IR - Iran 20
FR - Francia 16
EU - Europa 15
AU - Australia 12
JP - Giappone 12
KR - Corea 11
RO - Romania 11
MX - Messico 10
TW - Taiwan 10
PE - Perù 9
PT - Portogallo 9
LT - Lituania 8
BD - Bangladesh 7
GR - Grecia 7
UZ - Uzbekistan 7
CH - Svizzera 6
RS - Serbia 6
AR - Argentina 5
AZ - Azerbaigian 5
DK - Danimarca 5
EC - Ecuador 5
EE - Estonia 5
ES - Italia 5
HU - Ungheria 5
MA - Marocco 5
PK - Pakistan 5
TG - Togo 5
BG - Bulgaria 4
CM - Camerun 4
DZ - Algeria 4
KE - Kenya 4
KG - Kirghizistan 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
AM - Armenia 3
CO - Colombia 3
EG - Egitto 3
ID - Indonesia 3
LK - Sri Lanka 3
NZ - Nuova Zelanda 3
PA - Panama 3
PH - Filippine 3
SI - Slovenia 3
BO - Bolivia 2
GE - Georgia 2
HR - Croazia 2
JO - Giordania 2
LV - Lettonia 2
OM - Oman 2
PS - Palestinian Territory 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
VE - Venezuela 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
CI - Costa d'Avorio 1
CL - Cile 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
HN - Honduras 1
IL - Israele 1
JM - Giamaica 1
KH - Cambogia 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
MN - Mongolia 1
MY - Malesia 1
NO - Norvegia 1
TM - Turkmenistan 1
Totale 23.244
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.247
Ann Arbor 1.796
Fairfield 1.749
Houston 1.418
Chandler 1.179
Ashburn 901
Jacksonville 858
Wilmington 780
Seattle 728
Singapore 683
Cambridge 623
Dearborn 569
Boardman 354
Udine 344
Princeton 253
Dublin 242
Beijing 234
Izmir 158
San Diego 120
Dong Ket 109
Serra Riccò 83
Ogden 71
Des Moines 62
Brussels 59
Trieste 54
Brno 53
Ottawa 51
San Mateo 50
Hefei 49
Los Angeles 49
Norwalk 48
Helsinki 47
New York 43
Nanjing 40
Columbus 37
Kunming 29
Asti 26
Council Bluffs 26
Karlsruhe 25
Guangzhou 23
Munich 23
Toronto 22
Nanchang 20
Treviso 20
Phoenix 19
Grafing 18
Jinan 18
Warsaw 18
Milan 17
Vienna 16
Frankfurt am Main 15
London 15
Mcallen 14
Simi Valley 14
Ardabil 13
Dallas 13
Nuremberg 13
Washington 13
Hong Kong 12
Shenyang 12
Fuzhou 11
Shanghai 11
Wuhan 11
Hyderabad 10
Indiana 9
Lappeenranta 9
Santa Clara 9
São Paulo 9
Verona 9
Amsterdam 8
Florence 8
Kocaeli 8
Ningbo 8
Redmond 8
Saint Petersburg 8
Vicenza 8
Athens 7
Belo Horizonte 7
Hangzhou 7
Leawood 7
Monmouth Junction 7
Preganziol 7
Rodgau 7
Timisoara 7
Campinas 6
Hebei 6
Newark 6
San Francisco 6
Shaoxing 6
Shenzhen 6
Augusta 5
Baku 5
Belgrade 5
Belluno 5
Dhaka 5
Edinburgh 5
Lomé 5
San Michele al Tagliamento 5
Tallinn 5
Tappahannock 5
Totale 16.881
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 196
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles 194
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 166
An optimal tableau for Right Propositional Neighborhood Logic over trees 165
Metric Propositional Neighborhood Logic with an Equivalence Relation 158
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 158
On Propositional Interval Neighborhood Temporal Logics 157
A General Tableau Method for Propositional Interval Temporal Logics 156
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 156
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 155
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 155
A Road Map of Interval Temporal Logics and Duration Calculi 154
Efficient temporal reasoning in the Cached Event Calculus 152
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 149
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 148
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 148
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T 147
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 147
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 146
Prompt interval temporal logic 146
Decidability of MSO Theories of Tree Structures 146
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity 143
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 143
Time Granularities and Ultimately Periodic Automata 141
A Uniform Algebraic Characterization of Temporal Functional Dependencies 140
Interval temporal logic model checking: The border between good and bad HS fragments 140
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 139
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 138
Metric propositional neighborhood logic with an equivalence relation 138
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 136
Tableaux for logics of subinterval structures over dense orderings 136
A decidable spatial generalization of Metric Interval Temporal Logic 136
Interval-based Synthesis 136
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees 136
A graph-theoretic approach to map conceptual designs to XML schemas 136
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 134
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 134
A Consensus Glossary of Temporal Database Concepts 133
Definability and decidability of binary predicates for time granularity 132
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 132
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 132
A conceptual spatial model supporting topologically-consistent multiple representations 131
The T4SQL Temporal Query Language 130
Indexing by Shape of Image Databases Based on Extended Grid Files 130
Decidability results for metric and layered temporal logics 130
Compact and Tractable Automaton-based Representations for Time Granularities 129
A set-theoretic translation method for (poly)modal logics 129
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems 126
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 126
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 126
Checking interval properties of computations 126
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework 125
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 125
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 125
Propositional Interval Temporal Logics: Some Promising Paths 124
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems 124
An event-based data warehouse to support decisions in multi-channel, multi-service contact centers 124
A calculus of macro-events: progress report 123
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 123
A set-theoretic translation method for polymodal logics 122
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 122
Map matching with sparse cellular fingerprint observations 122
A Novel Decision Tree Approach for the Handling of Time Series 122
Decision tree pruning via multi-objective evolutionary computation 121
Metric propositional neighborhood logics on natural numbers 121
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 120
An in-depth investigation of interval temporal logic model checking with regular expressions 120
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 119
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 119
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 119
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 119
A Contraction Method to Decide MSO Theory of Deterministic Trees 118
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 118
Modal Event Calculi with Preconditions 117
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 117
Completeness Results for Two-sorted Metric Temporal Logics 116
Decidability of Interval Temporal Logics over Split-Frames via Granularity 116
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 116
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 115
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 115
A map-matching algorithm dealing with sparse cellular fingerprint observations 115
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 114
A relational encoding of a conceptual model with multiple temporal dimensions 114
Modal deduction in second-order logic and set theory. I 113
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic 113
Tableau-Based System for Spatial Reasoning about Directional Relations 112
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 112
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 112
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 111
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings 109
Back to Interval Temporal Logics 109
Adding one or more equivalence relations to the interval temporal logic ABBbar 109
On the relationships between theories of time granularity and the monadic second-order theory of one successor 109
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 108
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks 107
On the Equivalence of Automaton-based Representations of Time Granularities 107
A Guided Tour Through some Extensions of the Event Calculus 107
A Cellular Network Database for Fingerprint Positioning Systems 107
Decidability of the interval temporal logic AA*BB* over the rationals 105
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 104
Totale 13.001
Salva come PNG Salva come JPEG
Categoria #
all - tutte 87.680
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 87.680
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.313 0 0 0 0 0 0 0 0 439 435 107 332
2020/20213.254 71 352 132 390 158 371 174 331 481 186 373 235
2021/20222.297 130 225 107 195 55 97 135 81 56 349 523 344
2022/20232.566 307 247 88 304 259 634 21 170 372 27 66 71
2023/20241.050 154 73 40 18 132 132 18 95 120 75 17 176
2024/20252.683 215 390 239 286 200 254 321 299 479 0 0 0
Totale 23.849