CATALOGO DEI PRODOTTI DELLA RICERCA

SALA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.821
EU - Europa 4.869
AS - Asia 3.627
SA - Sud America 446
AF - Africa 171
OC - Oceania 76
Continente sconosciuto - Info sul continente non disponibili 8
Totale 16.018
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.600
RU - Federazione Russa 1.548
GB - Regno Unito 1.493
SG - Singapore 1.239
CN - Cina 982
IT - Italia 539
BR - Brasile 338
VN - Vietnam 309
HK - Hong Kong 259
FR - Francia 251
SE - Svezia 250
DE - Germania 181
IE - Irlanda 174
KR - Corea 165
CA - Canada 158
FI - Finlandia 146
BD - Bangladesh 135
IN - India 126
TR - Turchia 92
AU - Australia 71
UA - Ucraina 53
ID - Indonesia 46
NL - Olanda 43
MX - Messico 41
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
SI - Slovenia 14
VE - Venezuela 14
IR - Iran 13
TH - Thailandia 13
AE - Emirati Arabi Uniti 12
CO - Colombia 12
TW - Taiwan 11
MY - Malesia 10
NP - Nepal 9
BJ - Benin 8
CL - Cile 8
KE - Kenya 8
KH - Cambogia 8
LK - Sri Lanka 7
ET - Etiopia 6
GR - Grecia 6
HU - Ungheria 6
JO - Giordania 6
PE - Perù 6
PY - Paraguay 6
AZ - Azerbaigian 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
JM - Giamaica 4
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 15.991
Salva come PNG Salva come JPEG
Città #
Southend 1.100
Ashburn 705
Singapore 643
San Jose 524
Moscow 481
Dallas 376
Chandler 361
Woodbridge 312
Houston 267
Jacksonville 265
Hong Kong 251
Ann Arbor 233
Verona 200
Los Angeles 169
Dublin 163
New York 149
Beijing 142
The Dalles 131
Council Bluffs 107
Ho Chi Minh City 106
Nanjing 89
Wilmington 84
Jinan 81
Lawrence 78
Princeton 78
Orem 66
San Francisco 64
Denver 62
Atlanta 57
Milan 56
Hanoi 51
Shenyang 50
Lancaster 48
Seoul 48
Santa Clara 47
Chicago 46
Phoenix 43
London 41
Tianjin 41
Brooklyn 39
Buffalo 37
Columbus 36
Istanbul 36
Redondo Beach 36
São Paulo 36
Helsinki 35
Montreal 34
Hebei 33
Seattle 31
Zhengzhou 25
Nanchang 24
Sindelfingen 24
Changsha 23
Rome 23
Haikou 22
Ningbo 22
Toronto 21
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
Guangzhou 14
Rio de Janeiro 14
Taiyuan 14
Brussels 13
Calgary 13
Chennai 13
Da Nang 13
Johannesburg 13
Lanzhou 13
Norwalk 13
Redmond 13
Stockholm 13
Tokyo 13
Cairo 12
Warsaw 12
Dong Ket 11
Elko 11
Haiphong 11
Manchester 11
Mexico City 11
Sacramento 11
Ljubljana 10
Washington 10
Belo Horizonte 9
Bexley 9
Brisbane 9
Fairfield 9
Fuzhou 9
Kansas City 9
Totale 8.920
Salva come PNG Salva come JPEG
Nome #
Tamsulosin and gynecomastia: data from the Italian spontaneous reporting system 3.727
A Decidable Spatial Generalization of Metric Interval Temporal Logic 254
A tableau-based system for spatial reasoning about directional relations 243
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 232
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. 226
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 208
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 206
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain 200
TEDAR: Temporal dynamic signal detection of adverse reactions 197
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 194
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
Optimal tableau for Right Propositional Neighborhood Logic over trees 190
Temporal Functional Dependencies Based on Interval Relations 184
Metric Propositional Neighborhood Logic with an Equivalence Relation 183
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 173
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping 172
An Optimal Decision Procedure for MPNL over the Integers 171
The Price of Evolution in Temporal Databases 171
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 165
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 164
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 162
A decidable weakening of Compass Logic based on cone-shaped cardinal directions 162
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 160
Interval temporal logic model checking based on track bisimilarity and prefix sampling 156
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 156
Interval Logics and ωB-Regular Languages 154
Driving time-dependent paths in clinical BPMN processes 154
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 150
On Coarser Interval Temporal Logics and their Satisfiability Problem 149
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 148
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 148
A general tableau method for propositional interval temporal logics: Theory and implementation 147
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 144
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 143
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 140
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 139
Which fragments of the interval temporal logic HS are tractable in model checking? 138
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 137
Adding two equivalence relations to the interval temporal logic AB 136
A Novel Automata-Theoretic Approach to Timeline-Based Planning 136
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 135
Discovering Quantitative Temporal Functional Dependencies on Clinical Data 134
Tableaux for Logics of Subinterval Structures over Dense Orderings 132
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 132
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 131
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
Counter-queue automata with an application to a meaningful extension of ω-regular languages 124
On coarser interval temporal logics 123
Discovering Predictive Dependencies on Multi-Temporal Relations 121
On a Temporal Logic of Prefixes and Infixes 120
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 120
Checking Sets of Pure Evolving Association Rules 119
On Begin, Meets and Before 118
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures 116
Mining approximate interval-based temporal dependencies 116
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 114
Interval-based Synthesis 111
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 110
A uniform framework for temporal functional dependencies with multiple granularities 110
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals 109
Reactive synthesis from interval temporal logic specifications 109
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 108
Sequence-Walking Decision Tree for Multivariate Healthcare Data 106
Interval-based temporal functional dependencies: specification and verification 106
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 106
Business Process Compliance with impact constraints 101
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
Predictive mining of multi-temporal relations 95
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 95
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 94
Metric propositional neighborhood logic with an equivalence relation 91
Keeping Interval-Based Functional Dependencies Up-to-Date 90
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 75
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 3
Totale 16.253
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.858
article - articoli 12.262
book - libri 0
conference - conferenze 31.696
curatela - curatele 0
other - altro 900
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 89.716
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202138 0 0 0 0 0 0 0 0 0 0 0 38
2021/2022783 36 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.392 347 284 344 873 1.330 310 473 343 519 419 1.503 647
Totale 16.253