Cerca
Items 31-40 di 63
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...