Completeness and properness of refinement operators in inductive logic programming

AbstractWithin Inductive Logic Programming, refinement operators compute a set of specializations or generalizations of a clause. They are applied in model inference algorithms to search in a quasi-ordered set for clauses of a logical theory that consistently describes an unknown concept. Ideally, a refinement operator is locally finite, complete, and proper. In this article we show that if an element in a quasi-ordered set 〈S, ≥〉 has an infinite or incomplete cover set, then an ideal refinement operator for 〈S, ≥〉 does not exist. We translate the nonexistence conditions to a specific kind of infinite ascending and descending chains and show that these chains exist in unrestricted sets of clauses that are ordered by θ-subsumption. Next we discuss how the restriction to a finite ordered subset can enable the construction of ideal refinement operators. Finally, we define an ideal refinement operator for restricted θ-subsumption ordered sets of clauses

Extracranial Trigger Site Surgery for Migraine

Introduction: The headache phase of migraine could in selected cases potentially be treated by surgical decompression of one or more “trigger sites,” located at frontal, temporal, nasal, and occipital sites. This systematic review with subsequent meta-analysis aims at critically evaluating the currently available evidence for the surgical treatment of migraine headache and to determine the effect size of this treatment in a specific patient population. Methods: This study was conducted following the PRISMA guidelines. An online database search was performed. Inclusion was based on studies published between 2000 and March 2018, containing a diagnosis of migraine in compliance with the classification of the International Headache Society. The treatment must consist of one or more surgical procedures involving the extracranial nerves and/or arteries with outcome data available at minimum 6 months. Results: Eight hundred and forty-seven records were identified after duplicates were removed, 44 full text articles were assessed and 14 records were selected for inclusion. A total number of 627 patients were included in the analysis. A proportion of 0.38 of patients (random effects model, 95% CI [0.30–0.46]) experienced elimination of migraine headaches at 6–12 months follow-up. Using data from three randomized controlled trials, the calculated odds ratio for 90–100% elimination of migraine headaches is 21.46 (random effects model, 95% CI [5.64–81.58]) for patients receiving migraine surgery compared to sham or no surgery. Conclusions: Migraine surgery leads to elimination of migraine headaches in 38% of the migraine patients included in this review. However, more elaborate randomized trials are needed with transparent reporting of patient selection, medication use, and surgical procedures and implementing detailed and longer follow-up times

Baseline MDCT findings after prosthetic heart valve implantation provide important complementary information to echocardiography for follow-up purposes

Objectives: Recent studies have proposed additional multidetector-row CT (MDCT) for prosthetic heart valve (PHV) dysfunction. References to discriminate physiological from pathological conditions early after implantation are lacking. We present baseline MDCT findings of PHVs 6 weeks post implantation. Methods: Patients were prospectively enrolled and TTE was performed according to clinical guidelines. 256-MDCT images were systematically assessed for leaflet excursions, image quality, valve-related artefacts, and pathological and additional findings. Results: Forty-six patients were included comprising 33 mechanical and 16 biological PHVs. Overall, MDCT image quality was good and relevant regions remained reliably assessable despite mild-moderate PHV-artefacts. MDCT detected three unexpected valve-related pathology cases: (1) prominent subprosthetic tissue, (2) pseudoaneurysm and (3) extensive pseudoaneurysms and valve dehiscence. The latter patient required valve surgery to be redone. TTE only showed trace periprosthetic regurgitation, and no abnormalities in the other cases. Additional findings were: tilted aortic PHV position (n = 3), pericardial haematoma (n = 3) and pericardial effusion (n = 3). Periaortic induration was present in 33/40 (83 %) aortic valve patients. Conclusions: MDCT allowed evaluation of relevant PHV regions in all valves, revealed baseline postsurgical findings and, despite normal TTE findings, detected three cases of unexpected, clinically relevant pathology. Key Points: • Postoperative MDCT presents baseline morphology relevant for prosthetic valve follow-up. • 83 % of patients show periaortic induration 6 weeks after aortic valve replacement. • MDCT detected three cases of clinically relevant pathology not found with TTE. • Valve dehiscence detection by MDCT required redo valve surgery in one patient. • MDCT is a suitable and complementary imaging tool for follow-up purposes

Are novel non-invasive imaging techniques needed in patients with suspected prosthetic heart valve endocarditis? A systematic review and meta-analysis

Objectives: Multimodal non-invasive imaging plays a key role in establishing a diagnosis of PHV endocarditis. The objective of this study was to provide a systematic review of the literature and meta-analysis of the diagnostic accuracy of TTE, TEE, and MDCT in patients with (suspected) PHV endocarditis. Methods: Studies published between 1985 and 2013 were identified via search and cross-reference of PubMed/Embase databases. Studies were included if (1) they reported on the non-invasive index tests TTE, TEE, or MDCT; (2) data was provided on PHV endocarditis

