2,860 research outputs found

    Two Steps to Obfuscation

    Full text link
    This note addresses the historical antecedents of the 1998 PageRank measure of centrality. An identity relation links it to 1990-1991 models of Friedkin and Johnsen

    Intersystem Collaboration: A Statewide Initiative to Support Families

    Get PDF
    The study described in this paper utilized a qualitative case study method to assess the processes involved in inter-system collaboration in the context of one state\u27s system change initiative. The collaborative experience is described from the perspective of participating service system professionals and family members. The major themes of collaboration that emerged from the study included changes in communication across systems, changes in inter-system relationships, changes in attitudes, changes in interactions with families, and changes in the ways services are delivered. Lessons learned and practice implications of each theme are discussed

    Behavioral types in programming languages

    Get PDF
    A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

    On the nature of symbolic execution

    Get PDF
    In this paper, we provide a formal definition of symbolic execution in terms of a symbolic transition system and prove its correctness with respect to an operational semantics which models the execution on concrete values. We first introduce such a formal model for a basic programming language with a statically fixed number of programming variables. This model is extended to a programming language with recursive procedures which are called by a call-by-value parameter mechanism. Finally, we show how to extend this latter model of symbolic execution to arrays and object-oriented languages which feature dynamically allocated variables

    Quantum graphs where back-scattering is prohibited

    Full text link
    We describe a new class of scattering matrices for quantum graphs in which back-scattering is prohibited. We discuss some properties of quantum graphs with these scattering matrices and explain the advantages and interest in their study. We also provide two methods to build the vertex scattering matrices needed for their construction.Comment: 15 page

    Efficacy of different types of cognitive enhancers for patients with schizophrenia. A meta-analysis

    Get PDF
    Cognitive impairment is a core feature of schizophrenia, which is predictive for functional outcomes and is, therefore, a treatment target in itself. Yet, literature on efficacy of different pharmaco-therapeutic options is inconsistent. This quantitative review provides an overview of studies that investigated potential cognitive enhancers in schizophrenia. We included pharmacological agents, which target different neurotransmitter systems and evaluated their efficacy on overall cognitive functioning and seven separate cognitive domains. In total, 93 studies with 5630 patients were included. Cognitive enhancers, when combined across all different neurotransmitter systems, which act on a large number of different mechanisms, showed a significant (yet small) positive effect size of 0.10 (k = 51, p = 0.023; 95% CI = 0.01 to 0.18) on overall cognition. Cognitive enhancers were not superior to placebo for separate cognitive domains. When analyzing each neurotransmitter system separately, agents acting predominantly on the glutamatergic system showed a small significant effect on overall cognition (k = 29, Hedges’ g = 0.19, p = 0.01), as well as on working memory (k = 20, Hedges’ g = 0.13, p = 0.04). A sub-analysis of cholinesterase inhibitors (ChEI) showed a small effect on working memory (k = 6, Hedges’ g = 0.26, p = 0.03). Other sub-analyses were positively nonsignificant, which may partly be due to the low number of studies we could include per neurotransmitter system. Overall, this meta-analysis showed few favorable effects of cognitive enhancers for patients with schizophrenia, partly due to lack of power. There is a lack of studies involving agents acting on other than glutamatergic and cholinergic systems, especially of those targeting the dopaminergic system

    A Resident-Based Reimbursement System for Intermediate Care Facilities for the Mentally Retarded

    Get PDF
    In this article, the authors present a resident-based reimbursement system for intermediate care facilities for the mentally retarded (ICFs-MR), which represent a large and growing proportion of the Medicaid budget. The statistical relationship between resident disability level and the expected cost of caring for the individual is estimated, allowing for the prediction of expected resource use across the population of ICF-MR residents. The system incorporates an indirect cost rate, a base direct care rate (constant across all providers), and an individual-specific direct care rate, based on the expected cost of care

    A One Health Framework for the Evaluation of Rabies Control Programmes: A Case Study from Colombo City, Sri Lanka

    Get PDF
    <div><p>Background</p><p>One Health addresses complex challenges to promote the health of all species and the environment by integrating relevant sciences at systems level. Its application to zoonotic diseases is recommended, but few coherent frameworks exist that combine approaches from multiple disciplines. Rabies requires an interdisciplinary approach for effective and efficient management.</p><p>Methodology/Principal Findings</p><p>A framework is proposed to assess the value of rabies interventions holistically. The economic assessment compares additional monetary and non-monetary costs and benefits of an intervention taking into account epidemiological, animal welfare, societal impact and cost data. It is complemented by an ethical assessment. The framework is applied to Colombo City, Sri Lanka, where modified dog rabies intervention measures were implemented in 2007. The two options included for analysis were the control measures in place until 2006 (“baseline scenario”) and the new comprehensive intervention measures (“intervention”) for a four-year duration. Differences in control cost; monetary human health costs after exposure; Disability-Adjusted Life Years (DALYs) lost due to human rabies deaths and the psychological burden following a bite; negative impact on animal welfare; epidemiological indicators; social acceptance of dogs; and ethical considerations were estimated using a mixed method approach including primary and secondary data. Over the four years analysed, the intervention cost US $1.03 million more than the baseline scenario in 2011 prices (adjusted for inflation) and caused a reduction in dog rabies cases; 738 DALYs averted; an increase in acceptability among non-dog owners; a perception of positive changes in society including a decrease in the number of roaming dogs; and a net reduction in the impact on animal welfare from intermediate-high to low-intermediate.</p><p>Conclusions</p><p>The findings illustrate the multiple outcomes relevant to stakeholders and allow greater understanding of the value of the implemented rabies control measures, thereby providing a solid foundation for informed decision-making and sustainable control.</p></div
    • …
    corecore