813 research outputs found

    Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

    Get PDF
    We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

    A delayed injection-site reaction in a patient receiving extended-release naltrexone

    Full text link
    BACKGROUND: Pharmacotherapy, such as oral naltrexone, has proven effective in treating alcohol use disorder, although medication adherence has presented challenges. Although a formulation of extended-release naltrexone for intramuscular injection has been developed to counter daily adherence issues, injection-site reactions can occur within days of depot injection. CASE: The authors report a case of an individual with alcohol use disorder who had a previously undescribed delayed injection-site reaction that occurred 11 days after injection. Subsequent challenge with the medication resulted in recurrence of the reaction. DISCUSSION: Although extended-release naltrexone is generally well tolerated, injection-site reactions can complicate treatment and can appear more than 10 days after medication administration

    Determination of consensus among professionals for community safety terms through a Delphi study

    Get PDF
    This is a post-peer-review, pre-copyedit version of an article published in Crime Prevention and Community Safety. The definitive publisher-authenticated version 2013, 15(4), pp. 258-277 is available online at: http://dx.doi.org/10.1057/cpcs.2013.9This article reports the findings from a study of Community Safety professionals (Academics, Policymakers and Practitioners), using the Delphi method to determine common definitions, if any, for Community Safety terms in current usage. The study investigated the differences in the way that the terms were used and understood by the members of the three groups. The study was predicated on the view that the groups of Community Safety professionals probably use the language of Community Safety in different ways. It is suggested that work in the field would benefit from a shared terminology, where the same term has the same meaning for different professional groups

    Trends in healthcare utilization among older Americans with colorectal cancer: A retrospective database analysis

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Analyses of utilization trends (cost drivers) allow us to understand changes in colorectal cancer (CRC) costs over time, better predict future costs, identify changes in the use of specific types of care (eg, hospice), and provide inputs for cost-effectiveness models. This retrospective cohort study evaluated healthcare resource use among US Medicare beneficiaries diagnosed with CRC between 1992 and 2002.</p> <p>Methods</p> <p>Cohorts included patients aged 66+ newly diagnosed with adenocarcinoma of the colon (n = 52,371) or rectum (n = 18,619) between 1992 and 2002 and matched patients from the general Medicare population, followed until death or December 31, 2005. Demographic and clinical characteristics were evaluated by cancer subsite. Resource use, including the percentage that used each type of resource, number of hospitalizations, and number of hospital and skilled nursing facility days, was evaluated by stage and subsite. The number of office, outpatient, and inpatient visits per person-year was calculated for each cohort, and was described by year of service, subsite, and treatment phase. Hospice use rates in the last year of life were calculated by year of service, stage, and subsite for CRC patients who died of CRC.</p> <p>Results</p> <p>CRC patients (mean age: 77.3 years; 44.9% male) used more resources than controls in every category (<it>P </it>< .001), with the largest differences seen in hospital days and home health use. Most resource use (except hospice) remained relatively steady over time. The initial phase was the most resource intense in terms of office and outpatient visits. Hospice use among patients who died of CRC increased from 20.0% in 1992 to 70.5% in 2004, and age-related differences appear to have evened out in later years.</p> <p>Conclusion</p> <p>Use of hospice care among CRC decedents increased substantially over the study period, while other resource use remained generally steady. Our findings may be useful for understanding CRC cost drivers, tracking trends, and forecasting resource needs for CRC patients in the future.</p

    International consensus definitions of clinical trial outcomes for kidney failure: 2020

    Get PDF
    Kidney failure is an important outcome for patients, clinicians, researchers, healthcare systems, payers, and regulators. However, no harmonized international consensus definitions of kidney failure and key surrogates of progression to kidney failure exist specifically for clinical trials. The International Society of Nephrology convened an international multi-stakeholder meeting to develop consensus on this topic. A core group, experienced in design, conduct, and outcome adjudication of clinical trials, developed a database of 64 randomized trials and the 163 included definitions relevant to kidney failure. Using an iterative process, a set of proposed consensus definitions were developed and subsequently vetted by the larger multi-stakeholder group of 83 participants representing 18 different countries. The consensus of the meeting participants was that clinical trial kidney failure outcomes should be comprised of a composite that includes receipt of a kidney transplant, initiation of maintenance dialysis, and death from kidney failure; it may also include outcomes based solely on laboratory measurements of glomerular filtration rate: a sustained low glomerular filtration rate and a sustained percent decline in glomerular filtration rate. Discussion included important considerations, such as (i) recognition of existing nomenclature for kidney failure; (ii) applicability across resource settings; (iii) ease of understanding for all stakeholders; and (iv) avoidance of inappropriate complexity so that the definitions can be used across ranges of populations and trial methodologies. The final definitions reflect the consensus for use in clinical trials

    Promotion of mental health in young adults via mobile phone app: study protocol of the ECoWeB (emotional competence for well-being in Young adults) cohort multiple randomised trials

    Get PDF
    This is the final version. Available on open access from BMC via the DOI in this recordAvailability of data and materials: Anonymised datasets arising from this trial will be made available after the primary outcomes are published to researchers and other groups via request to a data committee within the Consortium via the University of Exeter’s open access data system Open Research Exeter (ORE). ECoWeB partners will have access to the final trial dataset, commensurate with the grant Consortium Agreement. The results will additionally be updated on ClinicalTrials.gov Identifier: NCT04148508. The ECoWeB consortium plans to communicate trial results through peer-reviewed open access publications and direct reports to TSC, sponsor, and participants.BACKGROUND: Promoting well-being and preventing poor mental health in young people is a major global priority. Building emotional competence (EC) skills via a mobile app may be an effective, scalable and acceptable way to do this. However, few large-scale controlled trials have examined the efficacy of mobile apps in promoting mental health in young people; none have tailored the app to individual profiles. METHOD/DESIGN: The Emotional Competence for Well-Being in Young Adults cohort multiple randomised controlled trial (cmRCT) involves a longitudinal prospective cohort to examine well-being, mental health and EC in 16-22 year olds across 12 months. Within the cohort, eligible participants are entered to either the PREVENT trial (if selected EC scores at baseline within worst-performing quartile) or to the PROMOTE trial (if selected EC scores not within worst-performing quartile). In both trials, participants are randomised (i) to continue with usual practice, repeated assessments and a self-monitoring app; (ii) to additionally receive generic cognitive-behavioural therapy self-help in app; (iii) to additionally receive personalised EC self-help in app. In total, 2142 participants aged 16 to 22 years, with no current or past history of major depression, bipolar disorder or psychosis will be recruited across UK, Germany, Spain, and Belgium. Assessments take place at baseline (pre-randomisation), 1, 3 and 12 months post-randomisation. Primary endpoint and outcome for PREVENT is level of depression symptoms on the Patient Health Questionnaire-9 at 3 months; primary endpoint and outcome for PROMOTE is emotional well-being assessed on the Warwick-Edinburgh Mental Wellbeing Scale at 3 months. Depressive symptoms, anxiety, well-being, health-related quality of life, functioning and cost-effectiveness are secondary outcomes. Compliance, adverse events and potentially mediating variables will be carefully monitored. CONCLUSIONS: The trial aims to provide a better understanding of the causal role of learning EC skills using interventions delivered via mobile phone apps with respect to promoting well-being and preventing poor mental health in young people. This knowledge will be used to develop and disseminate innovative evidence-based, feasible, and effective Mobile-health public health strategies for preventing poor mental health and promoting well-being. TRIAL REGISTRATION: ClinicalTrials.gov ( www.clinicaltrials.org ). Number of identification: NCT04148508 November 2019.European Union Horizon 202

    Self-reported tobacco smoking practices among medical students and their perceptions towards training about tobacco smoking in medical curricula: A cross-sectional, questionnaire survey in Malaysia, India, Pakistan, Nepal, and Bangladesh

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Tobacco smoking issues in developing countries are usually taught non-systematically as and when the topic arose. The World Health Organisation and Global Health Professional Student Survey (GHPSS) have suggested introducing a separate integrated tobacco module into medical school curricula. Our aim was to assess medical students' tobacco smoking habits, their practices towards patients' smoking habits and attitude towards teaching about smoking in medical schools.</p> <p>Methods</p> <p>A cross-sectional questionnaire survey was carried out among final year undergraduate medical students in Malaysia, India, Nepal, Pakistan, and Bangladesh. An anonymous, self-administered questionnaire included items on demographic information, students' current practices about patients' tobacco smoking habits, their perception towards tobacco education in medical schools on a five point Likert scale. Questions about tobacco smoking habits were adapted from GHPSS questionnaire. An <it>'ever smoker' </it>was defined as one who had smoked during lifetime, even if had tried a few puffs once or twice. 'Current smoker' was defined as those who had smoked tobacco product on one or more days in the preceding month of the survey. Descriptive statistics were calculated.</p> <p>Results</p> <p>Overall response rate was 81.6% (922/1130). Median age was 22 years while 50.7% were males and 48.2% were females. The overall prevalence of 'ever smokers' and 'current smokers' was 31.7% and 13.1% respectively. A majority (> 80%) of students asked the patients about their smoking habits during clinical postings/clerkships. Only a third of them did counselling, and assessed the patients' willingness to quit. Majority of the students agreed about doctors' role in tobacco control as being role models, competence in smoking cessation methods, counseling, and the need for training about tobacco cessation in medical schools. About 50% agreed that current curriculum teaches about tobacco smoking but not systematically and should be included as a separate module. Majority of the students indicated that topics about health effects, nicotine addiction and its treatment, counselling, prevention of relapse were important or very important in training about tobacco smoking.</p> <p>Conclusion</p> <p>Medical educators should consider revising medical curricula to improve training about tobacco smoking cessation in medical schools. Our results should be supported by surveys from other medical schools in developing countries of Asia.</p

    Stochastic Competition between Mechanistically Independent Slippage and Death Pathways Determines Cell Fate during Mitotic Arrest

    Get PDF
    Variability in cell-to-cell behavior within clonal populations can be attributed to the inherent stochasticity of biochemical reactions. Most single-cell studies have examined variation in behavior due to randomness in gene transcription. Here we investigate the mechanism of cell fate choice and the origin of cell-to-cell variation during mitotic arrest, when transcription is silenced. Prolonged mitotic arrest is commonly observed in cells treated with anti-mitotic drugs. Cell fate during mitotic arrest is determined by two alternative pathways, one promoting cell death, the other promoting cyclin B1 degradation, which leads to mitotic slippage and survival. It has been unclear whether these pathways are mechanistically coupled or independent. In this study we experimentally uncoupled these two pathways using zVAD-fmk to block cell death or Cdc20 knockdown to block slippage. We then used time-lapse imaging to score the kinetics of single cells adopting the remaining fate. We also used kinetic simulation to test whether the behaviors of death versus slippage in cell populations where both pathways are active can be quantitatively recapitulated by a model that assumes stochastic competition between the pathways. Our data are well fit by a model where the two pathways are mechanistically independent, and cell fate is determined by a stochastic kinetic competition between them that results in cell-to-cell variation
    • …
    corecore