Lentiviral vectors with amplified beta cell-specific gene expression.

An important goal of gene therapy is to be able to deliver genes, so that they express in a pattern that recapitulates the expression of an endogenous cellular gene. Although tissue-specific promoters confer selectivity, in a vector-based system, their activity may be too weak to mediate detectable levels in gene-expression studies. We have used a two-step transcriptional amplification system to amplify gene expression from lentiviral vectors using the human insulin promoter. In this system, the human insulin promoter drives expression of a potent synthetic transcription activator (the yeast GAL4 DNA-binding domain fused to the activation domain of the Herpes simplex virus-1 VP16 activator), which in turn activates a GAL4-responsive promoter, driving the enhanced green fluorescent protein reporter gene. Vectors carrying the human insulin promoter did not express in non-beta-cell lines, but expressed in murine insulinoma cell lines, indicating that the human insulin promoter was capable of conferring cell specificity of expression. The insulin-amplifiable vector was able to amplify gene expression five to nine times over a standard insulin-promoter vector. In primary human islets, gene expression from the insulin-promoted vectors was coincident with insulin staining. These vectors will be useful in gene-expression studies that require a detectable signal and tissue specificity

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201

Constructing coarse-grained skyrmion potentials from experimental data with Iterative Boltzmann Inversion

In an effort to understand skyrmion behavior on a coarse-grained level, skyrmions are often described as 2D quasiparticles evolving according to the Thiele equation. Interaction potentials are the key missing parameters for predictive modeling of experiments. Here, the Iterative Boltzmann Inversion technique commonly used in soft matter simulations is applied to construct potentials for skyrmion-skyrmion and skyrmion-magnetic material boundary interactions from a single experimental measurement without any prior assumptions of the potential form. It is found that the two interactions are purely repulsive and can be described by an exponential function for micrometer-sized skyrmions in a ferromagnetic thin film multilayer stack. This captures the physics on experimental length and time scales that are of interest for most skyrmion applications and typically inaccessible to atomistic or micromagnetic simulations

Constructing coarse-grained skyrmion potentials from experimental data with Iterative Boltzmann Inversion

In an effort to understand skyrmion behavior on a coarse-grained level, skyrmions are often described as 2D quasiparticles evolving according to the Thiele equation. Interaction potentials are the key missing parameters for predictive modeling of experiments. Here, the Iterative Boltzmann Inversion technique commonly used in soft matter simulations is applied to construct potentials for skyrmion-skyrmion and skyrmion-magnetic material boundary interactions from a single experimental measurement without any prior assumptions of the potential form. It is found that the two interactions are purely repulsive and can be described by an exponential function for micrometer-sized skyrmions in a ferromagnetic thin film multilayer stack. This captures the physics on experimental length and time scales that are of interest for most skyrmion applications and typically inaccessible to atomistic or micromagnetic simulations

Variance in multiplex suspension array assays: A distribution generation machine for multiplex counts

<p>Abstract</p> <p>Background</p> <p>This study attempted to replicate Luminex experimental results for large numbers of beads per classifier using multiplexed assays and routine instrument use conditions.</p> <p>Conclusion</p> <p>Using larger numbers of microspheres per classifier highlights a fundamental stochastic distribution of bead counts issue complicated by other factors. The more classifiers and the higher the count required per classifier there are, the more apparent the distribution of counts per classifier will be, and the more microspheres are required. Additional problems have been identified. Alternate methods of improving precision and reliability are recommended such as intraplexing and multi-well sample replicates to improve precision and confidence.</p

Emergence of Sensory Representations Using Prediction in Partially Observable Environments

n order to explore and act autonomously in an environment,an agent can learn from the sensorimotor information that is capturedwhile acting. By extracting the regularities in this sensorimotor stream,it can build a model of the world, which in turn can be used as a basis foraction and exploration. It requires the acquisition of compact representa-tions from possibly high dimensional raw observations. In this paper, wepropose a model which integrates sensorimotor information over time,and project it in a sensory representation. It is trained by preformingsensorimotor prediction. We emphasize on a simple example the role ofmotor and memory for learning sensory representations

Halfvortices in flat nanomagnets

We discuss a new type of topological defect in XY systems where the O(2) symmetry is broken in the presence of a boundary. Of particular interest is the appearance of such defects in nanomagnets with a planar geometry. They are manifested as kinks of magnetization along the edge and can be viewed as halfvortices with winding numbers \pm 1/2. We argue that halfvortices play a role equally important to that of ordinary vortices in the statics and dynamics of flat nanomagnets. Domain walls found in experiments and numerical simulations are composite objects containing two or more of these elementary defects. We also discuss a closely related system: the two-dimensional smectic liquid crystal films with planar boundary condition.Comment: 7 pages, 8 figures, To appear as a chapter in Les Houches summer school on Quantum Magnetis

The Mass Function of Newly Formed Stars (Review)

The topic of the stellar "original mass function" has a nearly 50 year history,dating to the publication in 1955 of Salpeter's seminal paper. In this review I discuss the many more recent results that have emerged on the initial mass function (IMF), as it is now called, from studies over the last decade of resolved populations in star forming regions and young open clusters.Comment: 9 pages, 1 figure; to appear in "The Dense Instellar Medium in Galaxies -- 4'th Cologne-Bonn-Zermatt-Symposium" editted by S. Pfalzner, C. Kramer, C. Straubmeier and A. Heithausen, Springer-Verlag (2004

A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/

A comparison of transgenic rodent mutation and in vivo comet assay responses for 91 chemicals.

A database of 91 chemicals with published data from both transgenic rodent mutation (TGR) and rodent comet assays has been compiled. The objective was to compare the sensitivity of the two assays for detecting genotoxicity. Critical aspects of study design and results were tabulated for each dataset. There were fewer datasets from rats than mice, particularly for the TGR assay, and therefore, results from both species were combined for further analysis. TGR and comet responses were compared in liver and bone marrow (the most commonly studied tissues), and in stomach and colon evaluated either separately or in combination with other GI tract segments. Overall positive, negative, or equivocal test results were assessed for each chemical across the tissues examined in the TGR and comet assays using two approaches: 1) overall calls based on weight of evidence (WoE) and expert judgement, and 2) curation of the data based on a priori acceptability criteria prior to deriving final tissue specific calls. Since the database contains a high prevalence of positive results, overall agreement between the assays was determined using statistics adjusted for prevalence (using AC1 and PABAK). These coefficients showed fair or moderate to good agreement for liver and the GI tract (predominantly stomach and colon data) using WoE, reduced agreement for stomach and colon evaluated separately using data curation, and poor or no agreement for bone marrow using both the WoE and data curation approaches. Confidence in these results is higher for liver than for the other tissues, for which there were less data. Our analysis finds that comet and TGR generally identify the same compounds (mainly potent mutagens) as genotoxic in liver, stomach and colon, but not in bone marrow. However, the current database content precluded drawing assay concordance conclusions for weak mutagens and non-DNA reactive chemicals