Scholar iON
Academic Synthesis
The two scholarly papers, despite their distinct focus areas within computer science, both explore complex systems through the lens of modeling and theoretical frameworks. "Protein Folding: A Perspective From Statistical Physics" by Lei and Huang introduces the CSAW model to simulate the stochastic process of protein folding, offering insights into universal principles and scaling laws that govern protein structures. Meanwhile, "Value Withdrawal Explanation in CSP" by Ferrand, Lesaint, and Tessier, addresses constraint solving in the context of debugging constraint logic programs, emphasizing the importance of understanding domain reduction through chaotic iteration and its application in failure analysis. Both works highlight the significance of theoretical models in elucidating complex phenomena, whether in biological systems or computational problem-solving, demonstrating the interdisciplinary nature and impact of computational modeling in advancing scientific understanding.
In this paper, we introduce an approach to the protein folding problem from the point of view of statistical physics. Protein folding is a stochastic process by which a polypeptide folds into its characteristic and functional 3D structure from random coil. The process involves an intricate interplay between global geometry and local structure, and each protein seems to present special problems. We introduce CSAW (conditioned self-avoiding walk), a model of protein folding that combines the features of self-avoiding walk (SAW) and the Monte Carlo method. In this model, the unfolded protein chain is treated as a random coil described by SAW. Folding is induced by hydrophobic forces and other interactions, such as hydrogen bonding, which can be taken into account by imposing conditions on SAW. Conceptually, the mathematical basis is a generalized Langevin equation. To illustrate the flexibility and capabilities of the model, we consider several examples, including helix formation, elastic properties, and the transition in the folding of myoglobin. From the CSAW simulation and physical arguments, we find a universal elastic energy for proteins, which depends only on the radius of gyration $R_{g}$ and the residue number $N$. The elastic energy gives rise to scaling laws $R_{g}\sim N^ν$ in different regions with exponents $ν=3/5,3/7,2/5$, consistent with the observed unfolded stage, pre-globule, and molten globule, respectively. These results indicate that CSAW can serve as a theoretical laboratory to study universal principles in protein folding.
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, constraint solving amounts to domain reduction. A computation is formalized by a chaotic iteration. The computed result is described as a closure. This model is well suited to the design of debugging notions and tools, for example failure explanations or error diagnosis. In this paper we detail an application of the model to an explanation of a value withdrawal in a domain. Some other works have already shown the interest of such a notion of explanation not only for failure analysis.