Cerca
Items 21-30 di 50
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 ...
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 ...
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 ...