Dipartimento di Matematica e Informatica - Tesi di Dottorato: Recent submissions
Items 21-40 di 68
-
Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering
(2019-01-17)This work is focused on Answer Set Programming (ASP), that is an expressive formalism for Knowledge Representation and Reasoning. Over time, ASP has been more and more devoted to solving real-world problems thanks to ... -
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 ... -
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 ... -
Fixed Point Iterations for Nonlinear Mappings
(2015-12-15)In questa tesi vengono a rontati, e talvolta risolti, alcuni problemi sulla convergenza di algoritmi per punti ssi. A tali problemi, verr a a ancato inoltre l'ulteriore problema di stabilire quando tali algoritmi ... -
On iterative methods for quasi-nonexpansive mappings
(2015-12-15)Lo scopo di questa tesi e quello di risolvere alcuni problemi di approssimazioni di punti ssi di mappe non lineari e approssimazioni di soluzioni di disequazioni variazionali, illustrati in una ricca raccolta e collezione ... -
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 ... -
Low-discrepancy sequences: theory and applications
(2014-11-28)The main topic of this present thesis is the study of the asymptotic behaviour of sequences modulo 1. In particular, by using ergodic and dynamical methods, a new insight to problems concerning the asymptotic behaviour ... -
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 ... -
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 ... -
Tecniche per la valutazione distribuita di programmi logici
(2014-11-30)Recent developments in IT, and in particular the expansion of networking technologies, have made quite common the availability of software architectures where data sources are distributed across multiple (physically-di ... -
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 ... -
Integrated development environment for answer set programming
(2012-11-30)Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. The successful application of ASP in a number of advanced projects, has ... -
On a class of singular semilinear equations
(2012-11-28) -
Parallel evaluation of ASP programs:techniques and implementation
(2011-11-30)Answer Set Programming (ASP) is a purely declarative programming paradigm based on nonmonotonic reasoning and logic programming. The idea of ASP is to represent a given computational problem by a logic program such ... -
GAMON discovering M-of-N hypotheses for text classification by a lattice-based genetic algorithm
(2013-11-12)Lo sviluppo delle moderne tecnologie informatiche, nonch´e la diffusione dei servizi per il Web, ha portato ad una considerevole produzione di informazioni e dati di diversa natura: documenti testuali (dati non strutturati), ... -
Parallel and evolutionary applications to cellular automata models for mitigation of lava flow invasions
(2013-11-25)In the lava ow mitigation context, the determination of areas exposed to volcanic risk is crucial for diminishing consequences in terms of human causalities and damages of material properties. In order to mitigate the ...