Efficient laser-driven proton acceleration in the ultra-short pulse regime

The work described in this thesis is concerned with the experimental investigation of the acceleration of high energy proton pulses generated by relativistic laser-plasma interaction and their application. Using the high intensity 150 TW Ti:sapphire based ultra-short pulse laser Draco, a laser-driven proton source was set up and characterized. Conducting experiments on the basis of the established target normal sheath acceleration (TNSA) process, proton energies of up to 20 MeV were obtained. The reliable performance of the proton source was demonstrated in the first direct and dose controlled comparison of the radiobiological effectiveness of intense proton pulses with that of conventionally generated continuous proton beams for the irradiation of in vitro tumour cells. As potential application radiation therapy calls for proton energies exceeding 200 MeV. Therefore the scaling of the maximum proton energy with laser power was investigated and observed to be near-linear for the case of ultra-short laser pulses. This result is attributed to the efficient predominantly quasi-static acceleration in the short acceleration period close to the target rear surface. This assumption is furthermore confirmed by the observation of prominent non-target-normal emission of energetic protons reflecting an asymmetry in the field distribution of promptly accelerated electrons generated by using oblique laser incidence or angularly chirped laser pulses. Supported by numerical simulations, this novel diagnostic reveals the relevance of the initial prethermal phase of the acceleration process preceding the thermal plasma sheath expansion of TNSA. During the plasma expansion phase, the efficiency of the proton acceleration can be improved using so called reduced mass targets (RMT). By confining the lateral target size which avoids the dilution of the expanding sheath and thus increases the strength of the accelerating sheath fields a significant increase of the proton energy and the proton yield was observed

A formal evaluation of data flow path selection criteria

A number of path selection criteria have been proposed throughout the years. Unfortunately, little work has been done on comparing these criteria. To determine what would be an effective path selection criterion for revealing errors in programs, we have undertaken an evaluation of these criteria. This paper reports on the results of our evaluation of path selection criteria based on data flow relationships. We show how these criteria relate to each other, thereby demonstrating some of their strengths and weaknesses. In addition, we suggest minor changes to some criteria that improve their performance. We conclude with a discussion of the major limitations of these criteria and directions for future research

Haushaltskonsolidierung und Steuerpolitik

In seiner Festrede anlässlich der 61. ifo Jahresversammlung setzte sich Martin Zeil, Bayerischer Staatsminister für Wirtschaft, Infrastruktur, Verkehr und Technologie, mit der Haushaltskonsolidierung und der Steuerpolitik auseinander. Zu Beginn seines Vortrags betonte Zeil die Notwendigkeit, finanzpolitische Disziplin in ganz Europa durchzusetzen und das Abdriften Europas in eine Transferunion zu verhindern. Die Hauskonsolidierung habe höchste Priorität und sollte bei der Ausgabenseite beginnen. Die zweite Aufgabe, vor der Deutschland jetzt stehe, sei die Schaffung der Grundlagen für ein nachhaltiges Wachstum. Und drittens müsse das Steuersystem transparenter und gerechter gestaltet werden.Haushaltskonsolidierung, Steuerpolitik, Wirtschaftswachstum, Deutschland

Feed-forward and visual feedback control of head roll orientation in wasps (Polistes humilis, Vespidae, Hymenoptera)

Flying insects keep their visual system horizontally aligned, suggesting that gaze stabilization is a crucial first step in flight control. Unlike flies, hymenopteran insects such as bees and wasps do not have halteres that provide fast, feed-forward ang

The learning walks of ants (Hymenoptera: Formicidae)

When transitioning from in-nest duties to their foraging life outside the nest, ants perform a series of highly choreographed learning walks around the nest entrance, before leaving to forage for the first time. These learning walks have been described in detail only for a few species of ants, but a pattern of similarities and differences is emerging that we review here with an emphasis on understanding the functional significance of this learning process for efficient homing in ants. We compare the organization of learning walks in ants with that of the learning flights in bees and wasps and provide a list of key research questions that would need to be tackled if we are to understand the role of learning walks in the acquisition of nest-location information, the evolution of this highly conserved learning process, and how it is controlled.We acknowledge financial support to JZ from the Australian Research Council’s Discovery Program (DP150101172 and DP150102699) and to PNF from a Scientia-Scholarship, University of Würzburg, and the Deutsche Forschungsgemeinschaft (project FL1060/1-1)

Head roll stabilisation in the nocturnal bull ant Myrmecia pyriformis: implications for visual navigation

Ant foragers are known to memorise visual scenes that allow them to repeatedly travel along idiosyncratic routes and to return to specific places. Guidance is provided by a comparison between visual memories and current views, which critically depends on how well the attitude of the visual system is controlled. Here we show that nocturnal bull ants stabilise their head to varying degrees against locomotion-induced body roll movements and this ability decreases as light levels fall. There are always un-compensated head roll oscillations that match the frequency of the stride-cycle. Head roll stabilisation involves both visual and non-visual cues as ants compensate for body roll in complete darkness and also respond with head roll movements when confronted with visual pattern oscillations. We show that imperfect head roll control degrades navigation-relevant visual information and discuss ways in which navigating ants may deal with this problem

A Scalable Backward Chaining-Based Reasoner for a Semantic Web

In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning over a semantic web where the underlying knowledge base covers linked data about science research that are being harvested from the Web and are supplemented and edited by community members. In the semantic web over which we want to reason, frequent changes occur in the underlying knowledge base, and less frequent changes occur in the underlying ontology or the rule set that governs the reasoning. Interposing a backward chaining reasoner between a knowledge base and a query manager yields an architecture that can support reasoning in the face of frequent changes. However, such an interposition of the reasoning introduces uncertainty regarding the size and effort measurements typically exploited during query optimization. We present an algorithm for dynamic query optimization in such an architecture. We also introduce new optimization techniques to the backward-chaining algorithm. We show that these techniques together with the query-optimization reported on earlier, will allow us to actually outperform forward-chaining reasoners in scenarios where the knowledge base is subject to frequent change. Finally, we analyze the impact of these techniques on a large knowledge base that requires external storage