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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.923 329 76 86 315 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/202585 85 0 0 0 0 0 0 0 0 0 0 0
Totale 8.970