CATALOGO DEI PRODOTTI DELLA RICERCA

SALA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.909
EU - Europa 4.890
AS - Asia 3.647
SA - Sud America 449
Continente sconosciuto - Info sul continente non disponibili 243
AF - Africa 171
OC - Oceania 76
Totale 16.385
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.681
RU - Federazione Russa 1.549
GB - Regno Unito 1.493
SG - Singapore 1.242
CN - Cina 989
IT - Italia 553
BR - Brasile 339
VN - Vietnam 309
HK - Hong Kong 260
FR - Francia 251
SE - Svezia 250
DE - Germania 183
IE - Irlanda 174
KR - Corea 165
CA - Canada 163
FI - Finlandia 146
BD - Bangladesh 143
IN - India 127
TR - Turchia 92
AU - Australia 71
UA - Ucraina 53
ID - Indonesia 46
NL - Olanda 45
MX - Messico 42
AR - Argentina 40
PH - Filippine 39
EG - Egitto 37
PK - Pakistan 30
ZA - Sudafrica 30
NG - Nigeria 29
BE - Belgio 26
PL - Polonia 24
CM - Camerun 23
ES - Italia 22
JP - Giappone 22
SA - Arabia Saudita 21
IL - Israele 19
CZ - Repubblica Ceca 18
EC - Ecuador 18
AT - Austria 17
RO - Romania 17
IQ - Iraq 16
CO - Colombia 14
SI - Slovenia 14
VE - Venezuela 14
IR - Iran 13
TH - Thailandia 13
AE - Emirati Arabi Uniti 12
TW - Taiwan 11
MY - Malesia 10
NP - Nepal 9
BJ - Benin 8
CL - Cile 8
GR - Grecia 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
JM - Giamaica 5
LT - Lituania 5
NZ - Nuova Zelanda 5
OM - Oman 5
PT - Portogallo 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
IS - Islanda 3
LB - Libano 3
LV - Lettonia 3
MA - Marocco 3
MU - Mauritius 3
PR - Porto Rico 3
PS - Palestinian Territory 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
TN - Tunisia 3
BA - Bosnia-Erzegovina 2
GY - Guiana 2
HR - Croazia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MK - Macedonia 2
QA - Qatar 2
SN - Senegal 2
SR - Suriname 2
Totale 16.123
Salva come PNG Salva come JPEG
Città #
Southend 1.100
Ashburn 719
Singapore 643
San Jose 531
Moscow 481
Dallas 379
Chandler 361
Woodbridge 312
Houston 269
Jacksonville 266
Hong Kong 252
Ann Arbor 233
Verona 202
Los Angeles 172
Dublin 163
New York 149
Beijing 148
The Dalles 131
Council Bluffs 107
Ho Chi Minh City 106
Nanjing 89
Wilmington 85
Jinan 81
Lawrence 78
Princeton 78
Orem 66
San Francisco 65
Denver 62
Milan 59
Atlanta 57
Hanoi 51
Shenyang 50
Santa Clara 49
Lancaster 48
Seoul 48
Chicago 47
Phoenix 43
Brooklyn 41
London 41
Tianjin 41
Buffalo 38
Columbus 36
Istanbul 36
Redondo Beach 36
São Paulo 36
Helsinki 35
Montreal 35
Hebei 33
Seattle 31
Zhengzhou 25
Nanchang 24
Rome 24
Sindelfingen 24
Changsha 23
Haikou 22
Ningbo 22
Toronto 22
Jiaxing 20
Charlotte 19
Des Moines 18
Munich 18
Hangzhou 17
Jakarta 17
Kent 17
Abuja 16
Frankfurt am Main 16
Taizhou 16
Boardman 15
Philadelphia 15
Amsterdam 14
Boston 14
Calgary 14
Guangzhou 14
Rio de Janeiro 14
Taiyuan 14
Brussels 13
Chennai 13
Da Nang 13
Johannesburg 13
Lanzhou 13
Norwalk 13
Redmond 13
Stockholm 13
Tokyo 13
Cairo 12
Mexico City 12
Warsaw 12
Dong Ket 11
Elko 11
Haiphong 11
Manchester 11
Sacramento 11
Ljubljana 10
Washington 10
Belo Horizonte 9
Bexley 9
Brisbane 9
Fairfield 9
Fuzhou 9
Kansas City 9
Totale 8.975
Salva come PNG Salva come JPEG
Nome #
Tamsulosin and gynecomastia: data from the Italian spontaneous reporting system 3.760
A Decidable Spatial Generalization of Metric Interval Temporal Logic 255
A tableau-based system for spatial reasoning about directional relations 244
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 234
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. 227
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 209
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 208
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain 200
TEDAR: Temporal dynamic signal detection of adverse reactions 200
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 196
Optimal tableau for Right Propositional Neighborhood Logic over trees 193
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 191
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 191
Metric Propositional Neighborhood Logic with an Equivalence Relation 184
Temporal Functional Dependencies Based on Interval Relations 184
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 181
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases 181
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 179
A Logical Formalization of Time-Critical Processes with Resources 174
The Price of Evolution in Temporal Databases 173
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping 172
An Optimal Decision Procedure for MPNL over the Integers 171
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 166
A decidable weakening of Compass Logic based on cone-shaped cardinal directions 164
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 164
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 162
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 162
Driving time-dependent paths in clinical BPMN processes 161
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 158
Interval temporal logic model checking based on track bisimilarity and prefix sampling 156
Interval Logics and ωB-Regular Languages 155
Adding one or more equivalence relations to the interval temporal logic ABB 154
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 152
Customizing BPMN Diagrams Using Timelines 152
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 150
On Coarser Interval Temporal Logics and their Satisfiability Problem 150
A general tableau method for propositional interval temporal logics: Theory and implementation 148
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 148
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 145
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 144
Which fragments of the interval temporal logic HS are tractable in model checking? 143
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 141
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 139
Adding two equivalence relations to the interval temporal logic AB 138
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 137
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 136
A Novel Automata-Theoretic Approach to Timeline-Based Planning 136
Discovering Quantitative Temporal Functional Dependencies on Clinical Data 134
Tableaux for Logics of Subinterval Structures over Dense Orderings 133
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 132
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 132
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions 131
Prompt Interval Temporal Logic 130
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 130
Interval vs. point temporal logic model checking: An expressiveness comparison 129
TSRF-Dist: a novel time series distance based on extremely randomized canonical interval forests 127
On coarser interval temporal logics 125
Counter-queue automata with an application to a meaningful extension of ω-regular languages 124
Discovering Predictive Dependencies on Multi-Temporal Relations 122
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 121
On a Temporal Logic of Prefixes and Infixes 120
Checking Sets of Pure Evolving Association Rules 120
On Begin, Meets and Before 119
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 117
Mining approximate interval-based temporal dependencies 116
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 114
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals 112
Interval-based Synthesis 111
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 111
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 111
A uniform framework for temporal functional dependencies with multiple granularities 111
Reactive synthesis from interval temporal logic specifications 111
Interval-based temporal functional dependencies: specification and verification 108
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 107
Sequence-Walking Decision Tree for Multivariate Healthcare Data 106
Business Process Compliance with impact constraints 101
Metric propositional neighborhood logic with an equivalence relation 100
Predictive mining of multi-temporal relations 99
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 99
Pspace-completeness of the temporal logic of sub-intervals and suffixes 98
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 96
On the early detection of Sepsis in MIMIC-III 96
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 94
Keeping Interval-Based Functional Dependencies Up-to-Date 92
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 85
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 85
An interval temporal logic characterization of extended w-regular languages 83
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes 77
Reactive Synthesis for Expected Impacts 71
Enhancing Coronary Artery Disease Classification Using Optimized MLP Based on Genetic Algorithm 70
Algorithm 1061: tsdistances : A High-Performance Python Library for Time Series Distances with GPU Support 7
Totale 16.385
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.418
article - articoli 12.780
book - libri 0
conference - conferenze 32.707
curatela - curatele 0
other - altro 931
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 92.836
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022747 0 213 15 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/2027131 101 30 0 0 0 0 0 0 0 0 0 0
Totale 16.385