{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:23:29Z","timestamp":1725560609787},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540218340"},{"type":"electronic","value":"9783540246626"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24662-6_14","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T15:22:38Z","timestamp":1279812158000},"page":"250-265","source":"Crossref","is-referenced-by-count":4,"title":["Protein Folding in CLP( $\\mathcal{FD}$ ) with Empirical Contact Energies"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Dal Pal\u00f9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Fogolari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2\/3","key":"14_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1011485622743","volume":"6","author":"R. Backofen","year":"2001","unstructured":"Backofen, R.: The protein structure prediction problem: A constraint optimization approach using a new lower bound. Constraints\u00a06(2\/3), 223\u2013255 (2001)","journal-title":"Constraints"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Berrera, M., Molinari, H., Fogolari, F.: Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics\u00a04(8) (2003)","DOI":"10.1186\/1471-2105-4-8"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/nar\/28.1.235","volume":"28","author":"H.M. Berman","year":"2000","unstructured":"Berman, H.M., Westbrook, J., Feng, Z., Gilliland, G., Bhat, T.N., Weissig, H., Shindyalov, I.N., Bourne, P.E.: The Protein Data Bank. Nucleic Acids Research\u00a028, 235\u2013242 (2000), http:\/\/www.rcsb.org\/pdb\/","journal-title":"Nucleic Acids Research"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1146\/annurev.biophys.30.1.173","volume":"30","author":"R. Bonneau","year":"2001","unstructured":"Bonneau, R., Baker, D.: Ab initio protein structure prediction: progress and prospects. Annual Review of Biophysics and Biomolecular Structure\u00a030, 173\u2013189 (2001)","journal-title":"Annual Review of Biophysics and Biomolecular Structure"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Crescenzi, P., Goldman, D., Papadimitrou, C., Piccolboni, A., Yannakakis, M.: On the complexity of protein folding. In: Proc. of STOC, pp. 597\u2013603 (1998)","DOI":"10.1089\/cmb.1998.5.423"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Dovier, A., Burato, M., Fogolari, F.: Using Secondary Structure Information for Protein Folding in CLP(FD). In: 11th International Workshop on Functional and (Constraint) Logic Programming. ENTCS, vol.\u00a076 (2002)","DOI":"10.1016\/S1571-0661(04)80787-4"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1016\/S0006-3495(96)79678-9","volume":"70","author":"F. Fogolari","year":"1996","unstructured":"Fogolari, F., Esposito, G., Viglino, P., Cattarinussi, S.: Modeling of polypeptide chains as C-\u03b1 chains, C-\u03b1 chains with C-\u03b2, and C-\u03b1 chains with ellipsoidal lateral chains. Biophysical Journal\u00a070, 1183\u20131197 (1996)","journal-title":"Biophysical Journal"},{"key":"14_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints. The MIT Press, Cambridge (1998)"},{"issue":"3","key":"14_CR10","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1006\/jmbi.1996.0114","volume":"256","author":"S. Miyazawa","year":"1996","unstructured":"Miyazawa, S., Jernigan, R.L.: Residue-residue potentials with a favorable contact pair term and an unfavorable high packing density term, for simulation and threading. Journal of Molecular Biology\u00a0256(3), 623\u2013644 (1996)","journal-title":"Journal of Molecular Biology"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"2072","DOI":"10.1002\/pro.5560061003","volume":"6","author":"G. Raghunathan","year":"1997","unstructured":"Raghunathan, G., Jernigan, R.L.: Ideal architecture of residue packing and its observation in protein structures. Protein Science\u00a06, 2072\u20132083 (1997)","journal-title":"Protein Science"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1006\/jmbi.1993.1413","volume":"232","author":"B. Rost","year":"1993","unstructured":"Rost, B., Sander, C.: Prediction of protein secondary structure at better than 70% accuracy. Journal of Molecular Biology\u00a0232, 584\u2013599 (1993)","journal-title":"Journal of Molecular Biology"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1146\/annurev.biophys.30.1.361","volume":"30","author":"E. Shakhnovich","year":"2001","unstructured":"Shakhnovich, E., Mirny, L.: Protein folding theory: from lattice to all-atom models. Annual Review of Biophysics and Biomolecular Structure\u00a030, 361\u2013396 (2001)","journal-title":"Annual Review of Biophysics and Biomolecular Structure"},{"issue":"5","key":"14_CR14","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MCISE.2001.947107","volume":"3","author":"J. Skolnick","year":"2001","unstructured":"Skolnick, J., Kolinski, A.: Computational studies of protein folding. Computing in Science and Engineering\u00a03(5), 40\u201350 (2001)","journal-title":"Computing in Science and Engineering"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Simons, K.T., Bonneau, R., Ruczinski, I., Baker, D.: Ab initio protein structure prediction of CASP III targets using ROSETTA. Proteins (suppl. 3), 171\u2013176 (1999), http:\/\/www.bioinfo.rpi.edu\/~bystrc\/hmmstr\/server.php","DOI":"10.1002\/(SICI)1097-0134(1999)37:3+<171::AID-PROT21>3.0.CO;2-Z"},{"key":"14_CR16","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1997","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. The MIT Press, Cambridge (1997)","edition":"2"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/3-540-45578-7_33","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"M.T. Swain","year":"2001","unstructured":"Swain, M.T., Kemp, G.J.L.: A CLP approach to the protein side-chain placement problem. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 479\u2013493. Springer, Heidelberg (2001)"},{"key":"14_CR18","unstructured":"Swedish Institute for Computer Science. Sicstus Prolog Home Page, http:\/\/www.sics.se\/sicstus\/"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1110\/ps.8.1.196","volume":"8","author":"T. Toma","year":"1999","unstructured":"Toma, T., Toma, S.: Folding simulation of protein models on the structure-based cubo-octahedral lattice with the Contact Interactions algorithm. Protein Science\u00a08, 196\u2013202 (1999)","journal-title":"Protein Science"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S1359-0278(97)00041-2","volume":"2","author":"M. Vendruscolo","year":"1997","unstructured":"Vendruscolo, M., Kussell, E., Domany, E.: Recovery of Protein Structure from Contact Maps. Folding and Design\u00a02, 295\u2013306 (1997)","journal-title":"Folding and Design"},{"key":"14_CR21","unstructured":"Will, S.: Constraint-based Hydrophobic Core Construction for Protein Structure Prediction in the Face-Centered-Cubic Lattice Sebastia. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Proceedings of the Pacific Symposium on Biocomputing (2002)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24662-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T08:45:20Z","timestamp":1559292320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24662-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540218340","9783540246626"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24662-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}