Reduction Agency. The overall system architecture is described. The principal tool for verification is a process algebra, PARS, based on port automata theory. PARS is introduced, emphasizing its ability to represent probabilistic programs and uncertain and dynamic environments, followed by the analysis of mission properties for an example robotic mission.

Belonging to the G protein-coupled receptor (GPcr) family, the protease-activated receptors (Pars) consist of 4 members, PAR1-4. PARs mediate the activation of cells via thrombin, serine and other proteases. Such protease-triggered signaling events are thought to be critical for hemostasis, thrombosis and other normal pathological processes. In the present study, we examined the evolution of PA...

BACKGROUND AND OBJECTIVE To evaluate the efficacy and safety of the pars plana Ahmed glaucoma valve (New World Medical, Inc., Rancho Cucamonga, CA) implant combined with pars plana vitrectomy and panretinal photocoagulation for the management of neovascular glaucoma in patients with vitreous hemorrhage. PATIENTS AND METHODS The records of 18 eyes of 17 consecutive patients with neovascular gl...

Proteinase-activated receptors (PARs) are G protein-coupled receptors that transmit cellular responses to extracellular proteases and have important functions in vascular physiology, development, inflammation, and cancer progression. The established paradigm for PAR activation involves proteolytic cleavage of the extracellular N terminus, which reveals a new N terminus that functions as a tethe...

OBJECTIVE to define the quantitative characteristics of cell structures in the substantia nigra pars compacta of neurologically healthy elderly people (men and women). MATERIAL AND METHODS Autopsy brain materials from neurologically healthy men and women who had died from intercurrent diseases at the age of 72 to 87 years were examined for quantitative characteristics of the substantia nigra ...

A multidisciplinary approach was followed to investigate whether the opioid-like peptide nociceptin/orphanin FQ (N/OFQ) regulates the nigrostriatal dopaminergic pathway and motor behavior. Nigrostriatal dopaminergic cells, which express N/OFQ peptide (NOP) receptors, are located in the substantia nigra pars compacta and extend their dendrites in the substantia nigra pars reticulata, thereby mod...

background although, there have been extensive research on the motivations driving patient to undergo cosmetic procedures, there is still a big question mark on the persuasive factors which may lead individuals to undergo cosmetic surgery. the present study evaluated various factors affecting patients undergoing cosmetic surgery in bushehr, southern iran. methods from 24th march 2011 to 24th ma...

Previous studies have shown that protease-activated receptors (PARs) play an important role in various physiological processes. In the present investigation, we determined the expression of PARs on human lung fibroblasts (HLF-1) and whether they were involved in cellular differentiation and pro-inflammatory cytokine and prostaglandin (PGE2) secretion. PAR-1, PAR-2, PAR-3, and PAR-4 were detecte...

PURPOSE To establish a correlation between the presence of a 36 kDa protein in the blood of patients with pars planitis and to characterize and purify this protein. METHODS Blood samples were obtained from patients with pars planitis and other types of uveitis and from various controls. Samples were treated with polyethelene glycol and protein A and were analyzed on 10% SDS-PAGE for the prese...