@misc{KramerNoackBaumetal.2017, author = {Kramer, Tobias and Noack, Matthias and Baum, Daniel and Hege, Hans-Christian and Heller, Eric J.}, title = {Dust and gas emission from cometary nuclei: the case of comet 67P/Churyumov-Gerasimenko}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-66338}, year = {2017}, abstract = {Comets display with decreasing solar distance an increased emission of gas and dust particles, leading to the formation of the coma and tail. Spacecraft missions provide insight in the temporal and spatial variations of the dust and gas sources located on the cometary nucleus. For the case of comet 67P/Churyumov-Gerasimenko (67P/C-G), the long-term obser- vations from the Rosetta mission point to a homogeneous dust emission across the entire illuminated surface. Despite the homogeneous initial dis- tribution, a collimation in jet-like structures becomes visible. We propose that this observation is linked directly to the complex shape of the nucleus and projects concave topographical features into the dust coma. To test this hypothesis, we put forward a gas-dust description of 67P/C-G, where gravitational and gas forces are accurately determined from the surface mesh and the rotation of the nucleus is fully incorporated. The emerging jet-like structures persist for a wide range of gas-dust interactions and show a dust velocity dependent bending.}, language = {en} } @misc{Skrzypczak, author = {Skrzypczak, Jan}, title = {Weakening Paxos Consensus Sequences for Commutative Commands}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65741}, abstract = {Consensus (agreement on a value) is regarded as a fundamental primitive in the design of fault tolerant distributed systems. A well-known solution to the consensus problem is Paxos. Extensions of the Paxos algorithm make it possible to reach agreement on a sequence of commands which can then be applied on a replicated state. However, concurrently proposed commands can create conflicts that must be resolved by ordering them. This thesis delivers an in-depth description of a Paxos-based algorithm to establish such command sequences, called Paxos Round Based Register (PRBR). In contrast to conventional approaches like Multi-Paxos, PRBR can manage multiple command sequences independently. Furthermore, each sequence is established in-place, which eliminates the need for managing multiple Paxos instances. PRBR is extended as part of this thesis to exploit the commutativity of concurrently proposed commands. As a result, conflict potential can be greatly reduced which increases the number of commands that can be handled by PRBR. This is shown for a number of workloads in an experimental evaluation.}, language = {en} } @misc{Clausecker, author = {Clausecker, Robert}, title = {Notes on the Construction of Pattern Databases}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65586}, abstract = {This report aims to explain and extend pattern databases as a tool in finding optimal solutions to combination puzzles. Using sliding tile puzzles as an example, an overview over techniques to construct and use pattern databases is given, analysed, and extended. As novel results, zero aware additive pattern databases and PDB catalogues are introduced. This report originally appeared as a bachelor thesis at Humboldt University of Berlin under the title Notes on the Construction of Tablebases.}, language = {en} }