Refine
Year of publication
- 2010 (38) (remove)
Document Type
- Conference Proceeding (38) (remove)
Language
- English (38) (remove)
Has Fulltext
- yes (38)
Is part of the Bibliography
- no (38)
Keywords
- Deklination (2)
- Healthcare worker (2)
- Morphosyntax (2)
- Pronomen (2)
- Vaccine uptake rate (2)
- Ableitung <Linguistik> (1)
- Adjektiv (1)
- Arabisch (1)
- Argumentstruktur (1)
- Auslassung (1)
Institute
- Physik (13)
- Medizin (3)
- Zentrum für Weiterbildung (2)
- Frankfurt Institute for Advanced Studies (FIAS) (1)
- Informatik (1)
Mazatec is an Eastern Otomanguean language spoken by about 200,000 people, located in the northeastern part of the state of Oaxaca, Mexico. The present paper aims to shed new light on Mazatec verb inflection within the framework of current research on Otomanguean phonology and morphology. We intend to show that, despite bewildering apparent complexity, mainly due to extensive morphophonological processes, Mazatec inflectional morphology is in fact rather simple and regular. Realizational approaches, in particular Paradigm Function Morphology (PFM) seem especially adequate to capture such regularities.
Usage-based preferences in written sentence production: The role of local and global statistics
(2010)
In this paper, we will discuss the role of different levels of frequency distributions in sentence processing and in written production, looking at French homophones. A comparison of experimental data and corpus statistics will demonstrate that lexical frequencies as well as local and global coherences have to be taken into account to fully explain the empirically established patterns.
A lot of effort in lattice simulations over the last years has been devoted to studies of the QCD deconfinement transition. Most state-of-the-art simulations use rooted staggered fermions, while Wilson fermions are affected by large systematic uncertainties, such as coarse lattices or heavy sea quarks. Here we report on an ongoing study of the transition, using two degenerate flavours of nonperturbatively O(a) improved Wilson fermions. We start with Nt = 12 and 16 lattices and pion masses of 600 to 450 MeV, aiming at chiral and continuum limits with light quarks.
We compute the static-light baryon spectrum with Nf = 2 flavors of sea quarks using Wilson twisted mass lattice QCD. As light valence quarks we consider quarks, which have the same mass as the sea quarks with corresponding pion masses in the range 340MeV<∼ mPS<∼ 525MeV, as well as partially quenched quarks, which have the mass of the physical s quark. We extract masses of states with isospin I = 0,1/2,1, with strangeness S = 0,−1,−2, with angular momentum of the light degrees of freedom j = 0,1 and with parity P = +,−. We present a preliminary extrapolation in the light u/d and an interpolation in the heavy b quark mass to the physical point and compare with available experimental results.
The QCD phase diagram as a function of temperature, T, and chemical potential for baryon
number, mB, is still unknown today, due to the sign problem, which prohibits direct Monte Carlo
simulations for non-vanishing baryon density. Investigations in models sharing chiral symmetry
with QCD predict a phase diagram, in which the transition corresponds to a smooth crossover at
zero density, but which is strengthened by chemical potential to turn into a first order transition
beyond some second order critical point. This contribution reviews the lattice evidence in favour
and against the existence of a critical point.
The KADoNiS (Karlsruhe Astrophysical Database of Nucleosynthesis in Stars) project is an online
database (www.kadonis.org) for cross sections relevant to the s-process and the p-process.
The first version was an updated sequel to the previous Bao et al. [1] compilations from 1987
and 2000 for (n; g) cross sections relevant to Big Bang and s-process nucleosynthesis. The first
update, KADoNiS v0.2, was published in 2006 [2]. It contained mainly Maxwellian averaged
(n; g) cross sections relevant to the s-process, and some experimental charged particle induced
reaction relevant to the p-process. After that a second update was presented in 2009 [3].
Recently, we started to collect and review all existing experimental data relevant for p-process
nucleosynthesis and to provide a user-friendly database based on the KADoNiS framework. The
p-process part of the KADoNiS database is currently being extended and will include all available
experimental data from (p; g), (p;n), (p;a), (a,g), (a;n) and (a; p) reactions in or close to the
respective Gamow window.
In the Cognate Object Construction (COC) a typically intransitive verb combines with a postverbal noun phrase whose head noun is morphologically or semantically cognate to the verb. I will argue that English has a family of COCs which consists of four different types. The COCs share common core properties but differ with respect to some of their syntactic and semantic properties. I will capture the ''cognateness'' between the verb and the noun in all COCs by token identities at the level of their lexical semantic contribution. I will use an inheritance hierarchy on lexical rule sorts to model the family relations among the different COC types.
The CBM experiment will investigate heavy-ion collisions at beam energies from 8 to 45 AGeV at the future accelerator facility FAIR. The goal of the experiment is to study the QCD phase diagram in the vincinity of the QCD critical point. To do so, CBM aims at measuring rare probes among them open charm. In order to identify those rare and short lived particles despite the rich combinatorial background generated in heavy ion collisions, a micro vertex detector (MVD) providing an unprecedented combination of high rate capability and radiation hardness, very light material budget and excellent granularity is required. In this work, we will discuss the concept of this detector and summarize the status of the R&D.
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec. Bisimilarity simplifies equivalence proofs in the calculus and opens a way for more convenient correctness proofs for program transformations. Although this property may be a natural one to expect, to the best of our knowledge, this paper is the first one providing a proof. The proof technique is to transfer the contextual approximation into Abramsky’s lazy lambda calculus by a fully abstract and surjective translation. This also shows that the natural embedding of Abramsky’s lazy lambda calculus into the call-by-need lambda calculus with letrec is an isomorphism between the respective term-models. We show that the equivalence property proven in this paper transfers to a call-by-need letrec calculus developed by Ariola and Felleisen. 1998 ACM Subject Classification: F.4.2, F.3.2, F.3.3, F.4.1. Key words and phrases: semantics, contextual equivalence, bisimulation, lambda calculus, call-by-need, letrec.