Cerca
Items 11-20 di 50
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 ...
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 ...
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 ...
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 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 ...