Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Data di Pubblicazione
Items 1-20 di 75
-
On irregular surfaces of general type wih K2=2ҳ+1 and pg=2
(2009-11-25)This thesis is devoted to one of the classic topics about algebraic surfaces: the classi cation of irregular surface of general type and the analysis their moduli space. To a minimal surface of general type S we associates ... -
Dynamic magic sets
(2010)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
(2010)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 ... -
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 ... -
Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability
(2012-11-11)Ontologies and rules play a central role in the development of the Semantic Web. Recent research in this context focuses especially on highly scalable formalisms for the Web of Data, which may highly benefit from exploiting ... -
On a class of singular semilinear equations
(2012-11-28) -
Integrated development environment for answer set programming
(2012-11-30)Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. The successful application of ASP in a number of advanced projects, has ... -
GAMON discovering M-of-N hypotheses for text classification by a lattice-based genetic algorithm
(2013-11-12)Lo sviluppo delle moderne tecnologie informatiche, nonch´e la diffusione dei servizi per il Web, ha portato ad una considerevole produzione di informazioni e dati di diversa natura: documenti testuali (dati non strutturati), ... -
Parallel and evolutionary applications to cellular automata models for mitigation of lava flow invasions
(2013-11-25)In the lava ow mitigation context, the determination of areas exposed to volcanic risk is crucial for diminishing consequences in terms of human causalities and damages of material properties. In order to mitigate the ... -
Mixed Capacitated General Routing Problem Investigations
(2014-03-11)