The quantum electrodynamics in the presence of background external fields is developed. Modern methods of local quantum physics allow to formulate the theory on arbitrarily strong possibly time-dependent external fields. Non-linear observables which depend only locally on the external field are constructed. The tools necessary for this formulation, the parametrices of the Dirac operator, are in...

Der Softwaretest wird heute als wichtiger Teil der Softwareentwicklung wahrgenommen. Da manuelles Testen teuer und unpräzise ist, werden verstärkt Werkzeuge zum Test-Management eingesetzt. Allerdings bleibt es dem Benutzer in der Regel selbst überlassen, die Testfälle zu erzeugen. Das Werkzeug, das wir in diesem Paper präsentieren, verwendet einen neuartigen Ansatz, um Testfälle zu vorgegebenen...

Zusammenfassung. In diesem Paper wird ein zweistufiges Verfahren zur Farbkalibrierung vorgestellt, welches auf [2, 6, 5] basiert. Unter Farbkalibrierung ist in diesem Kontext die farbmetrische Charakterisierung und die Normierung von Bilderfassungsgeräten zu verstehen, die dem Ziel dient, aufgenommene Szenen in Szenen unter zuvor definierten Referenzbedingungen zu überführen. Ausgangspunkt für ...

We study the performance of algorithms for the Single-Source Shortest-Paths (SSSP) problem on graphs with nodes and edges with nonnegative random weights. All previously known SSSP algorithms for directed graphs required superlinear time. We give the first SSSP algorithms that provably achieve linear average-case execution time on arbitrary directed graphs with random edge weights. For independ...

A very useful multi-objective technique is goal programming. There are many methodologies of goal programming such as weighted goal programming, min-max goal programming, and lexicographic goal programming. In this paper, weighted goal programming is reformulated as goal programming with logarithmic deviation variables. Here, a comparison of the proposed method and goal programming with weighte...