Refine
Year of publication
- 2006 (2000) (remove)
Document Type
- Article (778)
- Doctoral Thesis (295)
- Part of Periodical (192)
- Part of a Book (158)
- Working Paper (123)
- Review (109)
- Book (105)
- Conference Proceeding (72)
- Report (54)
- Preprint (49)
Language
- German (1355)
- English (583)
- Portuguese (22)
- French (17)
- Multiple languages (10)
- Spanish (5)
- Polish (3)
- Yiddish (3)
- Italian (1)
- mis (1)
Keywords
- Literatur (35)
- Deutsch (32)
- Frankfurt <Main> / Universität (29)
- Rezension (27)
- Thema-Rhema-Gliederung (22)
- Deutschland (21)
- Formale Semantik (20)
- Englisch (18)
- Rezeption (17)
- Syntax (15)
Institute
- Medizin (185)
- Extern (96)
- Biochemie und Chemie (70)
- Physik (69)
- Biowissenschaften (56)
- Rechtswissenschaft (50)
- Präsidium (46)
- Center for Financial Studies (CFS) (44)
- Geschichtswissenschaften (39)
- Gesellschaftswissenschaften (38)
Eine Vielzahl an biologischen und medizinischen Studien, die sich mit möglichen Ursachen von Homosexualität beschäftigen, wurden in den letzten 120 Jahren publiziert. Arbeiten aus den Bereichen der Endokrinologie, Morphologie und Genetik werden anhand wissenschaftlicher Kriterien analysiert. Dabei wird gezeigt, dass keine der Arbeiten einer eingehenden Überprüfung standhält. Ein separates Kapitel gibt Auskunft über Homosexualitätsforschung und „Therapieversuche“ an Homosexuellen im nationalsozialistischen Deutschen Reich. Methoden der Erfassung von sexueller Orientierung und Konzepte sowie die Entstehungsgeschichte des Begriffs Homosexualität werden vorgestellt. Weiterhin werden Motive und Risiken biomedizinischer Homosexualitätsforschung diskutiert. Eine Erklärung für das Missverhältnis zwischen der Popularität der publizierten Ergebnisse und ihrer wissenschaftlichen Qualität wird gesucht. Der Autor legt dar, dass mit der erstmaligen Erwähnung der gleichgeschlechtlichen Liebe in der medizinischen Literatur die Kategorie „des Homosexuellen“ als Sammelbegriff für ein amorphes kulturelles Phänomen erst konstruiert wurde. In der unreflektierten Adaptation dieser Kategorie durch die Naturwissenschaften unter der Annahme, sie reflektiere eine biologische Gegebenheit, sieht er das bisherige und zukünftige Scheitern der biomedizinischen Homosexualitätsforschung begründet. Abschließend wird die Frage nach der Berechtigung dieser Disziplin gestellt.
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the programming language Alice ML. We show that natural program optimizations, as well as partial evaluation with respect to deterministic rules, are correct for Lambda(fut). This relies on a number of fundamental properties that we establish for our observational semantics.
Diese Diplomarbeit beschäftigt sich sowohl mit der Akquisition, der Verwaltung und der winkelabhängigen, spektralen Reflexionsfunktion BRDF (Bidirectional Reflectance Distribution Function) und BTFs (Bidirection Texture Functions) von einigen ausgewählten realistischen Materialoberflächen bei fester Beleuchtung, als auch der Generierung der BTFs aus vorhandenen BRDFs und BTFs und der Anwendung der Beschreibung von Oberflächen mittels BRDFs und BTFs bei Erzeugungen von 3D-Szenen. Im Rahmen dieser Diplomarbeit werden Konzepte für eine effektivere Nutzung von BTFs in der photorealistischen Bilderzeugung entwickelt und prototypisch umgesetzt. Der Fokus liegt dabei auf einer vereinfachten Synthese von BTFs aus vorhandenen BRDF- und BTF-Daten, sowie in einer effizienten Nutzbarmachung dieser Informationen für Rendering-Prozesse.
We present a higher-order call-by-need lambda calculus enriched with constructors, case-expressions, recursive letrec-expressions, a seq-operator for sequential evaluation and a non-deterministic operator amb that is locally bottom-avoiding. We use a small-step operational semantics in form of a single-step rewriting system that defines a (nondeterministic) normal order reduction. This strategy can be made fair by adding resources for bookkeeping. As equational theory we use contextual equivalence, i.e. terms are equal if plugged into any program context their termination behaviour is the same, where we use a combination of may- as well as must-convergence, which is appropriate for non-deterministic computations. We show that we can drop the fairness condition for equational reasoning, since the valid equations w.r.t. normal order reduction are the same as for fair normal order reduction. We evolve different proof tools for proving correctness of program transformations, in particular, a context lemma for may- as well as mustconvergence is proved, which restricts the number of contexts that need to be examined for proving contextual equivalence. In combination with so-called complete sets of commuting and forking diagrams we show that all the deterministic reduction rules and also some additional transformations preserve contextual equivalence.We also prove a standardisation theorem for fair normal order reduction. The structure of the ordering <=c a is also analysed: Ω is not a least element, and <=c already implies contextual equivalence w.r.t. may-convergence.
Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, all lists not eventually ending in Nil, and all non-terminating programs, respectively. We use a set language that permits union, constructors and recursive definition of set constants with a greatest fixpoint semantics in the set of all, also infinite, computable trees, where all term constructors are non-strict. This internal report proves decidability, in particular DEXPTIME-completeness, of inclusion of co-inductively defined sets by using algorithms and results from tree automata and set constraints, and contains detailed proofs. The test for set inclusion is required by certain strictness analysis algorithms in lazy functional programming languages and could also be the basis for further set-based analyses.
Hartmann von Aue’s borrowing of the world âventiure from French in his ‘Erec’ means that the term was developed further in the field of poetology – it did not only mean an ‘event which was told’, but it also came to mean ‘the act of telling as a (medial) event’, as a successful (or unsuccessful) creation of sense. In the ‘Nibelungenlied ‘,’âventuire’ has the connotation of contingency as establishing order by means of the plot failures. This deficit is compensated by the fascination of the singer’s performance. This is where Wolfram starts.