In this paper we introduce a notion of context for Groenendijk Stokhof s Dynamic Predicate Logic DPL We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests conditions and random resettings in the case that we are working over an in nite domain These relations are precisely the ones de nable in DPL if we allow ourselves ar...

We reported that expression of the cellular prion protein (PrPC) rescues doppel (Dpl)-induced cerebellar degeneration in mice. To search for protein(s) that mediate this process, we fused the C-termini of mouse (Mo) PrP and Dpl to the Fc portion of an IgG. Although both MoPrP-Fc and MoDpl-Fc bound to many regions of the brain, we observed restricted binding to granule cells in the cerebellum, s...

In double patterning lithography (DPL), overlay error between two patterning steps at the same layer translates into CD variability. Since CD uniformity budget is very tight, overlay control becomes a tough challenge for DPL. In this paper, we electrically evaluate overlay error for BEOL DPL with the goal of studying relative effects of different overlay sources and interactions of overlay cont...

The genes egl-1, ced-9, ced-4, and ced-3 play major roles in programmed cell death in Caenorhabditis elegans. To identify genes that have more subtle activities, we sought mutations that confer strong cell-death defects in a genetically sensitized mutant background. Specifically, we screened for mutations that enhance the cell-death defects caused by a partial loss-of-function allele of the ced...

Oligodeoxynucleotides containing unmethylated CpG motifs (CpG ODN) mimic the immunostimulatory activity of microbial DNA by interacting with Toll-like receptor 9 (TLR9) to activate both the innate and adaptive immune responses in different species. However, few studies have been published to compare the effects of CpG ODN on different pig breeds. Therefore, in this study, whole blood gene expre...

Dpl (doppel) is a paralogue of the PrPC (cellular prion protein), whose misfolded conformer (the scrapie prion protein, PrPSc) is responsible for the onset of TSEs (transmissible spongiform encephalopathies) or prion diseases. It has been shown that the ectopic expression of Dpl in the brains of some lines of PrP-knockout mice provokes cerebellar ataxia, which can be rescued by the reintroducti...

The DPL (Davis-Putnam-Logemann-Loveland) procedure is one of the most effective methods for solving SAT problems. It is well known that its efficiency depends on the choice of the branching rule. One of the main improvements of this decision procedure has been the development of better branching variable selection through the use of unit propagation look-ahead (UPLA) heuristics (e.g., [13]). UP...

OBJECTIVES Diagnostic peritoneal lavage (DPL) is used to detect intraperitoneal bleeding in patients sustaining blunt and penetrating abdominal trauma. The procedure should be performed by an experienced general surgeon, and the fluid obtained analysed by haematology technicians. Current Advanced Trauma Life Support guidelines are very clear on what constitutes a positive result, mandating lapa...

This research was conducted to compare the effects of two medicinal plants (peppermint and aloe vera) and antibiotic growth promoter on ileum microflora population and growth performance of broiler chickens. In this experiment, 375 one-day old male broiler chickens (Ross 308) were used on a completely randomized design with 5 dietary treatments which were replicated 5 times with 15 birds per re...