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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021119 0 0 0 0 0 0 0 0 0 0 0 119
2021/20221.041 46 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.585 450 257 620 855 1.041 457 673 504 680 919 870 259
Totale 18.990