Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Data di Pubblicazione
Items 41-60 di 63
-
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
Paracoherent Answer Set Programming
(2017-02-22)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 cui ... -
<<The>> impact of software on Mathematics education in high schools
(2017-02-22)Il rapporto tra tecnologia e insegnamento-apprendimento della Matematica è un fenomeno complesso che merita di essere osservato da diversi punti di vista. Uno di questi è il ruolo che i software svolgono, e potrebbero ... -
CORE: an intelligent trasportation systems in Calabria
(2017-02-22) -
Pure strategies in security games
(2017-07-20)In the past decades game theory allowed to model mathematically conflicts between groups of players, each with their own agenda, and found ways to apply them in real life situations. One of such applications, which has ... -
Ontology-driven information extraction
(2017-07-20)Information Extraction consists in obtaining structured information from unstructured and semi-structured sources. Existing solutions use advanced methods from the field of Natural Language Processing and Artificial ... -
Seamless acceleratin numerical regular grid methods on manycore systems
(2018-01-19)Over the last two decades, a lot has changed regarding the way modern scientific applications are designed, written and executed, especially in the field of data-analytics, scientific computing and visualization. Dedicated ... -
Topics in metric fixed point teory and stability of dynamical systems
(2018-01-19)In this thesis we introduce iterative methods approximating fixed points for nonlinear operators defined in infinite-dimensional spaces. The starting points are the Implicit and Explicit Midpoint Rules generating polygonal ... -
Generalizing identity-based string similarity metrics: theory and applications
(2018-01-19)Le stringhe giocano un ruolo fondamentale in informatica: codificando i dati, la loro interpretazione permette di derivare informazione. Dato un insieme di stringhe, alcune interessanti domande emergono: “queste stringhe ... -
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 ... -
Tools and Techniques for Easing the Application of Answer Set Programming
(2018-01-19)Answer Set Programming (ASP) is a well-established declarative problem solving paradigm; it features high expressiveness and the ability to deal with incomplete knowledge, so it became widely used in AI and it is now ... -
Logic Programming in non-conventional environments
(2018-05-03)Logic Programming became a very useful paradigm in many different areas and thus several languages (and solvers) have been created to support various kinds of reasoning tasks. However, in the last decades, thanks also ... -
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 ...