Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Titolo
Items 1-20 di 75
-
3d web-based parallel applications for the numerical modeling of natural phenomena
(2014-11-28)In this thesis, I designed and implemented three new web applications tai- lored for the Cellular Automata (CA) simulation models SCIDDICA-k1, SCIARA-fv3 and ABBAMPAU, making use of the GoogleWeb Toolkit frame- work and ... -
Advanced Techniques and Systems for Data and Process Management
(2014-03-31)Il lavoro di tesi viene suddiviso in due parti che trattano rispettivamente di tecniche avanzate e sistemi per la gestione dei dati e per il mining dei processi. Sono state affrontate problematiche relative all’efficienza ... -
Answer Set Programming with Functions
(2014-04-01)L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un formalismo che si `e affermato, in questi ultimi anni, come potente strumento di programmazione dichiarativa per la rappresentazione della conoscenza ... -
Answer set programming:development tols and applications to tourism
(2015-12-15)Answer Set Programming (ASP) is a declarative rule–based programming paradigm for knowledge representation and declarative problem–solving. The idea of ASP is to represent a given computational problem by using a logic ... -
Arsenic Ore Mixture Froth Image Generation with Neural Networks and a Language for Declarative Data Validation
(Università della Calabria, 2022-04-14)Computer vision systems that measure froth flow velocities and stability designed for flotation froth image analysis are well established in industry, as they are used to control material recovery. However flotation ... -
Cellular automata for modeling and simulating complex phenomena : lahars
(2015-12-15)Lahars represent one of the most destructive natural disasters regarding the loss of human lives and property damage in their path. Lahars are very complex surface flows of two types: primary lahars originated directly ... -
Computational tasks in answer set programming: algorithms and implementation
(2014-12-01)L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa basato sulla semantica dei modelli stabili. L’idea alla base di ASP è di codificare un problema computazionale in un programma logico i ... -
Convex tomography in dimension two and three
(2014-05-27)In this thesis we investigate a problem which is part of Geometric Tomography. Geometric Tomography is a branch of Mathematics which deals with the determination of a convex body (or other geometric objects) in n from ... -
CORE: an intelligent trasportation systems in Calabria
(2017-02-22) -
Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability
(2012-11-11)Ontologies and rules play a central role in the development of the Semantic Web. Recent research in this context focuses especially on highly scalable formalisms for the Web of Data, which may highly benefit from exploiting ... -
Declarative solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots
(Università della Calabria, 2020-03-17)The manipulation of exible object is of primary importance in industry 4.0 and in home environments scenarios. Traditionally, this problem has been tackled by developing ad-hoc approaches, that lack of exibility and ... -
Deep Learning and Graph Theory for Brain Connectivity Analysis in Multiple Sclerosis
(Università della Calabria, 2020-01-16)Multiple sclerosis (MS) is a chronic disease of the central nervous system, leading cause of nontraumatic disability in young adults. MS is characterized by inflammation, demyelination and neurodegenrative pathological ... -
Design and implementation of a modern ASP grounder
(2018-01-19)Answer Set Programming (ASP) is a declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming in the late '80 and early '90. Thanks to its expressivity and capability of dealing ... -
Distributed Optimization Over Large-Scale Systems for Big Data Analytics
(Università della Calabria, 2020-01-17)A large-scale system is defined as one that supports multiple, simultaneous users who access the core functionality through some network. Nowadays, enormous amount of data is continually generated at unprecedented and ... -
DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica
(2014-04-01)La rapida crescita di sistemi informatici derivanti dalle diverse applicazioni cui Internet si presta, ha rapidamente aumentato la quantit`a di dati e di informazioni disponibili per l’elaborazione. In particolare, ... -
Domain specific languages for parallel numerical modeling on structured grids
(2019-01-17)High performance computing (HPC) is undergoing a period of enormous change. Due to the di culties in increasing clock frequency inde nitely (i.e., the breakdown of Dennard's scaling and power wall), the current direction is ... -
Dyadic TGDs - A new paradigm for ontological query answering
(Università della Calabria, 2022-03-11)Ontology-BasedQueryAnswering(OBQA)consistsinqueryingdata– bases bytakingontologicalknowledgeintoaccount.Wefocusona logical frameworkbasedonexistentialrulesor tuple generatingdepen- dencies (TGDs), alsoknownasDatalog±, ... -
Dynamic magic sets
(2010)Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models. ...