Refine
Is part of the Bibliography
29506 search hits
-
A non-deterministic call-by-need lambda calculus
(1999)
-
Arne Kutzner
Manfred Schmidt-Schauß
- In this paper we present a non-deterministic call-by-need (untyped) lambda calculus lambda nd with a constant choice and a let-syntax that models sharing. Our main result is that lambda nd has the nice operational properties of the standard lambda calculus: confluence on sets of expressions, and normal order reduction is sufficient to reach head normal form. Using a strong contextual equivalence we show correctness of several program transformations. In particular of lambdalifting using deterministic maximal free expressions. These results show that lambda nd is a new and also natural combination of non-determinism and lambda-calculus, which has a lot of opportunities for parallel evaluation. An intended application of lambda nd is as a foundation for compiling lazy functional programming languages with I/O based on direct calls. The set of correct program transformations can be rigorously distinguished from non-correct ones. All program transformations are permitted with the slight exception that for transformations like common subexpression elimination and lambda-lifting with maximal free expressions the involved subexpressions have to be deterministic ones.
-
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
(1999)
-
Arne Kutzner
-
Auf der Spur des Ursprungs und der Evolution von Sekundärionen aus Ion-Festkörper-Stößen
(2001)
-
Roman Neugebauer
- In dieser Arbeit werden grundlegende Untersuchungen zur Ion-Festkörper Wechselwirkung vorgestellt, die zu Sekundärionen-Emissionsprozessen führen. Das Ziel ist hierbei, aus den Experimenten Informationen über den Ursprung, die Bindungsmechanismen und die Evolution der Sekundärionen (SI) zu erhalten und die experimentellen Daten mit Rechnungen eines kürzlich entwickelten Desorptions-Modells zu vergleichen. Die Untersuchungen sind in zwei Gebiete unterteilt, die 1.) den Einfluß von Projektil-Eigenschaften wie Energie, Masse und Ladung auf die SI-Emission und 2.) den Einfluß von Targeteigenschaften wie Temperatur und Material auf die SI-Emission zum Gegenstand haben. Die gemessenen H+- - und CxH+- y -SI entstammen einer Oberflächen-Kontaminationsschicht der untersuchten C- und LiF-Targets. Die untersuchten Li+-SI entstammen unmittelbar der LiF-Oberfläche. Zum Studium der SI-Emission werden hier H-, C-, N-, Ar-, Kr- und Sn-Projektile, im Bereich ihres maximalen elektronischen Bremsvermögens Se = (dE=dx)e, eingesetzt. Die von der Projektil-Eintrittsoberfläche emittierten SI werden in Koinzidenz mit jenen unter Hochvakuum-Bedingungen mit einem zylindrischen und einem neu konstruierten linearen Flugzeitspektrometer gemessen. Die Abhängigkeit der SI-Emission von der Projektilgeschwindigkeit (”Geschwindigkeitseffekt”) wird hervorragend durch ein kürzlich von Pereira und da Silveira [Per98a, Per00] entwickeltes Desorptions-Modell beschrieben und zeigt, daß leichte H+-SI einen anderen Emissionsort als schwere CxH+- y -SI entstammen. Diese Resultate werden durch Messungen, die den Einfluß des Projektilladungszustands auf die SI-Ausbeute betrachten, bestätigt. Eine ladungsabhäangige Modifikation des neuen Desorptions-Modells erlaubt zusätzlich, aus den gemessenen relativen SI-Ausbeuten, den Abstand des Emissionsortes von der Spurachse des Projektils zu bestimmen. Aus Untersuchungen zum Einfluß der Projektilmasse auf die SI-Emission folgt zudem eine Korrelation im Emissionsverhalten zwischen H+-SI der Kontaminationsschicht und Li+-SI der tatsächlichen Targetoberfläche. Der Grund hierfür liegt im gleichen Emissionsort dieser beiden unterschiedlichen SI, der von ihrer Bindungsenergie an der Targetoberfläche abhängt. Kontrollierte Variation der LiF- und Cu-Targettemperatur mit einem neu konstruiertem Targethalter zeigen, daß H+-SI im Bereich von 300K <= T <= 380K nahezu vollständig und unabhängig vom Targetmaterial aus der CxHy-Oberflächen-Kontaminationschicht emittiert werden. Durch die Anpassung von Langmuir-Isothermen an die gemessenen SI-Ausbeuten gelingt die Bestimmung der Bindungsenergien EB der CxH+ y -SI, die unmittelbar die LiF- bzw. Cu-Oberfläche bedecken. Das weist auf intermolekulare Bindungen zwischen den CxH+ y -SI und der Oberfläche hin. Die Resultate dieser Rechnung zeigen auch, daß die CxH+ y -SI aus unterschiedlichen Emissionsorten emittiert werden. Hohe Targettemperaturen (< 450K) führen überraschenderweise beim LiF-Target zusätzlich zu einer Metallisierung der Oberfläche, die sich bei weiterer Temperaturerhöhung als Phasenübergang des Targetmaterials auswirkt. Messungen an deuterierten und hydrogenierten Targets zeigen zudem, daß SI-Emission aus dem Targetvolumen nur beim Überschreiten einer hohen Emissionsschwelle Se(> 1700 +- 50eV=A° ) erfolgt.
-
Energiezustände in einem Halbleiterübergitter in gekreuzten elektrischen und magnetischen Feldern
(2005)
-
Claudia Blöser
- In dieser Arbeit werden Energiezustände in einem GaAs/Al0:3Ga0:7As-Halbleiterübergitter in gekreuzten elektrischen und magnetischen Feldern untersucht. Dabei liegt das elektrische Feld F in Wachstumsrichtung an, während das Magnetfeld B senkrecht dazu in der Ebene der Schichten orientiert ist. Es werden die experimentellen Methoden der Elektroreflexions- und Transmissionsspektroskopie angewendet. Die experimentellen Ergebnisse werden sowohl mit theoretischen Berechnungen verglichen als auch mit zeitaufgelösten Daten in Bezug gesetzt. Sowohl in den Elektroreflexions- als auch in den Transmissionsspektren lassen sich je nach relativem Wert des elektrischen und magnetischen Feldes B=F = x drei verschiedene Bereiche unterscheiden. Für kleines x sind Wannier-Stark-Übergänge sichtbar, die sich mit steigendem B-Feld zu höheren Energien verschieben. Die auffälligste Beobachtung ist das Verschwinden der Wannier-Stark-Zustände mit steigendem Magnetfeld: Bei mittlerem x, wenn die magnetische Energie ~!C die Größenordnung der elektrischen Energie ~!B erreicht, beobachtet man einen nahezu strukturlosen Übergangsbereich. Für größere Magnetfeldstärken lassen sich wieder Übergänge identifizieren, die Landau-Charakter besitzen. Die Exzistenz eines strukturlosen Übergangsbereichs unterscheidet die Geometrie gekreuzter Felder wesentlich von der Konfiguration parallel gerichteter Felder (F- und B-Feld in Wachstumsrichtung [5]). Der Übergangsbereich wurde bereits zuvor beobachtet [65], eine Erklärung seines Ursprungs stand jedoch noch aus. Letztere gewinnen wir aus der Zusammenarbeit mit der Theorie: Auf der Grundlage der Modellrechnungen von S. Glutsch und S. Stepanow aus Jena lässt sich feststellen, dass jeder Wannier-Stark-Zustand in Anwesenheit eines Magnetfeldes in Landau-Zustände aufspaltet. Mit steigendem Magnetfeld verschieben sich diese, wie auch die Wannier-Stark-Zustände, zu höheren Energien, so dass sich eine wachsende Anzahl von Zuständen energetisch annähert. Die Wechselwirkung von Zuständen führt zu vermiedenen Überkreuzungen und damit zu einer Verteilung der Oszillatorstärke, so dass die Stärke jedes einzelnen Zustands abnimmt und einzelne Linien nicht mehr aufzulösen sind. Interessanterweise spielt die Verkürzung der Lebenszeit der involvierten Zustände (homogene Linienverbreiterung) eine untergeordnete Rolle bei der Entstehung des Übergangsbereichs. Auch hinsichtlich anderer Aspekte ist die Übereinstimmung von Theorie und Experiment zufriedenstellend: Die auf Grundlage der Einteilchen-Theorie vorhergesagte energetische Verschiebung der Wannier-Stark- und Landau-Niveaus mit steigendem Magnetfeld kann experimentell mittels Elektroreflexionsmessungen verifiziert werden. Die experimentellen Absorptionsspektren lassen sich direkt mit den theoretischen Absorptionsspektren vergleichen und zeigen die vorhergesagten Energieübergänge. Darüberhinaus sind Fano-Resonanzen als asymmmetrische Linienprofile zu beobachten. Das Zusammenspiel von Theorie und Experiment stellt sich demnach in dieser Arbeit als sehr fruchtbar heraus: Die vorgestellten Experimente leisten der Theorie einen Dienst, indem sie wesentliche theoretische Vorhersagen experimentell verifizieren. Andererseits gewinnt das Verständnis der experimentellen Beobachtungen erst durch theoretische Erkenntnisse sein Fundament. Während der Vergleich von Theorie und Experiment weitgehend abgeschlossen ist [21], wirft der Vergleich der spektral aufgelösten Daten mit zeitaufgelösten Messergebnissen noch ungelöste Fragen auf. Die Dynamik optisch angeregter Wellenpakete lässt sich analog zu den Elektroreflexions- und Absorptionsspektren in ein elektrisch-dominiertes Regime für kleines B=F = x und ein magnetisch-dominiertes Regime für großes x unterteilen. Die beiden Bereiche sind durch einen mittleren x-Wert separiert, bei dem keine kohärenten Oszillationen zu beobachten sind. Dieser Übergang findet entgegen der Erwartung nicht bei dem gleichen x-Wert statt wie in spektral aufgelösten Daten. In der vorliegenden Arbeit wird dieser Befund präzisiert: Absorptionsspektren werden mit TEOS-Spektren (englisch: transmittive electrooptic sampling), Elektroreflexionsdaten mit REOS-Spektren (englisch: reflective electro-optic sampling) verglichen. Sehr deutlich ist die Diskrepanz zu erkennen: In spektral aufgelösten Daten liegt der Übergangsbereich bei größeren x-Werten als in zeitaufgelösten Daten, so dass im spektralen Übergangsbereich wieder langlebige Oszillationen in den zeitaufgelösten Messungen zu beobachten sind. Umgekehrt sind in den spektral aufgelösten Messungen noch deutliche Strukturen erkennbar, wenn am dynamischen Übergang zwischen elektrisch- und magnetisch-dominiertem Regime Oszillationen ausbleiben. Die Experimente dieser Arbeit motivieren demnach die weitere Beschäftigung mit folgenden Problemen: Die Diskrepanz zwischen spektral- und zeitaufgelösten Daten hinsichtlich des Übergangsbereichs muss in Zukunft theoretisch behandelt werden. Es besteht bereits ein Angebot von M. M. Dignam, sich des Problems anzunehmen. Damit verbunden ist die Frage nach der genauen Bedingung für den Übergangsbereich in den spektralen Daten, da die bisherige Bedingung zu grob zu sein scheint. Die Untersuchung von Energiezuständen in Halbleiterübergittern wird auch in Zukunft eine Rolle spielen. Nachdem die Geometrien von parallel und senkrecht orientiertem B und F eingehend behandelt wurden, stellt nun der Fall arbiträrer Feldanordnung eine neue Aufgabe dar. Wenn das Magnetfeld mit dem elektrischen Feld einen arbiträren Winkel einschließt, wird in zeitaufgelösten Messungen eine Kopplung von Magneto-Bloch- und Zyklotron-Oszillationen beobachtet, die sich in einem kohärenten Quasi-DC-Strom und verstärkter Feldabschirmung ausdrückt [58]. Es wäre interessant zu untersuchen, mit welchen spektralen Eigenschaften diese dynamischen Befunde korrespondieren. Hierzu bieten sich die Methoden der Elektroreflexions- und Transmissionsspektroskopie an, die sich in dieser Arbeit als geeignet erwiesen haben.
-
A field full of researchers: fieldwork as a collective experience
(2004)
-
Katja Werthmann
- A version of this paper was originally written for a plenary session about "The Futures of Ethnography" at the 1998 EASA conference in Frankfurt/Main. In the preparation of the paper, I sent out some questions to my former fellow researchers by e-mail. I thank Douglas Anthony, Jan-Patrick Heiß, Alaine Hutson, Matthias Krings, and Brian Larkin for their answers.
-
Diébougou, une petite ville du Burkina Faso
(2004)
- Table de matières: Carola Lentz, Richard Kuba et Katja Werthmann: Remerciements ; Katja Werthmann Diébougou : recherche dans une petite ville du Burkina Faso ; Richard Kuba et Katja Werthmann: Diébougou : aperçu historique ; Marlis Gensler Lotissement et histoire à Diébougou : accès aux et contrôle sur les terres urbaines dans le contexte de pluralisme juridique dans une petite ville au Burkina Faso ; Julia Weinmann Les Dagara-Dioula de Diébougou : identité musulmane dans une petite ville ouest-africaine; Marc Hanke Anciens Combattants : images de soi et regards extérieurs; Sékou Amadou Maïga Élections municipales à Diébougou; Oscar Dabiré La recherche aux archives de la Préfecture de Diébougou; Liste des rapports soumis.
-
Diébougou, eine Kleinstadt in Burkina Faso
(2004)
- Enthält: Carola Lentz, Richard Kuba, Katja Werthmann: Danksagung ; Katja Werthmann Diébougou: Kleinstadtforschung in Burkina Faso ; Richard Kuba und Katja Werthmann: Eine kurze Geschichte von Diébougou ; Marlis Gensler Parzellierung und Geschichte in Diébougou: Zugang zu und Kontrolle von Bauland im rechtspluralistischen Kontext einer Kleinstadt in Burkina Faso ; Julia Weinmann Die Dagara-Dyula in Diébougou: Muslimische Identität in einer Kleinstadt in Burkina Faso ; Marc Hanke Anciens Combattants: Selbstdarstellung und Außenwahrnehmung ; Sékou Amadou Maïga Kommunalwahl in Diébougou ; Oscar Dabiré La recherche aux archives de la Préfecture de Diébougou; Liste der Abschlußberichte
-
Klassifikationsergebnisse in der Deformationsquantisierung
(2001)
-
Nikolai Alexander Neumaier
-
Frankfurter Vorarbeiten zum CERN Linear Collider (CLIC) : Vortrag am Institut für Kernphysik/Mainz am 07.12.1989
(1989)
-
Peter Hülsmann
Martin Kurz
-
Hf-Fokussierung
(1989)
-
Martin Kurz
