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.150
EU - Europa 1.447
AS - Asia 959
AF - Africa 7
SA - Sud America 6
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 8.576
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.134
CN - Cina 479
IT - Italia 306
TR - Turchia 302
UA - Ucraina 259
DE - Germania 219
PL - Polonia 196
GB - Regno Unito 137
SE - Svezia 125
FI - Finlandia 89
SG - Singapore 81
ES - Italia 44
ID - Indonesia 32
AT - Austria 22
VN - Vietnam 21
CA - Canada 12
NL - Olanda 12
BE - Belgio 11
FR - Francia 10
IN - India 10
IR - Iran 9
JP - Giappone 8
KR - Corea 7
BR - Brasile 6
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.576
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
Ferrara 72
San Diego 69
Beijing 63
Boardman 63
Singapore 47
Nanchang 41
Redwood City 34
Jakarta 30
Jiaxing 28
Hebei 23
Tianjin 23
Bologna 22
Changsha 22
Falls Church 22
Jinan 22
Dong Ket 21
Shenyang 21
Helsinki 19
Shanghai 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
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
Brighton 2
Budapest 2
Cagliari 2
Campinas 2
Chiswick 2
Dublin 2
Fars 2
Ferrara di Monte Baldo 2
Frankfurt am Main 2
Istanbul 2
Lille 2
Liverpool 2
Ludwigshafen 2
Totale 6.803
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 135
On the Complexity of Fragments of Horn Modal Logics 133
Decision tree pruning via multi-objective evolutionary computation 132
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures 131
A novel decision tree approach for the handling of time series 131
On the Expressiveness of the Interval Logic of Allen's Relations over Finite and Discrete Linear Orders 129
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T 128
Multi-objective evolutionary feature selection for online sales forecasting 124
On The Expressive Power of First Order Logic Extended with Allen’s Relations in the Strict Case 123
The Dark Side of Interval Temporal Logic: Marking the Undecidability Border 123
On coarser interval temporal logics 123
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 120
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 119
A Tableau-Based System for Spatial Reasoning about Directional Relations 118
Quality Checking of Medical Guidelines using Interval Temporal Logics: A Case Study 118
A Decidable Spatial Generalization of Metric Interval Temporal Logic 113
Generalizing Allen's theory of time to tree-like structures 113
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders 111
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 110
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data 110
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 110
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 108
null 106
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 106
Ultimately-periodic interval model checking for temporal dataset evaluation 105
An optimal decision procedure for MPNL over the integers 104
null 104
Definability and Decidability of Binary Predicates for Time Granularity 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 101
Multi-Objective Evolutionary Optimization for Time Series Lag Regression 100
Hybrid metric propositional neighborhood logics with interval length binders 99
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 94
Undecidability of the Logic of the Overlap Relation over Discrete Linear Orderings 94
null 94
Unsupervised feature selection for interpretable classification in behavioral assessment of children 94
Reasoning with Time Intervals: A Logical and Computational Perspective 92
An Optimal Decision Procedure for Right Propositional Neighborhood Logic 92
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 90
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
null 86
A first study of the horn fragment of the modal logic of time intervals? 86
Towards a General Method for Logical Rule Extraction from Time Series 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 78
Interval Temporal Logic Decision Tree Learning 76
Metric propositional neighborhood logics on natural numbers 75
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 74
Two-sorted point-interval temporal logics 73
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data 73
A New Modal Logic for Spatial Reasoning about Space: Spatial Propositional Neighborhood Logics 70
What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL 66
null 61
The Dark Side of Interval Temporal Logics: Sharpening the Undecidability Border 60
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers 60
Propositional Interval Neighborhood Temporal Logics 59
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics 59
DL-Lite and interval temporal logics: A marriage proposal 57
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 56
On begins, meets and before 56
Towards Interval Temporal Logic Rule-Based Classification 55
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling 54
Evaluation of temporal datasets via interval temporal logic model checking 54
Interval Temporal Logics: a Journey 53
The Light Side of Interval Temporal Logics: the Bernays-Schoenfinkel's Fragment of CDT 52
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data 52
Decidability and Definability of Binary Predicates for Time Granularity 51
Fast(er) reasoning in interval temporal logic 50
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 49
null 46
Deciding the consistency of branching time interval networks 45
null 44
Lag Variables in Air Pollution Modeling Based on Traffic Flow and Meteorological Factors 43
Expressiveness of the interval logics of allen's relations on the class of all linear orders: Complete classification 41
J48S: a Sequence Classification Approach to Speech Analysis based on Decision Trees 40
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
Mining significant temporal networks is polynomial 36
An Integrated First-Order Theory of Points and Intervals over Linear Orders (part I) 32
Feature and language selection in temporal symbolic regression for interpretable air quality modelling 32
The horn fragment of branching algebra 31
On (maximal, tractable) fragments of the branching algebra? 31
On sub-propositional fragments of modal logic 30
Extracting interval temporal logic rules: A first approach 26
Totale 8.546
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.455
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 38.455
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/20253 3 0 0 0 0 0 0 0 0 0 0 0
Totale 8.888