Détermination de structures secondaires d'ARN : une approche basée sur le formalisme des problèmes de satisfaction de contraintes - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement
Proceedings/Recueil Des Communications Année : 1994

Détermination de structures secondaires d'ARN : une approche basée sur le formalisme des problèmes de satisfaction de contraintes

Résumé

In this paper, an approach of determining the secondary structures of RNA has been proposed based on the formalism of Constraint Satisfaction Problems (CSP). In this formalism, each base is associated to a variable while the experimental data and restrictions as well as the thermodynamic model are described in terms of constraints. In this formulation, filtering and searching algorithm within the CSP furnishes all the valid secondary structures of RNA. The use of a dynamic CSP allows interactive additions and relaxation of constraints whereas a weighted CSP offers a possible way of finding the sub-optimal secondary structures of RNA.

Mots clés

Fichier non déposé

Dates et versions

hal-02852537 , version 1 (07-06-2020)

Identifiants

  • HAL Id : hal-02852537 , version 1
  • PRODINRA : 135959

Citer

Christine Gaspin, Z. Chen. Détermination de structures secondaires d'ARN : une approche basée sur le formalisme des problèmes de satisfaction de contraintes. 26. Journées de Statistique de la Société Française de Biométrie, May 1994, Neuchahl, Suède. n.p., 1994. ⟨hal-02852537⟩
4 Consultations
0 Téléchargements

Partager

More