Bit-Vector Model Counting using Statistical Estimation

Approximate model counting for bit-vector SMT formulas (generalizing \#SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it is computationally difficult. Adding random parity constraints (XOR streamlining) and then checking satisfiability is an effective approximation technique, but it requires a prior hypothesis about the model count to produce useful results. We propose an approach inspired by statistical estimation to continually refine a probabilistic estimate of the model count for a formula, so that each XOR-streamlined query yields as much information as possible. We implement this approach, with an approximate probability model, as a wrapper around an off-the-shelf SMT solver or SAT solver. Experimental results show that the implementation is faster than the most similar previous approaches which used simpler refinement strategies. The technique also lets us model count formulas over floating-point constraints, which we demonstrate with an application to a vulnerability in differential privacy mechanisms

Crystal structure of a c-kit promoter quadruplex reveals the structural role of metal ions and water molecules in maintaining loop conformation.

We report here the 1.62 Å crystal structure of an intramolecular quadruplex DNA formed from a sequence in the promoter region of the c-kit gene. This is the first reported crystal structure of a promoter quadruplex and the first observation of localized magnesium ions in a quadruplex structure. The structure reveals that potassium and magnesium ions have an unexpected yet significant structural role in stabilizing particular quadruplex loops and grooves that is distinct from but in addition to the role of potassium ions in the ion channel at the centre of all quadruplex structures. The analysis also shows how ions cluster together with structured water molecules to stabilize the quadruplex arrangement. This particular quadruplex has been previously studied by NMR methods, and the present X-ray structure is in accord with the earlier topology assignment. However, as well as the observations of potassium and magnesium ions, the crystal structure has revealed a highly significant difference in the dimensions of the large cleft in the structure, which is a plausible target for small molecules. This difference can be understood by the stabilizing role of structured water networks

Arrangements of human telomere DNA quadruplex in physiologically relevant K+ solutions

The arrangement of the human telomeric quadruplex in physiologically relevant conditions has not yet been unambiguously determined. Our spectroscopic results suggest that the core quadruplex sequence G3(TTAG3)3 forms an antiparallel quadruplex of the same basket type in solution containing either K+ or Na+ ions. Analogous sequences extended by flanking nucleotides form a mixture of the antiparallel and hybrid (3 + 1) quadruplexes in K+-containing solutions. We, however, show that long telomeric DNA behaves in the same way as the basic G3(TTAG3)3 motif. Both G3(TTAG3)3 and long telomeric DNA are also able to adopt the (3 + 1) quadruplex structure: Molecular crowding conditions, simulated here by ethanol, induced a slow transition of the K+-stabilized quadruplex into the hybrid quadruplex structure and then into a parallel quadruplex arrangement at increased temperatures. Most importantly, we demonstrate that the same transitions can be induced even in aqueous, K+-containing solution by increasing the DNA concentration. This is why distinct quadruplex structures were detected for AG3(TTAG3)3 by X-ray, nuclear magnetic resonance and circular dichrosim spectroscopy: Depending on DNA concentration, the human telomeric DNA can adopt the antiparallel quadruplex, the (3 + 1) structure, or the parallel quadruplex in physiologically relevant concentrations of K+ ions

Characterization of a K+-induced conformational switch in a human telomeric DNA oligonucleotide using 2-aminopurine fluorescence

Human telomeric DNA consists of tandem repeats of the DNA sequence d(GGGTTA). Oligodeoxynucletotide telomere models such as d[A(GGGTTA)(3)GGG] (Tel22) fold in a cation-dependent manner into quadruplex structures consisting of stacked G-quartets linked by d(TTA) loops. NMR has shown that in Na(+) solutions Tel22 forms a ‘basket’ topology of four antiparallel strands; in contrast, Tel22 in K(+) solutions consists of a mixture of unknown topologies. Our previous studies on the mechanism of folding of Tel22 and similar telomere analogs utilized changes in UV absorption between 270 and 325 nm that report primarily on G-quartet formation and stacking showed that quadruplex formation occurs within milliseconds upon mixing with an appropriate cation. In the current study, we assessed the dynamics and equilibria of folding of specific loops by using Tel22 derivatives in which the dA residues were serially substituted with the fluorescent reporter base, 2-aminopurine (2-AP). Tel22 folding induced by Na(+) or K(+) assessed by changes in 2-AP fluorescence consists of at least three kinetic steps with time constants spanning a range of ms to several hundred seconds. Na(+)-dependent equilibrium titrations of Tel22 folding could be approximated as a cooperative two-state process. In contrast, K(+)-dependent folding curves were biphasic, revealing that different conformational ensembles are present in 1 mM and 30 mM K(+). This conclusion was confirmed by (1)H NMR. Molecular dynamics simulations revealed a K(+) binding pocket in Tel22 located near dA1 that is specific for the so-called hybrid-1 conformation in which strand 1 is in a parallel arrangement. The possible presence of this topologically specific binding site suggests that K(+) may play an allosteric role in regulating telomere conformation and function by modulating quadruplex tertiary structure

Safety and efficacy of low-dose sirolimus in the PIK3CA-Related Overgrowth Spectrum

Purpose PIK3CA-related overgrowth spectrum (PROS) encompasses a range of debilitating conditions defined by asymmetric overgrowth caused by mosaic activating PIK3CA variants. PIK3CA encodes the p110α catalytic subunit of phosphatidylinositol-3-kinase (PI3K), a critical transducer of growth factor signaling. As mTOR mediates the growth-promoting actions of PI3K, we hypothesized that the mTOR inhibitor sirolimus would slow pathological overgrowth. Methods Thirty-nine participants with PROS and progressive overgrowth were enrolled into open-label studies across three centers, and results were pooled. For the primary outcome, tissue volumes at affected and unaffected sites were measured by dual energy X-ray absorptiometry during 26 weeks of untreated run-in and 26 weeks of sirolimus therapy. Results Thirty participants completed the study. Sirolimus led to a change in mean percentage total tissue volume of –7.2% (SD 16.0, p = 0.04) at affected sites, but not at unaffected sites (+1.7%, SD 11.5, p = 0.48) (n = 23 evaluable). Twenty-eight of 39 (72%) participants had ≥1 adverse event related to sirolimus of which 37% were grade 3 or 4 in severity and 7/39 (18%) participants were withdrawn consequently. Conclusion This study suggests that low-dose sirolimus can modestly reduce overgrowth, but cautions that the side-effect profile is significant, mandating individualized risk–benefit evaluations for sirolimus treatment in PROS

TERT promoter mutations are highly recurrent in SHH subgroup medulloblastoma

Telomerase reverse transcriptase (TERT) promoter mutations were recently shown to drive telomerase activity in various cancer types, including medulloblastoma. However, the clinical and biological implications of TERT mutations in medulloblastoma have not been described. Hence, we sought to describe these mutations and their impact in a subgroup-specific manner. We analyzed the TERT promoter by direct sequencing and genotyping in 466 medulloblastomas. The mutational distributions were determined according to subgroup affiliation, demographics, and clinical, prognostic, and molecular features. Integrated genomics approaches were used to identify specific somatic copy number alterations in TERT promoter-mutated and wild-type tumors. Overall, TERT promoter mutations were identified in 21 % of medulloblastomas. Strikingly, the highest frequencies of TERT mutations were observed in SHH (83 %; 55/66) and WNT (31 %; 4/13) medulloblastomas derived from adult patients. Group 3 and Group 4 harbored this alteration in <5 % of cases and showed no association wit

The Emergence of Emotions

Emotion is conscious experience. It is the affective aspect of consciousness. Emotion arises from sensory stimulation and is typically accompanied by physiological and behavioral changes in the body. Hence an emotion is a complex reaction pattern consisting of three components: a physiological component, a behavioral component, and an experiential (conscious) component. The reactions making up an emotion determine what the emotion will be recognized as. Three processes are involved in generating an emotion: (1) identification of the emotional significance of a sensory stimulus, (2) production of an affective state (emotion), and (3) regulation of the affective state. Two opposing systems in the brain (the reward and punishment systems) establish an affective value or valence (stimulus-reinforcement association) for sensory stimulation. This is process (1), the first step in the generation of an emotion. Development of stimulus-reinforcement associations (affective valence) serves as the basis for emotion expression (process 2), conditioned emotion learning acquisition and expression, memory consolidation, reinforcement-expectations, decision-making, coping responses, and social behavior. The amygdala is critical for the representation of stimulus-reinforcement associations (both reward and punishment-based) for these functions. Three distinct and separate architectural and functional areas of the prefrontal cortex (dorsolateral prefrontal cortex, orbitofrontal cortex, anterior cingulate cortex) are involved in the regulation of emotion (process 3). The regulation of emotion by the prefrontal cortex consists of a positive feedback interaction between the prefrontal cortex and the inferior parietal cortex resulting in the nonlinear emergence of emotion. This positive feedback and nonlinear emergence represents a type of working memory (focal attention) by which perception is reorganized and rerepresented, becoming explicit, functional, and conscious. The explicit emotion states arising may be involved in the production of voluntary new or novel intentional (adaptive) behavior, especially social behavior