Molecular dating of caprines using ancient DNA sequences of Myotragus balearicus, an extinct endemic Balearic mammal

Background: Myotragus balearicus was an endemic bovid from the Balearic Islands (Western Mediterranean) that became extinct around 6,000-4,000 years ago. The Myotragus evolutionary lineage became isolated in the islands most probably at the end of the Messinian crisis, when the desiccation of the Mediterranean ended, in a geological date established at 5.35 Mya. Thus, the sequences of Myotragus could be very valuable for calibrating the mammalian mitochondrial DNA clock and, in particular, the tree of the Caprinae subfamily, to which Myotragus belongs. Results: We have retrieved the complete mitochondrial cytochrome b gene (1,143 base pairs), plus fragments of the mitochondrial 12S gene and the nuclear 28S rDNA multi-copy gene from a well preserved Myotragus subfossil bone. The best resolved phylogenetic trees, obtained with the cytochrome b gene, placed Myotragus in a position basal to the Ovis group. Using the calibration provided by the isolation of Balearic Islands, we calculated that the initial radiation of caprines can be dated at 6.2 ± 0.4 Mya. In addition, alpine and southern chamois, considered until recently the same species, split around 1.6 ± 0.3 Mya, indicating that the two chamois species have been separated much longer than previously thought. Conclusion: Since there are almost no extant endemic mammals in Mediterranean islands, the sequence of the extinct Balearic endemic Myotragus has been crucial for allowing us to use the Messinian crisis calibration point for dating the caprines phylogenetic tree.

Different concentrations of Mg++ ions affect nuclear matrix protein distribution during thermal stabilization of isolated nuclei.

The nuclear matrix, a proteinaceous network believed to be a scaffolding structure determining higher-order organization of chromatin, is usually prepared from intact nuclei by a series of extraction steps. In most cell types investigated the nuclear matrix does not spontaneously resist these treatments but must be stabilized before the application of extracting agents. Incubation of isolated nuclei at 37C or 42C in buffers containing Mg++ has been widely employed as stabilizing agent. We have previously demonstrated that heat treatment induces changes in the distribution of three nuclear scaffold proteins in nuclei prepared in the absence of Mg++ ions. We studied whether different concentrations of Mg++ (2.0-5 mM) affect the spatial distribution of nuclear matrix proteins in nuclei isolated from K562 erythroleukemia cells and stabilized by heat at either 37C or 42C. Five proteins were studied, two of which were RNA metabolism-related proteins (a 105-kD component of splicing complexes and an RNP component), one a 126-kD constituent of a class of nuclear bodies, and two were components of the inner matrix network. The localization of proteins was determined by immunofluorescent staining and confocal scanning laser microscope. Mg++ induced significant changes of antigen distribution even at the lowest concentration employed, and these modifications were enhanced in parallel with increase in the concentration of the divalent cation. The different sensitivity to heat stabilization and Mg++ of these nuclear proteins might reflect a different degree of association with the nuclear scaffold and can be closely related to their functional or structural role.

Regulation of recombination at yeast nuclear pores controls repair and triplet repeat stability.

Secondary structure-forming DNA sequences such as CAG repeats interfere with replication and repair, provoking fork stalling, chromosome fragility, and recombination. In budding yeast, we found that expanded CAG repeats are more likely than unexpanded repeats to localize to the nuclear periphery. This positioning is transient, occurs in late S phase, requires replication, and is associated with decreased subnuclear mobility of the locus. In contrast to persistent double-stranded breaks, expanded CAG repeats at the nuclear envelope associate with pores but not with the inner nuclear membrane protein Mps3. Relocation requires Nup84 and the Slx5/8 SUMO-dependent ubiquitin ligase but not Rad51, Mec1, or Tel1. Importantly, the presence of the Nup84 pore subcomplex and Slx5/8 suppresses CAG repeat fragility and instability. Repeat instability in nup84, slx5, or slx8 mutant cells arises through aberrant homologous recombination and is distinct from instability arising from the loss of ligase 4-dependent end-joining. Genetic and physical analysis of Rad52 sumoylation and binding at the CAG tract suggests that Slx5/8 targets sumoylated Rad52 for degradation at the pore to facilitate recovery from acute replication stress by promoting replication fork restart. We thereby confirmed that the relocation of damage to nuclear pores plays an important role in a naturally occurring repair process.

Molecular dating of caprines using ancient DNA sequences of Myotragus balearicus, an extinct endemic Balearic mammal

