All News Research Code 📚 Scholar
2 results
Relevance Newest Most Cited
HLXiON δ Ω Intent Σ Logic Ψ Synth Π Reason Γ Memory Processing: cs.SI
iON AI Synthesis
The search results for "cs.SI" highlight two distinct research areas: protein folding and constraint satisfaction problems (CSPs). The first paper explores protein folding through the lens of statistical physics, describing it as a stochastic process where a polypeptide achieves its functional 3D structure. The second paper discusses value withdrawal explanation in CSPs, focusing on debugging constraint logic programs by formalizing constraint solving as domain reduction through chaotic iteration.
Ask iON more → 📚 Find Papers
⭐ Top Result
arxiv.org
Protein Folding: A Perspective From Statistical Physics

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…

arxiv.org
Value Withdrawal Explanation in CSP

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…

cs.SE cs.PL