【摘 要】
：
Christian Anfinsen proposed that the native states of proteins reside in the free energy minima.This “thermodynamic hypothesis” has been widely accepted as the “central dogma” of protein folding.
【机 构】
：
College of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China;Coll
【出 处】
：
2012年全国理论计算机科学学术年会(NCTCS2012)
论文部分内容阅读
Christian Anfinsen proposed that the native states of proteins reside in the free energy minima.This “thermodynamic hypothesis” has been widely accepted as the “central dogma” of protein folding.
其他文献
According to the capacity of L2 cache and L1 cache,and the number of processing cores on multi-core machine,this paper presents a novel data partitioning approach which distributes properly the data s
This paper considers the Resource-Constrained Project Scheduling Problem with spatial resources (sRCPSP) which has complex scheduling features,such as divisibility,adjacency,group characteristics and
This paper proposes an approach by description logic DLRBR to solve the problem which XBRL be lacking of formalism semantic,formalizes the XBRL meta-model and metadata by DLRBR respectively,and proves
Resolution-based automated reasoning is one of important research branches in artificial intelligence.The present paper is to provide a more efficient approach for automated theorem proving.
As Cyber-Physical Systems become more prevalent,the trustworthiness of Cyber-Physical Systems is attracting more and more attention.There are many kinds of software in Cyber-Physical Systems,so its di
In this paper,we investigate the classification of higher order algebraic ordinary differential equations (AODEs) with respect to (w.r.t.) their rational solvability.More precisely,we find a group of
A novel denoising method is proposed based on Directionlet transform.The characteristic of multi-directional framework of Directionlet transform can make the image energy more concentrative and reduce
本文在可能的有穷Kripke结构中,给出了可能性测度的一些基本概念,定义了瞬时可能性测度.用构造法证明了在转移步数限制下可达可能性测度与可达瞬时可能性测度相等,受限的转移步数限制下的可达可能性测度与受限可达瞬时可能性测度相等.
Categorizing the consecutive video frames into shots is the first and prerequisite step for contentbased video indexing and retrieval.With a considerable amount of research focusing on the shot bounda
Consider a simple polygon P and a point s on the frontier of (a)P.For any realδ＞0 there exists a shortest path ρ inside of P such that s is on the path ρ,and for each point p in (a)P,there exists a po