### Refine

#### Year of publication

- 2006 (445) (remove)

#### Document Type

- Article (197)
- Working Paper (73)
- Doctoral Thesis (53)
- Preprint (32)
- Other (23)
- Periodical Parts (20)
- Book (11)
- Conference Proceeding (11)
- Part of a Book (10)
- Review (6)

#### Language

- English (445) (remove)

#### Keywords

- Informationsstruktur (8)
- Mozart (4)
- Computerlinguistik (3)
- Deutsch (3)
- RHIC (3)
- conservation (3)
- Aesculus hippocastanum (2)
- Cameraria ohridella (2)
- Deutsch (2)
- Englisch (2)

#### Institute

- Physik (44)
- Center for Financial Studies (CFS) (40)
- Medizin (24)
- Biochemie und Chemie (22)
- Wirtschaftswissenschaften (20)
- Universitätsbibliothek (19)
- Biowissenschaften (17)
- Frankfurt Institute for Advanced Studies (FIAS) (15)
- Extern (12)
- Geowissenschaften (12)

- A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations (2006)
- 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.

- Visual representation in the work of Joseph Roth, 1923-1932 (2006)
- Through an examination of Joseph Roth’s reportage and fiction published between 1923 and 1932, this thesis seeks to provide a systematic analysis of a particular aspect of the author’s literary style, namely his use of sharply focused visual representations, which are termed Heuristic Visuals. Close textual analysis, supplemented by insights from reader-response theory, psychology, psycholinguistics and sociology illuminate the function of these visual representations. The thesis also seeks to discover whether there are significant differences and correspondences in the use of visual representations between the reportage and fiction genres. Roth believed that writers should be engagiert, and that the truth could only be arrived at through close observation of reality, not subordinated to theory. The research analyses the techniques by which Roth challenges his readers and encourages them to discover the truth for themselves. Three basic variants of Heuristic Visuals are identified, and their use in different contexts, including that of dialectical presentations, is explored. There is evidence of the use of different variants of Heuristic Visuals according to the respective rhetorical demands of particular thematic issues. It has also been possible to establish synchronic correspondences between the different genres, and diachronic correspondences within genres. Although there are examples within the reportage where the entire article is based on an Heuristic Visual, the use of Heuristic Visuals cannot be seen as a key organizing principle in Roth’s work as a whole. As his mastery of the technique reaches its highest point in the early 1930s, Heuristic Visuals are often incorporated into the reconstruction of a complete sensory experience. Analysis of Roth’s heuristic use of visual representations has led to important insights, including a reinterpretation of the endings of Roth’s two most famous novels: Hiob and Radetzkymarsch.

- On negation in yes/no questions in Serbo-Croatian (2006)
- The phenomenon discussed in this paper is the so-called expletive negation in negated yes/no questions in Serbo-Croatian. The term expletive negation seems, at this point to be a useful descriptive term for the phenomenon in question. One of the goals of this paper, however, is to show that it is not the correct one. Proposing the existence of semantically vacuous negation is the consequence of the assumption that sentential negation has a fixed position in the clausal hierarchy (Brown and Franks 1995). This approach cannot account for the relevant data in Serbo-Croatian. My claim is that the cases under consideration involve an alternative position of NegP in Serbo-Croatian, above TP. It is confined to the derivation of one semantic type of negated yes/no interrogatives, and it cannot trigger negative concord.

- Frullania tamarisci var. azorica (Jubulaceae, Marchantiopsida), a new taxon from the Azores (2006)
- Frullania tamarisci (L.) Dumort. var. azorica J.-P.Frahm (subg. Frullania) is described as new from the islands of Terceira and Pico (Azores, Portugal). It resembles var. tamarisci, but differs in longly apiculate, incurved leaf apex ending in an unicellular tip and not decurrent underleaves.

- New bryophyte taxon records for tropical countries 6 (2006)
- New bryophyte taxon records for tropical countries 6.

- Distance in spatial interpolation of daily rain gauge data (2006)
- Spatial interpolation of rain gauge data is important in forcing of hydrological simulations or evaluation of weather predictions, for example. This paper investigates the application of statistical distance, like one minus common variance of observation time series, between data sites instead of geographical distance in interpolation. Here, as a typical representative of interpolation methods the inverse distance weighting interpolation is applied and the test data is daily precipitation observed in Austria. Choosing statistical distance instead of geographical distance in interpolation of available coarse network observations to sites of a denser network, which is not reporting for the interpolation date, yields more robust interpolation results. The most distinct performance enhancement is in or close to mountainous terrain. Therefore, application of statistical distance in the inverse distance weighting interpolation or in similar methods can parsimoniously densify the currently available observation network. Additionally, the success further motivates search for conceptual rain-orography interaction models as components of spatial rain interpolation algorithms in mountainous terrain.

- Moss and liverwort epiphytes on trunks of Cyathea delgadii in a fragment of tropical rain forest, São Paulo State, Brazil (2006)
- This study is a survey of the bryophyte species that occur on the trunks of Cyathea delgadii Sternb. (Cyatheaceae), a native tree fern, encountered in a fragment of Atlantic forest located in the area of the „Parque Estadual das Fontes do Ipiranga (PEFI)“, São Paulo State, Brazil. Specimens of bryophytes were collected from March 2001 to October 2003. We found 35 bryophyte species (12 spp. of mosses and 23 of liverworts). Ceratolejeuenea dentacornuta Steph. is presented as a new record for Brazil. A brief discussion about previous records of bryophyte species growing on trunks of tree ferns in Brazil is also presented.

- New records of Thailand mosses collected from Chiang Mai Province (2006)
- Seven new moss records are reported for Thailand moss flora, namely Anacamptodon latidens, Fissidens beckettii, Fissidens bryoides var. esquirolii, Fissidens bryoides var. schmidii, Fissidens flabellulus, Fissidens guangdongensis, and Weissia platystegia. Anacamptodon is a new generic record for Indochina. Anacamptodon latidens, Fissidens bryoides var. esquirolii, Fissidens bryoides var. schmidii, Fissidens flabellulus, and Fissidens guangdongensis are also new records for the Indochinese moss flora.

- A range extension for Haplomitrium mnioides (Lindb.) R.M.Schust. (2006)
- Haplomitrium mnioides (Lindb.) R.M.Schust. is reported as new to Hainan Island. A continuous distribution of H. mnioides from west (Thailand) to east (Japan) is confirmed. Habitat pictures and a distribution map are provided.