Developing a new national MDMA policy:Results of a multi-decision multi-criterion decision analysis

BACKGROUND: Ecstasy (3,4-methylenedioxymethamphetamine (MDMA)) has a relatively low harm and low dependence liability but is scheduled on List I of the Dutch Opium Act (‘hard drugs’). Concerns surrounding increasing MDMA-related criminality coupled with the possibly inappropriate scheduling of MDMA initiated a debate to revise the current Dutch ecstasy policy. METHODS: An interdisciplinary group of 18 experts on health, social harms and drug criminality and law enforcement reformulated the science-based Dutch MDMA policy using multi-decision multi-criterion decision analysis (MD-MCDA). The experts collectively formulated policy instruments and rated their effects on 25 outcome criteria, including health, criminality, law enforcement and financial issues, thematically grouped in six clusters. RESULTS: The experts scored the effect of 22 policy instruments, each with between two and seven different mutually exclusive options, on 25 outcome criteria. The optimal policy model was defined by the set of 22 policy instrument options which gave the highest overall score on the 25 outcome criteria. Implementation of the optimal policy model, including regulated MDMA sales, decreases health harms, MDMA-related organised crime and environmental damage, as well as increases state revenues and quality of MDMA products and user information. This model was slightly modified to increase its political feasibility. Sensitivity analyses showed that the outcomes of the current MD-MCDA are robust and independent of variability in weight values. CONCLUSION: The present results provide a feasible and realistic set of policy instrument options to revise the legislation towards a rational MDMA policy that is likely to reduce both adverse (public) health risks and MDMA-related criminal burden

Whole Grain Wheat Consumption Affects Postprandial Inflammatory Response in a Randomized Controlled Trial in Overweight and Obese Adults with Mild Hypercholesterolemia in the Graandioos Study

BACKGROUND: Whole grain wheat (WGW) consumption is associated with health benefits in observational studies. However, WGW randomized controlled trial (RCT) studies show mixed effects. OBJECTIVES: The health impact of WGW consumption was investigated by quantification of the body's resilience, which was defined as the "ability to adapt to a standardized challenge." METHODS: A double-blind RCT was performed with overweight and obese (BMI: 25-35 kg/m2) men (n = 19) and postmenopausal women (n = 31) aged 45-70 y, with mildly elevated plasma total cholesterol (>5 mmol/L), who were randomly assigned to either 12-wk WGW (98 g/d) or refined wheat (RW). Before and after the intervention a standardized mixed-meal challenge was performed. Plasma samples were taken after overnight fasting and postprandially (30, 60, 120, and 240 min). Thirty-one biomarkers were quantified focusing on metabolism, liver, cardiovascular health, and inflammation. Linear mixed-models evaluated fasting compared with postprandial intervention effects. Health space models were used to evaluate intervention effects as composite markers representing resilience of inflammation, liver, and metabolism. RESULTS: Postprandial biomarker changes related to liver showed decreased alanine aminotransferase by WGW (P = 0.03) and increased β-hydroxybutyrate (P = 0.001) response in RW. Postprandial changes related to inflammation showed increased C-reactive protein (P = 0.001), IL-6 (P = 0.02), IL-8 (P = 0.007), and decreased IL-1B (P = 0.0002) in RW and decreased C-reactive protein (P < 0.0001), serum amyloid A (P < 0.0001), IL-8 (P = 0.02), and IL-10 (P < 0.0001) in WGW. Health space visualization demonstrated diminished inflammatory (P < 0.01) and liver resilience (P < 0.01) by RW, whereas liver resilience was rejuvenated by WGW (P < 0.05). CONCLUSIONS: Twelve-week 98 g/d WGW consumption can promote liver and inflammatory resilience in overweight and obese subjects with mildly elevated plasma cholesterol. The health space approach appeared appropriate to evaluate intervention effects as composite markers. This trial was registered at www.clinicaltrials.gov as NCT02385149.</p

Levonorgestrel-releasing intrauterine system versus endometrial ablation for heavy menstrual bleeding

Acknowledgments: We thank all the women who participated in this trial; the participating general practitioners, gynecologists, and hospitals; the research nurses; and the staff of the Dutch Consortium for Studies in Women’s Health and Reproduction.Peer reviewedPublisher PD

Coronary artery assessment by multidetector computed tomography in patients with prosthetic heart valves

