Space Applications of Automation, Robotics and Machine Intelligence Systems (ARAMIS), phase 2. Volume 1: Telepresence technology base development

The field of telepresence is defined, and overviews of those capabilities that are now available, and those that will be required to support a NASA telepresence effort are provided. Investigation of NASA's plans and goals with regard to telepresence, extensive literature search for materials relating to relevant technologies, a description of these technologies and their state of the art, and projections for advances in these technologies over the next decade are included. Several space projects are examined in detail to determine what capabilities are required of a telepresence system in order to accomplish various tasks, such as servicing and assembly. The key operational and technological areas are identified, conclusions and recommendations are made for further research, and an example developmental program is presented, leading to an operational telepresence servicer

New insights into the epigenetic control of satellite cells

Epigenetics finely tunes gene expression at a functional level without modifying the DNA sequence, thereby contributing to the complexity of genomic regulation. Satellite cells (SCs) are adult muscle stem cells that are important for skeletal post-natal muscle growth, homeostasis and repair. The understanding of the epigenome of SCs at different stages and of the multiple layers of the post-transcriptional regulation of gene expression is constantly expanding. Dynamic interactions between different epigenetic mechanisms regulate the appropriate timing of muscle-specific gene expression and influence the lineage fate of SCs. In this review, we report and discuss the recent literature about the epigenetic control of SCs during the myogenic process from activation to proliferation and from their commitment to a muscle cell fate to their differentiation and fusion to myotubes. We describe how the coordinated activities of the histone methyltransferase families Polycomb group (PcG), which represses the expression of developmentally regulated genes, and Trithorax group, which antagonizes the repressive activity of the PcG, regulate myogenesis by restricting gene expression in a time-dependent manner during each step of the process. We discuss how histone acetylation and deacetylation occurs in specific loci throughout SC differentiation to enable the time-dependent transcription of specific genes. Moreover, we describe the multiple roles of microRNA, an additional epigenetic mechanism, in regulating gene expression in SCs, by repressing or enhancing gene transcription or translation during each step of myogenesis. The importance of these epigenetic pathways in modulating SC activation and differentiation renders them as promising targets for disease interventions. Understanding the most recent findings regarding the epigenetic mechanisms that regulate SC behavior is useful from the perspective of pharmacological manipulation for improving muscle regeneration and for promoting muscle homeostasis under pathological conditions

Tortoise: Interactive System Configuration Repair

System configuration languages provide powerful abstractions that simplify managing large-scale, networked systems. Thousands of organizations now use configuration languages, such as Puppet. However, specifications written in configuration languages can have bugs and the shell remains the simplest way to debug a misconfigured system. Unfortunately, it is unsafe to use the shell to fix problems when a system configuration language is in use: a fix applied from the shell may cause the system to drift from the state specified by the configuration language. Thus, despite their advantages, configuration languages force system administrators to give up the simplicity and familiarity of the shell. This paper presents a synthesis-based technique that allows administrators to use configuration languages and the shell in harmony. Administrators can fix errors using the shell and the technique automatically repairs the higher-level specification written in the configuration language. The approach (1) produces repairs that are consistent with the fix made using the shell; (2) produces repairs that are maintainable by minimizing edits made to the original specification; (3) ranks and presents multiple repairs when relevant; and (4) supports all shells the administrator may wish to use. We implement our technique for Puppet, a widely used system configuration language, and evaluate it on a suite of benchmarks under 42 repair scenarios. The top-ranked repair is selected by humans 76% of the time and the human-equivalent repair is ranked 1.31 on average.Comment: Published version in proceedings of IEEE/ACM International Conference on Automated Software Engineering (ASE) 201

Budding yeast ATM/ATR control meiotic double-strand break (DSB) levels by down-regulating Rec114, an essential component of the DSB-machinery

An essential feature of meiosis is Spo11 catalysis of programmed DNA double strand breaks (DSBs). Evidence suggests that the number of DSBs generated per meiosis is genetically determined and that this ability to maintain a pre-determined DSB level, or "DSB homeostasis", might be a property of the meiotic program. Here, we present direct evidence that Rec114, an evolutionarily conserved essential component of the meiotic DSB-machinery, interacts with DSB hotspot DNA, and that Tel1 and Mec1, the budding yeast ATM and ATR, respectively, down-regulate Rec114 upon meiotic DSB formation through phosphorylation. Mimicking constitutive phosphorylation reduces the interaction between Rec114 and DSB hotspot DNA, resulting in a reduction and/or delay in DSB formation. Conversely, a non-phosphorylatable rec114 allele confers a genome-wide increase in both DSB levels and in the interaction between Rec114 and the DSB hotspot DNA. These observations strongly suggest that Tel1 and/or Mec1 phosphorylation of Rec114 following Spo11 catalysis down-regulates DSB formation by limiting the interaction between Rec114 and DSB hotspots. We also present evidence that Ndt80, a meiosis specific transcription factor, contributes to Rec114 degradation, consistent with its requirement for complete cessation of DSB formation. Loss of Rec114 foci from chromatin is associated with homolog synapsis but independent of Ndt80 or Tel1/Mec1 phosphorylation. Taken together, we present evidence for three independent ways of regulating Rec114 activity, which likely contribute to meiotic DSBs-homeostasis in maintaining genetically determined levels of breaks

Explainable Software Bot Contributions: Case Study of Automated Bug Fixes

In a software project, esp. in open-source, a contribution is a valuable piece of work made to the project: writing code, reporting bugs, translating, improving documentation, creating graphics, etc. We are now at the beginning of an exciting era where software bots will make contributions that are of similar nature than those by humans. Dry contributions, with no explanation, are often ignored or rejected, because the contribution is not understandable per se, because they are not put into a larger context, because they are not grounded on idioms shared by the core community of developers. We have been operating a program repair bot called Repairnator for 2 years and noticed the problem of "dry patches": a patch that does not say which bug it fixes, or that does not explain the effects of the patch on the system. We envision program repair systems that produce an "explainable bug fix": an integrated package of at least 1) a patch, 2) its explanation in natural or controlled language, and 3) a highlight of the behavioral difference with examples. In this paper, we generalize and suggest that software bot contributions must explainable, that they must be put into the context of the global software development conversation

NASA space station automation: AI-based technology review

Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures