278 research outputs found
Definability and stability of multiscale decompositions for manifold-valued data
We discuss multiscale representations of discrete manifold-valued data. As it
turns out that we cannot expect general manifold-analogues of biorthogonal
wavelets to possess perfect reconstruction, we focus our attention on those
constructions which are based on upscaling operators which are either
interpolating or midpoint-interpolating. For definable multiscale
decompositions we obtain a stability result
Geometric computing for freeform architecture
Geometric computing has recently found a new field of applications, namely the various geometric problems which lie at the heart of rationalization and construction-aware design processes of freeform architecture. We report on our work in this area, dealing with meshes with planar faces and meshes which allow multilayer constructions (which is related to discrete surfaces and their curvatures), triangles meshes with circle-packing properties (which is related to conformal uniformization), and with the paneling problem. We emphasize the combination of numerical optimization and geometric knowledge.
Improved Answer-Set Programming Encodings for Abstract Argumentation
The design of efficient solutions for abstract argumentation problems is a
crucial step towards advanced argumentation systems. One of the most prominent
approaches in the literature is to use Answer-Set Programming (ASP) for this
endeavor. In this paper, we present new encodings for three prominent
argumentation semantics using the concept of conditional literals in
disjunctions as provided by the ASP-system clingo. Our new encodings are not
only more succinct than previous versions, but also outperform them on standard
benchmarks.Comment: To appear in Theory and Practice of Logic Programming (TPLP),
Proceedings of ICLP 201
Holozäne Landschaftsentwicklung am Lago Budi, Chile (38,9°C): Paläolimnologisch/paläoseismische Untersuchungen an Lagunensedimenten
Die vorliegende Arbeit hatte das Ziel, die Entstehungsgeschichte der Küstenlagune Lago Budi zu rekonstruieren und ein zeitliches Modell ihrer genetischen Phasen zu erstellen. Als Datengrundlage dienten bis über 16 m unter den heutigen Seespiegel reichende Sediment-kerne, sowohl aus verschiedenen Bereichen der Lagune, aus den Ufergebieten des Lago Budi sowie entlang des Küstenstreifens. Zur Datenerhebung kam eine Vielzahl unterschiedli-cher Arbeitsmethoden zur Anwendung. Neben geophysikalischer Erkundung (Sedimentecho-graphie, Hammerschlagseismik) wurden –unterstützt durch diatomologische und palyno-logische Untersuchungen– vor allem sedimentologisch/mineralogische und geochemische Analysen durchgeführt
- …