270 research outputs found

    Turing machines can be efficiently simulated by the General Purpose Analog Computer

    Full text link
    The Church-Turing thesis states that any sufficiently powerful computational model which captures the notion of algorithm is computationally equivalent to the Turing machine. This equivalence usually holds both at a computability level and at a computational complexity level modulo polynomial reductions. However, the situation is less clear in what concerns models of computation using real numbers, and no analog of the Church-Turing thesis exists for this case. Recently it was shown that some models of computation with real numbers were equivalent from a computability perspective. In particular it was shown that Shannon's General Purpose Analog Computer (GPAC) is equivalent to Computable Analysis. However, little is known about what happens at a computational complexity level. In this paper we shed some light on the connections between this two models, from a computational complexity level, by showing that, modulo polynomial reductions, computations of Turing machines can be simulated by GPACs, without the need of using more (space) resources than those used in the original Turing computation, as long as we are talking about bounded computations. In other words, computations done by the GPAC are as space-efficient as computations done in the context of Computable Analysis

    On the generalized linear equivalence of functions over finite fields

    Get PDF
    In this paper we introduce the concept of generalized linear equivalence between functions defined over finite fields; this can be seen as an extension of the classical criterion of linear equivalence, and it is obtained by means of a particular geometric representation of the functions. After giving the basic definitions, we prove that the known equivalence relations can be seen as particular cases of the proposed generalized relationship and that there exist functions that are generally linearly equivalent but are not such in the classical theory. We also prove that the distributions of values in the Difference Distribution Table (DDT) and in the Linear Approximation Table (LAT) are invariants of the new transformation; this gives us the possibility to find some Almost Perfect Nonlinear (APN) functions that are not linearly equivalent (in the classical sense) to power functions, and to treat them accordingly to the new formulation of the equivalence criterion

    Investigation of the ferromagnetic transition in the correlated 4d perovskites SrRu1x_{1-x}Rhx_xO3_3

    Get PDF
    The solid-solution SrRu1x_{1-x}Rhx_xO3_3 (0x10\le x \le1) is a variable-electron-configuration system forming in the nearly-cubic-perovskite basis, ranging from the ferromagnetic 4d4d^4 to the enhanced paramagnetic 4d5d^5. Polycrystalline single-phase samples were obtained over the whole composition range by a high-pressure-heating technique, followed by measurements of magnetic susceptibility, magnetization, specific heat, thermopower, and electrical resistivity. The ferromagnetic order in long range is gradually suppressed by the Rh substitution and vanishes at x0.6x \sim 0.6. The electronic term of specific-heat shows unusual behavior near the critical Rh concentration; the feature does not match even qualitatively with what was reported for the related perovskites (Sr,Ca)RuO3_3. Furthermore, another anomaly in the specific heat was observed at x0.9x \sim 0.9.Comment: Accepted for publication in PR

    Supermassive Black Hole Binaries: The Search Continues

    Full text link
    Gravitationally bound supermassive black hole binaries (SBHBs) are thought to be a natural product of galactic mergers and growth of the large scale structure in the universe. They however remain observationally elusive, thus raising a question about characteristic observational signatures associated with these systems. In this conference proceeding I discuss current theoretical understanding and latest advances and prospects in observational searches for SBHBs.Comment: 17 pages, 4 figures. To appear in the Proceedings of 2014 Sant Cugat Forum on Astrophysics. Astrophysics and Space Science Proceedings, ed. C.Sopuerta (Berlin: Springer-Verlag

    An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

    Get PDF
    For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types

    What is information? Toward a theory of information as objective and veridical

    Get PDF
    Information systems are a strong and ever-growing discipline of enormous relevance to today’s informated world, and yet, as recent reviews have shown, there is still not an agreed and explicit conceptualization or definition of information. After an evaluative review of a range of theories of information, this paper develops and defends a particular theory, one that sees information as both objective and veridical. By objective, we mean that the information carried by signs and messages exists independently of its receivers or observers. The information carried by a sign exists even if the sign is not actually observed. By veridical, we mean that information must be true or correct in order to be information – information is truth-constituted. False information is not information, but misinformation or disinformation. The paper develops this theory and then discusses four contentious issues – information as objective rather than subjective; information as true or correct; information and knowledge; and information and the ambiguity of meaning. It concludes with a discussion of the practical implications of the theory

    Genome-wide association study identifies 30 Loci Associated with Bipolar Disorder

    Get PDF
    This paper is dedicated to the memory of Psychiatric Genomics Consortium (PGC) founding member and Bipolar disorder working group co-chair Pamela Sklar. We thank the participants who donated their time, experiences and DNA to this research, and to the clinical and scientific teams that worked with them. We are deeply indebted to the investigators who comprise the PGC. The views expressed are those of the authors and not necessarily those of any funding or regulatory body. Analyses were carried out on the NL Genetic Cluster Computer (http://www.geneticcluster.org ) hosted by SURFsara, and the Mount Sinai high performance computing cluster (http://hpc.mssm.edu).Bipolar disorder is a highly heritable psychiatric disorder. We performed a genome-wide association study including 20,352 cases and 31,358 controls of European descent, with follow-up analysis of 822 variants with P<1x10-4 in an additional 9,412 cases and 137,760 controls. Eight of the 19 variants that were genome-wide significant (GWS, p < 5x10-8) in the discovery GWAS were not GWS in the combined analysis, consistent with small effect sizes and limited power but also with genetic heterogeneity. In the combined analysis 30 loci were GWS including 20 novel loci. The significant loci contain genes encoding ion channels, neurotransmitter transporters and synaptic components. Pathway analysis revealed nine significantly enriched gene-sets including regulation of insulin secretion and endocannabinoid signaling. BDI is strongly genetically correlated with schizophrenia, driven by psychosis, whereas BDII is more strongly correlated with major depressive disorder. These findings address key clinical questions and provide potential new biological mechanisms for BD.This work was funded in part by the Brain and Behavior Research Foundation, Stanley Medical Research Institute, University of Michigan, Pritzker Neuropsychiatric Disorders Research Fund L.L.C., Marriot Foundation and the Mayo Clinic Center for Individualized Medicine, the NIMH Intramural Research Program; Canadian Institutes of Health Research; the UK Maudsley NHS Foundation Trust, NIHR, NRS, MRC, Wellcome Trust; European Research Council; German Ministry for Education and Research, German Research Foundation IZKF of Münster, Deutsche Forschungsgemeinschaft, ImmunoSensation, the Dr. Lisa-Oehler Foundation, University of Bonn; the Swiss National Science Foundation; French Foundation FondaMental and ANR; Spanish Ministerio de Economía, CIBERSAM, Industria y Competitividad, European Regional Development Fund (ERDF), Generalitat de Catalunya, EU Horizon 2020 Research and Innovation Programme; BBMRI-NL; South-East Norway Regional Health Authority and Mrs. Throne-Holst; Swedish Research Council, Stockholm County Council, Söderström Foundation; Lundbeck Foundation, Aarhus University; Australia NHMRC, NSW Ministry of Health, Janette M O'Neil and Betty C Lynch

    On the mechanisms governing gas penetration into a tokamak plasma during a massive gas injection

    Get PDF
    A new 1D radial fluid code, IMAGINE, is used to simulate the penetration of gas into a tokamak plasma during a massive gas injection (MGI). The main result is that the gas is in general strongly braked as it reaches the plasma, due to mechanisms related to charge exchange and (to a smaller extent) recombination. As a result, only a fraction of the gas penetrates into the plasma. Also, a shock wave is created in the gas which propagates away from the plasma, braking and compressing the incoming gas. Simulation results are quantitatively consistent, at least in terms of orders of magnitude, with experimental data for a D 2 MGI into a JET Ohmic plasma. Simulations of MGI into the background plasma surrounding a runaway electron beam show that if the background electron density is too high, the gas may not penetrate, suggesting a possible explanation for the recent results of Reux et al in JET (2015 Nucl. Fusion 55 093013)
    corecore