On completeness of logic programs

Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the answers required by its specification. Little work has been devoted to reasoning about completeness. This paper presents a few sufficient conditions for completeness of definite programs. We also study preserving completeness under some cases of pruning of SLD-trees (e.g. due to using the cut). We treat logic programming as a declarative paradigm, abstracting from any operational semantics as far as possible. We argue that the proposed methods are simple enough to be applied, possibly at an informal level, in practical Prolog programming. We point out importance of approximate specifications.Comment: 20 page

Calibration estimation in dual-frame surveys

Survey statisticians make use of auxiliary information to improve estimates. One important example is calibration estimation, which constructs new weights that match benchmark constraints on auxiliary variables while remaining “close” to the design weights. Multiple-frame surveys are increasingly used by statistical agencies and private organizations to reduce sampling costs and/or avoid frame undercoverage errors. Several ways of combining estimates derived from such frames have been proposed elsewhere; in this paper, we extend the calibration paradigm, previously used for single-frame surveys, to calculate the total value of a variable of interest in a dual-frame survey. Calibration is a general tool that allows to include auxiliary information from two frames. It also incorporates, as a special case, certain dual-frame estimators that have been proposed previously. The theoretical properties of our class of estimators are derived and discussed, and simulation studies conducted to compare the efficiency of the procedure, using different sets of auxiliary variables. Finally, the proposed methodology is applied to real data obtained from the Barometer of Culture of Andalusia survey.Ministerio de Educación y CienciaConsejería de Economía, Innovación, Ciencia y EmpleoPRIN-SURWE

How do general practitioners experience providing care to refugees with mental health problems? A qualitative study from Denmark

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited

Logic Program Synthesis via Proof Planning

We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof. The approach is a two-level one: At the object level, we prove program verification conjectures in a sorted, first-order theory. The conjectures are of the form $\forall \vec{args}. \; prog(\vec{args}) \leftrightarrow spec(\vec{args})$. At the meta-level, we plan the object-level verification with an unspecified program definition. The definition is represented with a (second-order) meta-level variable, which becomes instantiated in the course of the planning. This technique is an application of the Clam proof planning system. Clam is currently powerful enough to plan verification proofs for given programs. We show that, if Clam's use of middle-out reasoning is extended, it will also be able to synthesize programs

Population Empirical Likelihood Estimation in Dual Frame Surveys

Dual frame surveys are a device to reduce the costs derived from data collection in surveys and improve coverage for the whole target population. Since their introduction, in the 1960’s, dual frame surveys have gained much attention and several estimators have been formulated based on a number of different approaches. In this work, we propose new dual frame estimators based on the population empirical likelihood method originally proposed by Chen and Kim (2014) and using both the dual and the single frame approach. The extension of the proposed methodology to more than two frame surveys is also sketched. The performance of the proposed estimators in terms of relative bias and relative mean squared error is tested through simulation experiments. These experiments indicate that the proposed estimators yield better results than other likelihood-based estimators proposed in the literature.Ministerio de Economía y Competitividad of Spai

A Novel Tool for the Assessment of Pain: Validation in Low Back Pain

Joachim Scholz and colleagues develop and validate an assessment tool that distinguishes between radicular and axial low back pain

Mobile Phone Data for Children on the Move: Challenges and Opportunities

Today, 95% of the global population has 2G mobile phone coverage and the number of individuals who own a mobile phone is at an all time high. Mobile phones generate rich data on billions of people across different societal contexts and have in the last decade helped redefine how we do research and build tools to understand society. As such, mobile phone data has the potential to revolutionize how we tackle humanitarian problems, such as the many suffered by refugees all over the world. While promising, mobile phone data and the new computational approaches bring both opportunities and challenges. Mobile phone traces contain detailed information regarding people's whereabouts, social life, and even financial standing. Therefore, developing and adopting strategies that open data up to the wider humanitarian and international development community for analysis and research while simultaneously protecting the privacy of individuals is of paramount importance. Here we outline the challenging situation of children on the move and actions UNICEF is pushing in helping displaced children and youth globally, and discuss opportunities where mobile phone data can be used. We identify three key challenges: data access, data and algorithmic bias, and operationalization of research, which need to be addressed if mobile phone data is to be successfully applied in humanitarian contexts.Comment: 13 pages, book chapte

Optimizing the diagnostic work-up of acute uncomplicated urinary tract infections

