We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less expressive up to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Further we show our main result that the reachability problem for PRS extended with a so called weak finite state ...

BACKGROUND Tubular dysfunction is common in HIV-infected people and detection of proteinuria is essential to identify this problem. In low-income countries, resources for detection of proteinuria using the Kidney Disease Improve Global Outcomes (KDIGO) gold standard urinary protein/creatinine ratio (uPCR) is rarely possible, and use of the protein reagent strip (PRS) could be an option in these...

Although much is known about the neural mechanisms responsible for the mnemonic effects of 17β-estradiol (E2 ), very little is understood about the mechanisms through which progesterone (P4 ) regulates memory. We previously showed that intrahippocampal infusion of P4 in ovariectomized female mice enhances object recognition (OR) memory consolidation in a manner dependent on activation of dorsal...

Prenatal Restraint Stress (PRS) in rats is a validated model of early stress resulting in permanent behavioral and neurobiological outcomes. Although sexual dimorphism in the effects of PRS has been hypothesized for more than 30 years, few studies in this long period have directly addressed the issue. Our group has uncovered a pronounced gender difference in the effects of PRS (stress delivered...

Pull Requests (PRs) that are neither progressed nor resolved clutter the list of PRs, making it difficult for maintainers to manage and prioritize unresolved PRs. To automatically track, follow up, close such inactive Stale bot was introduced by GitHub. Despite its increasing adoption, there ongoing debates on whether using alleviates or exacerbates problem better understand if how helps projec...

Give me but a firm spot on which to stand, and I shall move the earth. and I set sail on a new adventure with the launch of Plastic and Reconstructive Surgery—Global Open (PRS Global Open). 1 It was a voyage into unknown territory for some of us: PRS Global Open was one of the first open-access surgery journals in the world, and the first new academic journal for ASPS in more than half a centur...

Various classes of infinite-state processes are often specified by rewrite systems. We extend Mayr’s Process Rewrite Systems (PRS) [13] by finite-state unit whose transition function satisfies some restrictions inspired by weak finite automata. We classify these models by their expressiveness and show how the hierarchy of new classes (w.r.t. bisimilarity) is related to both PRS hierarchy of May...

The steroid hormone, progesterone (P), modulates neuroendocrine functions in the central nervous system resulting in integration of reproduction and reproductive behaviors in female mammals. Although it is widely recognized that P's effects on female sex behavior are mediated by the classical neural progestin receptors (PRs) functioning as 'ligand-dependent' transcription factors to regulate ge...

BACKGROUND The current staging system of hepatocellular carcinoma established by the International Union Against Cancer and the American Joint Committee on Cancer does not necessarily predict the outcomes after hepatic resection or transplantation. STUDY DESIGN Various clinical and pathologic risk factors for tumor recurrence were examined on 344 consecutive patients who received hepatic tran...

Recommender systems for e-learning demand specific pedagogy-oriented and hybrid recommendation strategies. Current systems are often based on time-consuming, top down information provisioning combined with intensive data-mining collaborative filtering approaches. However, such systems do not seem appropriate for Learning Networks where distributed information can often not be identified beforeh...