Programming languages and artificial general intelligence

Despite the fact that there are thousands of programming languages existing there is a huge controversy about what language is better to solve a particular problem. In this paper we discuss requirements for programming language with respect to AGI research. In this article new language will be presented. Unconventional features (e.g. probabilistic programming and partial evaluation) are discussed as important parts of language design and implementation. Besides, we consider possible applications to particular problems related to AGI. Language interpreter for Lisp-like probabilistic mixed paradigm programming language is implemented in Haskell

ASCA and XMM-Newton Observations of A2029

The X-ray data of A2029 obtained with XMM-Newton show no evidence of an embedded AGN in the central region of this cluster, which was suggested from the analysis of restored ASCA image data, although some hot spots are seen within or around the central cD galaxy. The absence of AGN at the cluster center is consistentent with the result of Chandra observations. Radial profiles of the iron abundance and the 2D (surface) temperature obtained from the XMM-Newton data are in good agreement with the Chandra data as a whole.Comment: 8 pages, 13 figures, accepted for publication in Advances in Space Researc

Mieap, a p53-Inducible Protein, Controls Mitochondrial Quality by Repairing or Eliminating Unhealthy Mitochondria

Maintenance of healthy mitochondria prevents aging, cancer, and a variety of degenerative diseases that are due to the result of defective mitochondrial quality control (MQC). Recently, we discovered a novel mechanism for MQC, in which Mieap induces intramitochondrial lysosome-like organella that plays a critical role in the elimination of oxidized mitochondrial proteins (designated MALM for Mieap-induced accumulation of lysosome-like organelles within mitochondria). However, a large part of the mechanisms for MQC remains unknown. Here, we report additional mechanisms for Mieap-regulated MQC. Reactive oxygen species (ROS) scavengers completely inhibited MALM. A mitochondrial outer membrane protein NIX interacted with Mieap in a ROS-dependent manner via the BH3 domain of NIX and the coiled-coil domain of Mieap. Deficiency of NIX also completely impaired MALM. When MALM was inhibited, Mieap induced vacuole-like structures (designated as MIV for Mieap-induced vacuole), which engulfed and degraded the unhealthy mitochondria by accumulating lysosomes. The inactivation of p53 severely impaired both MALM and MIV generation, leading to accumulation of unhealthy mitochondria. These results suggest that (1) mitochondrial ROS and NIX are essential factors for MALM, (2) MIV is a novel mechanism for lysosomal degradation of mitochondria, and (3) the p53-Mieap pathway plays a pivotal role in MQC by repairing or eliminating unhealthy mitochondria via MALM or MIV generation, respectively

A Symmetric Approach to Compilation and Decompilation

Just as specializing a source interpreter can achieve compilation from a source language to a target language, we observe that specializing a target interpreter can achieve compilation from the target language to the source language. In both cases, the key issue is the choice of whether to perform an evaluation or to emit code that represents this evaluation. We substantiate this observation by specializing two source interpreters and two target interpreters. We first consider a source language of arithmetic expressions and a target language for a stack machine, and then the lambda-calculus and the SECD-machine language. In each case, we prove that the target-to-source compiler is a left inverse of the source-to-target compiler, i.e., it is a decompiler. In the context of partial evaluation, compilation by source-interpreter specialization is classically referred to as a Futamura projection. By symmetry, it seems logical to refer to decompilation by target-interpreter specialization as a Futamura embedding

Strategies for measuring long-term control in atopic dermatitis trials: a systematic review

Background: Atopic dermatitis (AD) is a chronic inflammatory skin disease. There are no standardised methods for capturing long-term control of AD. Objective: To identify how long-term control has been captured in published randomised controlled trials (RCTs). Resultswill initiate consensus discussions on how best to measure long-term control in the core outcome set for AD. Methods: Systematic review of RCTs of AD treatments published between 2000 and 2013, with a follow-up period of ≥3 months, at least one outcome measure recorded at ≥3 time-points, full paper available, and published in English. Results: 101/ 353 RCTs were eligible. Methods to capture long-term control included: repeated measurement of AD outcomes (92 RCTs; 91%), use of AD medication (29 RCTs; 28.7%); and AD flares/remissions (26 RCTs; 25.7%). Repeated measurements of AD outcomes were typically collected 3 to 5 times during a trial, but analysis methods often failed to make best use of the data. Time to first flare was most commonly for trials including flare data (21/52). Medication-use was recorded based on quantity, potency and frequency of application. Limitations: Included RCT data only Conclusion: This review illustrates the difficulties in measuring long-term control, and points to the need for improved harmonization of outcomes

Generation and Characterization of Conditional Heparin-Binding EGF-Like Growth Factor Knockout Mice

Recently, neurotrophic factors and cytokines have been shown to be associated in psychiatric disorders, such as schizophrenia, bipolar disorder, and depression. Heparin-binding epidermal growth factor-like growth factor (HB-EGF) is a member of the EGF family, serves as a neurotrophic molecular and plays a significant role in the brain. We generated mice in which HB-EGF activity is disrupted specifically in the ventral forebrain. These knockout mice showed (a) behavioral abnormalities similar to those described in psychiatric disorders, which were ameliorated by typical or atypical antipsychotics, (b) altered dopamine and serotonin levels in the brain, (c) decreases in spine density in neurons of the prefrontal cortex, (d) reductions in the protein levels of the NR1 subunit of the N-methyl-D-aspartate (NMDA) receptor and post-synaptic protein-95 (PSD-95), (e) decreases in the EGF receptor, and in the calcium/calmodulin-dependent protein kinase II (CaMK II) signal cascade. These results suggest the alterations affecting HB-EGF signaling could comprise a contributing factor in psychiatric disorder

Detection of micrometastasis by cytokeratin 20 RT-PCR is limited due to stable background transcription in granulocytes

The reverse transcription polymerase chain reaction (RT-PCR) amplification of cytokeratin 20 (CK20) mRNA is considered a promising candidate method for the detection of circulating tumour cells in bone marrow and peripheral blood of cancer patients. In this study we have investigated the diagnostic specificity of the CK20 mRNA detection in samples from healthy donors (HD; n = 33), intensive care units patients (ICU; n = 20) and bone marrow obtained from patients suffering from chronic inflammatory diseases (CID; n = 14). RNAs purified from stabilized lysates showed positive results in 24% of the HD group (8/33), 35% of the ICU group (8/20) and in 40% of the CID group (5/14). The use of Ficoll gradients to separate nucleated cells completely restored the specificity of this CK20 RT-PCR assay. The CK20-expressing cells are positively identified to belong to the granulocyte fraction of leucocytes, which appear to express the gene on a background level. Our results demonstrate for the first time that CK20 mRNA expression is not limited to epithelium. Its occurrence in normal granulocytes has to be considered in tests designed to detect circulating cancer cells or micrometastases. © 1999 Cancer Research Campaig