<p>Abstract</p> <p>Background</p> <p>Most diagnostic tests for acute uncomplicated urinary tract infections (UTIs) have been previously studied in so-called single-test evaluations. In practice, however, clinicians use more than one test in the diagnostic work-up. Since test results carry overlapping information, results from single-test studies may be confounded. The primary objective of the Amsterdam Cystitis/Urinary Tract Infection Study (ACUTIS) is to determine the (additional) diagnostic value of relevant tests from patient history and laboratory investigations, taking into account their mutual dependencies. Consequently, after suitable validation, an easy to use, multivariable diagnostic rule (clinical index) will be derived.</p> <p>Methods</p> <p>Women who contact their GP with painful and/or frequent micturition undergo a series of possibly relevant tests, consisting of patient history questions and laboratory investigations. Using urine culture as the reference standard, two multivariable models (diagnostic indices) will be generated: a model which assumes that patients attend the GP surgery and a model based on telephone contact only. Models will be made more robust using the bootstrap. Discrimination will be visualized in high resolution histograms of the posterior UTI probabilities and summarized as 5^th, 10^th, 25^th50^th, 75^th, 90^th, and 95^thcentiles of these, Brier score and the area under the receiver operating characteristics curve (ROC) with 95% confidence intervals. Using the regression coefficients of the independent diagnostic indicators, a diagnostic rule will be derived, consisting of an efficient set of tests and their diagnostic values.</p> <p>The course of the presenting complaints is studied using 7-day patient diaries. To learn more about the natural history of UTIs, patients will be offered the opportunity to postpone the use of antibiotics.</p> <p>Discussion</p> <p>We expect that our diagnostic rule will allow efficient diagnosis of UTIs, necessitating the collection of diagnostic indicators with proven added value. GPs may use the rule (preferably after suitable validation) to estimate UTI probabilities for women with different combinations of test results. Finally, in a subcohort, an attempt is made to identify which indicators (including antibiotic treatment) are useful to prognosticate recovery from painful and/or frequent micturition.</p

Diagnostic value of fine-needle aspiration biopsy for breast mass: a systematic review and meta-analysis

<p>Abstract</p> <p>Background</p> <p>Fine-needle aspiration biopsy (FNAB) of the breast is a minimally invasive yet maximally diagnostic method. However, the clinical use of FNAB has been questioned. The purpose of our study was to establish the overall value of FNAC in the diagnosis of breast lesions.</p> <p>Methods</p> <p>After a review and quality assessment of 46 studies, sensitivity, specificity and other measures of accuracy of FNAB for evaluating breast lesions were pooled using random-effects models. Summary receiver operating characteristic curves were used to summarize overall accuracy. The sensitivity and specificity for the studies data (included unsatisfactory samples) and underestimation rate of unsatisfactory samples were also calculated.</p> <p>Results</p> <p>The summary estimates for FNAB in diagnosis of breast carcinoma were as follows (unsatisfactory samples was temporarily exluded): sensitivity, 0.927 (95% confidence interval [CI], 0.921 to 0.933); specificity, 0.948 (95% CI, 0.943 to 0.952); positive likelihood ratio, 25.72 (95% CI, 17.35 to 28.13); negative likelihood ratio, 0.08 (95% CI, 0.06 to 0.11); diagnostic odds ratio, 429.73 (95% CI, 241.75 to 763.87); The pooled sensitivity and specificity for 11 studies, which reported unsatisfactory samples (unsatisfactory samples was considered to be positive in this classification) were 0.920 (95% CI, 0.906 to 0.933) and 0.768 (95% CI, 0.751 to 0.784) respectively. The pooled proportion of unsatisfactory samples that were subsequently upgraded to various grade cancers was 27.5% (95% CI, 0.221 to 0.296).</p> <p>Conclusions</p> <p>FNAB is an accurate biopsy for evaluating breast malignancy if rigorous criteria are used. With regard to unsatisfactory samples, futher invasive procedures are required in order to minimize the chance of a missed diagnosis of breast cancer.</p

Back Complaints in the Elders (BACE); design of cohort studies in primary care: an international consortium

Background: Although back complaints are common among older people, limited information is available in the literature about the clinical course of back pain in older people and the identification of older persons at risk for the transition from acute back complaints to chronic back pain. The aim of this study is to assess the course of back complaints and identify prognostic factors for the transition from acute back complaints to chronic back complaints in older people who visit a primary health care physician. Methods/design. The design is a prospective cohort study with one-year follow-up. There will be no interference with usual care. Patients older than 55 years who consult a primary health care physician with a new episode of back complaints will be included in this study. Data will be collected using a questionnaire, physical examination and X-ray at baseline, and follow-up questionnaires afte