Background: Myotragus balearicus was an endemic bovid from the Balearic Islands (Western Mediterranean) that became extinct around 6,000-4,000 years ago. The Myotragus evolutionary lineage became isolated in the islands most probably at the end of the Messinian crisis, when the desiccation of the Mediterranean ended, in a geological date established at 5.35 Mya. Thus, the sequences of Myotragus could be very valuable for calibrating the mammalian mitochondrial DNA clock and, in particular, the tree of the Caprinae subfamily, to which Myotragus belongs. Results: We have retrieved the complete mitochondrial cytochrome b gene (1,143 base pairs), plus fragments of the mitochondrial 12S gene and the nuclear 28S rDNA multi-copy gene from a well preserved Myotragus subfossil bone. The best resolved phylogenetic trees, obtained with the cytochrome b gene, placed Myotragus in a position basal to the Ovis group. Using the calibration provided by the isolation of Balearic Islands, we calculated that the initial radiation of caprines can be dated at 6.2 ± 0.4 Mya. In addition, alpine and southern chamois, considered until recently the same species, split around 1.6 ± 0.3 Mya, indicating that the two chamois species have been separated much longer than previously thought. Conclusion: Since there are almost no extant endemic mammals in Mediterranean islands, the sequence of the extinct Balearic endemic Myotragus has been crucial for allowing us to use the Messinian crisis calibration point for dating the caprines phylogenetic tree.

Localization of metastasis within the sentinel lymph node biopsies: a predictor of additional axillary spread of breast cancer?

PURPOSE: To explore the relationship between morphological characteristics and histologic localization of metastasis within sentinel lymph nodes (SLN) and axillary spread in women with breast cancer. METHODS: We selected 119 patients with positive SLN submitted to complete axillary lymph node dissection from July 2002 to March 2007. We retrieved the age of patients and the primary tumor size. In the primary tumor, we evaluated histologic and nuclear grade, and peritumoral vascular invasion (PVI). In SLNs we evaluated the size of metastasis, their localization in the lymph node, number of foci, number of involved lymph nodes, and extranodal extension. RESULTS: Fifty-one (42.8%) patients had confirmed additional metastasis in non-sentinel lymph nodes (NLSN). High histologic grade, PVI, intraparenchymatous metastasis, extranodal neoplastic extension and size of metastasis were associated with positive NLSN. SLN metastasis affecting the capsule were associated to low risk incidence of additional metastasis. After multivariate analysis, PVI and metastasis size in the SLN remained as the most important risk factors for additional metastasis. CONCLUSIONS:The risk of additional involvement of NSLN is higher in patients with PVI and it increases progressively according the histologic localization in the lymph node, from capsule, where the afferent lymphatic channel arrives, to the opposite side of capsule promoting the extranodal extension. Size of metastasis greater than 6.0 mm presents higher risk of additional lymph node metastasis.

Control of the rat angiotensin I converting enzyme gene by CRE-like sequences

We characterized the role of potential cAMP-responsive elements (CRE) in basal and in induced angiotensin converting enzyme (ACE) gene promoter activity in order to shed light on the regulation of somatic ACE expression. We identified stimulators and repressors of basal expression between 122 and 288 bp and between 415 and 1303 bp upstream from the transcription start site, respectively, using a rabbit endothelial cell (REC) line. These regions also contained elements associated with the response to 8BrcAMP. When screening for CRE motifs we found pCRE, a proximal sequence between 209 and 222 bp. dCRE, a distal tandem of two CRE-like sequences conserved between rats, mice and humans, was detected between 834 and 846 bp. Gel retardation analysis of nuclear extracts of REC indicated that pCRE and dCRE bind to the same protein complexes as bound by a canonical CRE. Mutation of pCRE and dCRE in REC established the former as a positive element and the latter as a negative element. In 293 cells, a renal cell line, pCRE and dCRE are negative regulators. Co-transfection of ATF-2 or ATF-2 plus c-Jun repressed ACE promoter activity, suggesting that the ACE gene is controlled by cellular stress. Although mapping of cAMP responsiveness was consistent with roles for pCRE and dCRE, mutation analysis indicated that they were not required for cAMP responsiveness. We conclude that the basal activity of the somatic ACE promoter is controlled by proximal and distal CREs that can act as enhancers or repressors depending on the cell context.

Isolation and characterization of genomic DNA sequences that enhance the stability of plasmid DNA in mammalian cells /

