Generalized Satisfiability Problems via Operator Assignments

Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of the notion of satisfiability in which the values to variables are linear operators on some Hilbert space. For the case of constraints given by a system of linear equations over the two-element field, this relaxation has received considerable attention in the foundations of quantum mechanics, where such constructions as the Mermin-Peres magic square show that there are systems that have no solutions in the Boolean domain, but have solutions via operator assignments on some finite-dimensional Hilbert space. We obtain a complete characterization of the classes of Boolean relations for which there is a gap between satisfiability in the Boolean domain and the relaxation of satisfiability via operator assignments. To establish our main result, we adapt the notion of primitive-positive definability (pp-definability) to our setting, a notion that has been used extensively in the study of constraint satisfaction problems. Here, we show that pp-definability gives rise to gadget reductions that preserve satisfiability gaps. We also present several additional applications of this method. In particular and perhaps surprisingly, we show that the relaxed notion of pp-definability in which the quantified variables are allowed to range over operator assignments gives no additional expressive power in defining Boolean relations

Transoral rotational esophagogastric fundoplication: technical, anatomical, and safety considerations

Background: Gastroesophageal reflux disease (GERD) results primarily from the loss of an effective antireflux barrier, which forms a mechanical barrier against the retrograde movement of gastric content. Restoration of the incompetent antireflux barrier is possible by longitudinal and rotational advancement of the gastric fundus about the lower esophagus, creating an esophagogastric fundoplication. This article describes the technique of performing a rotational and longitudinal esophagogastric fundoplication, performed transorally using EsophyX. Methods: The transoral incisionless fundoplication (TIF) technique enables the creation of a full-thickness esophagogastric fundoplication with fixation extending longitudinally up to 3.5 cm above the Z-line and rotationally more than 270 degrees around the esophagus. A key element of the technique involves rotating the fundus around the esophagus with a tissue mold during gastric desufflation. Anatomic considerations and use of the device's tissue invaginator to push the esophagus caudally are important to ensure safe positioning of the plications below the diaphragm. The steps of the technique are described in detail, and suggestions are given about patient selection and care, as well as prevention and management of complications. © 2010 The Author(s).SCOPUS: ar.jinfo:eu-repo/semantics/publishe

Childhood growth and development and DNA methylation age in mid-life

Background: In the first study of its kind, we examine the association between growth and development in early life and DNAm age biomarkers in mid-life. / Methods: Participants were from the Medical Research Council National Survey of Health and Development (n = 1376). Four DNAm age acceleration (AgeAccel) biomarkers were measured when participants were aged 53 years: AgeAccelHannum; AgeAccelHorvath; AgeAccelLevine; and AgeAccelGrim. Exposure variables included: relative weight gain (standardised residuals from models of current weight z-score on current height, and previous weight and height z-scores); and linear growth (standardised residuals from models of current height z-score on previous height and weight z-scores) during infancy (0–2 years, weight gain only), early childhood (2–4 years), middle childhood (4–7 years) and late childhood to adolescence (7–15 years); age at menarche; and pubertal stage for men at 14–15 years. The relationship between relative weight gain and linear growth and AgeAccel was investigated using conditional growth models. We replicated analyses from the late childhood to adolescence period and pubertal timing among 240 participants from The National Child and Development Study (NCDS). / Results: A 1SD increase in relative weight gain in late childhood to adolescence was associated with 0.50 years (95% CI 0.20, 0.79) higher AgeAccelGrim. Although the CI includes the null, the estimate was similar in NCDS [0.57 years (95% CI − 0.01, 1.16)] There was no strong evidence that relative weight gain and linear growth in childhood was associated with any other AgeAccel biomarker. There was no relationship between pubertal timing in men and AgeAccel biomarkers. Women who reached menarche ≥ 12 years had 1.20 years (95% CI 0.15, 2.24) higher AgeAccelGrim on average than women who reached menarche < 12 years; however, this was not replicated in NCDS and was not statistically significant after Bonferroni correction. / Conclusions: Our findings generally do not support an association between growth and AgeAccel biomarkers in mid-life. However, we found rapid weight gain during pubertal development, previously related to higher cardiovascular disease risk, to be associated with older AgeAccelGrim. Given this is an exploratory study, this finding requires replication

Modeling Molecular-Line Emission from Circumstellar Disks

Molecular lines hold valuable information on the physical and chemical composition of disks around young stars, the likely progenitors of planetary systems. This invited contribution discusses techniques to calculate the molecular emission (and absorption) line spectrum based on models for the physical and chemical structure of protoplanetary disks. Four examples of recent research illutrate these techniques in practice: matching resolved molecular-line emission from the disk around LkCa15 with theoertical models for the chemistry; evaluating the two-dimensional transfer of ultraviolet radiation into the disk, and the effect on the HCN/CN ratio; far-infrared CO line emission from a superheated disk surface layer; and inward motions in the disk around L1489 IRS.Comment: 6 pages, no figures. To appear in "The Dense Interstellar Medium in Galaxies", Procs. Fourth Cologne-Bonn-Zermatt-Symposiu

Structure of the TPR Domain of AIP: Lack of Client Protein Interaction with the C-Terminal alpha-7 Helix of the TPR Domain of AIP Is Sufficient for Pituitary Adenoma Predisposition

PMCID: PMC3534021This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Non-thermal emission processes in massive binaries

In this paper, I present a general discussion of several astrophysical processes likely to play a role in the production of non-thermal emission in massive stars, with emphasis on massive binaries. Even though the discussion will start in the radio domain where the non-thermal emission was first detected, the census of physical processes involved in the non-thermal emission from massive stars shows that many spectral domains are concerned, from the radio to the very high energies. First, the theoretical aspects of the non-thermal emission from early-type stars will be addressed. The main topics that will be discussed are respectively the physics of individual stellar winds and their interaction in binary systems, the acceleration of relativistic electrons, the magnetic field of massive stars, and finally the non-thermal emission processes relevant to the case of massive stars. Second, this general qualitative discussion will be followed by a more quantitative one, devoted to the most probable scenario where non-thermal radio emitters are massive binaries. I will show how several stellar, wind and orbital parameters can be combined in order to make some semi-quantitative predictions on the high-energy counterpart to the non-thermal emission detected in the radio domain. These theoretical considerations will be followed by a census of results obtained so far, and related to this topic... (see paper for full abstract)Comment: 47 pages, 5 postscript figures, accepted for publication in Astronomy and Astrophysics Review. Astronomy and Astrophysics Review, in pres

Some Like It Fat: Comparative Ultrastructure of the Embryo in Two Demosponges of the Genus Mycale (Order Poecilosclerida) from Antarctica and the Caribbean

0000-0002-7993-1523© 2015 Riesgo et al. This is an open access article distributed under the terms of the Creative Commons Attribution License [4.0], which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. The attached file is the published version of the article