Symbiose seminars

  • TBA

    Nicolas Tchichek
    Thursday, September 21, 2017 - 10:30
    Room Minquiers
    Talk abstract: 

    TBA

  • TBA

    Joelle Despeyroux - INRIA Sophia-Antipolis
    Thursday, September 14, 2017 - 10:30
    Room Minquiers
    Talk abstract: 

    TBA

  • Formal Language Representation and Modeling of Bio-molecular Structures by Matrix Insertion-Deletion Systems

    Lakshmanan
    Wednesday, July 5, 2017 - 10:30 to Saturday, July 29, 2017 - 10:30
    Room Aurigny
    Talk abstract: 

    David Searls initiated the representation of molecules as strings and modeled structures formed by the molecules using formal grammars. The work opened the doors to tackle many problems in computational biology like predicting pseudoknot structures of biomolecules. Subsequently, Sakakibara, Hausler, Eddy, Rivas, Umera and others introduced various grammar formalisms for modeling predominantly noticed bio-molecular structures such as stem-loop, pseduoknot, attenuator, clover-leaf, dumbbell. However, there is no unique grammar formalism that models all the structures discussed in literature. In this talk, we shall study a recently introduced grammar formalism namely matrix insertion-deletion systems. In this system, set of rules are applied in order which helps to synchronize the elements even at far. With this system, we will model several intra and inter molecular structures of DNA and RNA. We will also model parallel and anti-parallel beta sheets of protein molecules with the system. 

  • Algorithmique pour les peptides non ribosomiques

    Yoann Dufresne (univ. lille)
    Thursday, June 29, 2017 - 10:30
    Room Aurigny
    Talk abstract: 
    La composition monomérique de polymères joue un rôle essentiel dans la comparaison de structures et dans la biologie de synthèse. Cependant, la plupart des ressources moléculaires en ligne donne accès à la structure atomique des molécules et non à leur structure monomérique. C'est dans ce contexte que j'ai développé au cours de ma thèse, un outil appelé Smiles2Monomers (s2m) dédié à la création d'un pont entre ces deux structures.
     
    Au cours de la présentation, nous reviendrons sur les aspects algorithmiques de graphes liés aux recherches de structures. Nous verrons, entre autre, comment il est possible d'effectuer des recherches exactes de sous graphes en optimisant le temps dépensé.
    Au delà de l'aspect algorithmique, je présenterai également les applications concrètes de ces algorithmes dans l'optique d'améliorer la base de donnée Norine. Nous pointerons les avantages de l'utilisation de s2m autant dans la limitation du nombre d'erreurs ajoutées à la base par les utilisateurs, la correction des erreurs déjà présentes ainsi que l'entrée automatique de nouvelles données.
  • An eco-systems view of complex natural microbiomes

    Samuel Chaffron (Universite Nantes)
    Thursday, June 15, 2017 - 10:30
    Room Aurigny
    Talk abstract: 

    Microbial communities play crucial ecological roles on our planet, impacting all ecosystems at various levels. Notably, they sustain Earth’s biogeochemical cycles in the oceans, protect plants from pathogens, and also influence host nutrition, immunity and development in humans. Next-Generation Sequencing (NGS) and functional genomics technologies (so called omics approaches) are revolutionizing the field of environmental microbiology and are reshaping our view on microbial ecosystems. These approaches enable the study of ecological systems at the molecular scale and are revealing the under-explored diversity and complexity of microbial ecosystems. Yet our ability to understand and predict the structures and functions of these complex and dynamic microbial communities is very limited. Notwithstanding, the genomic content of naturally co-occurring microbes can now be investigated in situ, and their metabolic networks can be reconstructed and integrated to gain insights into their physiology (from an environmental genotype to its phenotype). Past and on-going work presented here will ultimately lead to the design of integrative models through a microbial metabolic modeling platform integrating omics data, ecological information and metabolic networks reconstruction to further understand and predict microbial communities and ecosystems in and around us. This Microbial Systems Ecology (ECOSYSMIC) platform will enable to go beyond the simple description of natural microbial communities by building computational models to gain a predictive understanding of community function and dynamics, and acquire a mechanistic understanding of microbial species interactions and ecosystem functioning.

  • Filling Scaffolds

    Laurent Bulteau ( LIGM)
    Thursday, June 8, 2017 - 10:30
    Room Aurigny
    Talk abstract: 

     

    The Scaffold Filling problem was introduced by Muñoz et al. with the objective
    of using, for genomic distance purposes, not only perfectly sequenced genomes but
    also unfinished drafts. Indeed, with the development of NGS technologies, it has
    become much faster and cheaper to produce a first draft of any genome. However,
    the cost of “polishing” the draft to a complete sequence has not decreased with the
    same rate, thus many species are left with a genome in scaffold form. In such a form,
    a genome is only known as a series of contigs (i.e., contiguous segments of genes),
    separated by unknown gaps, sometimes with an indication on the length of the gap.
    With the help of a reference genome, that is, the complete genome of a close-
    enough species, one can hope to fill the gaps. Indeed, Muñoz et al. proposed a
    polynomial-time algorithm computing a most parsimonious rearrangement scenario
    between a scaffold and a reference genome, thereby completing the scaffold. However,
    this approach can only be applied in the absence of duplications – the problem
    becomes computationaly hard otherwise. From then on, several algorithms have been
    proposed to deal with gene duplications in order to compute simplified rearrangement
    distances, using both approximation and parameterized techniques. We will
    review these methods, as well as possible extensions of the problem.

  • A Combinatorial Algorithm for Microbial Consortia Synthetic Design

    Alice Julien Laferrière (Lyon)
    Thursday, April 27, 2017 - 10:30
    Room Aurigny
    Talk abstract: 
    Résumé en français plus bas. 
     
     
    -------------------------------------------------------------------------------------
     
    MULTIPUS (MULTIple species for the synthetic Production of Useful biochemical Substances) is a method to infer microbial communities and metabolic pathways to product specific target compounds from a set of defined substrates.
     
    We use a weighted directed hypergraph and we merge several metabolic networks, including possible transports and exogenous reactions. The problem translates into the enumeration of Directed Steiner Hypertrees. 
     
    We proposed to solve this enumeration problem using an dynamic programming algorithm or an answer-set programming (ASP) solver. Finally, we illustrated MULTIPUS with two case study, the production of antibiotics using a synthetic consortia and the artificial association of a methanogenic archae with Klebsiella pneumoniae.
     
     
    -------------------------------------------------------------------------------------------------------------
    Nous avons réfléchi à une méthode permettant d'inférer des voies métaboliques d’intérêt pour la production de composés chimiques au sein d'une communauté de micro-organismes.
     Dans cette méthode, nous représentons les réseaux métaboliques sous la forme d'hypergraphes dirigés et pondérés et permettons de prendre en compte  différentes souches ou espèces ainsi que des transports de composés ou encore l'insertion de réactions par ingénierie génétique.
     
    Le problème correspond alors à un problème d'énumération d'hyper-arbres de Steiner dirigés. 
     
    Nous avons proposé de résoudre cela soit avec un algorithme de programmation dynamique paramétré, soit par une approche de programmation par ensemble réponse (ASP). 
    Ces deux approches sont implémentées dans  MULTIPUS (MULTIple species for the synthetic Production of Useful biochemical Substances). Enfin nous avons illustré l’intérêt de MULTIPUS dans deux cas d'applications, une communauté synthétique pour la production d'antibiotiques et un consortium artificiel.
  • Séquençage SMRT et génome mitochondrial atypique des cloportes.

    Jean Peccoud (université Poitiers)
    Thursday, April 6, 2017 - 10:30
    Room Aurigny
    Talk abstract: 
    Les cloportes (Isopodes: oniscidés) possèdent un génome mitochondrial curieux. Il est composé d’une unité génomique de 14 kb dans une molécule linéaire, et d’un dimère circulaire de 28 kb composé de 2 unités en palindrome. Chaque individu porte les deux types de molécules.
    Par ailleurs, un même locus de ce génome semble coder 2 ARNt car chaque individu présente une variation d’un nuclétotide (SNP) au niveau de l’anticodon. Ainsi, ce locus peut, selon la base du SNP, coder pour l’ARNt Valine ou l’ARNt Alanine. Deux autres locus "double ARNt" ont été identifiés au sein de plusieurs espèces de cloportes. La variation à chacun de ces locus doit être maintenue dans chaque individu sous peine de mort par défaut d’un gène d'ARNt. Ceci constituerait une hétéroplasmie:  la présence de molécules d'ADN homologues portant différentes séquences dans le cytoplasme. Cette hétéroplasmie vitale serait maintenue depuis des millions de générations.
    Cependant, il reste possible que cette apparente hétéroplasmie reflète le fait que les 2 unités génomiques composant le dimère ne soient pas totalement identiques, et que chacune code un jeu d’ARNt. Le dimère dans son ensemble pourrait coder tous les ARNt vitaux. Cette hypothèse en contredit néanmoins une autre : on suppose que le dimère provient de la réplication du monomère, chaque brun du monomère devenant une unité génomique du dimère. Le dimère devrait donc être totalement palindromique, et ne pas pouvoir encoder plus d’ARNt que le monomère dont il est issu. Comment résoudre ce casse-tête ?
     Le séquençage SMRT (Single Molecule Real Time) de Pacific Biosciences a permis d’apporter des réponse définitives à ce questionnement, en clarifiant l’hétéroplasmie, les conversions entre dimères et monomères, ainsi que l’évolution de ce génome atypique.
  • Modélisation logique et raisonnement qualitatif pour la compréhension du comportement des complexes Biomolecular Network

    Ali AYADI (icube Strasbourg)
    Thursday, March 30, 2017 - 10:30
    Room Aurigny
    Talk abstract: 

    La biologie des systèmes vise à modéliser, décrire et comprendre le comportement des organismes vivants, à savoir, celui de la cellule. Cet organisme vivant est représenté par un réseau biomoléculaire complexe. Dans la littérature, la plupart des recherches se concentrent uniquement sur la modélisation des parties isolées de ce réseau, comme le réseau métabolique ou le réseau de régulation génétiques. Cependant, pour bien comprendre le comportement d'une cellule, il serait indispensable de modéliser et analyser le réseau biomoléculaire dans son ensemble.

     

    Les approches et méthodologies actuellement disponibles ne répondent pas suffisamment à ces exigences. En combinant une modélisation logique, une approche sémantique et un raisonnement qualitatif, nous proposons une plate-forme qui permet aux biologistes de simuler les changements d'états des réseaux biomoléculaires dans le but de diriger leurs comportements d’un état quelconque à un état spécifique.

     

    Dans la présentation, nous proposons d'abord une introduction portant sur les principales notions du sujet. Ensuite, nous présentons une approche logique pour décrire et modéliser les réseaux biomoléculaires complexes suivant la théorie des systèmes. Cette modélisation est basée sur les aspects structurels, fonctionnels et comportementaux. En outre, nous proposons une approche sémantique basée sur quatre ontologies pour fournir une riche description pour la modélisation d'un réseau biomoléculaire et de ses changements d'états au cours du temps. Nous présentons également une méthode de raisonnement qualitatif, basée à la fois sur la modélisation logique et sémantique, pour simuler qualitativement le réseau biomoléculaire et interpréter son comportement dans le temps.

    L'applicabilité de nos approches est illustrée par une étude de cas qui porte sur l'autorégulation du gène 32 du phage T4. Ces approches fournissent les éléments nécessaires pour modéliser, analyser, raisonner et comprendre le comportement dynamique et les différents états de transition des réseaux biomoléculaires complexes.

     

     

     

    English version:

     

     

    Title:

    Formal Modeling and Qualitative Reasoning for understanding the behaviour of complex Biomolecular Network

     

    Abstract:

    Systems biology models aim to describe and understand the behaviour of a cell. This living organism is represented by a complex biomolecular network. In the literature, most researches focus only on modeling isolated parts of this network, such as the metabolic network or the gene regulatory network. However, to fully understand the behaviour of a cell we should model and analyze the biomolecular network as a whole.

     

    Currently available approaches and methodologies do not address these new requirements sufficiently. By combining a logical modeling, a semantic approach and a qualitative reasoning, this talk deals with a platform that enables biologists to simulate the state changes of biomolecular networks with the goal of steering their behaviours.

     

    To this end, we firstly offer an introduction to the main ideas of the subject. Second, we present a logic-based approach for describing and modeling complex biomolecular networks following systems theory. This modeling is based on the structural, functional and behavioural aspects.

    In addition, we propose a semantic approach based on four ontologies to provide a rich description for modeling a biomolecular network and its state changes. We also present a method of qualitative reasoning, based on both the logical and semantic modeling, to qualitatively simulate the biomolecular network and interpret its behaviour over time.

     

    The applicability of our approaches is illustrated through a case study related to the autoregulation of the bacteriophage T4 gene 32. These approaches provide the necessary elements to model, analyze, reason and understand the dynamic behaviour and the transition states of complex biomolecular networks.

  • 10xgenomics

    Mickael Ploquin (10xgenomics)
    Thursday, March 23, 2017 - 10:30
    Room Metivier
    Talk abstract: 

    HUMAN GENETICS
    10x’s products enable a deeper understanding of human genetics.Long range phasing and resolution of structural variants are crucial content for genetic studies.

    LONG RANGE PHASING
    10x’s GemCode Technology uncovers long range phasing of SNPs. The Chromium™ Whole Exome Sequencing Kit phases SNPs and indels to reveal critical cis/trans relationships, including across genes with long introns.

     
    The human genome is diploid, with each cell containing a copy of both the maternal and paternal chromosomes. A comprehensive understanding of human genetic variation requires identification of the order, structure and origin of these sets of alleles and their variants across the genome. Haplotypes, the contiguous phased blocks of genomic variants specific to a given homolog, are essen­tial to such analysis. Genome-scale haplotype analysis has many advantages in genetic studies. Phasing of germline variants can be used to identify causative mutations in pedigrees, determine the structure of genomic rearrangement events and unravel cis- versus trans-relationships of ostensibly linked variants

    SINGLE CELL

    High-throughput, single-cell expression measurements enable discovery of gene expression dynamics for profiling individual cell types. the Chromium Single Cell Controller which is a dedicated instrument for single cell applications and features a simple and comprehensive workflow, enabling users to quickly and easily prepare single cell sequencing libraries in less than one workday. With the unique ability to interrogate hundreds to millions of cells, the Single Cell Chromium Controller supports a variety of applications, including the existing Chromium™ Single Cell 3’ Solution for single cell transcriptomics, as well as a potential future product featuring the ability to perform full-length sequencing of paired expressed V(D)J segments from single B or T cells. 

Pages