The ease of production and manipulation has made plasmid DNA a prime target for its use in gene transfer technologies such as gene therapy and DNA vaccines. The major drawback of plasmid however is its stability within mammalian cells. Plasmid DNA is usually lost by cellular mechanisms or as a result of mitosis by simple dilution. This study set out to search for mammalian genomic DNA sequences that would enhance the stability of plasmid DNA in mammalian cells.Creating a plasmid based genomic DNA library, we were able to screen the human genome by transfecting the library into Human Embryonic Kidney (HEK 293) Cells. Cells that contained plasmid DNA were selected, using G418 for 14 days. The resulting population was then screened for the presence of biologically active plasmid DNA using the process of transformation as a detector.A commercially available plasmid DNA isolation kit was modified to extract plasmid DNA from mammalian cells. The standardized protocol had a detection limit of -0.6 plasmids per cell in one million cells. This allowed for the detection of 45 plasmids that were maintained for 32 days in the HEK 293 cells. Sequencing of selected inserts revealed a significantly higher thymine content in comparison to the human genome. Sequences with high A/T content have been associated with Scaffold/Matrix Attachment Region (S/MAR) sequences in mammalian cells. Therefore, association with the nuclear matrix might be required for the stability of plasmids in mammalian cells.

Melanosomal targeting sequences from gp100 are essential for MHC class II-restricted endogenous epitope presentation and mobilization to endosomal compartments

CD4+ T lymphocytes play an important role in CD8+ T cell-mediated responses against tumors. Considering that about 20% of melanomas express major histocompatibility complex (MHC) class II, it is plausible that concomitant antigenic presentation by MHC class I and class II complexes shapes positive (helper T cells) or negative (regulatory T cells) anti-tumor responses. Interestingly, gp100, a melanoma antigen, can be presented by both MHC class I and class II when expressed endogenously, suggesting that it can reach endosomal/MHC class II compartments (MIIC). Here, we demonstrated that the gp100 putative amino-terminal signal sequence and the last 70 residues in carboxy-terminus, are essential for MIIC localization and MHC class II presentation. Confocal microscopy analyses confirmed that gp100 was localized in LAMP-1+ endosomal/MIIC. Gp100-targeting sequences were characterized by deleting different sections in the carboxy-terminus (residues 590 to 661). Transfection in 293T cells, expressing MHC class I and class II molecules, revealed that specific deletions in carboxy-terminus resulted in decreased MHC class II presentation, without effects on MHC class I presentation, suggesting a role in MIIC trafficking for these deleted sections. Then, we used these gp100-targeting sequences to mobilize the green fluorescent protein (GFP) to endosomal compartments, and to allow MHC class II and class I presentation of minimal endogenous epitopes. Thus, we concluded that these specific sequences are MIIC targeting motifs. Consequently, these sequences could be included in expression cassettes for endogenously expressed tumor or viral antigens to promote MHC class II and class I presentation and optimize in vivo T cell responses, or as an in vitro tool for characterization of new MHC class II epitopes.

Purification of mitochondrial RNase P in A. nidulans

Résumé La ribonucléase P (RNase P) est une ribonucléoprotéine omniprésente dans tous les règnes du vivant, elle est responsable de la maturation en 5’ des précurseurs des ARNs de transfert (ARNts) et quelques autres petits ARNs. L’enzyme est composée d'une sous unité catalytique d'ARN (ARN-P) et d'une ou de plusieurs protéines selon les espèces. Chez les eucaryotes, l’activité de la RNase P cytoplasmique est distincte de celles des organelles (mitochondrie et chloroplaste). Chez la plupart des espèces, les ARN-P sont constituées de plusieurs éléments structuraux secondaires critiques conservés au cours de l’évolution. En revanche, au niveau de la structure, une réduction forte été observé dans la plupart des mtARN-Ps. Le nombre de protéines composant la RNase P est extrêmement variable : une chez les bactéries, environ quatre chez les archéobactéries, et dix chez la forme cytoplasmique des eucaryotes. Cet aspect est peu connu pour les formes mitochondriales. Dans la plupart des cas, l’identification de la mtRNase P est le résultat de longues procédures de purification comprenant plusieurs étapes dans le but de réduire au minimum le nombre de protéines requises pour l’activité (exemple de la levure et A. nidulans). Cela mène régulièrement à la perte de l’activité et de l’intégrité des complexes ribonucléo-protéiques natifs. Dans ce travail, par l’utilisation de la technique de BN-PAGE, nous avons développé une procédure d’enrichissement de l’activité RNase P mitochondriale native, donnant un rendement raisonnable. Les fractions enrichies capables de cette activité enzymatique ont été analysées par LC/MS/MS et les résultats montrent que l’holoenzyme de la RNase P de chacune des fractions contient un nombre de protéines beaucoup plus grand que ce qui était connue. Nous suggérons une liste de protéines (principalement hypothétiques) qui accompagnent l’activité de la RNase P. IV De plus, la question de la localisation de la mtRNase P de A. nidulans a été étudiée, selon nos résultats, la majorité de la mtRNase P est attachée á la membrane interne de la mitochondrie. Sa solubilisation se fait par l’utilisation de différents types de détergent. Ces derniers permettent l’obtention d’un spectre de complexes de la RNase P de différentes tailles.

