Abstract Learning Frameworks for Synthesis

We develop abstract learning frameworks (ALFs) for synthesis that embody the principles of CEGIS (counter-example based inductive synthesis) strategies that have become widely applicable in recent years. Our framework defines a general abstract framework of iterative learning, based on a hypothesis space that captures the synthesized objects, a sample space that forms the space on which induction is performed, and a concept space that abstractly defines the semantics of the learning process. We show that a variety of synthesis algorithms in current literature can be embedded in this general framework. While studying these embeddings, we also generalize some of the synthesis problems these instances are of, resulting in new ways of looking at synthesis problems using learning. We also investigate convergence issues for the general framework, and exhibit three recipes for convergence in finite time. The first two recipes generalize current techniques for convergence used by existing synthesis engines. The third technique is a more involved technique of which we know of no existing instantiation, and we instantiate it to concrete synthesis problems

Clades and clans: a comparison study of two evolutionary models

The Yule-Harding-Kingman (YHK) model and the proportional to distinguishable arrangements (PDA) model are two binary tree generating models that are widely used in evolutionary biology. Understanding the distributions of clade sizes under these two models provides valuable insights into macro-evolutionary processes, and is important in hypothesis testing and Bayesian analyses in phylogenetics. Here we show that these distributions are log-convex, which implies that very large clades or very small clades are more likely to occur under these two models. Moreover, we prove that there exists a critical value $\kappa(n)$ for each $n\geqslant 4$ such that for a given clade with size $k$, the probability that this clade is contained in a random tree with $n$ leaves generated under the YHK model is higher than that under the PDA model if $1<k<\kappa(n)$, and lower if $\kappa(n)<k<n$. Finally, we extend our results to binary unrooted trees, and obtain similar results for the distributions of clan sizes.Comment: 21page

Epidermal Neural Crest Stem Cell (EPI-NCSC)—Mediated Recovery of Sensory Function in a Mouse Model of Spinal Cord Injury

Here we show that epidermal neural crest stem cell (EPI-NCSC) transplants in the contused spinal cord caused a 24% improvement in sensory connectivity and a substantial recovery of touch perception. Furthermore we present a novel method for the ex vivo expansion of EPI-NCSC into millions of stem cells that takes advantage of the migratory ability of neural crest stem cells and is based on a new culture medium and the use of microcarriers. Functional improvement was shown by two independent methods, spinal somatosensory evoked potentials (SpSEP) and the Semmes-Weinstein touch test. Subsets of transplanted cells differentiated into myelinating oligodendrocytes. Unilateral injections of EPI-NCSC into the lesion of midline contused mouse spinal cords elicited bilateral improvements. Intraspinal EPI-NCSC did not migrate laterally in the spinal cord or invade the spinal roots and dorsal root ganglia, thus implicating diffusible factors. EPI-NCSC expressed neurotrophic factors, angiogenic factors, and metalloproteases. The strength of EPI-NCSC thus is that they can exert a combination of pertinent functions in the contused spinal cord, including cell replacement, neuroprotection, angiogenesis and modulation of scar formation. EPI-NCSC are uniquely qualified for cell-based therapy in spinal cord injury, as neural crest cells and neural tube stem cells share a higher order stem cell and are thus ontologically closely related

An Improved BKW Algorithm for LWE with Applications to Cryptography and Lattices

In this paper, we study the Learning With Errors problem and its binary variant, where secrets and errors are binary or taken in a small interval. We introduce a new variant of the Blum, Kalai and Wasserman algorithm, relying on a quantization step that generalizes and fine-tunes modulus switching. In general this new technique yields a significant gain in the constant in front of the exponent in the overall complexity. We illustrate this by solving p within half a day a LWE instance with dimension n = 128, modulus $q = n^2$, Gaussian noise $\alpha = 1/(\sqrt{n/\pi} \log^2 n)$ and binary secret, using $2^{28}$ samples, while the previous best result based on BKW claims a time complexity of $2^{74}$ with $2^{60}$ samples for the same parameters. We then introduce variants of BDD, GapSVP and UniqueSVP, where the target point is required to lie in the fundamental parallelepiped, and show how the previous algorithm is able to solve these variants in subexponential time. Moreover, we also show how the previous algorithm can be used to solve the BinaryLWE problem with n samples in subexponential time $2^{(\ln 2/2+o(1))n/\log \log n}$. This analysis does not require any heuristic assumption, contrary to other algebraic approaches; instead, it uses a variant of an idea by Lyubashevsky to generate many samples from a small number of samples. This makes it possible to asymptotically and heuristically break the NTRU cryptosystem in subexponential time (without contradicting its security assumption). We are also able to solve subset sum problems in subexponential time for density $o(1)$, which is of independent interest: for such density, the previous best algorithm requires exponential time. As a direct application, we can solve in subexponential time the parameters of a cryptosystem based on this problem proposed at TCC 2010.Comment: CRYPTO 201

Phosphoenolpyruvate carboxylase dentified as a key enzyme in erythrocytic Plasmodium falciparum carbon metabolism

