Tesi di Dottorato: Recent submissions
Items 221-240 di 1608
-
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
Synthesis of high value added molecules by catalytic and heterocyclization approaches
(2018-05-11)In the present PhD thesis is reported the development of new sustainable catalytic processes for the production of high value added molecules starting from simple and readily available building blocks, under safer and ... -
Compositional and textural study of beach sands from active volcanic areas (southern tyrrhenian sea)
(2018-05-11)The main goal of this research focuses on the provenance, compositional and textural investigation of modern sand supplied from volcanic terrains (southern Tyrrhenian sea). This is a contribution to quantify the controls ... -
New composite materials for masonry rehabilitatiom: SRG and FRCM mechanical characterization
(2018-06-01)La caratterizzazione meccanica dei materiali è un processo necessario per la standardizzazione della metodologia di prova, per determinare le proprietà dei materiali necessarie per la progettazione e per valutare le loro ... -
Reverse electrodialysis for energy recovery: material development and performance evalution
(2018-05-11)Salinity Gradient Power- Reverse Electrodialysis (SGP-RED), so-called blue energy, is a promising untapped membrane based renewable and sustainable energy generation technology. Salinity gradient energy can be defined as ... -
<<I>> sintomi comportamentali e psicologici nella malattia di Alzheimer: esordio e differenze di genere
(2018-05-11)BPSD have a deep physical and psychological impact on patients affected by any kind of dementing illness and on caregiver in terms of costs and resources and represent an important cause of institutionalization. The aim ... -
Multi-level assessment of the environmental benefits of a permeable pavement: numerical analysis and experimental investigations
(2018-05-09)The increasing frequency of flooding events in urban catchments related to an increase in impervious surfaces highlights the inadequacy of traditional urban drainage systems whose aim is to rapidly collect and convey ... -
Study of an unfried closed joule-brayton cycle in a concentrating solar tower plant with a mass flow rate control system
(2018-07-10)Oggigiorno, la domanda di energia primaria è aumentata, raggiungendo un incremento del 62.5% rispetto a 20 anni fa. La necessità di risorse rinnovabili ha spinto le politiche governative di tutto il mondo a incoraggiare ... -
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 ... -
Advanced techniques for numerical contact analysis in spiral bevel gears
(2019-07-08)The research presented in this dissertation treats the subject of efficient gear contact simulation and is applied to the contact analysis of spiral bevel gears. In today’s competitive environment getting better products ...