An examination of the effects of 4E-T-mediated re-localization of eIF4E on eIF4E function

Le facteur d'initiation de la traduction chez les eukaryotes eIF4E (4E) est un puissant oncogène en raison de sa capacité à faciliter l'export et/ou la traduction de certains transcripts, dont beaucoup sont eux-mêmes des oncogènes. 4E intéragit avec un grand nombre de protéines régulatrices dont la protéine 4E-T (pour 4E-Transporter). La capacité de 4E-T à modifier la localisation subcellulaire de 4E pourrait offrir un mécanisme permettant de modifier le potentiel oncogène d'une cellule. La surexpression de 4E-T dans des cellules d'ostéosarcome conduit à l’augmentation du nombre et de la taille des P-bodies, dans lesquels 4E colocalisent avec 4E-T mais pas avec la version tronquée 4E-T/Y30A. Cependant, les différentes expériences menées, permettant d’analyser les taux de transcription, la quantité de protéine, les profiles polysomiques ainsi que la distribution nucléo-cytoplasmique, montrent que la surexpression de 4E-T n'a pas d'effet sur la fonction de 4E. L'observation d’un enrichissement cytoplasmique et d’une charge réduite de ribosomes sur les transcripts codant les protéines cycline D1 et ODC (profile polysomique) dans la lignée 4E-T suggère un role de 4E-T dans la séquestration cytoplasmique de certains transcrips par un mécanisme qui reste encore à déterminer.

Expression of steroidogenic proteins and genes in bovine placenta from conventional and somatic cell nuclear transfer (SCNT) gestations

Pendant la grossesse, les hormones stéroïdes jouent un rôle indispensable dans la régulation des principales manifestations physiologiques telles que la reconnaissance maternelle de la gestation, la réceptivité de l'endomètre, le début du développement embryonnaire ainsi que le maintien de la gestation. Cependant, on sait très peu sur la production de ces hormones et les principaux facteurs des voies intracellulaires impliqués dans le processus de stéroïdogenèse dans le placenta bovin pendant les stades initiaux et plus avancés de la gestation. Par ailleurs, certaines anomalies du placenta chez les bovins suite à une mauvaise production de stéroïdes n'ont pas encore été démontrées. Les objectifs de cette thèse étaient donc de : 1) déterminer la présence et la localisation des principales protéines stéroïdiennes dans le placenta de bovins provenant de gestations de 50 à 120 jours, 2) comparer l'expression placentaire d'une série de gènes et de protéines stéroïdiennes entre une gestation impliquant un transfert de noyaux de cellules somatiques (SCNT) et une gestation non-clonale; 3) étudier l'impact des hormones trophiques et des seconds messagers sur la stéroïdogenèse dans le placenta bovin à 140 +10 jours de gestation. L’utilisation de techniques d’immunohistochimie, d’immunobuvardage et de PCR quantitatif nous a permis d’évaluer la présence d'un large éventail de gènes stéroïdiens (STAR, CYP11A1, HSD3B1, CYP17A1 et SCARB1) qui participent au transport du cholestérol et dans la production de différents types de stéroïdes. Dans cette thèse, nous avons démontré la capacité du placenta bovin d’initier la stéroïdogenèse au début de la gestation et nous avons également déterminé les principales cellules impliquées dans ce processus. Nous avons constaté que les tissus maternels expriment les principaux marqueurs de stéroïdogenèse suggérant une plus grande capacité stéroïdogénique que les tissus fœtaux. En outre, un modèle d'expression des protéines complémentaires stéroïdogéniques entre la caroncule et le cotylédon a été observé, indiquant que la stéroïdogenèse placentaire exige une communication cellule à cellule entre les cellules de la mère et du fœtus. Après avoir démontré les principales cellules impliquées dans la synthèse des hormones stéroïdiennes dans le placenta bovin en début de gestation, nous avons ensuite étudié les modifications possibles de la stéroïdogenèse dans les tissus SCNT cotylédonaires à 40 jours de gestation. Nous avons identifié d'importantes modifications dans l'expression des gènes STAR, CYP11A1, HSD3B1, CYP17A1, et SULT1E1. Conséquemment, nous postulons que l'expression réduite des gènes stéroïdiens peut provoquer une insuffisance de la biosynthèse des hormones stéroïdiennes, ce qui pourrait contribuer à un développement anormal du placenta et du fœtus dans les gestations SCNT à court ou long terme. Finalement, nous avons développé un modèle efficace de culture d’explants de placentome qui nous a permis d'explorer les mécanismes sous-jacents spécifiques à la stéroïdogenèse placentaire. Nous avons exploré l'effet stimulant des hormones trophiques et différents messagers secondaires sur l'expression de différentes protéines stéroïdogéniques ainsi que le taux de progestérone (P4) dans les explants de placentome. En utilisant les techniques de RIA et de PCR quantitatif, nous avons constaté que même si les analogues de l'hormone lutéinisante (hCG) ont un effet stimulant sur plusieurs gènes stéroïdiens, le calcium ionophore est le principal modulateur dans la synthèse de la P4. Ces résultats suggèrent que dans le placenta bovin, la synthèse de la P4 est modulée principalement par l'afflux de calcium intracellulaire, et apparemment les nucléotides cycliques ne semblent pas contrôler ce processus. En conclusion, cette étude contribue de manière significative à une meilleure compréhension des mécanismes d'entraînement de la synthèse des stéroïdes placentaires au début de la gestation et permet aussi d’apporter de nouveaux éclairages sur l'importance des stéroïdes placentaires dans la régulation du développement du placenta et du fœtus.