Phospoenolpyruvate carboxylase (PEPC) is absent from humans but encoded in thePlasmodium falciparum genome, suggesting that PEPC has a parasite-specific function. To investigate its importance in P. falciparum, we generated a pepc null mutant (D10Δpepc), which was only achievable when malate, a reduction product of oxaloacetate, was added to the growth medium. D10Δpepc had a severe growth defect in vitro, which was partially reversed by addition of malate or fumarate, suggesting that pepc may be essential in vivo. Targeted metabolomics using 13C-U-D-glucose and 13C-bicarbonate showed that the conversion of glycolytically-derived PEP into malate, fumarate, aspartate and citrate was abolished in D10Δpepc and that pentose phosphate pathway metabolites and glycerol 3-phosphate were present at increased levels. In contrast, metabolism of the carbon skeleton of 13C,15N-U-glutamine was similar in both parasite lines, although the flux was lower in D10Δpepc; it also confirmed the operation of a complete forward TCA cycle in the wild type parasite. Overall, these data confirm the CO2 fixing activity of PEPC and suggest that it provides metabolites essential for TCA cycle anaplerosis and the maintenance of cytosolic and mitochondrial redox balance. Moreover, these findings imply that PEPC may be an exploitable target for future drug discovery

A consistent picture for large penguins in D -> pi+ pi-, K+ K-

A long-standing puzzle in charm physics is the large difference between the D0 -> K+ K- and D0 -> pi+ pi- decay rates. Recently, the LHCb and CDF collaborations reported a surprisingly large difference between the direct CP asymmetries, Delta A_CP, in these two modes. We show that the two puzzles are naturally related in the Standard Model via s- and d-quark "penguin contractions". Their sum gives rise to Delta A_CP, while their difference contributes to the two branching ratios with opposite sign. Assuming nominal SU(3) breaking, a U-spin fit to the D0 -> K+ pi-, pi+ K-, pi+ pi-, K+ K- decay rates yields large penguin contractions that naturally explain Delta A_CP. Expectations for the individual CP asymmetries are also discussed.Comment: 24 pages, 8 figure

6D supergravity without tensor multiplets

We systematically investigate the finite set of possible gauge groups and matter content for N = 1 supergravity theories in six dimensions with no tensor multiplets, focusing on nonabelian gauge groups which are a product of SU(N) factors. We identify a number of models which obey all known low-energy consistency conditions, but which have no known string theory realization. Many of these models contain novel matter representations, suggesting possible new string theory constructions. Many of the most exotic matter structures arise in models which precisely saturate the gravitational anomaly bound on the number of hypermultiplets. Such models have a rigid symmetry structure, in the sense that there are no moduli which leave the full gauge group unbroken.Comment: 31 pages, latex; v2, v3: minor corrections, references adde

Planet formation in Binaries

Spurred by the discovery of numerous exoplanets in multiple systems, binaries have become in recent years one of the main topics in planet formation research. Numerous studies have investigated to what extent the presence of a stellar companion can affect the planet formation process. Such studies have implications that can reach beyond the sole context of binaries, as they allow to test certain aspects of the planet formation scenario by submitting them to extreme environments. We review here the current understanding on this complex problem. We show in particular how each of the different stages of the planet-formation process is affected differently by binary perturbations. We focus especially on the intermediate stage of kilometre-sized planetesimal accretion, which has proven to be the most sensitive to binarity and for which the presence of some exoplanets observed in tight binaries is difficult to explain by in-situ formation following the "standard" planet-formation scenario. Some tentative solutions to this apparent paradox are presented. The last part of our review presents a thorough description of the problem of planet habitability, for which the binary environment creates a complex situation because of the presence of two irradation sources of varying distance.Comment: Review chapter to appear in "Planetary Exploration and Science: Recent Advances and Applications", eds. S. Jin, N. Haghighipour, W.-H. Ip, Springer (v2, numerous typos corrected

Phosphodiesterase 5 inhibitors lower both portal and pulmonary pressure in portopulmonary hypertension: a case report

<p>Abstract</p> <p>Background</p> <p>Portopulmonary hypertension (PPHTN) is a severe complication in liver cirrhosis. PDE5 inhibitors lower pulmonary arterial pressure (PAP) in PPHTN. However, their effect on portal hypertension has not yet been investigated.</p> <p>Case presentation</p> <p>A 55 year old male patient presented with PPHTN and alcoholic liver cirrhosis. 10 mg of Tadalafil, a PDE5 inhibitor with a long half-life, was administered orally under continuous monitoring of pulmonary and portal hemodynamics. For maintenance therapy the patient received Sildenafil 20 mg bid.</p> <p>Tadalafil lowered mean PAP from 45 to 39 mmHg within 60 minutes. Cardiac output (CO) increased from 6.8 to 7.9 l/min. Central venous pressure (CVP) remained stable at 3 mmHg. Systolic and diastolic blood pressure was lowered from 167/89 to 159/86 mmHg. Pulse rate increased from 75 to 87 per min. Wedged hepatic vein pressure (WHVP) decreased from 21 to 18 mm Hg, hepatovenous pressure gradient (HVPG) decreased from 10 to 7 mmHg. Hemodynamic monitoring after 6 months of Sildenafil therapy revealed a sustained lowering of mean PAP. HVPG remained constant at 10 mmHg. Cardiac and pulmonary performance had further improved.</p> <p>Conclusion</p> <p>This case report shows for the first time, that phosphodiesterase 5 inhibitors lower both portal and pulmonary pressure in portopulmonary hypertension.</p

The AFLOW Fleet for Materials Discovery

The traditional paradigm for materials discovery has been recently expanded to incorporate substantial data driven research. With the intent to accelerate the development and the deployment of new technologies, the AFLOW Fleet for computational materials design automates high-throughput first principles calculations, and provides tools for data verification and dissemination for a broad community of users. AFLOW incorporates different computational modules to robustly determine thermodynamic stability, electronic band structures, vibrational dispersions, thermo-mechanical properties and more. The AFLOW data repository is publicly accessible online at aflow.org, with more than 1.7 million materials entries and a panoply of queryable computed properties. Tools to programmatically search and process the data, as well as to perform online machine learning predictions, are also available.Comment: 14 pages, 8 figure