Reducing False Recognition in the Deese-Roediger/McDermott Paradigm: Related Lures Reveal How Distinctive Encoding Improves Encoding and Monitoring Processes

In the Deese-Roediger/McDermott (DRM) paradigm, distinctive encoding of list items typically reduces false recognition of critical lures relative to a read-only control. This reduction can be due to enhanced item-specific processing, reduced relational processing, and/or increased test-based monitoring. However, it is unclear whether distinctive encoding reduces false recognition in a selective or global manner. To examine this question, participants studied DRM lists using a distinctive item-specific anagram generation task and then completed a recognition test which included both DRM critical lures and either strongly related lures (Experiment 1) or weakly related lures (Experiment 2). Compared to a read-control group, the generate groups showed increased correct recognition and decreased false recognition of all lure types. We then estimated the separate contributions of encoding and retrieval processes using signal-detection indices. Generation improved correct recognition by both increasing encoding of memory information for list words and by increasing memory monitoring at test. Generation reduced false recognition by reducing the encoding of memory information and by increasing memory monitoring at test. The reduction in false recognition was equivalent for critical lures and related lures, indicating that generation globally reduces the encoding of related non-presented items at study (not just critical lures), while globally increasing list-theme-based monitoring at test

Bounded Model Checking for Probabilistic Programs

In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming. As the operational model for a standard probabilistic program is a potentially infinite parametric Markov decision process, no direct adaption of existing techniques is possible. Therefore, we propose an on-the-fly approach where the operational model is successively created and verified via a step-wise execution of the program. This approach enables to take key features of many probabilistic programs into account: nondeterminism and conditioning. We discuss the restrictions and demonstrate the scalability on several benchmarks

Finding polynomial loop invariants for probabilistic programs

Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants. In this paper, we propose an alternative approach. First, we fix a polynomial template as a candidate of a loop invariant. Using Stengle's Positivstellensatz and a transformation to a sum-of-squares problem, we find sufficient conditions on the coefficients. Then, we solve a semidefinite programming feasibility problem to synthesize the loop invariants. If the semidefinite program is unfeasible, we backtrack after increasing the degree of the template. Our approach is semi-complete in the sense that it will always lead us to a feasible solution if one exists and numerical errors are small. Experimental results show the efficiency of our approach.Comment: accompanies an ATVA 2017 submissio

Responses of advanced directives by Jehovah\u27s Witnesses on a gynecologic oncology service

OBJECTIVES: To review the responses of advance directives signed by Jehovah\u27s Witness patients prior to undergoing surgery at a gynecologic oncology service. STUDY DESIGN: A retrospective chart review of gynecologic oncology patients undergoing surgery at a bloodless surgery center from 1998-2007 was conducted. Demographic, pathologic, and clinical data were recorded. The proportion of patients who accepted and refused various blood-derived products was determined and was compared to previously published results from a similar study of labor and delivery unit patients. RESULTS: No gynecologic oncology patients agreed to accept transfusions of whole blood, red cells, white cells, platelets, or plasma under any circumstance, whereas 9.8% of pregnant patients accepted transfusion (P=0.0385). However, 98% of gynecologic oncology patients agreed to accept some blood products, including fractions such as albumin, immunoglobulins, and clotting factors, while only 39% of pregnant patients agreed (

PrIC3: Property Directed Reachability for MDPs

IC3 has been a leap forward in symbolic model checking. This paper proposes PrIC3 (pronounced pricy-three), a conservative extension of IC3 to symbolic model checking of MDPs. Our main focus is to develop the theory underlying PrIC3. Alongside, we present a first implementation of PrIC3 including the key ingredients from IC3 such as generalization, repushing, and propagation

The Safety and Efficacy of Laparoscopic Surgical Staging and Debulking of Apparent Advanced Stage Ovarian, Fallopian Tube, and Primary Peritoneal Cancers

The authors contend that laparoscopy can be used for diagnosis, triage and debulking of select patients with advanced ovarian, fallopian tube or primary peritoneal cancer

Division of labor by dual feedback regulators controls JAK2/STAT5 signaling over broad ligand range

Quantitative analysis of time-resolved data in primary erythroid progenitor cells reveals that a dual negative transcriptional feedback mechanism underlies the ability of STAT5 to respond to the broad spectrum of physiologically relevant Epo concentrations

On dynamical probabilities, or: how to learn to shoot straight

© IFIP International Federation for Information Processing 2016.In order to support, for example, a quantitative analysis of various algorithms, protocols etc. probabilistic features have been introduced into a number of programming languages and calculi. It is by now quite standard to define the formal semantics of (various) probabilistic languages, for example, in terms of Discrete Time Markov Chains (DTMCs). In most cases however the probabilities involved are represented by constants, i.e. one deals with static probabilities. In this paper we investigate a semantical framework which allows for changing, i.e. dynamic probabilities which is still based on time-homogenous DTMCs, i.e. the transition matrix representing the semantics of a program does not change over time

Lymph node fibroblastic reticular cells directly present peripheral tissue antigen under steady-state and inflammatory conditions

Lymph node stromal cells (LNSCs) can induce potent, antigen-specific T cell tolerance under steady-state conditions. Although expression of various peripheral tissue–restricted antigens (PTAs) and presentation to naive CD8+ T cells has been demonstrated, the stromal subsets responsible have not been identified. We report that fibroblastic reticular cells (FRCs), which reside in the T cell zone of the LN, ectopically express and directly present a model PTA to naive T cells, inducing their proliferation. However, we found that no single LNSC subset was responsible for PTA expression; rather, each subset had its own characteristic antigen display. Studies to date have concentrated on PTA presentation under steady-state conditions; however, because LNs are frequently inflammatory sites, we assessed whether inflammation altered stromal cell–T cell interactions. Strikingly, FRCs showed reduced stimulation of T cells after Toll-like receptor 3 ligation. We also characterize an LNSC subset expressing the highest levels of autoimmune regulator, which responds potently to bystander inflammation by up-regulating PTA expression. Collectively, these data show that diverse stromal cell types have evolved to constitutively express PTAs, and that exposure to viral products alters the interaction between T cells and LNSCs

Supracervical hysterectomy versus total abdominal hysterectomy: perceived effects on sexual function

BACKGROUND: Our investigation sought to compare changes in sexual function following supracervical hysterectomy (SCH) and total abdominal hysterectomy (TAH). METHODS: A retrospective chart review was performed to identify all patients who underwent supracervical hysterectomy or total abdominal hysterectomy at a tertiary care center. Patients who met criteria for participation were sent a one page confidential, anonymous questionnaire to assess sexual function experienced both pre- and postoperatively. A total of 69 patients in each group were eligible for participation. A multiple logistic regression model was used to analyze measured variables. RESULTS: Forty-eight percent (n = 33) of women undergoing a SCH returned the questionnaire, while 39% (n = 27) of those undergoing a TAH chose to participate. There were no significant demographic differences between the two groups. Patients who underwent TAH reported worse postoperative sexual outcome than SCH patients with respect to intercourse frequency, orgasm frequency and overall sexual satisfaction (P = 0.01, 0.03, and 0.03, respectively). Irrespective of type of hysterectomy, 35% of patients who underwent bilateral salpingoophorectomy (BSO) with hysterectomy experienced worse overall sexual satisfaction compared to 3% of patients who underwent hysterectomy alone (P = 0.02). CONCLUSIONS: Our data suggest that TAH patients experienced worse postoperative sexual function than SCH patients with respect to intercourse frequency and overall sexual satisfaction. Irrespective of type of hysterectomy, patients who underwent bilateral salpingoophorectomy experienced worse overall sexual satisfaction