La RNase P mitochondriale chez Neurospora crassa

Résumé La Ribonucléase P (RNase P) est une enzyme principalement reconnue pour sa participation à la maturation en 5’des ARN de transfert (ARNt). Cependant, d’autres substrats sont reconnus par l’enzyme. En général, la RNase P est composée d’une sous-unité ARN (le P-ARN, codé par le gène rnpB) qui porte le centre actif de l’enzyme et d’une ou de plusieurs sous-unités protéiques (la P-protéine). Les P-ARN chez toutes les bactéries, la majorité des archéobactéries et dans le génome nucléaire de la plupart des eucaryotes, possèdent généralement une structure secondaire très conservée qui inclut le noyau (P1-P4); l’hélice P4 constitue le site catalytique de l’enzyme et l’hélice P1 apparie les extrémités du P-ARN en stabilisant sa structure globale. Les P-ARN mitochondriaux sont souvent moins conservés et difficiles à découvrir. Dans certains cas, les seules régions de structure primaire qui restent conservées sont celles qui définissent le P4 et le P1. Pour la détection des gènes rnpB, un outil de recherche bioinformatique, basé sur la séquence et le profil de structure secondaire, a été développé dans le laboratoire. Cet outil permet le dépistage de toutes les séquences eucaryotes (nucléaires et mitochondriales) du gène avec une très grande confiance (basée sur une valeur statistique, E-value). Chez les champignons, plusieurs ascomycètes encodent un gène rnpB dans leur génome mitochondrial y compris tous les membres du genre d’Aspergillus. Cependant, chez les espèces voisines, Neurospora crassa, Podospora anserina et Sordaria macrospora, une version mitochondriale de ce gène n’existe pas. Au lieu de cela, elles contiennent deux copies nucléaires du gène, légèrement différentes en taille et en contenu nucléotidique. Mon projet a été établi dans le but d’éclaircir l’évolution de la RNase P mitochondriale (mtRNase P) chez ces trois espèces voisines d’Aspergillus. En ce qui concerne les résultats, des modèles de structures secondaires pour les transcrits de ces gènes ont été construits en se basant sur la structure consensus universelle de la sous-unité ARN de la RNase P. Pour les trois espèces, par la comparaison de ces modèles, nous avons établi que les deux copies nucléaires du gène rnpB sont assez distinctes en séquence et en structure pour pouvoir y penser à une spécialisation de fonction de la RNase P. Chez N. crassa, les deux P-ARN sont modifiés probablement par une coiffe et les extrémités 5’, 3’ sont conformes à nos modèles, ayant un P1 allongé. Encore chez N. crassa, nous avons constaté que les deux copies sont transcrites au même niveau dans le cytoplasme et que la plus petite et la plus stable d’entre elles (Nc1) se retrouve dans l’extrait matriciel mitochondrial. Lors du suivi du P-ARN dans diverses sous-fractions provenant de la matrice mitochondriale soluble, Nc1 est associée avec l’activité de la RNase P. La caractérisation du complexe protéique, isolé à partir de la fraction active sur un gel non dénaturant, révèle qu’il contient au moins 87 protéines, 73 d’entre elles ayant déjà une localisation mitochondriale connue. Comme chez la levure, les protéines de ce complexe sont impliquées dans plusieurs fonctions cellulaires comme le processing de l’ADN/ARN, le métabolisme, dans la traduction et d’autres (par exemple : la protéolyse et le repliement des protéines, ainsi que la maintenance du génome mitochondrial). Pour trois protéines, leur fonction est non déterminée.

