We consider the model checking problem for Process Rewrite Systems (PRS s),an infinite-state formalism (non Turing-powerful) which subsumes many commonmodels such as Pushdown Processes and Petri Nets. PRS s can be adopted as for-mal models for programs with dynamic creation and synchronization of concurrentprocesses, and with recursive procedures. The model-checking problem for ...

The paper presents the hardware architecture of the Galileo PRS receiver developed within the BaSE project, and describes the core technologies required for using the Galileo PRS service. The approaches for increasing the robustness against radio frequency interference by using single sideband tracking techniques, adaptive notch filtering and pulse blanking are described. The potential of utili...

The CD3ε cytoplasmic tail contains a conserved proline-rich sequence (PRS) that influences TCR-CD3 expression and signaling. Although the PRS can bind the SH3.1 domain of the cytosolic adapter Nck, whether the PRS is constitutively available for Nck binding or instead represents a cryptic motif that is exposed via conformational change upon TCR-CD3 engagement (CD3Δc) is currently unresolved. Fu...

The adaptor protein Nck is inducibly recruited through its SH3.1 domain to a proline-rich sequence (PRS) in CD3ε after TCR engagement. However, experiments with a knockin mutant bearing an 8-aa replacement of the PRS have indicated that Nck binding to the TCR is constitutive, and that it promotes the degradation of the TCR in preselection double-positive (DP) CD4(+)CD8(+) thymocytes. To clarify...

Pollinator-dependent agriculture heavily relies upon a single pollinator-the honey bee. To diversify pollination strategies, growers are turning to alternatives. Densely planted reservoirs of pollen- and nectar-rich flowers (pollination reservoirs, hereafter "PRs") may improve pollination services provided by wild bees. Our focal agroecosystem, lowbush blueberry (Vaccinium angustifolium Aiton),...

The Pierre Robin sequence (PRS) is the nonrandom association of micrognathia, cleft palate, and glossoptosis, leading to respiratory and feeding difficulties that appear neurogenic rather than mechanical in causation. Genetic determinants are thought to underlie this functional and morphological entity, based on the existence of Mendelian syndromes with PRS. Here, we demonstrate the association...

Cleft palate (CP) is one of the most commonly occurring craniofacial birth defects in humans. In order to study cleft palate in a naturally occurring model system, we utilized the Nova Scotia Duck Tolling Retriever (NSDTR) dog breed. Micro-computed tomography analysis of CP NSDTR craniofacial structures revealed that these dogs exhibit defects similar to those observed in a recognizable subgrou...

OBJECTIVE To develop a clinical tool that predicts pregnancy rates (PRs) in patients with surgically documented endometriosis who attempt non-IVF conception. DESIGN Prospective data collection on 579 patients and comprehensive statistical analysis to derive a new staging system--the endometriosis fertility index (EFI)--from data rather than a priori assumptions, followed by testing the EFI pr...

To confirm associations with a large number of single nucleotide polymorphisms (SNPs), each with only a small effect size, as hypothesized in the polygenic theory for schizophrenia, the International Schizophrenia Consortium (2009, Nature 460:748-752) proposed a polygenic risk score (PRS) test and demonstrated its effectiveness when applied to psychiatric disorders. The basic idea of the PRS te...

Progesterone plays a key role in ovarian cycle-related synaptic plasticity and neuronal excitability. Progesterone receptors (PRs), which mediate the cellular actions of progesterone, are expressed in the hippocampus and other limbic regions, but their functional significance remains unknown. Here, we report a novel role of PRs as crucial mediators in the development of epileptogenesis, which i...