Objectives Patients with prosthetic heart valves may require assessment for coronary artery disease. We assessed whether valve artefacts hamper coronary artery assessment by multidetector CT. Methods ECG-gated or -triggered CT angiograms were selected from our PACS archive based on the presence of prosthetic heart valves. The best systolic and diastolic axial reconstructions were selected for coronary assessment. Each present coronary segment was scored for the presence of valve-related artefacts prohibiting coronary artery assessment. Scoring was performed in consensus by two observers. Results Eighty-two CT angiograms were performed on a 64-slice ( = 27) or 256-slice ( = 55) multidetector CT. Eighty-nine valves and five annuloplasty rings were present. Forty-three out of 1160 (3.7%) present coronary artery segments were non-diagnostic due to valve artefacts (14/82 patients). Valve artefacts were located in right coronary artery (15/43; 35%), left anterior descending artery (2/43; 5%), circumflex artery (14/43; 32%) and marginal obtuse (12/43; 28%) segments. All cobalt-chrome containing valves caused artefacts prohibiting coronary assessment. Biological and titanium-containing valves did not cause artefacts except for three specific valve types. Conclusions Most commonly implanted prosthetic heart valves do not hamper coronary assessment on multidetector CT. Cobalt-chrome containing prosthetic heart valves preclude complete coronary artery assessment because of severe valve artefacts. Key Points Most commonly implanted prosthetic heart valves do not hamper coronary artery assessment Prosthetic heart valve composition determines the occurrence of prosthetic heart valve-related artefacts Bjork-Shiley and Sorin tilting disc valves preclude diagnostic coronary artery segment assessmen

Dietary magnesium, not calcium, prevents vascular calcification in a mouse model for pseudoxanthoma elasticum

Pseudoxanthoma elasticum (PXE) is a heritable disorder characterized by ectopic calcification of connective tissue in skin, Bruch’s membrane of the eye, and walls of blood vessels. PXE is caused by mutations in the ABCC6 gene, but the exact etiology is still unknown. While observations on patients suggest that high calcium intake worsens the clinical symptoms, the patient organization PXE International has published the dietary advice to increase calcium intake in combination with increased magnesium intake. To obtain more data on this controversial issue, we examined the effect of dietary calcium and magnesium in the Abcc6−/− mouse, a PXE mouse model which mimics the clinical features of PXE. Abcc6−/− mice were placed on specific diets for 3, 7, and 12 months. Disease severity was measured by quantifying calcification of blood vessels in the kidney. Raising the calcium content in the diet from 0.5% to 2% did not change disease severity. In contrast, simultaneous increase of both calcium (from 0.5% to 2.0%) and magnesium (from 0.05% to 0.2%) slowed down the calcification significantly. Our present findings that increase in dietary magnesium reduces vascular calcification in a mouse model for PXE should stimulate further studies to establish a dietary intervention for PXE

Cost-effectiveness of an exercise program during pregnancy to prevent gestational diabetes: Results of an economic evaluation alongside a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>The prevalence of gestational diabetes mellitus (GDM) is increasing worldwide. GDM and the risks associated with GDM lead to increased health care costs and losses in productivity. The objective of this study is to evaluate whether the FitFor2 exercise program during pregnancy is cost-effective from a societal perspective as compared to standard care.</p> <p>Methods</p> <p>A randomised controlled trial (RCT) and simultaneous economic evaluation of the FitFor2 program were conducted. Pregnant women at risk for GDM were randomised to an exercise program to prevent high maternal blood glucose (n = 62) or to standard care (n = 59). The exercise program consisted of two sessions of aerobic and strengthening exercises per week. Clinical outcome measures were maternal fasting blood glucose levels, insulin sensitivity and infant birth weight. Quality of life was measured using the EuroQol 5-D and quality-adjusted life-years (QALYs) were calculated. Resource utilization and sick leave data were collected by questionnaires. Data were analysed according to the intention-to-treat principle. Missing data were imputed using multiple imputations. Bootstrapping techniques estimated the uncertainty surrounding the cost differences and incremental cost-effectiveness ratios.</p> <p>Results</p> <p>There were no statistically significant differences in any outcome measure. During pregnancy, total health care costs and costs of productivity losses were statistically non-significant (mean difference €1308; 95%CI €-229 - €3204). The cost-effectiveness analyses showed that the exercise program was not cost-effective in comparison to the control group for blood glucose levels, insulin sensitivity, infant birth weight or QALYs.</p> <p>Conclusion</p> <p>The twice-weekly exercise program for pregnant women at risk for GDM evaluated in the present study was not cost-effective compared to standard care. Based on these results, implementation of this exercise program for the prevention of GDM cannot be recommended.</p> <p>Trial registration</p> <p>NTR1139</p