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

SCIAVICCO, Guido
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.521
EU - Europa 1.526
AS - Asia 1.242
AF - Africa 7
SA - Sud America 7
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.312
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.505
CN - Cina 503
IT - Italia 353
TR - Turchia 302
SG - Singapore 295
UA - Ucraina 259
DE - Germania 226
PL - Polonia 196
GB - Regno Unito 143
SE - Svezia 125
FI - Finlandia 103
ID - Indonesia 73
ES - Italia 44
AT - Austria 23
VN - Vietnam 22
IN - India 13
NL - Olanda 13
BE - Belgio 12
CA - Canada 12
FR - Francia 11
IR - Iran 9
JP - Giappone 8
BR - Brasile 7
KR - Corea 7
AU - Australia 5
RU - Federazione Russa 5
TW - Taiwan 4
EU - Europa 3
ZA - Sudafrica 3
CZ - Repubblica Ceca 2
DZ - Algeria 2
HK - Hong Kong 2
HU - Ungheria 2
IE - Irlanda 2
MX - Messico 2
RO - Romania 2
RS - Serbia 2
CU - Cuba 1
GR - Grecia 1
HN - Honduras 1
IL - Israele 1
IQ - Iraq 1
LT - Lituania 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
TN - Tunisia 1
Totale 9.312
Salva come PNG Salva come JPEG
Città #
Fairfield 912
Woodbridge 791
Houston 609
Ann Arbor 512
Ashburn 477
Chandler 410
Seattle 387
Jacksonville 333
Wilmington 319
Cambridge 305
Santa Clara 273
Singapore 224
Warsaw 183
Nanjing 158
Izmir 148
Princeton 110
Milan 97
Ferrara 78
Jakarta 71
San Diego 69
Beijing 63
Boardman 63
Nanchang 41
Los Angeles 37
Redwood City 34
Helsinki 33
Bologna 32
Jiaxing 28
Shanghai 24
Hebei 23
Tianjin 23
Changsha 22
Falls Church 22
Jinan 22
Dong Ket 21
Shenyang 21
London 18
Mountain View 18
Washington 18
Murcia 17
Vienna 17
Addison 15
Düsseldorf 15
Des Moines 13
Indiana 12
Norwalk 11
Brussels 10
Padova 10
Wroclaw 10
Guangzhou 9
Karlsruhe 8
Kunming 8
Toronto 8
Zhengzhou 8
Auburn Hills 7
Hangzhou 7
Lappeenranta 7
Trieste 7
Udine 7
Chicago 6
Lanzhou 6
Rome 6
Tappahannock 6
Changchun 5
Kilburn 5
Ningbo 5
Bremen 4
Fontaniva 4
Frankfurt am Main 4
Fuzhou 4
Hyderabad 4
Modena 4
Munich 4
Naples 4
Orange 4
Redmond 4
San Mateo 4
Taipei 4
Amsterdam 3
Corona 3
Estella 3
Leeds 3
Newcastle 3
Reana del Rojale 3
Wandsworth 3
Acton 2
Alcorcón 2
Alicante 2
Andover 2
Anzola dell'Emilia 2
Basiano 2
Berlin 2
Brent 2
Brighton 2
Budapest 2
Cagliari 2
Campinas 2
Chiswick 2
Dublin 2
Fars 2
Totale 7.373
Salva come PNG Salva come JPEG
Nome #
An Integrated first-order theory of points and intervals: Expressive power in the class of all linear orders 168
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 153
null 153
On Coarser Interval Temporal Logics and their Satisfiability Problem 149
A novel decision tree approach for the handling of time series 144
On the expressive power of sub-propositional fragments of modal logic 142
On the Complexity of Fragments of Horn Modal Logics 140
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures 137
Decision tree pruning via multi-objective evolutionary computation 136
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T 133
On the Expressiveness of the Interval Logic of Allen's Relations over Finite and Discrete Linear Orders 133
On coarser interval temporal logics 131
On The Expressive Power of First Order Logic Extended with Allen’s Relations in the Strict Case 129
Multi-objective evolutionary feature selection for online sales forecasting 129
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 128
The Dark Side of Interval Temporal Logic: Marking the Undecidability Border 126
A Tableau-Based System for Spatial Reasoning about Directional Relations 125
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 125
Quality Checking of Medical Guidelines using Interval Temporal Logics: A Case Study 122
A Decidable Spatial Generalization of Metric Interval Temporal Logic 121
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 119
Generalizing Allen's theory of time to tree-like structures 117
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data 116
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 116
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders 115
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 114
Multi-Objective Evolutionary Optimization for Time Series Lag Regression 114
An optimal decision procedure for MPNL over the integers 111
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 111
Begin, after, and later: A maximal decidable interval temporal logic 111
Multiobjective Evolutionary Feature Selection for Fuzzy Classification 109
Ultimately-periodic interval model checking for temporal dataset evaluation 109
Definability and Decidability of Binary Predicates for Time Granularity 108
Allen-Like Theory of Time for Tree-Like Structures 107
null 106
The Light Side of Interval Temporal Logic: the Bernays-Schonfinkel Fragment of CDT 105
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 105
null 104
Horn Fragments of the Halpern-Shoham Interval Temporal Logic 104
null 103
Hybrid metric propositional neighborhood logics with interval length binders 103
On Decidability and Expressiveness of Propositional Neighborhood Logics 99
Unsupervised feature selection for interpretable classification in behavioral assessment of children 99
Interval temporal logics over strongly discrete linear orders: The complete picture 99
Undecidability of the Logic of the Overlap Relation over Discrete Linear Orderings 98
Reasoning with Time Intervals: A Logical and Computational Perspective 97
An Optimal Decision Procedure for Right Propositional Neighborhood Logic 95
A Road Map of Interval Temporal Logics and Duration Calculi 95
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 94
null 94
A first study of the horn fragment of the modal logic of time intervals? 94
Towards a General Method for Logical Rule Extraction from Time Series 94
Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization 93
null 89
A Model Checker for Interval Temporal Logics over Finite Structures 88
Undecidability of interval temporal logics with the overlap modality 87
null 86
null 84
Interval Temporal Logic Decision Tree Learning 83
Consistency Checking of Basic Cardinal Constraint over Connected Regions 82
Undecidability of Chop 80
Implementation of a Tableau-Based Satisfiability Checker for HS3 80
Towards Semi-Automatic Human Performance Evaluation: the Case Study of a Contact Center 80
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 79
Metric propositional neighborhood logics on natural numbers 78
A New Modal Logic for Spatial Reasoning about Space: Spatial Propositional Neighborhood Logics 77
Two-sorted point-interval temporal logics 77
What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL 70
The Dark Side of Interval Temporal Logics: Sharpening the Undecidability Border 64
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers 64
Propositional Interval Neighborhood Temporal Logics 63
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics 63
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling 63
null 61
DL-Lite and interval temporal logics: A marriage proposal 61
Towards Interval Temporal Logic Rule-Based Classification 61
On begins, meets and before 61
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 60
Evaluation of temporal datasets via interval temporal logic model checking 58
Interval Temporal Logics: a Journey 57
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data 57
The Light Side of Interval Temporal Logics: the Bernays-Schoenfinkel's Fragment of CDT 56
Definability and decidability of binary predicates for time granularity 55
Fast(er) reasoning in interval temporal logic 55
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 54
Deciding the consistency of branching time interval networks 54
Lag Variables in Air Pollution Modeling Based on Traffic Flow and Meteorological Factors 51
An intelligent clustering method for devising the geochemical fingerprint of underground aquifers 51
null 46
J48S: a Sequence Classification Approach to Speech Analysis based on Decision Trees 45
null 44
Expressiveness of the interval logics of allen's relations on the class of all linear orders: Complete classification 44
Feature and language selection in temporal symbolic regression for interpretable air quality modelling 44
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling 43
An Integrated First-Order Theory of Points and Intervals over Linear Orders (part I) 42
Mining significant temporal networks is polynomial 42
The horn fragment of branching algebra 40
On (maximal, tractable) fragments of the branching algebra? 38
On sub-propositional fragments of modal logic 34
Extracting interval temporal logic rules: A first approach 34
Totale 9.067
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.581
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 48.581
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.117 0 0 0 0 166 218 150 136 134 166 87 60
2020/20211.702 97 98 64 223 82 262 135 193 66 234 129 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/2025759 95 68 244 44 308 0 0 0 0 0 0 0
Totale 9.644