Satisfiability Modulo Transcendental Functions via Incremental Linearization

In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted in the abstract space, which is described in terms of the combined theory of linear arithmetic on the rationals with uninterpreted functions, and are incrementally axiomatized by means of upper- and lower-bounding piecewise-linear functions. Suitable numerical techniques are used to ensure that the abstractions of the transcendental functions are sound even in presence of irrationals. Our experimental evaluation on benchmarks from verification and mathematics demonstrates the potential of our approach, showing that it compares favorably with delta-satisfiability /interval propagation and methods based on theorem proving

Erratum to: Methods for evaluating medical tests and biomarkers

[This corrects the article DOI: 10.1186/s41512-016-0001-y.]

Ethical issues in autologous stem cell transplantation (ASCT) in advanced breast cancer: A systematic literature review

BACKGROUND: An effectiveness assessment on ASCT in locally advanced and metastatic breast cancer identified serious ethical issues associated with this intervention. Our objective was to systematically review these aspects by means of a literature analysis. METHODS: We chose the reflexive Socratic approach as the review method using Hofmann's question list, conducted a comprehensive literature search in biomedical, psychological and ethics bibliographic databases and screened the resulting hits in a 2-step selection process. Relevant arguments were assembled from the included articles, and were assessed and assigned to the question list. Hofmann's questions were addressed by synthesizing these arguments. RESULTS: Of the identified 879 documents 102 included arguments related to one or more questions from Hofmann's question list. The most important ethical issues were the implementation of ASCT in clinical practice on the basis of phase-II trials in the 1990s and the publication of falsified data in the first randomized controlled trials (Bezwoda fraud), which caused significant negative effects on recruiting patients for further clinical trials and the doctor-patient relationship. Recent meta-analyses report a marginal effect in prolonging disease-free survival, accompanied by severe harms, including death. ASCT in breast cancer remains a stigmatized technology. Reported health-related-quality-of-life data are often at high risk of bias in favor of the survivors. Furthermore little attention has been paid to those patients who were dying. CONCLUSIONS: The questions were addressed in different degrees of completeness. All arguments were assignable to the questions. The central ethical dimensions of ASCT could be discussed by reviewing the published literature

Evidence synthesis to inform model-based cost-effectiveness evaluations of diagnostic tests: a methodological systematic review of health technology assessments

Background: Evaluations of diagnostic tests are challenging because of the indirect nature of their impact on patient outcomes. Model-based health economic evaluations of tests allow different types of evidence from various sources to be incorporated and enable cost-effectiveness estimates to be made beyond the duration of available study data. To parameterize a health-economic model fully, all the ways a test impacts on patient health must be quantified, including but not limited to diagnostic test accuracy. Methods: We assessed all UK NIHR HTA reports published May 2009-July 2015. Reports were included if they evaluated a diagnostic test, included a model-based health economic evaluation and included a systematic review and meta-analysis of test accuracy. From each eligible report we extracted information on the following topics: 1) what evidence aside from test accuracy was searched for and synthesised, 2) which methods were used to synthesise test accuracy evidence and how did the results inform the economic model, 3) how/whether threshold effects were explored, 4) how the potential dependency between multiple tests in a pathway was accounted for, and 5) for evaluations of tests targeted at the primary care setting, how evidence from differing healthcare settings was incorporated. Results: The bivariate or HSROC model was implemented in 20/22 reports that met all inclusion criteria. Test accuracy data for health economic modelling was obtained from meta-analyses completely in four reports, partially in fourteen reports and not at all in four reports. Only 2/7 reports that used a quantitative test gave clear threshold recommendations. All 22 reports explored the effect of uncertainty in accuracy parameters but most of those that used multiple tests did not allow for dependence between test results. 7/22 tests were potentially suitable for primary care but the majority found limited evidence on test accuracy in primary care settings. Conclusions: The uptake of appropriate meta-analysis methods for synthesising evidence on diagnostic test accuracy in UK NIHR HTAs has improved in recent years. Future research should focus on other evidence requirements for cost-effectiveness assessment, threshold effects for quantitative tests and the impact of multiple diagnostic tests

Recommend Me a Movie: A Survey of 100 LMU Students\u27 Favorite Films

Your favorite film can tell a lot about you. I became interested in a survey of my peers’ favorite movies when, in the spring of 2015, I watched the favorite movies of three of my friends for the first time and was blown away by how I could see certain themes and ideas from the film reflected in the personalities of my friends. This study would conduct an investigation of LMU students’ favorite films on a larger scale. I intend to find 100 students (50 film majors and 50 non-film majors) to individually conduct a video interview with me during which I ask them about a film that they consider to be one of their favorites, and one that they believe partially defines them as a person. Following the interviews, I will also gather data on their chosen films regarding their release, core crew, and critical and popular reception. I will look for popular trends in my responses and refer to background research regarding film theory and popular entertainment to see how my results are similar or different

Acceptance of shared decision making with reference to an electronic library of decision aids (arriba-lib) and its association to decision making in patients: an evaluation study

BACKGROUND: Decision aids based on the philosophy of shared decision making are designed to help patients make informed choices among diagnostic or treatment options by delivering evidence-based information on options and outcomes. A patient decision aid can be regarded as a complex intervention because it consists of several presumably relevant components. Decision aids have rarely been field tested to assess patients' and physicians' attitudes towards them. It is also unclear what effect decision aids have on the adherence to chosen options. METHODS: The electronic library of decision aids (arriba-lib) to be used within the clinical encounter has a modular structure and contains evidence-based decision aids for the following topics: cardiovascular prevention, atrial fibrillation, coronary heart disease, oral antidiabetics, conventional and intensified insulin therapy, and unipolar depression. We conducted an evaluation study in which 29 primary care physicians included 192 patients. After the consultation, patients filled in questionnaires and were interviewed via telephone two months later. We used generalised estimation equations to measure associations within patient variables and traditional crosstab analyses. RESULTS: Patients were highly satisfied with arriba-lib and the process of shared decision making. Two-thirds of patients reached in the telephone interview wanted to be counselled again with arriba-lib. There was a high congruence between preferred and perceived decision making. Of those patients reached in the telephone interview, 80.7% said that they implemented the decision, independent of gender and education. Elderly patients were more likely to say that they implemented the decision. CONCLUSIONS: Shared decision making with our multi-modular electronic library of decision aids (arriba-lib) was accepted by a high number of patients. It has positive associations to general aspects of decision making in patients. It can be used for patient groups with a wide range of individual characteristics