Formal methods in the eyes of biological data

Elodie Laine and Alessandra Carbone organize the mini-symposium « Formal methods in the eyes of biological data » the 5th of June in Ronce-les-Bains. The symposium will highlight recent mathematical developments toward elucidating biological questions or modeling complex biological systems.It will illustrate the cross-talk between formal methods and biological data. The symposium is hosted by the SMAI congress (http://smai.emath.fr/smai2017/) and sponsored by the GDR BIM (http://www.gdr-bim.cnrs.fr/).

Comments Off on Formal methods in the eyes of biological data

BIS2Analyzer

BIS2Analyzer is a webserver providing the online analysis of coevolving amino-acid pairs in protein alignments, especially designed for vertebrate and viral protein families, which typically display a small number of highly similar sequences.

Comments Off on BIS2Analyzer

Plasmobase

Plasmobase is a unique database designed for the comparative study of 11 Plasmodium genomes. Plasmobase proposes new domain architectures as well as new domain families that have never been reported before for these genomes.It allows for an easy comparison among architectures within Plasmodium species and with other species, described in UniProt. Joint work of J.Bernardes and A.Carbone.

0 Comments

World Community Grid

World Community Grid (WCG - IBM) posts a news on our new article appeared in Proteins exploring a fundamental principle of protein sociability.This work used data obtained in the first phase of our project "Help Cure Muscular Dystrophy Project" with WCG. This work is part of the MAPPING project (Investissement d'Avenir en Bioinformatique).To the Article in WCGTo the Article in Proteins

0 Comments