4,628 research outputs found

    Evaluation of minimum residual pressure as design criterion for South African water distribution systems

    Get PDF
    The South African civil engineering fraternity has grown to accept 24 m as the design criterion for minimum residual pressure in water distribution systems. However, the theoretical peak demand in many systems has increased beyond the point where minimum residual pressure exceeds 24 m – at least according to hydraulic models. Additions of customers to existing supply systems have led to increased peak flows with time, often without infrastructure upgrades to internal reticulation. Increased flows imply reduced pressures. This is not necessarily a concern: peak flow conditions rarely occur in a supply system and also, customer complaints often act as a first sign of ‘low pressures’. No complaints imply ‘no low pressures’. The researchers analysed hydraulic models for 14 different towns in 5 municipal areas of South Africa, including 2 large metros,to identify the minimum residual pressures currently expected. The results include almost 55 000 model nodes and show that about 20% of the nodes in the distribution systems analysed have pressures of below 24 m, while pressures of below 14 m are not uncommon. Whether this relatively common occurrence of low pressures under modelled peak demand is found in practice is not known at this stage. A new guideline for minimum residual pressure based on previous criteria and results from this study is presented, noting that a physical lower limit of about 10 m water pressure is specified in home appliance specifications

    Correlates of Auditory Decision-Making in Prefrontal, Auditory, and Basal Lateral Amygdala Cortical Areas

    Get PDF
    Spatial selective listening and auditory choice underlie important processes including attending to a speaker at a cocktail party and knowing how (or if) to respond. To examine task encoding and relative timing of potential neural substrates underlying these behaviors, we developed a spatial selective detection paradigm for monkeys, and recorded activity in primary auditory cortex (AC), dorsolateral prefrontal cortex (dlPFC) and the basolateral amygdala (BLA). A comparison of neural responses among these three areas showed that, as expected, AC encoded the side of the cue and target characteristics before dlPFC and BLA. Interestingly, AC also encoded the monkey's choice before dlPFC and around the time of BLA. Generally, BLA showed weak responses to all task features except the choice. Decoding analyses suggested that errors followed from a failure to encode the target stimulus in both AC and dlPFC, but again, these differences arose earlier in AC. The similarities between AC and dlPFC responses were abolished during passive sensory stimulation with identical trial conditions, suggesting that the robust sensory encoding in dlPFC is contextually gated. Thus, counter to a strictly PFC-driven decision process, in this spatial selective listening task, AC neural activity represents the sensory and decision information before dlPFC. Unlike in the visual domain, in this auditory task, the BLA does not appear to be robustly involved in selective spatial processing.SIGNIFICANCE STATEMENT:We examined neural correlates of an auditory spatial selective listening task by recording single neuron activity in behaving monkeys from the amygdala, dorsal-lateral prefrontal cortex, and auditory cortex. We found that auditory cortex coded spatial cues and choice-related activity before dorsal-lateral prefrontal cortex or the amygdala. Auditory cortex also had robust delay period activity. Therefore, we found that auditory cortex could support the neural computations that underlie the behavioral processes in the task

    Prioritized Sweeping Neural DynaQ with Multiple Predecessors, and Hippocampal Replays

    Full text link
    During sleep and awake rest, the hippocampus replays sequences of place cells that have been activated during prior experiences. These have been interpreted as a memory consolidation process, but recent results suggest a possible interpretation in terms of reinforcement learning. The Dyna reinforcement learning algorithms use off-line replays to improve learning. Under limited replay budget, a prioritized sweeping approach, which requires a model of the transitions to the predecessors, can be used to improve performance. We investigate whether such algorithms can explain the experimentally observed replays. We propose a neural network version of prioritized sweeping Q-learning, for which we developed a growing multiple expert algorithm, able to cope with multiple predecessors. The resulting architecture is able to improve the learning of simulated agents confronted to a navigation task. We predict that, in animals, learning the world model should occur during rest periods, and that the corresponding replays should be shuffled.Comment: Living Machines 2018 (Paris, France

    Principles of Stakes Fairness in Sport

    Get PDF
    Fairness in sport is not just about assigning the top prizes to the worthiest competitors. It is also about the way the prize structure itself is organised. For many sporting competitions, although it may be acceptable for winners to receive more than losers, it can seem unfair for winners to take everything and for losers to get nothing. Yet this insight leaves unanswered some difficult questions about what stakes fairness requires and which principles of stakes fairness are appropriate for particular competitions. In this article I specify a range of different principles of stakes fairness (ten in total) that could regulate sporting competitions. I also put forward a theoretical method for pairing up appropriate principles of stakes fairness with given sporting competitions. Specifically, I argue that the underlying rationales for holding sporting competitions can provide useful guides for identifying appropriate principles of stakes fairness. I then seek to clarify and work through some of the implications of this method for a sample of real world controversies over sporting prize structures. I also attempt to refine the method in response to two possible objections from indeterminacy and relativism. Finally, I compare and contrast my conclusions with more general philosophical debates about justice

    Genetic screening for gynecological cancer: where are we heading?

    Get PDF
    The landscape of cancer genetics in gynecological oncology is rapidly changing. The traditional family history-based approach has limitations and misses >50% mutation carriers. This is now being replaced by population-based approaches. The need for changing the clinical paradigm from family history-based to population-based BRCA1/BRCA2 testing in Ashkenazi Jews is supported by data that demonstrate population-based BRCA1/BRCA2 testing does not cause psychological harm and is cost effective. This article covers various genetic testing strategies for gynecological cancers, including population-based approaches, panel and direct-to-consumer testing as well as the need for innovative approaches to genetic counseling. Advances in genetic testing technology and computational analytics have facilitated an integrated systems medicine approach, providing increasing potential for population-based genetic testing, risk stratification, and cancer prevention. Genomic information along-with biological/computational tools will be used to deliver predictive, preventive, personalized and participatory (P4) and precision medicine in the future

    Clipless management of the renal vein during hand-assist laparoscopic donor nephrectomy

    Get PDF
    BACKGROUND: Laparoscopic live donor nephrectomy has become the preferred method of donor nephrectomy at many transplant centers. The laparoscopic stapling device is commonly used for division of the renal vessels. Malfunction of the stapling device can occur, and is often due to interference from previously placed clips. We report our experience with a clipless technique in which no vascular clips are placed on tributaries of the renal vein at or near the renal hilum in order to avoid laparoscopic stapling device misfires. METHODS: From December 20, 2002 to April 12, 2005, 50 patients underwent hand-assisted laparoscopic left donor nephrectomy (LDN) at our institution. Clipless management of the renal vein tributaries was used in all patients, and these vessels were divided using either a laparoscopic stapling device or the LigaSureTM device (Valleylab, Boulder, CO). The medical and operative records of the donors and recipients were reviewed to evaluate patient outcomes. RESULTS: The mean follow-up time was 14 months. Of the 50 LDN procedures, there were no laparoscopic stapling device malfunctions and no vascular complications. All renal allografts were functioning at the time of follow-up. CONCLUSION: Laparoscopic stapling device failure due to deployment across previously placed surgical clips during laparoscopic live donor nephrectomy can be prevented by not placing clips on the tributaries of the renal vein. In our series, there were no vascular complications and no device misfires. We believe this clipless technique improves the safety of laparoscopic donor nephrectomy

    Soundness and completeness proofs by coinductive methods

    Get PDF
    We show how codatatypes can be employed to produce compact, high-level proofs of key results in logic: the soundness and completeness of proof systems for variations of first-order logic. For the classical completeness result, we first establish an abstract property of possibly infinite derivation trees. The abstract proof can be instantiated for a wide range of Gentzen and tableau systems for various flavors of first-order logic. Soundness becomes interesting as soon as one allows infinite proofs of first-order formulas. This forms the subject of several cyclic proof systems for first-order logic augmented with inductive predicate definitions studied in the literature. All the discussed results are formalized using Isabelle/HOL’s recently introduced support for codatatypes and corecursion. The development illustrates some unique features of Isabelle/HOL’s new coinductive specification language such as nesting through non-free types and mixed recursion–corecursion

    Two classes of nonlocal Evolution Equations related by a shared Traveling Wave Problem

    Full text link
    We consider reaction-diffusion equations and Korteweg-de Vries-Burgers (KdVB) equations, i.e. scalar conservation laws with diffusive-dispersive regularization. We review the existence of traveling wave solutions for these two classes of evolution equations. For classical equations the traveling wave problem (TWP) for a local KdVB equation can be identified with the TWP for a reaction-diffusion equation. In this article we study this relationship for these two classes of evolution equations with nonlocal diffusion/dispersion. This connection is especially useful, if the TW equation is not studied directly, but the existence of a TWS is proven using one of the evolution equations instead. Finally, we present three models from fluid dynamics and discuss the TWP via its link to associated reaction-diffusion equations

    Real-time imputation of missing predictor values in clinical practice

    Get PDF
    Use of prediction models is widely recommended by clinical guidelines, but usually requires complete information on all predictors that is not always available in daily practice. We describe two methods for real-time handling of missing predictor values when using prediction models in practice. We compare the widely used method of mean imputation (M-imp) to a method that personalizes the imputations by taking advantage of the observed patient characteristics. These characteristics may include both prediction model variables and other characteristics (auxiliary variables). The method was implemented using imputation from a joint multivariate normal model of the patient characteristics (joint modeling imputation; JMI). Data from two different cardiovascular cohorts with cardiovascular predictors and outcome were used to evaluate the real-time imputation methods. We quantified the prediction model's overall performance (mean squared error (MSE) of linear predictor), discrimination (c-index), calibration (intercept and slope) and net benefit (decision curve analysis). When compared with mean imputation, JMI substantially improved the MSE (0.10 vs. 0.13), c-index (0.70 vs 0.68) and calibration (calibration-in-the-large: 0.04 vs. 0.06; calibration slope: 1.01 vs. 0.92), especially when incorporating auxiliary variables. When the imputation method was based on an external cohort, calibration deteriorated, but discrimination remained similar. We recommend JMI with auxiliary variables for real-time imputation of missing values, and to update imputation models when implementing them in new settings or (sub)populations.Comment: 17 pages, 6 figures, to be published in European Heart Journal - Digital Health, accepted for MEMTAB 2020 conferenc

    Membrane TNF confers protection to acute mycobacterial infection

    Get PDF
    BACKGROUND: Tumour necrosis factor (TNF) is crucial for the control of mycobacterial infection as TNF deficient (KO) die rapidly of uncontrolled infection with necrotic pneumonia. Here we investigated the role of membrane TNF for host resistance in knock-in mice with a non-cleavable and regulated allele (mem-TNF). METHODS: C57BL/6, TNF KO and mem-TNF mice were infected with M. tuberculosis H37Rv (Mtb at 100 CFU by intranasal administration) and the survival, bacterial load, lung pathology and immunological parameters were investigated. Bone marrow and lymphocytes transfers were used to test the role of membrane TNF to confer resistance to TNF KO mice. RESULTS: While TNF-KO mice succumbed to infection within 4–5 weeks, mem-TNF mice recruited normally T cells and macrophages, developed mature granuloma in the lung and controlled acute Mtb infection. However, during the chronic phase of infection mem-TNF mice succumbed to disseminated infection with necrotic pneumonia at about 150 days. Reconstitution of irradiated TNF-KO mice with mem-TNF derived bone marrow cells, but not with lymphocytes, conferred host resistance to Mtb infection in TNF-KO mice. CONCLUSION: Membrane expressed TNF is sufficient to allow cell-cell signalling and control of acute Mtb infection. Bone marrow cells, but not lymphocytes from mem-TNF mice confer resistance to infection in TNF-KO mice. Long-term infection control with chronic inflammation likely disrupting TNF mediated cell-cell signalling, additionally requires soluble TNF
    • …
    corecore