Une nouvelle approche computationnelle pour la découverte des sites de fixation de facteurs de transcription à l’ADN, adaptée aux données de ChIP-chip et de ChIP-séquençage

Les facteurs de transcription sont des protéines spécialisées qui jouent un rôle important dans différents processus biologiques tel que la différenciation, le cycle cellulaire et la tumorigenèse. Ils régulent la transcription des gènes en se fixant sur des séquences d’ADN spécifiques (éléments cis-régulateurs). L’identification de ces éléments est une étape cruciale dans la compréhension des réseaux de régulation des gènes. Avec l’avènement des technologies de séquençage à haut débit, l’identification de tout les éléments fonctionnels dans les génomes, incluant gènes et éléments cis-régulateurs a connu une avancée considérable. Alors qu’on est arrivé à estimer le nombre de gènes chez différentes espèces, l’information sur les éléments qui contrôlent et orchestrent la régulation de ces gènes est encore mal définie. Grace aux techniques de ChIP-chip et de ChIP-séquençage il est possible d’identifier toutes les régions du génome qui sont liées par un facteur de transcription d’intérêt. Plusieurs approches computationnelles ont été développées pour prédire les sites fixés par les facteurs de transcription. Ces approches sont classées en deux catégories principales: les algorithmes énumératifs et probabilistes. Toutefois, plusieurs études ont montré que ces approches génèrent des taux élevés de faux négatifs et de faux positifs ce qui rend difficile l’interprétation des résultats et par conséquent leur validation expérimentale. Dans cette thèse, nous avons ciblé deux objectifs. Le premier objectif a été de développer une nouvelle approche pour la découverte des sites de fixation des facteurs de transcription à l’ADN (SAMD-ChIP) adaptée aux données de ChIP-chip et de ChIP-séquençage. Notre approche implémente un algorithme hybride qui combine les deux stratégies énumérative et probabiliste, afin d’exploiter les performances de chacune d’entre elles. Notre approche a montré ses performances, comparée aux outils de découvertes de motifs existants sur des jeux de données simulées et des jeux de données de ChIP-chip et de ChIP-séquençage. SAMD-ChIP présente aussi l’avantage d’exploiter les propriétés de distributions des sites liés par les facteurs de transcription autour du centre des régions liées afin de limiter la prédiction aux motifs qui sont enrichis dans une fenêtre de longueur fixe autour du centre de ces régions. Les facteurs de transcription agissent rarement seuls. Ils forment souvent des complexes pour interagir avec l’ADN pour réguler leurs gènes cibles. Ces interactions impliquent des facteurs de transcription dont les sites de fixation à l’ADN sont localisés proches les uns des autres ou bien médier par des boucles de chromatine. Notre deuxième objectif a été d’exploiter la proximité spatiale des sites liés par les facteurs de transcription dans les régions de ChIP-chip et de ChIP-séquençage pour développer une approche pour la prédiction des motifs composites (motifs composés par deux sites et séparés par un espacement de taille fixe). Nous avons testé ce module pour prédire la co-localisation entre les deux demi-sites ERE qui forment le site ERE, lié par le récepteur des œstrogènes ERα. Ce module a été incorporé à notre outil de découverte de motifs SAMD-ChIP.

An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Nuclear pairing: surface or bulk?

We analyze how the spatial localization properties of pairing correlations are changing in a major neutron shell of heavy nuclei. It is shown that the radial distribution of the pairing density depends strongly on whether the chemical potential is close to a low or a high angular momentum level and has little sensitivity to whether the pairing force acts at the surface or in the bulk. The pairing density averaged over one major shell is, however, rather flat, exhibiting little dependence on the pairing force. Hartree-Fock-Bogoliubov calculations for the isotopic chain 100-132Sn are presented for demonstration purposes.