Universitätspublikationen
Refine
Year of publication
- 2010 (19) (remove)
Document Type
- Conference Proceeding (19) (remove)
Language
- English (19) (remove)
Has Fulltext
- yes (19)
Is part of the Bibliography
- no (19)
Keywords
- Healthcare worker (2)
- Vaccine uptake rate (2)
- Influenza (1)
- Mandatory Vaccinations (1)
- Pertussis (1)
- bisimulation (1)
- call-by-need (1)
- competencies (1)
- contextual equivalence (1)
- course design (1)
Institute
- Physik (13)
- Medizin (3)
- Zentrum für Weiterbildung (2)
- Frankfurt Institute for Advanced Studies (FIAS) (1)
- Informatik (1)
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.
To investigate the formation and the propagation of relativistic shock waves in viscous gluon matter we solve the relativistic Riemann problem using a microscopic parton cascade. We demonstrate the transition from ideal to viscous shock waves by varying the shear viscosity to entropy density ratio n/s. Furthermore we compare our results with those obtained by solving the relativistic causal dissipative fluid equations of Israel and Stewart (IS), in order to show the validity of the IS hydrodynamics. Employing the parton cascade we also investigate the formation of Mach shocks induced by a high-energy gluon traversing viscous gluon matter. For n/s = 0.08 a Mach cone structure is observed, whereas the signal smears out for n/s >=0.32.
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.