SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

SCIAVICCO, Guido
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.490
AS - Asia 5.316
EU - Europa 2.477
SA - Sud America 866
Continente sconosciuto - Info sul continente non disponibili 370
AF - Africa 108
OC - Oceania 17
Totale 19.644
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.261
SG - Singapore 1.989
CN - Cina 1.198
BR - Brasile 661
IT - Italia 557
VN - Vietnam 513
HK - Hong Kong 506
DE - Germania 366
TR - Turchia 326
UA - Ucraina 290
PL - Polonia 226
GB - Regno Unito 215
FR - Francia 165
FI - Finlandia 153
BD - Bangladesh 151
JP - Giappone 147
SE - Svezia 141
RU - Federazione Russa 119
IN - India 111
CA - Canada 110
ID - Indonesia 106
AR - Argentina 80
MX - Messico 80
ES - Italia 75
NL - Olanda 46
ZA - Sudafrica 39
IQ - Iraq 38
AT - Austria 34
EC - Ecuador 29
CO - Colombia 26
PH - Filippine 24
SA - Arabia Saudita 24
PK - Pakistan 20
IR - Iran 19
UZ - Uzbekistan 19
BE - Belgio 17
MA - Marocco 17
MY - Malesia 17
VE - Venezuela 17
AE - Emirati Arabi Uniti 15
PY - Paraguay 15
AU - Australia 14
CL - Cile 14
KR - Corea 12
NP - Nepal 12
TN - Tunisia 12
KE - Kenya 11
RO - Romania 10
TW - Taiwan 10
UY - Uruguay 10
DZ - Algeria 9
IE - Irlanda 9
PE - Perù 8
LB - Libano 7
TT - Trinidad e Tobago 7
AL - Albania 6
CZ - Repubblica Ceca 6
EG - Egitto 6
RS - Serbia 6
SV - El Salvador 6
BG - Bulgaria 5
BO - Bolivia 5
JM - Giamaica 5
JO - Giordania 5
OM - Oman 5
PS - Palestinian Territory 5
TH - Thailandia 5
AZ - Azerbaigian 4
HN - Honduras 4
HU - Ungheria 4
IL - Israele 4
KZ - Kazakistan 4
MD - Moldavia 4
NG - Nigeria 4
PT - Portogallo 4
BH - Bahrain 3
CH - Svizzera 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
EU - Europa 3
GT - Guatemala 3
IS - Islanda 3
LT - Lituania 3
LV - Lettonia 3
NZ - Nuova Zelanda 3
SY - Repubblica araba siriana 3
BY - Bielorussia 2
ET - Etiopia 2
GR - Grecia 2
KG - Kirghizistan 2
KW - Kuwait 2
LA - Repubblica Popolare Democratica del Laos 2
LK - Sri Lanka 2
PR - Porto Rico 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BB - Barbados 1
BW - Botswana 1
CG - Congo 1
CU - Cuba 1
Totale 19.260
Salva come PNG Salva come JPEG
Città #
Singapore 1.199
Ashburn 1.146
Fairfield 912
Woodbridge 792
Houston 620
Santa Clara 552
San Jose 522
Ann Arbor 512
Hong Kong 493
Chandler 410
Seattle 399
Jacksonville 337
Wilmington 320
Beijing 312
Cambridge 305
Council Bluffs 257
Warsaw 210
The Dalles 190
Ho Chi Minh City 162
Nanjing 159
Izmir 149
Tokyo 138
Los Angeles 136
Hanoi 119
Dallas 115
Milan 115
Princeton 111
Lauterbourg 105
Ferrara 85
Jakarta 73
New York 73
San Diego 69
Helsinki 65
Boardman 63
São Paulo 62
Bologna 50
Mexico City 49
Nanchang 41
London 40
Toronto 39
Munich 37
Redwood City 34
Shanghai 33
Washington 33
Chicago 30
Denver 30
Tianjin 30
Jiaxing 28
Rio de Janeiro 28
Rome 27
Changsha 26
Haiphong 25
Columbus 24
Orem 24
Atlanta 23
Chennai 23
Hebei 23
Jinan 23
Moscow 23
Murcia 23
Falls Church 22
Vienna 22
Brooklyn 21
Dong Ket 21
Shenyang 21
Poplar 20
Johannesburg 19
Lappeenranta 19
San Francisco 19
Da Nang 18
Montreal 18
Mountain View 18
Phoenix 18
Amsterdam 17
Newark 17
Buffalo 16
Frankfurt am Main 16
Guangzhou 16
Tashkent 16
Addison 15
Des Moines 15
Düsseldorf 15
Hefei 15
New Delhi 15
Stockholm 15
Falkenstein 14
Manchester 14
Dhaka 13
Belo Horizonte 12
Boston 12
Cologne 12
Hangzhou 12
Hải Dương 12
Indiana 12
Medellín 12
Naples 12
Norwalk 12
Baghdad 11
Lahore 11
Mumbai 11
Totale 12.679
Salva come PNG Salva come JPEG
Nome #
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 790
On coarser interval temporal logics 309
A novel decision tree approach for the handling of time series 263
An Integrated first-order theory of points and intervals: Expressive power in the class of all linear orders 246
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 243
Allen-Like Theory of Time for Tree-Like Structures 232
Multiobjective Evolutionary Feature Selection for Fuzzy Classification 227
On Coarser Interval Temporal Logics and their Satisfiability Problem 226
Multi-objective evolutionary feature selection for online sales forecasting 225
A Tableau-Based System for Spatial Reasoning about Directional Relations 222
On the expressive power of sub-propositional fragments of modal logic 218
Multi-Objective Evolutionary Optimization for Time Series Lag Regression 215
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 214
A Decidable Spatial Generalization of Metric Interval Temporal Logic 206
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures 203
On the Expressiveness of the Interval Logic of Allen's Relations over Finite and Discrete Linear Orders 202
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 201
On the Complexity of Fragments of Horn Modal Logics 200
A model checker for interval temporal logic over finite structures? 193
Decision tree pruning via multi-objective evolutionary computation 192
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 190
Quality Checking of Medical Guidelines using Interval Temporal Logics: A Case Study 189
A first study of the horn fragment of the modal logic of time intervals? 187
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data 187
The Dark Side of Interval Temporal Logic: Marking the Undecidability Border 184
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 184
Begin, after, and later: A maximal decidable interval temporal logic 184
An optimal decision procedure for MPNL over the integers 182
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T 182
Towards a General Method for Logical Rule Extraction from Time Series 181
Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization 181
On The Expressive Power of First Order Logic Extended with Allen’s Relations in the Strict Case 180
Towards Interval Temporal Logic Rule-Based Classification 179
A Road Map of Interval Temporal Logics and Duration Calculi 175
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders 172
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 170
Hybrid metric propositional neighborhood logics with interval length binders 168
Horn Fragments of the Halpern-Shoham Interval Temporal Logic 168
Generalizing Allen's theory of time to tree-like structures 167
Ultimately-periodic interval model checking for temporal dataset evaluation 167
A New Modal Logic for Spatial Reasoning about Space: Spatial Propositional Neighborhood Logics 166
The Light Side of Interval Temporal Logic: the Bernays-Schonfinkel Fragment of CDT 166
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 164
An intelligent clustering method for devising the geochemical fingerprint of underground aquifers 162
Implementation of a Tableau-Based Satisfiability Checker for HS3 159
Reasoning with Time Intervals: A Logical and Computational Perspective 157
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic 155
Towards Semi-Automatic Human Performance Evaluation: the Case Study of a Contact Center 155
Interval temporal logics over strongly discrete linear orders: The complete picture 155
null 153
Consistency Checking of Basic Cardinal Constraint over Connected Regions 152
Definability and Decidability of Binary Predicates for Time Granularity 150
Interval Temporal Logic Decision Tree Learning 150
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling 150
Unsupervised feature selection for interpretable classification in behavioral assessment of children 149
An integrated first-order theory of points and intervals over linear orders (Part II) 148
Statistical Rule Extraction for Gas Turbine Trip Prediction 147
Propositional Interval Neighborhood Temporal Logics 146
Undecidability of Chop 145
Feature and language selection in temporal symbolic regression for interpretable air quality modelling 144
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 143
On Decidability and Expressiveness of Propositional Neighborhood Logics 143
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 143
Lag Variables in Air Pollution Modeling Based on Traffic Flow and Meteorological Factors 143
On Modal Logic Formulae Minimization 140
Undecidability of the Logic of the Overlap Relation over Discrete Linear Orderings 140
An Optimal Decision Procedure for Right Propositional Neighborhood Logic 137
Undecidability of interval temporal logics with the overlap modality 137
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics 135
The horn fragment of branching algebra 135
Evolutionary Explainable Rule Extraction from (Modal) Random Forests 134
Towards an objective theory of subjective liking: A first step in understanding the sense of beauty 133
A Post-Modern Approach to Automatic Metaphor Identification 133
The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests 132
Two-sorted point-interval temporal logics 132
J48S: a Sequence Classification Approach to Speech Analysis based on Decision Trees 131
A time series forecasting based multi-criteria methodology for air quality prediction 131
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification 130
An Integrated First-Order Theory of Points and Intervals over Linear Orders (part I) 128
Metric propositional neighborhood logics on natural numbers 127
On (maximal, tractable) fragments of the branching algebra? 127
FRIDA: A Four-Factor Adaptive Screening Tool for Demoralization, Anxiety, Irritability, and Depression in Hospital Patients 126
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 125
What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL 125
The Dark Side of Interval Temporal Logics: Sharpening the Undecidability Border 124
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers 121
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: the Dense and the General Case 119
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling 119
A General Tableau Method for Propositional Interval Temporal Logics 119
The Light Side of Interval Temporal Logics: the Bernays-Schoenfinkel's Fragment of CDT 116
Knowledge extraction with interval temporal logic decision trees 116
Statistical and Symbolic Neuroaesthetics Rules Extraction From EEG Signals 115
On begins, meets and before 115
Evaluation of temporal datasets via interval temporal logic model checking 115
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 114
Deciding the consistency of branching time interval networks 114
Interval Temporal Logics: a Journey 112
Statistical Rule Extraction for Gas Turbine Trip Prediction 110
Definability and decidability of binary predicates for time granularity 110
Fast(er) reasoning in interval temporal logic 108
Totale 16.734
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.081
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 92.081
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022995 0 112 91 40 51 74 50 52 54 108 87 276
2022/2023978 135 66 24 120 129 151 108 73 103 3 53 13
2023/2024546 52 94 46 40 44 68 10 14 1 32 16 129
2024/20252.520 95 68 244 44 309 317 26 193 385 397 232 210
2025/20267.619 450 257 620 855 1.041 457 673 504 680 919 870 293
2026/2027620 298 322 0 0 0 0 0 0 0 0 0 0
Totale 19.644