Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this ...

BACKGROUND How an animal moves through its environment directly impacts its survival, reproduction, and thus biological fitness. A basic measure describing how an individual (or group) travels through its environment is Day Path Length (DPL), i.e., the distance travelled in a 24-hour period. Here, we investigate the ecological determinants of baboon (Papio spp.) troop DPL and movements at local...

diagnostic peritoneal lavage (dpl) is considered by many as the most important investigation for the early detection of intraperitoneal injury. the aim of this study is to assess the accuracy of dpl as a diagnostic method in evaluating abdominal trauma. a prospectively maintained database of all dpls performed in the past 36 months at sina hospital was analyzed. information relative to the type...

Diffuse pulmonary lymphangiomatosis (DPL) is a rare interstitial lung disease characterized by intrathoracic lymphatic system abnormalities often with involvement of both lungs. Here, we report a 24-year-old male patient with DPL initially located in one lung, presenting only with transient fever. Resection of the right middle and lower lobes was performed for diagnosis and complete removal of ...

Document Product Lines (DPL) is a document engineering methodology that applies product-line engineering principles to the generation of documents in high variability contexts and with high reuse of components. Instead of standalone documents, DPL promotes the definition of families of documents where the members share some common content while differ in other parts. The key for the definition ...

Changes in ganglioside composition, biosynthesis and individual distribution were studied in hippocampal regions after unilateral destruction of the entorhinal cortex. After 1 and 3 days postlesion (dpl), a decrease in ganglioside content was detected in area dentata (AD) and pyramidal cell regions CA1-CA3 (CA), both ipsilateral and contralateral to the lesion. By 5 dpl all the values had retur...

The Prnp gene encodes the cellular prion protein PrP(C). Removal of its ORF does not result in pathological phenotypes, but deletions extending into the upstream intron result in cerebellar degeneration, possibly because of ectopic cis-activation of the Prnd locus that encodes the PrP(C) homologue Doppel (Dpl). To test this hypothesis, we removed Prnd from Prnp(o/o) mice by transallelic meiotic...

This paper proposes shift-trim double patterning lithography (ST-DPL), a cost-effective method for achieving 2× pitchrelaxation with a single photomask (especially at polysilicon layer). The mask is re-used for the second exposure by applying a translational mask-shift. Extra printed features are then removed using a non-critical trim exposure. The viability of ST-DPL is demonstrated. The propo...

To determine the roles of diagnostic peritoneal lavage (DPL) and abdominal computed tomography (CT) in the evaluation of blunt abdominal trauma, we compared our results in the eras before and after the advent of abdominal CT. In the pre-CT era 1977 to 1980 (group 1; 365 patients), DPL was the diagnostic procedure of choice. In the CT era 1983 to 1986 (group 2; 282 patients), DPL was used for un...

A wealth of evidence points to an abnormal form of the prion protein called PrP(Sc) as the transmissible agent responsible for prion diseases. However, the physiological function of its normal conformer, the cellular prion protein (PrP(C)), is still unknown. Recently, a homologue of PrP(C) was discovered and denoted Doppel (Dpl). In contrast to PrP, mice deficient for Dpl suffer from an importa...