On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Realising the right to data portability for the domestic Internet of Things

There is an increasing role for the IT design community to play in regulation of emerging IT. Article 25 of the EU General Data Protection Regulation (GDPR) 2016 puts this on a strict legal basis by establishing the need for information privacy by design and default (PbD) for personal data-driven technologies. Against this backdrop, we examine legal, commercial and technical perspectives around the newly created legal right to data portability (RTDP) in GDPR. We are motivated by a pressing need to address regulatory challenges stemming from the Internet of Things (IoT). We need to find channels to support the protection of these new legal rights for users in practice. In Part I we introduce the internet of things and information PbD in more detail. We briefly consider regulatory challenges posed by the IoT and the nature and practical challenges surrounding the regulatory response of information privacy by design. In Part II, we look in depth at the legal nature of the RTDP, determining what it requires from IT designers in practice but also limitations on the right and how it relates to IoT. In Part III we focus on technical approaches that can support the realisation of the right. We consider the state of the art in data management architectures, tools and platforms that can provide portability, increased transparency and user control over the data flows. In Part IV, we bring our perspectives together to reflect on the technical, legal and business barriers and opportunities that will shape the implementation of the RTDP in practice, and how the relationships may shape emerging IoT innovation and business models. We finish with brief conclusions about the future for the RTDP and PbD in the IoT

Variations of endonasal anatomy: relevance for the endoscopic endonasal transsphenoidal approach

Contains fulltext : 87525.pdf (publisher's version ) (Closed access)BACKGROUND: The endoscopic endonasal transsphenoidal approach (EETA) to the pituitary is performed by ear, nose, and throat (ENT) surgeons in collaboration with neurosurgeons but also by neurosurgeons alone even though neurosurgeons have not been trained in rhinological surgery. PURPOSE: To register the frequency of endonasal anatomical variations and to evaluate whether these variations hinder the progress of EETA and require extra rhinological surgical skills. METHODS: A prospective cohort study of 185 consecutive patients receiving an EETA through a binostril approach was performed. All anatomical endonasal variations were noted and the relevance for the progress of surgery evaluated. RESULTS: In 48% of patients, anatomical variations were recognized, the majority of which were spinae septi and septum deviations. In 5% of patients, the planned binostril approach had to be converted into a mononostril approach; whereas in 18% of patients with an anatomical variation, a correction had to be performed. There was no difference between the ENT surgeon and the neurosurgeon performing the approach. Complications related to the endonasal phase of the surgery occurred in 3.8%. Fluoroscopy or electromagnetic navigation has been used during 6.5% of the surgeries. CONCLUSION: Although endonasal anatomical variations are frequent, they do not pose a relevant obstacle for EETA.1 juni 201

Enhanced Brain Disposition and Effects of Δ9-Tetrahydrocannabinol in P-Glycoprotein and Breast Cancer Resistance Protein Knockout Mice

The ABC transporters P-glycoprotein (P-gp, Abcb1) and breast cancer resistance protein (Bcrp, Abcg2) regulate the CNS disposition of many drugs. The main psychoactive constituent of cannabis Δ9-tetrahydrocannabinol (THC) has affinity for P-gp and Bcrp, however it is unknown whether these transporters modulate the brain accumulation of THC and its functional effects on the CNS. Here we aim to show that mice devoid of Abcb1 and Abcg2 retain higher brain THC levels and are more sensitive to cannabinoid-induced hypothermia than wild-type (WT) mice. Abcb1a/b (−/−), Abcg2 (−/−) and wild-type (WT) mice were injected with THC before brain and blood were collected and THC concentrations determined. Another cohort of mice was examined for THC-induced hypothermia by measuring rectal body temperature. Brain THC concentrations were higher in both Abcb1a/b (−/−) and Abcg2 (−/−) mice than WT mice. ABC transporter knockout mice exhibited delayed elimination of THC from the brain with the effect being more prominent in Abcg2 (−/−) mice. ABC transporter knockout mice were more sensitive to THC-induced hypothermia compared to WT mice. These results show P-gp and Bcrp prolong the brain disposition and hypothermic effects of THC and offer a novel mechanism for both genetic vulnerability to the psychoactive effects of cannabis and drug interactions between CNS therapies and cannabis

The association between baseline persistent pain and weight change in patients attending a specialist weight management service

To quantify the influence of baseline pain levels on weight change at one-year follow-up in patients attending a National Health Service specialist weight management programme.We compared one-year follow-up weight (body mass) change between patient sub-groups of none-to-mild, moderate, and severe pain at baseline. A mean sub-group difference in weight change of ≥5kg was considered clinically relevant.Of the 141 complete cases, n = 43 (30.5%) reported none-to-mild pain, n = 44 (31.2%) reported moderate pain, and n = 54 (38.3%) reported severe pain. Covariate-adjusted mean weight loss (95%CI) was similar for those with none-to-mild (8.1kg (4.2 to 12.0kg)) and moderate pain (8.3kg (4.9 to 11.7kg). The mean weight loss of 3.0kg (-0.4 to 6.4kg) for the severe pain group was 5.1kg (-0.6 to 10.7, p = 0.08) lower than the none-to-mild pain group and 5.3kg (0.4 to 10.2kg, p = 0.03) lower than the moderate pain group.Patients with severe pain upon entry to a specialist weight management service in England achieve a smaller mean weight loss at one-year follow-up than those with none-to-moderate pain. The magnitude of the difference in mean weight loss was clinically relevant, highlighting the importance of addressing severe persistent pain in obese patients undertaking weight management programmes

Influence of alternating temperature preculture on cryopreservation results for potato shoot tips

Cryopreservation is the most suitable long-term storage method for genetic resources of vegetatively maintained crops like potato. In the Leibniz Institute of Plant Genetics and Crop Plant Research (IPK) the DMSO droplet method is applied, and so far more than 1000 accessions are cryopreserved with an average regeneration rate of 58%. New experiments with four potato accessions using alternating temperatures (22/8°C day/night temperature, 8 h photoperiod, 7 d) prior to cryopreservation showed improved regeneration. The influence of this preculture on the shoot tips was studied for two wild, frost resistant species Solanum acaule and S. demissum and for two cultivated, frost sensitive potatoes S. tuberosum ‘Désirée’ and ‘King Edward’. Comparison of liquid and solid media after cryopreservation showed improved regeneration on solid media with higher regeneration percentages, less callus formation and better plantlet structure. In comparative analyses biochemical factors like soluble sugars, starch, and amino acid concentrations were measured. Shoot tips after constant and after alternating temperature preculture were analyzed. Total concentrations of soluble sugars (glucose, fructose, and sucrose) were higher for all accessions after the alternating temperature preculture, which could be the reason for improved cryopreservation results

Host candidate gene polymorphisms and clearance of drug-resistant Plasmodium falciparum parasites

Resistance to anti-malarial drugs is a widespread problem for control programmes for this devastating disease. Molecular tests are available for many anti-malarial drugs and are useful tools for the surveillance of drug resistance. However, the correlation of treatment outcome and molecular tests with particular parasite markers is not perfect, due in part to individuals who are able to clear genotypically drug-resistant parasites. This study aimed to identify molecular markers in the human genome that correlate with the clearance of malaria parasites after drug treatment, despite the drug resistance profile of the protozoan as predicted by molecular approaches