Gammastrahlenblitze (Gamma-Ray Bursts, GRBs) gehören zu den energiereichsten transienten Ereignissen im Universum und werden als mögliche Quellen von ultra-hochenergetischen kosmischen Strahlen (Ultra-High-Energy Cosmic Rays, UHECRs) gehandelt. Eine eindeutige Bestätigung durch UHECR-Messungen ist jedoch schwierig, da die Richtungsinformation der kosmischen Strahlen während ihrer Ausbreitung aufgrund von Ablenkung durch Magnetfelder teilweise verloren geht. In dieser Dissertation folgen wir einem alternativen multi-messenger Ansatz in welchem die Anwesenheit von kosmischen Strahlen in einem astrophysikalischen Objekt durch Neutrino- oder Photon-Signaturen angezeigt wird. Hierfür simulieren wir GRBs im Internal-Schock-Szenario, welches verschiedene Emissionszonen entlang des astrophysikalischen Jets erfasst, und berechnen nukleare Wechselwirkungen mit modernsten numerischen Codes. In diesem Rahmen diskutieren wir unter welchen Voraussetzungen die Quellklasse von GRBs UHECR-Daten beschreiben kann ohne Neutrinolimits. Letzere begründen sich im Mangel an gemessenen hoch-energetischen (High-Energy, HE) Neutrinos, die mit bekannten GRBs assoziert werden konnten. Die Neutrinolimits können alternativ in Objekten niedriger Leuchtkraft eingehalten werden, die typischerweise eine niedrige Neutrinoproduktionseffizienz haben. Wir präsentieren leptonische Strahlungsmodellierungen für die Unterklasse von GRBs niedriger Leuchktraft mit einem Fokus auf sehr hoch-energetischer (Very-High-Energy, VHE) Emission welche von aktuellen/zukünfitgen Instrumenten beobachtet werden könnte und bestimmen wir die maximalen Energien verschiedener Atomkerne. Die Präsenz von Hadronen kann alternativ durch Signaturen in verschiedenen Wellenlängen des Photonspektrums angezeigt werden. Wir erforschen diesen Ansatz in lepto-hadronischen Modellen für GRBs mit hoher Leuchtkraft, wobei wir kritisch diskutieren, welche Bedingungen erfüllt sein müssen damit typische GRB-Spektren reproduziert werden können. / Gamma-Ray Bursts (GRBs) are among the most energetic transients in the Universe and candidate sources of Ultra-High-Energy Cosmic Rays (UHECRs). A clear confirmation from UHECR measurements is however challenging, as the directional information of cosmic rays is partially lost due to deflection by (inter-)galactic magnetic fields. In this dissertation we follow an alternative multi-messenger approach, in which the presence of UHECRs in an astrophysical object is indicated by neutrino or photon signatures produced in nuclear interactions. For this, we simulate GRBs in the multi-zone internal shock model, which accounts for different emission zones along the astrophysical jet and calculate nuclear interactions with state-of-the-art numerical codes. In this framework we discuss under which conditions the population of GRBs can still account for UHECR measurements while obeying current neutrino limits that stem from the lack of detected High-Energy (HE) neutrinos which could be associated with known GRBs. These neutrino limits may alternatively be met in low-luminosity objects, which typically have low neutrino production efficiency. We present leptonic radiation models of the sub-class of low-luminosity GRBs, with a focus on Very-High-Energy (VHE) emission potentially observable by current/future instruments. Connecting to UHECRs, we determine maximal energies of different cosmic-ray nuclei. The presence of nuclei may also be indicated by multi-wavelength signatures in the photon spectrum. We explore this approach in lepto-hadronic models of high-luminosity bursts, where we also critically review the conditions necessary to reproduce typical GRB spectra within our model.

This article examines the analytical and political potentials of creative methods for peace research. Specifically, the article argues that creative methods can textile, i.e. render material and irregularly textured, (research on) post-conflict politics. Grounded in a collaborative research project with former combatants in Colombia, the article takes this project’s methods – narrative practice, textile-making, and a travelling exhibition – as examples to demonstrate how creative methods’ element of making contributes to the development of post-conflict subjectivities and relationships. Casting the data generated by creative methods as crafted stories, the article also shows how in these stories, semantic meaning becomes entangled with material traces of emotional, affective, and embodied experiences of violence and its aftermath, effecting a shift in the post-conflict distribution of the sensible. By exploring creative methods’ capacity for textiling peace (research), the article contributes to research on creativity, the arts, and peace and on the post-conflict trajectories of former combatants.

Aktuelle Entwicklungsarbeiten im Bereich der Hydrothermalen Prozesse (HTP) setzen auf eine deutliche Verbreiterung der Produktpalette, von Kraftstoffkomponenten über Feinchemikalien bis hin zu Funktionskohlenstoff. Damit werden, insbesondere auf der Basis von sortenreiner Biomasse, neue interessante Wertschöpfungsketten möglich. Eine Vielzahl neuer Ansätze und Entwicklungstrends konnten beim diesjährigen 2. Fachforum „Hydrothermale Prozesse“ am 8./9. September 2016 präsentiert werden. Für das bisher mitunter als Problem der Hydrothermalen Prozesse angesehene Prozesswasser wurden neue Wege zur Nutzung vorgestellt, die eine gekoppelte Gewinnung von weiteren Wertstoffen oder Bereitstellung von Energie ermöglichen. Die Weiterentwicklung des hydrothermalen Prozesses sollte damit nicht mehr an einem Abwasserproblem scheitern. Darüber hinaus wurden Demonstrationsanlagen für die hydrothermale Carbonisierung vorgestellt, die mehrere tausend Betriebsstunden ohne nennenswerte Probleme absolviert haben. Allerdings wurde im Bereich von Neuinvestitionen in HTC-Anlagen vor allem von Aktivitäten im nichteuropäischen Ausland berichtet. Hier sind verstärkte Aktivitäten erforderlich, damit Deutschland seine Technologieführerschaft behält und sich bei den Entwicklungen für die neuen Anwendungsfelder platzieren kann. Zahlreiche weitere Aspekte und Forschungsergebnisse können im vorliegenden Tagungsreader anhand von Abstracts und Präsentationsfolien nachvollzogen werden.

