Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Data di Pubblicazione
Items 21-40 di 63
-
Advanced Techniques and Systems for Data and Process Management
(2014-03-31)Il lavoro di tesi viene suddiviso in due parti che trattano rispettivamente di tecniche avanzate e sistemi per la gestione dei dati e per il mining dei processi. Sono state affrontate problematiche relative all’efficienza ... -
Eccient evaluation of disjunctive logic programs
(2014-03-31)Agli inizi degli anni ‘80, Jack Minker propose di accrescere la potenza della programmazione logica consentendo l’utilizzo della disgiunzione nelle teste delle regole e specificando come l’assunzione di mondo chiuso ... -
Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks
(2014-03-31)In many scientific and business scenarios, large amounts of data are generated and stored at increasing speed in local or distributed databases. Scientific experiments generating petabytes of data are daily performed in ... -
Normal Form Nested Programs
(2014-03-31)Nella Programmazione Logica Disgiuntiva (PLD) le regole sono costituite da una testa e da un corpo. La testa è una disgiunzione di atomi, mentre il corpo una congiunzione di letterali. La PLD, sotto la semantica degli ... -
Olex Effective Rule Learning for Text Categorization
(2014-04-01)Le prime ricerche nell’ambito del Text Categorization, una sotto-area dell’ Information Retrieval il cui obiettivo `e la classificazione automatica di documenti rispetto a un insieme di categorie predefinite, risalgono ... -
Answer Set Programming with Functions
(2014-04-01)L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un formalismo che si `e affermato, in questi ultimi anni, come potente strumento di programmazione dichiarativa per la rappresentazione della conoscenza ... -
DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica
(2014-04-01)La rapida crescita di sistemi informatici derivanti dalle diverse applicazioni cui Internet si presta, ha rapidamente aumentato la quantit`a di dati e di informazioni disponibili per l’elaborazione. In particolare, ... -
Dynamic magic sets
(2014-04-08)Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models. ... -
Optimization and Ontology for Computational Systems Biology
(2014-04-10)In the context of my PhD I studied mostly problems that nd their location in the bioinformatics and bioengineering elds. The arti cial photosynthesis has been object of my research and problems like the e cient ... -
Convex tomography in dimension two and three
(2014-05-27)In this thesis we investigate a problem which is part of Geometric Tomography. Geometric Tomography is a branch of Mathematics which deals with the determination of a convex body (or other geometric objects) in n from ... -
Interpolation problems and applications
(2014-05-28) -
Uniform distribution of sequences of points and partitions
(2014-05-28) -
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 ... -
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 ...