CATALOGO DEI PRODOTTI DELLA RICERCA

SALA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.453
EU - Europa 5.010
AS - Asia 3.666
SA - Sud America 452
Continente sconosciuto - Info sul continente non disponibili 244
AF - Africa 171
OC - Oceania 76
Totale 17.072
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.203
RU - Federazione Russa 1.551
GB - Regno Unito 1.496
SG - Singapore 1.247
CN - Cina 991
IT - Italia 659
BR - Brasile 339
VN - Vietnam 310
HK - Hong Kong 261
FR - Francia 252
SE - Svezia 250
DE - Germania 183
CA - Canada 179
IE - Irlanda 174
KR - Corea 166
FI - Finlandia 146
BD - Bangladesh 144
IN - India 128
TR - Turchia 93
AU - Australia 71
UA - Ucraina 53
ID - Indonesia 49
NL - Olanda 48
MX - Messico 43
AR - Argentina 40
PH - Filippine 39
EG - Egitto 37
PK - Pakistan 30
ZA - Sudafrica 30
NG - Nigeria 29
BE - Belgio 26
JP - Giappone 24
PL - Polonia 24
CM - Camerun 23
ES - Italia 22
SA - Arabia Saudita 21
IL - Israele 19
CZ - Repubblica Ceca 18
EC - Ecuador 18
AT - Austria 17
RO - Romania 17
CO - Colombia 16
IQ - Iraq 16
VE - Venezuela 15
SI - Slovenia 14
IR - Iran 13
TH - Thailandia 13
AE - Emirati Arabi Uniti 12
MY - Malesia 11
TW - Taiwan 11
NP - Nepal 9
BJ - Benin 8
CL - Cile 8
GR - Grecia 8
JM - Giamaica 8
KE - Kenya 8
KH - Cambogia 8
LK - Sri Lanka 7
ET - Etiopia 6
HU - Ungheria 6
JO - Giordania 6
PE - Perù 6
PY - Paraguay 6
AZ - Azerbaigian 5
IS - Islanda 5
LT - Lituania 5
NZ - Nuova Zelanda 5
OM - Oman 5
PT - Portogallo 5
SK - Slovacchia (Repubblica Slovacca) 5
TG - Togo 5
UZ - Uzbekistan 5
XK - ???statistics.table.value.countryCode.XK??? 5
AL - Albania 3
AM - Armenia 3
BG - Bulgaria 3
DK - Danimarca 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
EU - Europa 3
GD - Grenada 3
GE - Georgia 3
LB - Libano 3
LV - Lettonia 3
MA - Marocco 3
MU - Mauritius 3
PR - Porto Rico 3
PS - Palestinian Territory 3
RS - Serbia 3
TN - Tunisia 3
BA - Bosnia-Erzegovina 2
CR - Costa Rica 2
GY - Guiana 2
HN - Honduras 2
HR - Croazia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MK - Macedonia 2
QA - Qatar 2
Totale 16.806
Salva come PNG Salva come JPEG
Città #
Southend 1.100
Ashburn 831
Singapore 644
San Jose 594
Moscow 481
Dallas 423
Chandler 361
Woodbridge 314
Houston 271
Jacksonville 266
Hong Kong 252
Ann Arbor 233
Verona 205
Council Bluffs 184
Los Angeles 174
Dublin 163
New York 154
Beijing 149
The Dalles 131
Ho Chi Minh City 107
Nanjing 89
Wilmington 85
Staranzano 82
Jinan 81
Lawrence 78
Princeton 78
Orem 66
Denver 65
San Francisco 65
Milan 60
Santa Clara 60
Atlanta 58
Chicago 53
Hanoi 51
Shenyang 50
Lancaster 49
Seoul 49
Phoenix 48
Brooklyn 42
London 41
Tianjin 41
Montreal 40
Buffalo 38
Istanbul 37
Columbus 36
Redondo Beach 36
São Paulo 36
Helsinki 35
Hebei 33
Seattle 31
Toronto 29
Rome 25
Zhengzhou 25
Nanchang 24
Sindelfingen 24
Changsha 23
Haikou 22
Ningbo 22
Jiaxing 20
Charlotte 19
Des Moines 18
Jakarta 18
Munich 18
Hangzhou 17
Kent 17
Philadelphia 17
Abuja 16
Frankfurt am Main 16
Taizhou 16
Washington 16
Boardman 15
Tokyo 15
Amsterdam 14
Boston 14
Calgary 14
Guangzhou 14
Norwalk 14
Rio de Janeiro 14
Taiyuan 14
Brussels 13
Chennai 13
Da Nang 13
Johannesburg 13
Lanzhou 13
Las Vegas 13
Redmond 13
Stockholm 13
Cairo 12
Mexico City 12
Warsaw 12
Dong Ket 11
Elko 11
Haiphong 11
Manchester 11
Sacramento 11
Kansas City 10
Ljubljana 10
Belo Horizonte 9
Bexley 9
Brisbane 9
Totale 9.422
Salva come PNG Salva come JPEG
Nome #
Tamsulosin and gynecomastia: data from the Italian spontaneous reporting system 3.796
A Decidable Spatial Generalization of Metric Interval Temporal Logic 264
A tableau-based system for spatial reasoning about directional relations 252
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 240
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. 235
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 216
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 213
TEDAR: Temporal dynamic signal detection of adverse reactions 206
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 204
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain 204
Optimal tableau for Right Propositional Neighborhood Logic over trees 201
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 199
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 197
Metric Propositional Neighborhood Logic with an Equivalence Relation 193
Temporal Functional Dependencies Based on Interval Relations 192
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 189
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 188
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases 188
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping 179
The Price of Evolution in Temporal Databases 178
A Logical Formalization of Time-Critical Processes with Resources 178
A decidable weakening of Compass Logic based on cone-shaped cardinal directions 176
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 174
An Optimal Decision Procedure for MPNL over the Integers 173
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 171
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 170
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 170
Driving time-dependent paths in clinical BPMN processes 169
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 164
Interval temporal logic model checking based on track bisimilarity and prefix sampling 162
Adding one or more equivalence relations to the interval temporal logic ABB 162
Interval Logics and ωB-Regular Languages 160
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 159
Customizing BPMN Diagrams Using Timelines 158
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 157
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 156
On Coarser Interval Temporal Logics and their Satisfiability Problem 155
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 150
A general tableau method for propositional interval temporal logics: Theory and implementation 150
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 150
Which fragments of the interval temporal logic HS are tractable in model checking? 150
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 149
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 148
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 146
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 144
Adding two equivalence relations to the interval temporal logic AB 143
TSRF-Dist: a novel time series distance based on extremely randomized canonical interval forests 142
A Novel Automata-Theoretic Approach to Timeline-Based Planning 142
Tableaux for Logics of Subinterval Structures over Dense Orderings 140
Discovering Quantitative Temporal Functional Dependencies on Clinical Data 140
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 140
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 139
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions 137
Prompt Interval Temporal Logic 136
Interval vs. point temporal logic model checking: An expressiveness comparison 136
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 135
Counter-queue automata with an application to a meaningful extension of ω-regular languages 134
On coarser interval temporal logics 131
Checking Sets of Pure Evolving Association Rules 130
Discovering Predictive Dependencies on Multi-Temporal Relations 129
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 126
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 126
On Begin, Meets and Before 125
On a Temporal Logic of Prefixes and Infixes 125
Mining approximate interval-based temporal dependencies 120
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 119
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals 119
Reactive synthesis from interval temporal logic specifications 119
Interval-based Synthesis 117
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 117
Sequence-Walking Decision Tree for Multivariate Healthcare Data 116
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 116
A uniform framework for temporal functional dependencies with multiple granularities 115
Interval-based temporal functional dependencies: specification and verification 113
Business Process Compliance with impact constraints 112
Predictive mining of multi-temporal relations 111
Metric propositional neighborhood logic with an equivalence relation 111
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 110
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 109
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 106
Pspace-completeness of the temporal logic of sub-intervals and suffixes 105
On the early detection of Sepsis in MIMIC-III 104
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 103
Keeping Interval-Based Functional Dependencies Up-to-Date 96
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 91
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 90
An interval temporal logic characterization of extended w-regular languages 90
Reactive Synthesis for Expected Impacts 83
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes 82
Enhancing Coronary Artery Disease Classification Using Optimized MLP Based on Genetic Algorithm 78
Algorithm 1061: tsdistances : A High-Performance Python Library for Time Series Distances with GPU Support 15
Detection and Early Detection of Pathological Motor Evoked Potentials: A Novel Approach for Intraoperative Neuromonitoring Assistance 14
Totale 17.072
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.889
article - articoli 13.638
book - libri 0
conference - conferenze 34.275
curatela - curatele 0
other - altro 976
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 97.778
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022519 0 0 0 33 82 108 16 56 28 12 45 139
2022/20231.360 90 95 115 189 114 273 52 92 169 50 60 61
2023/20241.281 56 117 105 140 138 154 86 138 29 99 124 95
2024/20252.227 173 164 107 318 127 103 109 174 286 130 148 388
2025/20267.393 347 284 344 873 1.330 310 473 343 519 419 1.503 648
2026/2027818 101 142 289 286 0 0 0 0 0 0 0 0
Totale 17.072