Niveau précédent: Satisfaction de contraintes et Page précédente: Nature des requêtes :

Références

Alb 86

ALBERTS B., BRAY D., LEWIS J., RAFF M., ROBERTS K. et WATSON J., La Cellule, Flammarion Médecine-Sciences, 1986.

All 84

ALLEN J., Towards a general theory of action and time. Artificial Intelligence, vol. 23, 1984, p. 123--154.

All 88

ALLISON L. et YEE C. N., Restriction site mapping is in separation theory. Computer Applications in BioSiences, vol. 4, 1988, p. 97--101.

Alt 94

ALTMAN R. B., WEISER B. et NOLLER H. F., Constraint satisfaction techniques for modeling large complexes: Application to the central domain of 16s ribosomal RNA. In: Proceedings of the second international conference on Intelligent Systems for Molecular Biology, p. 10--18, Stanford University, Stanford, (CA), août 1994.

Bri 87

BRINKLEY J. F., BUCHANAN B. G., ALTMAN R., DUNCAN B. et CORNELIUS C., A heuristic refinement for spatial constraint satisfaction problems, Rapport technique n'27 STAN-CS-87-1142 & KSL-87-05, Stanford University, 1987.

Buc 78

BUCHANAN B. G. et FEIGENBAUM E. A., Dendral and Meta-Dendral. Artificial Intelligence, vol. 11, 1978, p. 5--24.

Cla 91

CLARK D., SHIRAZI J. et RAWLINGS C. J., Protein topology prediction through constraint-based search and the evaluation of topological folding rules. Protein Engineering, vol. 44, 1991, p. 751--760.

Cla 94

CLARK D. A., RAWLINGS C. J. et DOURSENOT S., Genetic map construction with constraints. In: Proceedings of the second international conference on Intelligent Systems for Molecular Biology, p. 78--86, Stanford University, Stanford, (CA), août 1994.

Cui 94

CUI Z., Using interval logic for order assembly. In: Proceedings of the second international conference on Intelligent Systems for Molecular Biology, p. 103--111, Stanford University, Stanford, (CA), août 1994.

Di 94

DI T. et YEE C. N., A restriction mapping engine using constraint logic programming. In: Proceedings of the second international conference on Intelligent Systems for Molecular Biology, p. 112--120, Stanford University, Stanford, (CA), août 1994.

Dix 88

DIX T. et KIERONSKA D., Errors between sites in restriction site mapping. Computer Applications in BioSiences, vol. 4, 1988, p. 117--123.

Gas 94

GASPIN C. et WESTHOF E., The determination of the secondary structures of RNA as a constraint satisfaction problem. In: Advances in Molecular Bioinformatics, éd. par SCHULZE-KREMER S., IOS Press, 1994.

Gol 87

GOLDSTEIN L. et WATERMAN M., Mapping DNA by stochastic relaxation. Advances in Applied Mathematics, vol. 8, 1987, p. 194--207.

Gol 93

GOLUMBIC M. C., KAPLAN H. et SHAMIR R., On the complexity of DNA physical mapping. Advances in Applied Mathematics, 1993.

Hea 94

HEARNE C., CUI Z., PARSONS S. et HAJNAL S., Prototyping a genetics deductive database. In: Proceedings of the second international conference on Intelligent Systems for Molecular Biology, p. 170--178, Stanford University, Stanford, (CA), août 1994.

Ing 94

INGLEHART J. et NELSON P. C., On the limitations of automated restriction mapping. Computer Applications in BioSiences, vol. 10, 1994, p. 249--261.

Jan 90a

JANSSEN P., Aide à la conception : une approche basée sur la satisfaction de contraintes, Montpellier, Thèse de doctorat, Université Montpellier II, février 1990.

Jan 90b

JANSSEN P., JÉGOU P., NOUGUIER B., VILAREM M. et CASTRO B., Synthia: assisted design of peptide synthesis plans. New J. of Chemistry, vol. 14, n'27 12, 1990, p. 969--976.

Lan 89

LANDER E. S., Analysis with restriction enzymes. In: Mathematical Methods for DNA Sequences, éd. par WATERMAN M. S., chap. 2, p. 35--51, CRC Press, 1989.

Lee 93

LEE A. J., RUNDENSTEINER E. A., THOMAS S. et LAFORTUNE S., An information model for genome map representation and assembly. In: Proc. of the 2 ACM International Conference on Information and Knowledge Management, CIKM'93, p. 75--84.

Let 92

LETOVSKY S. et BERLYN M. B., CPROP: A rule-based program for constructing genetic maps. Genomics, vol. 12, 1992, p. 435--446.

Maj 91

MAJOR F., TURCOTTE M., GAUTHERET D., LAPALME G., FILLION E. et CEDERGREN R., The combination of symbolic and numerical computation for three-dimensional modeling of RNA. Science, vol. 253, 1991, p. 1255--1260.

Mul 93

MULLER G., GASPIN C., ETIENNE A. et WESTHOF E., Automatic display of RNA secondary structures. CABIOS, vol. 9, n'27 5, 1993, p. 551--561.

Pro 92

PROJET CSPFLEX., Représentation et traitement pratique de la flexibilité dans les problèmes sous contraintes. In: Actes des journées nationales du PRC GDR Intelligence Artificielle, Marseille, France, octobre 1992.

Raw 94

RAWLINGS C. J. et FOX J., Artificial intelligence in molecular biology: a review and assessment. Phil. Trans. R. Soc. Lond., vol. 344, 1994, p. 353--363.

Sch 95

SCHMELTZER O., Modélisation de cartes génomiques, Une formalisation et un algorithme de construction fondé sur le raisonnement temporel, Grenoble, France, Thèse de doctorat, Université Joseph Fourier - Grenoble I, Janvier 1995.

Ste 78

STEFIK M., Inferring DNA structures from segmentation data. Artificial Intelligence, vol. 11, 1978, p. 85--114.

Ste 81

STEFIK M., Planning with constraints ( MOLGEN: part 1). Artificial Intelligence, vol. 16, 1981, p. 111--170.

Yap 93

YAP R. H. C., A constraint logic programming framework for constructing DNA restriction maps. Artificial Intelligence in Medicine, vol. 5, 1993, p. 447--464.

Zim 93

ZIMMERMAN D. E., KULIKOWSKI C. A. et MONTELIONE G. T., A constraint reasoning system for automating sequence-specific resonance assignments from multidimensional protein NMR spectra. In: Proceedings of the second international conference on Intelligent Systems for Molecular Biology, p. 447--455, National Library of medicine, Bethesda, (MD), 1993.