We study multi-player turn-based games played on (potentially infinite) directed graphs. An outcome is assigned to every play of the game. Each player has a preference relation set outcomes which allows him compare plays. focus recently introduced notion weak subgame perfect equilibrium (weak SPE). This variant classical SPE, where players who deviate can only use strategies deviating from thei...

Abstra t. We propose a modular approa h to the formal spe i ation of the requirements on embedded systems. In this approa h, requirements on data are spe i ed as invariants on states. Requirements on behaviour are spe i ed assertionally by temporal logi formulae, restri ting the runs of the system. The proposed method is modular, be ause omponents an be spe i ed and analysed in isolation, and t...

BACKGROUND It is not clear that teaching specific history taking, physical examination and patient teaching techniques to medical students results in durable behavioural changes. We used a quasi-experimental design that approximated a randomized double blinded trial to examine whether a Participatory Decision-Making (PDM) educational module taught in a clerkship improves performance on a Simula...

Saw palmetto extract (SPE), an extract from the ripe berries of the American dwarf palm, has been widely used as a therapeutic remedy for urinary dysfunction due to benign prostatic hyperplasia (BPH) in Europe. Numerous mechanisms of action have been proposed for SPE, including the inhibition of 5alphareductase. Today, alpha(1)-adrenoceptor antagonists and muscarinic cholinoceptor antagonists a...

Three novel streptococcal superantigen genes (spe-g, spe-h, and spe-j) were identified from the Streptococcus pyogenes M1 genomic database at the University of Oklahoma. A fourth novel gene (smez-2) was isolated from the S. pyogenes strain 2035, based on sequence homology to the streptococcal mitogenic exotoxin z (smez) gene. SMEZ-2, SPE-G, and SPE-J are most closely related to SMEZ and strepto...

BACKGROUND Conventional reconstruction after an esophagectomy uses a gastric tube, which commonly causes several postoperative complaints such as gastric acid reflux in long-term survival cases. Intestinal interposition between the remnant esophagus and the stomach is an option to reduce complaints, and in this study, the advantages of jejunal interposition reconstruction with a stomach preserv...

Pre-eclampsia (PE) is a complication of pregnancy that affects 5‑8% of women after 20 weeks of gestation. It is usually diagnosed based on the de novo onset of hypertension and proteinuria. Preexisting hypertension in women developing PE, also known as superimposed PE on chronic hypertension (SPE), leads to elevated risk of maternal and fetal mortality. PE is associated with an altered microRNA...

BACKGROUND Periodontal disease is a less common but important cause of septic pulmonary embolism (SPE). However, the pathogens causing periodontal disease-associated SPE (PD-SPE) have been poorly understood. Actinomyces species are resident microbiota in the oral cavity. Here we report a case of PD-SPE caused by Actinomyces species, which was identified by anaerobic culture of bronchoalveolar l...

Hypothesis / aims of study Phytotherapeutic agents, including Saw palmetto extract (SPE), are popular in many European countries as herbal remedies represent up to 80% of all drugs prescribed for benign prostatic hyperplasia (BPH) and associated lower urinary tract symptoms (LUTS). However, the mechanism of pharmacological action of SPE is not fully elucidated. Animal experiments with SPE have ...

Canonical models of Markov decision processes (MDPs) usually consider geometric discounting based on a constant discount factor. While this standard modeling approach has led to many elegant results, some recent studies indicate the necessity time-varying in certain applications. This paper model infinite-horizon MDPs with factors. We take game-theoretic perspective – whereby each time step is ...