Brainomics: A management system for exploring and merging heterogeneous brain mapping data

International audienceWe propose an open source solution to manage brain imaging datasets and associated meta data. This framework is a powerful querying and reporting tool, customized for the needs of the emerging imaging-genetics field. A demonstration website and more details are available at http:/brainomics.cea.fr

Lempdes – Les Gibaudonnes et La Ponsole, Fontanille, Croix Saint-Masson (ZAC de la Fontanille II)

L’emprise de la future ZAC de la Fontanille à Lempdes est située entre les ronds-points de la Croix Saint-Masson et de Chazal. Les parcelles concernées par l’opération archéologique se trouvent au pied de la butte marnocalcaire de Chambussière, en bordure sud de la grande plaine de La Limagne, dans le secteur communément appelée les Marais. Cette opération, menée du 13 novembre 2006 au 23 décembre 2006 et du 8 au 26 janvier 2007, concerne un projet d’une surface de 375 776 m2 (BSR 2006, p. 10..

Structural determinants of specific DNA-recognition by the THAP zinc finger

Human THAP1 is the prototype of a large family of cellular factors sharing an original THAP zinc-finger motif responsible for DNA binding. Human THAP1 regulates endothelial cell proliferation and G1/S cell-cycle progression, through modulation of pRb/E2F cell-cycle target genes including rrm1. Recently, mutations in THAP1 have been found to cause DYT6 primary torsion dystonia, a human neurological disease. We report here the first 3D structure of the complex formed by the DNA-binding domain of THAP1 and its specific DNA target (THABS) found within the rrm1 target gene. The THAP zinc finger uses its double-stranded β-sheet to fill the DNA major groove and provides a unique combination of contacts from the β-sheet, the N-terminal tail and surrounding loops toward the five invariant base pairs of the THABS sequence. Our studies reveal unprecedented insights into the specific DNA recognition mechanisms within this large family of proteins controlling cell proliferation, cell cycle and pluripotency

A Fixed Point Semantics for the ATMS

In [CTW90], the ATMS resolution mechanisms have been formalized, using the concept of DK-tree. We propose in this paper a new and simple approach based on the fixed point theory and an original demonstration of the completeness of these mechanisms. We first introduce the basic definitions of terms, sets and functions which are used in the paper and build a lattice. Then, the basic formal tools to describe the ATMS mechanisms are introduced: The notion of DK-Clash (in fact, the inference rule), and a monotonic function, which represents the deduction process and whose least fixed point corresponds to the output of an ATMS. We prove the soundness and the completeness (for specific clauses) of these mechanisms. This demonstration brings to light an original and interesting property, whose applications are discussed at the end of the paper. Keywords : Assumption based Truth Maintenance System, propositional logic, fixed point theory, automatic theorem proving. Introduction Our purpose in..

A process to design and master the global vehicle electronic system architecture

Colloque avec actes et comité de lecture. internationale.International audienceThis article presents a design method for electronic system architecture - called CAROSSE - that ensures modularity and reactivity and promotes dependability studies and system-level validation. It takes advantage of heterogeneous multi-agent system techniques and modelling techniques in queuing system formalism

L’univers impitoyable des Le Pen

C’est le livre politique dont tout le monde parle. En tête des ventes sur Amazon, le premier tome des Mémoires de Jean-Marie Le Pen a été épuisé avant sa mise en vente dans les librairies prévue ce jeudi, et un nouveau tirage de 50 000 exemplaires a été lancé selon son éditeur. Intitulé "Fils de la nation", ce premier volume de l'ancien président et cofondateur du Front national alterne souvenirs familiaux, règlements de comptes et testament politique. Ainsi au fil des 450 pages, l’eurodéputé se raconte de sa naissance en Bretagne en 1928 à la création du FN en 1972. Il revient sur différentes rencontres politiques et sur plusieurs épisodes, notamment la Seconde Guerre mondiale, les guerres d’Indochine et d’Algérie, en passant par la perte de son œil. Il s'attarde aussi sur ses thèmes de prédilection : son anticommunisme viscéral, sa haine du général de Gaulle, sa dénonciation de "l'invasion" migratoire ou sa volonté de réhabilitation du maréchal Pétain. Tous les ingrédients de ses provocations passées sont là, ainsi que sa volonté de régler quelques comptes avec ses trois filles. Mais surtout avec Marine, dont il dit avoir "pitié". Si Jean-Marie Le Pen a annoncé qu'il ne se rendrait pas au congrès de refondation du FN, le 10 mars prochain à Lille, il a bien l'intention de faire la tournée des médias pour s'offrir un baroud d'honneur dans le costume – qu'il aime tant – de président d'honneur du parti. A 89 ans, Jean-Marie Le Pen entend bien continuer de faire parler de lui. Le deuxième tome de ses Mémoires pourrait être publié à la fin de l’année ou début 2019

The State of Legislative Studies in France

International audienc

The Sm-like RNA chaperone Hfq mediates transcription antitermination at Rho-dependent terminators.

International audienceIn Escherichia coli, the essential motor protein Rho promotes transcription termination in a tightly controlled manner that is not fully understood. Here, we show that the general post-transcriptional regulatory protein Hfq associates with Rho to regulate Rho function. The Hfq:Rho complex can be further stabilized by RNA bridging both factors in a configuration that inhibits the ATP hydrolysis and duplex unwinding activities of Rho and that mediates transcription antitermination at Rho-dependent terminators in vitro and in vivo. Antitermination at a prototypical terminator (λtR1) requires Hfq binding to an A/U-rich transcript region directly upstream from the terminator. Antitermination is modulated by trans-acting factors (NusG or nucleic acid competitors) that affect Hfq association with Rho or RNA. These data unveil a new Hfq function and a novel transcription regulatory mechanism with potentially important implications for bacterial RNA metabolism, gene silencing, and pathogenicity