Generative technologies for model animation in the TopCased platform

International audienceDomain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurring definition of new languages raises the problem of the definition of support tools such as editor, simulator, compiler, etc. In this paper we propose generative technologies that have been designed to ease the development of model animation tools inside the TopCased platform. These tools rely on the automatically generated graphical editors of TopCased and provide additional generators for building model animator graphical interface. We also rely on an architecture for executable metamodel (i.e., the TopCased model execution metamodeling pattern) to bind the behavioral semantics of the modeling language. These tools were designed in a pragmatic manner by abstracting the various model animators that had been hand-coded in the TopCased project, and then validated by refactoring these animators

Trichostatin A induced histone acetylation causes decondensation of interphase chromatin.

The effect of trichostatin A (TSA)-induced histone acetylation on the interphase chromatin structure was visualized in vivo with a HeLa cell line stably expressing histone H2A, which was fused to enhanced yellow fluorescent protein. The globally increased histone acetylation caused a reversible decondensation of dense chromatin regions and led to a more homogeneous distribution. These structural changes were quantified by image correlation spectroscopy and by spatially resolved scaling analysis. The image analysis revealed that a chromatin reorganization on a length scale from 200 nm to >1 mm was induced consistent with the opening of condensed chromatin domains containing several Mb of DNA. The observed conformation changes could be assigned to the folding of chromatin during G1 phase by characterizing the effect of TSA on cell cycle progression and developing a protocol that allowed the identification of G1 phase cells on microscope coverslips. An analysis by flow cytometry showed that the addition of TSA led to a significant arrest of cells in S phase and induced apoptosis. The concentration dependence of both processes was studied

Aub and Ago3 Are Recruited to Nuage through Two Mechanisms to Form a Ping-Pong Complex Assembled by Krimper

In Drosophila, two Piwi proteins, Aubergine (Aub) and Argonaute-3 (Ago3), localize to perinuclear “nuage” granules and use guide piRNAs to target and destroy transposable element transcripts. We find that Aub and Ago3 are recruited to nuage by two different mechanisms. Aub requires a piRNA guide for nuage recruitment, indicating that its localization depends on recognition of RNA targets. Ago3 is recruited to nuage independently of a piRNA cargo and relies on interaction with Krimper, a stable component of nuage that is able to aggregate in the absence of other nuage proteins. We show that Krimper interacts directly with Aub and Ago3 to coordinate the assembly of the ping-pong piRNA processing (4P) complex. Symmetrical dimethylated arginines are required for Aub to interact with Krimper, but they are dispensable for Ago3 to bind Krimper. Our study reveals a multi-step process responsible for the assembly and function of nuage complexes in piRNA-guided transposon repression

A Comparison of Model Migration Tools

International audienceModelling languages and thus their metamodels are subject to change. When a metamodel evolves, existing models may no longer conform to the evolved metamodel. To avoid rebuilding them from scratch, existing models must be migrated to conform to the evolved metamodel. Manually migrating existing models is tedious and errorprone. To alleviate this, several tools have been proposed to build a migration strategy that automates the migration of existing models. Little is known about the advantages and disadvantages of the tools in different situations. In this paper, we thus compare a representative sample of migration tools - AML, COPE, Ecore2Ecore and Epsilon Flock - using common migration examples. The criteria used in the comparison aim to support users in selecting the most appropriate tool for their situation

Vibriophage VcA-3 as an epidemic strain marker for the U.S. Gulf Coast Vibrio cholerae O1 clone.

