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

Exploring trainer and trainee emotional talk in narratives about workplace-based feedback processes

Emotion characterises learners' feedback experiences. While the failure-to-fail literature suggests that emotion may be important, little is known about the role of emotion for educators. Secondary analyses were therefore conducted on data exploring 110 trainers' and trainees' feedback experiences. Group and individual narrative interviews were conducted across three UK sites. We analysed 333 narratives for emotional talk using textual analysis: Linguistic Inquiry and Word Count. Furthermore, thematic framework analysis was conducted on the trainer narratives to explore aspects of feedback processes that are emotional. An additional in-depth little 'd' discourse analysis was conducted on selected trainer narratives to enable us to explore the complex relationship between the whats (reported events) and the hows (emotional talk). Trainer narratives did not differ significantly in positive or negative emotional talk from trainee narratives. By exploring the interplay of the whats and the hows, several aspects of feedback processes were identified as potentially emotional for trainers including trainers being concerned about upsetting learners and worried about patient safety. This was illustrated through numerous linguistic devices to establish emotional tone such as metaphoric talk and laughter. These findings suggest that feedback processes can be emotional for trainers. It highlights the need to better understand the 'filter' of emotion for trainers but also to better understand how emotion plays a role in feedback as a complex social process.</p

The coordinated radio and infrared survey for high-mass star formation III. A catalogue of northern ultra-compact H II regions

A catalogue of 239 ultra-compact H II regions (UCHIIs) found in the CORNISH survey at 5 GHz and 1.5″ resolution in the region 10° < l < 65°, |b| < 1° is presented. This is the largest complete and well-selected sample of UCHIIs to date and provides the opportunity to explore the global and individual properties of this key state in massive star formation at multiple wavelengths. The nature of the candidates was validated, based on observational properties and calculated spectral indices, and the analysis is presented in this work. The physical sizes, luminosities and other physical properties were computed by utilising literature distances or calculating the distances whenever a value was not available. The near- and mid-infrared extended source fluxes were measured and the extinctions towards the UCHIIs were computed. The new results were combined with available data at longer wavelengths and the spectral energy distributions (SEDs) were reconstructed for 177 UCHIIs. The bolometric luminosities obtained from SED fitting are presented. By comparing the radio flux densities to previous observational epochs, we find about 5% of the sources appear to be time variable. This first high-resolution area survey of the Galactic plane shows that the total number of UCHIIs in the Galaxy is ~750 – a factor of 3–4 fewer than found in previous large area radio surveys. It will form the basis for future tests of models of massive star formation

Interplay between n-3 and n-6 long-chain polyunsaturated fatty acids and the endocannabinoid system in brain protection and repair.

The brain is enriched in arachidonic acid (ARA) and docosahexaenoic acid (DHA), long-chain polyunsaturated fatty acids (LCPUFA) of the n-6 and n-3 series, respectively. Both are essential for optimal brain development and function. Dietary enrichment with DHA and other long-chain n-3 PUFA, such as eicosapentaenoic acid (EPA) have shown beneficial effects on learning and memory, neuroinflammatory processes and synaptic plasticity and neurogenesis. ARA, DHA and EPA are precursors to a diverse repertoire of bioactive lipid mediators, including endocannabinoids. The endocannabinoid system comprises cannabinoid receptors, their endogenous ligands, the endocannabinoids, and their biosynthetic and degradation enzymes. Anandamide (AEA) and 2-archidonoylglycerol (2-AG) are the most widely studied endocannabinoids, and are both derived from phospholipid-bound ARA. The endocannabinoid system also has well established roles in neuroinflammation, synaptic plasticity and neurogenesis, suggesting an overlap in the neuroprotective effects observed with these different classes of lipids. Indeed, growing evidence suggests a complex interplay between n-3 and n-6 LCPUFA and the endocannabinoid system. For example, long-term DHA and EPA supplementation reduces AEA and 2-AG levels, with reciprocal increases in levels of the analogous endocannabinoid-like DHA and EPA-derived molecules. This review summarises current evidence of this interplay and discusses the therapeutic potential for brain protection and repair

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

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

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