Search results for "Programming"
showing 10 items of 3090 documents
CEND1 and NEUROGENIN2 Reprogram Mouse Astrocytes and Embryonic Fibroblasts to Induced Neural Precursors and Differentiated Neurons
2015
Summary Recent studies demonstrate that astroglia from non-neurogenic brain regions can be reprogrammed into functional neurons through forced expression of neurogenic factors. Here we explored the effect of CEND1 and NEUROG2 on reprogramming of mouse cortical astrocytes and embryonic fibroblasts. Forced expression of CEND1, NEUROG2, or both resulted in acquisition of induced neuronal cells expressing subtype-specific markers, while long-term live-cell imaging highlighted the existence of two different modes of neuronal trans-differentiation. Of note, a subpopulation of CEND1 and NEUROG2 double-transduced astrocytes formed spheres exhibiting neural stem cell properties. mRNA and protein exp…
Aberrant methylation patterns at the two-cell stage as an indicator of early developmental failure
2002
The fertilized mouse egg actively demethylates the paternal genome within a few hours after fertilization, whereas the maternal genome is only passively demethylated by a replication-dependent mechanism after the two-cell stage. This evolutionarily conserved assymetry in the early diploid mammalian embryo may have a role in methylation reprogramming of the two very different sets of sperm and egg chromatin for somatic development and formation of totipotent cells. Immunofluorescence staining with an antibody against 5-methylcytosine (MeC) showed that the incidence of abnormal methylation patterns differs between mouse two-cell embryos from superovulated females, nonsuperovulated matings, an…
Suffix array and Lyndon factorization of a text
2014
Abstract The main goal of this paper is to highlight the relationship between the suffix array of a text and its Lyndon factorization. It is proved in [15] that one can obtain the Lyndon factorization of a text from its suffix array. Conversely, here we show a new method for constructing the suffix array of a text that takes advantage of its Lyndon factorization. The surprising consequence of our results is that, in order to construct the suffix array, the local suffixes inside each Lyndon factor can be separately processed, allowing different implementative scenarios, such as online, external and internal memory, or parallel implementations. Based on our results, the algorithm that we prop…
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
2MOLCAS as a development platform for quantum chemistry software
2004
This work presents the quantum chemistry package MOLCAS, with emphasis on its usefulness as a platform for developing new quantum chemical codes, and the reader is assumed to be familiar with such a process. The development of new codes for quantum chemistry is a time-consuming job that can be dramatically simplified by using libraries for standard problems (such as calculation of integrals), and tools to surmount computer language and operating system limitations. The MOLCAS quantum chemistry software contains modules for a variety of quantum chemical methods, such as Hartree-Fock (HF), density functional theory (DFT), coupled-cluster (CC), and multiconfigurational (MCSCF) approaches, incl…
Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory
2011
The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ‘‘radio- hybrid’’ measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features …
Exploratory Analysis of the Relations between Code Cloning and Open Source Software Quality
2010
In recent literature there is still a lack of understanding how the reuse and cloning of software affects its quality. The focus of this study is to analyze the relationships between source code cloning and software quality for the case of open source software project forks (SPFs) as a kind of software reuse. In total 117 releases related to three generations of eight eMule SPFs were scrutinized. Software quality was measured in terms of internal quality attributes. The tools CCFinderX and SoftCalc were used to measure code cloning metrics and internal quality attributes, respectively. In total 8 code cloning metrics and 71 internal quality attributes were analyzed. The quantitative relatio…
Assessing maintainability change over multiple software releases
2008
The focus of the paper is to reveal the relationships between software maintainability and other internal software quality attributes. The source code characteristics of five Java-based open-source software products are analyzed using the software measurement tool SoftCalc. The relationships between maintainability and internal quality attributes are identified based on the Pearson product moment correlation analysis. Our results show negative correlations between maintainability and some well-known internal software quality attributes, as well as the ones between maintainability and complexity metrics. Particularly, according to our results, the Number of Data Variables Declared and the De…
Development of the BCI Device Controlling C++ Software, Based on Existing Open Source Projects
2021
The possibility of using the BCI open source code for building BCI controlled device, based on small AVR or ARM microcontrollers was considered. Some techniques to extract code snippets from other BCI projects were presented in the case of OpenViBE as the code donor. Problem with obtaining driver source codes for factory BCI devices has been pointed out.