Toxigenic and nontoxigenic Vibrio cholerae O1, El Tor biotype strains, which are endemic to the U.S. Gulf Coast, can be lysogenic for bacteriophage VcA-3. To evaluate the presence of VcA-3 as an indicator of toxigenicity and as an epidemic strain marker, phage production and the presence of phage and cholera toxin genes were assayed in 98 strains of V. cholerae O1 (35 U.S. and 63 foreign strains). By using a HindIII chromosomal digest for Southern blot analysis, 39 of the study strains hybridized with the VcA-3 probe in 10 banding patterns. The 15 toxigenic and 6 of the 20 nontoxigenic U.S. isolates gave four VcA-3-related patterns. Among the foreign isolates, 12 of 12 toxigenic classical biotype strains, 1 of 43 toxigenic El Tor biotype strains, and 3 of 8 nontoxigenic atypical strains gave six patterns that were clearly distinct from that of VcA-3. Compared with Southern blot analysis, the phage production assay had a sensitivity of 1.0 and a specificity of 0.48, while the colony hybridization assay had a sensitivity of 1.0 and a specificity of 0.77 for identification of VcA-3. Neither assay reliably identified the toxigenic Gulf Coast clone. The presence of VcA-3, as defined by Southern blot analysis, always separated toxigenic U.S. from foreign isolates and often from nontoxigenic U.S. isolates of V. cholerae O1

Spectrum and Charge Ratio of Vertical Cosmic Ray Muons up to Momenta of 2.5 TeV/c

The ALEPH detector at LEP has been used to measure the momentum spectrum and charge ratio of vertical cosmic ray muons underground. The sea-level cosmic ray muon spectrum for momenta up to 2.5 TeV/c has been obtained by correcting for the overburden of 320 meter water equivalent (mwe). The results are compared with Monte Carlo models for air shower development in the atmosphere. From the analysis of the spectrum the total flux and the spectral index of the cosmic ray primaries is inferred. The charge ratio suggests a dominantly light composition of cosmic ray primaries with energies up to 10^15 eV

A review on sparse solutions in optimal control of partial differential equations

In this paper a review of the results on sparse controls for partial differential equations is presented. There are two different approaches to the sparsity study of control problems. One approach consists of taking functions to control the system, putting in the cost functional a convenient term that promotes the sparsity of the optimal control. A second approach deals with controls that are Borel measures and the norm of the measure is involved in the cost functional. The use of measures as controls allows to obtain optimal controls supported on a zero Lebesgue measure set, which is very interesting for practical implementation. If the state equation is linear, then we can carry out a complete analysis of the control problem with measures. However, if the equation is nonlinear the use of measures to control the system is still an open problem, in general, and the use of functions to control the system seems to be more appropriate.This work was partially supported by the Spanish Ministerio de Economía y Competitividad under project MTM2014-57531-P

The UK and German low-carbon industry transitions from a sectoral innovation and system failures perspective

Industrial processes are associated with high amounts of energy consumed and greenhouse gases emitted, stressing the urgent need for low-carbon sectoral transitions. This research reviews the energy-intensive iron and steel, cement and chemicals industries of Germany and the United Kingdom, two major emitting countries with significant activity, yet with different recent orientation. Our socio-technical analysis, based on the Sectoral Innovation Systems and the Systems Failure framework, aims to capture existing and potential drivers of or barriers to diffusion of sustainable industrial technologies and extract implications for policy. Results indicate that actor structures and inconsistent policies have limited low-carbon innovation. A critical factor for the successful decarbonisation of German industry lies in overcoming lobbying and resistance to technological innovation caused by strong networks. By contrast, a key to UK industrial decarbonisation is to drive innovation and investment in the context of an industry in decline and in light of Brexit-related uncertainty

Finite element approximation of sparse parabolic control problems

We study the finite element approximation of an optimal control problem governed by a semilinear partial differential equation and whose objective function includes a term promoting space sparsity of the solutions. We prove existence of solution in the absence of control bound constraints and provide the adequate second order sufficient conditions to obtain error estimates. Full discretization of the problem is carried out, and the sparsity properties of the discrete solutions, as well as error estimates, are obtained.The first two authors were partially supported by the Spanish Ministerio de Economía y Competitividad under project MTM2014-57531-P