Retractions in comparing PROLOG semantics

We present an operational model O and a continuation based denotational model D for a uniform variant of PROLOG, including the cut operator. The two semantical definitions make use of higher order transformations Phi and Psi, respectively. We prove O and D equivalent in a novel way by comparing yet another pair of higher order transformations Phi~ and Psi~, that yield Phi and Psi, respectively, by application of a suitable abstraction operator

Continuation semantics for PROLOG with cut

We present a denotational continuation semantics for PROLOG with cut. First a uniform language B is studied, which captures the control flow aspects of PROLOG. The denotational semantics for B is proven equivalent to a transition system based operational semantics. The congruence proof relies on the representation of the operational semantics as a chain of approximations and on a convenient induction principle. Finally, we interpret the abstract language B such that we obtain equivalent denotational and operational models for PROLOG itself

Denotational semantics for unguarded recursion: the demonic case

We show that the technique to prove equivalence of operational and denotational cpo based semantics using retractions, as introduced in de Bruin & Vink [1989] for a sequential backtracking language, can be applied to parallel languages as well. We prove equivalence for a uniform language in which procedure calls need not be guarded. The unguardedness is taken care of by giving a semantics in which the nondeterminism is demonic

Cells with UV-Specific DNA Damage Are Present in Murine Lymph Nodes After In Vivo UV Irradiation

Ultraviolet radiation is absorbed in the skin, especially in the epidermis. After ultraviolet irradiation the number of major histocompatibility complex class II+, adenosine triphosphatase+ Langerhans cells and Thy-1+ dendritic epidermal cells in the epidermis decreases. Whether this decrease is due to migration of these cells or to loss of membrane markers is not clear. To address this question we have used the monoclonal antibody H3 directed against cyclobutyl thymine dimers – a form of DNA damage that is specifically induced by ultraviolet radiation – to investigate whether H3+ cells are present in the draining lymph nodes of the skin after ultraviolet irradiation of hairless, inbred mice (HRA/Skh). After a single dose of ultraviolet radiation (Westinghouse FS40, 1.5 kJ/m2), H3+ cells were present in the paracortex of the draining lymph nodes. No positive cells were found in t:he blood of irradiated mice. These results suggest that the H3+ cell in the lymph nodes originate from the skin. The number H3+ cells in the draining lymph nodes increased the first 24 h after irradiation and then stabilized. Immunohistochemical double staining revealed that all H3+ cells were major histocompatibility complex II+, and that only a fraction of the cells were NLDC-145 positive. No Vγ3-cell receptor bearing cells could be found in the lymph nodes after UV irradiation of the skin

Electrical remodeling after percutaneous atrial septal defect closure in pediatric and adult patients

Background: Several studies have reported changes in electrocardiographic variables after atrial septal defect (ASD) closure. However no temporal electro-and vectorcardiographic changes have been described from acute to long-term follow-up at different ages. We aimed to study electrical remodeling after percutaneous ASD closure in pediatric and adult patients. Methods: ECGs of 69 children and 75 adults (median age 6 [IQR 4–11] years and 45 [IQR 33–54] years, respectively) were retrospectively selected before percutaneous ASD closure and at acute (1–7 days), intermediate (4–14 weeks) and late (6–18 months) follow-up. Apart from electrocardiographic variables, spatial QRS-T angle and ventricular gradient (VG) were derived from mathematically-synthesized vectorcardiograms. Results: In both pediatric and adult patients, the heart rate decreased immediately post-closure, which persisted to late follow-up. The P-wave amplitude also decreased acutely post-closure, but remained unchanged at later follow-up. The PQ duration shortened immediately in children and at intermediate follow-up in adults. The QRS duration and QTc interval decreased at intermediate-term follow-up in both children and adults. In both groups the spatial QRS-T angle decreased at late follow-up. The VG magnitude increased at intermediate follow-up in children and at late follow-up in adults, after an initial decrease in children. Conclusion: In both pediatric and adult ASD patients, electrocardiographic changes mainly occurred directly after ASD closure except for shortening of QRS duration and QTc interval, which occurred at later follow-up. Adults also showed late changes in PQ duration. At 6-to-18 month post-closure, the spatial QRS-T angle decreased, reflecting increased electrocardiographic concordance. The initial acute decrease in VG in children, which was followed by a significant increase, may be the effect of action potential duration dynamics directly after percutaneous ASD closure