884 research outputs found
PALB2 self-interaction controls homologous recombination.
PALB2 is essential for BRCA2 anchorage to nuclear structures and for homologous recombinational repair of DNA double-strand breaks. Here, we report that the N-terminal coiled-coil motif of PALB2 regulates its self-association and homologous recombination. Monomeric PALB2 shows higher efficiency to bind DNA and promotes RAD51 filament formation with or without the inhibitory effect of Replication Protein A. Moreover, overexpression of the PALB2 coiled-coil domain severely affects RAD51 loading to DNA damage sites suggesting a competition between PALB2 self-interaction and PALB2-BRCA1 interaction. In the presence of DNA damage, the switch between PALB2-PALB2 and PALB2-BRCA1 interactions allows the activation of HR. Controlling HR via PALB2 self-interactions could be important to prevent aberrant recombination in normal conditions and activate DNA repair when required
ACME vs PDDL: support for dynamic reconfiguration of software architectures
On the one hand, ACME is a language designed in the late 90s as an
interchange format for software architectures. The need for recon guration at
runtime has led to extend the language with speci c support in Plastik. On the
other hand, PDDL is a predicative language for the description of planning
problems. It has been designed in the AI community for the International
Planning Competition of the ICAPS conferences. Several related works have
already proposed to encode software architectures into PDDL. Existing planning
algorithms can then be used in order to generate automatically a plan that
updates an architecture to another one, i.e., the program of a recon guration.
In this paper, we improve the encoding in PDDL. Noticeably we propose how to
encode ADL types and constraints in the PDDL representation. That way, we can
statically check our design and express PDDL constraints in order to ensure
that the generated plan never goes through any bad or inconsistent
architecture, not even temporarily.Comment: 6\`eme \'edition de la Conf\'erence Francophone sur les Architectures
Logicielles (CAL 2012), Montpellier : France (2012
Stabilizing control for power converters connected to transmission lines
This paper proposes a switching control strategy for the set-point stabilization of a power converter connected via a transmission line to a resistive load. The strategy employs a Lyapunov function that is directly based on energy considerations of the power converter, as well as of the transmission line described by the telegraph equations. The proposed stabilizing switching control still allows a certain freedom in the choice of the control law, a comparison between a maximum descent strategy and a minimum commutation strategy being discussed on a simple example.
Improved control strategy to mitigate electromechanical wave propagation using PSS
International audienc
Interactions between BRCA2 and RAD51 for promoting homologous recombination in Leishmania infantum.
In most organisms, the primary function of homologous recombination (HR) is to allow genome protection by the faithful repair of DNA double-strand breaks. The vital step of HR is the search for sequence homology, mediated by the RAD51 recombinase, which is stimulated further by proteins mediators such as the tumor suppressor BRCA2. The biochemical interplay between RAD51 and BRCA2 is unknown in Leishmania or Trypanosoma. Here we show that the Leishmania infantum BRCA2 protein possesses several critical features important for the regulation of DNA recombination at the genetic and biochemical level. A BRCA2 null mutant, generated by gene disruption, displayed genomic instability and gene-targeting defects. Furthermore, cytological studies show that LiRAD51 can no longer localize to the nucleus in this mutant. The Leishmania RAD51 and BRCA2 interact together and the purified proteins bind single-strand DNA. Remarkably, LiBRCA2 is a recombination mediator that stimulates the invasion of a resected DNA double-strand break in an undamaged template by LiRAD51 to form a D-loop structure. Collectively, our data show that LiBRCA2 and LiRAD51 promote HR at the genetic and biochemical level in L. infantum, the causative agent of visceral leishmaniasis
Identifiabilité structurelle et identification de systÚmes couplés par les sorties
International audienceCet article s'intĂ©ressĂš a l'identification des syst emes de grande taille qui peuvent etre dĂ©composĂ©s en une collection de sous-syst emes couplĂ©s par les sorties. Il est d'abord montrĂ© que si le syst eme global est structurellement identifiable, alors tous les sous-syst emes le sont egalement, en considĂ©rant les sorties comme de nouvelles entrĂ©es. Cette propriĂ©tĂ© est ensuite utilisĂ©e pour proposer une procĂ©dure d'identification dĂ©centralisĂ©e. L'efficacitĂ© de l'approche pro-posĂ©e est illustrĂ©e sur un exemple acadĂ©mique. Mots-clĂ©sâ IdentifiabilitĂ© structurelle, Identification dĂ©cen-tralisĂ©e, Syst emes de grande taille. I. Introduction Les syst emes technologiques de grande taille tels que les syst emes de transport, les syst emes electriques, les syst emes de bĂątiments. . .sont omniprĂ©sents dans notre vie moderne. La grande taille de ces syst emes a conduit au dĂ©veloppement de diverses techniques pour rĂ©duire la complexitĂ© de leur etude. Une approche possible est de considĂ©rer le grand syst eme comme une collection de nom-breux sous-syst emes plus simples. L'identification [1] est un point crucial pour l'ÂŽ elaboration d'une stratĂ©gie de contrĂŽle basĂ©e sur un mod ele. D'un point de vue pratique, leprobĂŹ eme de la taille des syst emes se posĂ© egalement pour l'identification paramĂ©trique. Pour simplifier l'identification des syst emes de grande taille, de nombreux auteurs ont essayĂ© d'exploiter leur structure. Dans [5], le syst eme global est hiĂ©rarchisĂ© et une mĂ©thode itĂ©rative est proposĂ©e pour l'identification. Dans [7], les auteurs s' intĂ©ressent aux syst emes circulants [3], et ils exploitent leurs propriĂ©tĂ©s pour dĂ©finir une procĂ©dure originale d'identification. Une autre technique exploite la propriĂ©tĂ© de dĂ©couplage en boucle fermĂ©e afin de dĂ©finir une collection d'observateurs dĂ©centralisĂ©s pour les syst emes non linĂ©aires interconnectĂ©s [12]. Dans cet article, nous supposons que le syst eme global est structurellement identifiable. L'identifiabilitĂ© structu-relle est une propriĂ©tĂ© importante quand il faut evaluer les param etres du syst eme, car elle garantit l'unicitĂ© des param etres [15]. Dans [13], l'auteur se concentre sur les syst emes compartimentaux pour etudier l'identifiabi-litĂ© structurelle du syst eme global, et dans [4], l'identi-fiabilitĂ© pratique peut etre vĂ©rifiĂ©e pour des conditions suffisantes sur les signaux d'interaction entre les sous-syst emes. Dans ce document, on consid ere un ensemble de syst emes linĂ©aires couplĂ©s par leurs sorties. Un exemple est reprĂ©sentĂ© sur la figure 1. De nombreux processus peuvent etre modĂ©lisĂ©s sous cette forme, c'est le cas par exemple des syst emes thermiques dans les bĂątiments [8]
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
The SPaCIFY project, which aims at bringing advances in MDE to the satellite
flight software industry, advocates a top-down approach built on a
domain-specific modeling language named Synoptic. In line with previous
approaches to real-time modeling such as Statecharts and Simulink, Synoptic
features hierarchical decomposition of application and control modules in
synchronous block diagrams and state machines. Its semantics is described in
the polychronous model of computation, which is that of the synchronous
language Signal.Comment: Workshop on Formal Methods for Aerospace (FMA 2009
- âŠ