The relative configuration of the marine sesquiterpenoid oxyfungiformin, isolated from the soft coral Capnella fungiformis, was confirmed by synthesis using the natural product guaiol as chiral precursor. The absolute configuration of oxyfungiformin could be assigned by combination of X-ray diffraction and comparison of the values for the specific optical rotation. Oxyfungiformin and a diastereoisomer showed cytotoxic activity in cells originating from cancers of the lung, breast, and cervix.

Immer wenn neue Anforderungen an ein System gestellt werden, müssen die Korrektheit und Konsistenz der Systemspezifikation überprüft werden, was in der Praxis in der Regel manuell erfolgt. Eine mögliche Option, um die Nachteile dieser manuellen Analyse zu überwinden, ist das sogenannte Contract-Based Design. Dieser Entwurfsansatz kann den Verifikationsprozess zur Überprüfung, ob die Anforderungen auf oberster Ebene konsistent verfeinert wurden, automatisieren. Die Verifikation kann somit iterativ durchgeführt werden, um die Korrektheit und Konsistenz des Systems angesichts jeglicher Änderung der Spezifikationen sicherzustellen. Allerdings ist es aufgrund der mangelnden Benutzerfreundlichkeit und der Schwierigkeiten bei der Interpretation von Verifizierungsergebnissen immer noch eine Herausforderung, formale Ansätze in der Industrie einzusetzen. Stellt beispielsweise der Model Checker bei der Verifikation eine Inkonsistenz fest, generiert er ein Gegenbeispiel (Counterexample) und weist gleichzeitig darauf hin, dass die gegebenen Eingabespezifikationen inkonsistent sind. Hier besteht die gewaltige Herausforderung darin, das generierte Gegenbeispiel zu verstehen, das oft sehr lang, kryptisch und komplex ist. Darüber hinaus liegt es in der Verantwortung der Ingenieurin bzw. des Ingenieurs, die inkonsistente Spezifikation in einer potenziell großen Menge von Spezifikationen zu identifizieren. Diese Arbeit schlägt einen Ansatz zur Erklärung von Gegenbeispielen (Counterexample Explanation Approach) vor, der die Verwendung von formalen Methoden vereinfacht und fördert, indem benutzerfreundliche Erklärungen der Verifikationsergebnisse der Ingenieurin bzw. dem Ingenieur präsentiert werden. Der Ansatz zur Erklärung von Gegenbeispielen wird mittels zweier Methoden evaluiert: (1) Evaluation anhand verschiedener Anwendungsbeispiele und (2) eine Benutzerstudie in Form eines One-Group Pretest-Posttest Experiments. / Whenever new requirements are introduced for a system, the correctness and consistency of the system specification must be verified, which is often done manually in industrial settings. One viable option to traverse disadvantages of this manual analysis is to employ the contract-based design, which can automate the verification process to determine whether the refinements of top-level requirements are consistent. Thus, verification can be performed iteratively to ensure the system’s correctness and consistency in the face of any change in specifications. Having said that, it is still challenging to deploy formal approaches in industries due to their lack of usability and their difficulties in interpreting verification results. For instance, if the model checker identifies inconsistency during the verification, it generates a counterexample while also indicating that the given input specifications are inconsistent. Here, the formidable challenge is to comprehend the generated counterexample, which is often lengthy, cryptic, and complex. Furthermore, it is the engineer’s responsibility to identify the inconsistent specification among a potentially huge set of specifications. This PhD thesis proposes a counterexample explanation approach for formal methods that simplifies and encourages their use by presenting user-friendly explanations of the verification results. The proposed counterexample explanation approach identifies and explains relevant information from the verification result in what seems like a natural language statement. The counterexample explanation approach extracts relevant information by identifying inconsistent specifications from among the set of specifications, as well as erroneous states and variables from the counterexample. The counterexample explanation approach is evaluated using two methods: (1) evaluation with different application examples, and (2) a user-study known as one-group pretest and posttest experiment.

With social media now being ubiquitously used by citizens and political actors, concerns over the incivility of interactions on these platforms have grown. While research has already started to investigate some of the factors that lead users to leave incivil comments on political social media posts, we are lacking a comprehensive understanding of the influence of platform, post, and person characteristics. Using automated text analysis methods on a large body of U.S. Congress Members' social media posts (n = 253,884) and the associated user comments (n = 49,508,863), we investigate how different social media platforms (Facebook, Twitter), characteristics of the original post (e.g., incivility, reach), and personal characteristics of the politicians (e.g., gender, ethnicity) affect the occurrence of incivil user comments. Our results show that ~23% of all comments can be classified as incivil but that there are important temporal and contextual dynamics. Having incivil comments on one's social media page seems more likely on Twitter than on Facebook and more likely when politicians use incivil language themselves, while the influence of personal characteristics is less clear-cut. Our findings add to the literature on political incivility by providing important insights regarding the dynamics of uncivil discourse, thus helping platforms, political actors, and educators to address associated problems.

No description available.

No description available.

No description available.

No description available.