Logiciels SaAB

De MIAT INRA
Aller à : navigation, rechercher

Logiciels de l'equipe SaAB.


CarthaGène CarthaGène est un outil de cartographie génétique et d'hybrides irradiés. Il est capable de traiter des jeux de données haute densité ou des jeux issus de population multiples. Il est centré sur les pedigrees végétaux et les panels d'hybrides irradiés (issu d'animal le plus souvent). Il exploite une analogie entre cartographie génétique et voyageur de commerce en intégrant des outils d'optimisation spécialisés et des algorithmes d'estimation de paramètres (taux de recombinaison/cassure) accélérés. Utilisé très largement, cité par des centaines de cartes génétiques publiées.
EuGene EuGene est un logiciel d'annotation de génomes eucaryotes intégratif. La prédiction finale produite intègre des analyses statistiques (contenu statistique, sites d'épissage...), des données de similarités (protéines, transcrits, EST, RNASeq...) ou de conservation entre génomes, des prédictions existantes, des prédictions de régions répétées ou non fonctionnelles... Il a été utilisé à Toulouse pour annoter et réannoter de nombreux génomes (Arabidopsis thaliana, Medicato truncatula, Tomate, cacao...) et beaucoup plus largement par d'autres laboratoires. Une version procaryote (EuGene-PP) totalement automatisée est également disponible.
Minicsp Minicsp is a CSP solver. It combines clause learning, as it is used in SAT and SMT solvers with the ability to use modeling languages and algorithms from constraint programming. It supports finite domain and set variables and several widely used global constraints. It can be used either as a C++ library or as a black box solver for solving instances in Flatzinc or XCSP formats.
Red Red est un logiciel de détection de répétitions de gènes en tandem s'effectuant au niveau ADN. ReD est donc capable de détecter des répétitions de gènes devenues non fonctionnelles suite à leur duplication.
toulbar2 toulbar2 est une plate-forme C++ d'optimisation combinatoire pour résoudre les problèmes de satisfaction de contraintes ou clauses pondérées et les modèles graphiques probabilistes (cf. [1]). Il a été mobilisé pour résoudre des problèmes d'allocation de ressources, de génétique, d'analyse de séquences ou de deign de protéines par exemple. Il a également terminé en bonne position dans différentes compétitions internationales (UAI challenge 2010, PIC challenge 2011, Compétition UAI 2014).

RNAspace

RNAspace.png

RNAspace est un environnement pour créer des sites web dédiés à la prédiction, l'annotation et l'analyse d'ARN non codant protéine (ARNnc). Les sites web permettent d'exécuter diffréents outils de manière intégrée et flexible. RNAspace permet d'intégrer de manière complémentaire différents prédicteurs d'ARNnc. Il propose également des outils pour comparer, visualiser, éditer et exporter les ARNnc candidats. Un site web public http://rnaspace.org a été créé pour permettre l'annotation de génomes bactériens et de petits chromosomes eucaryotes.
Génotoul BioInfo
Équipe RECORD
IMABS
Outils personnels