SymmRef: A flexible refinement method for symmetric multimers
نویسندگان
چکیده
منابع مشابه
Flexible Refinement
To help make refinement more usable in practice we introduce a general, flexible model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. Our general model is expressed in terms of an operational semantics, and by exploiting the well-known isomorphism between state-based relational semantics and event-base...
متن کاملA Flexible Method for Localisation
In environmental surveillance, ecology experts use a stan10 dard tracking tunnel system to acquire tracks or footprints of small 11 animals, so that they can measure the presence of any selected ani12 mals or detect threatened species based on the manual analysis of gath13 ered tracks. Unfortunately, distinguishing morphologically similar species 14 through analysing their footprints is extreme...
متن کاملA Flexible Kernel for Adaptive Mesh Refinement on GPU
We present a flexible GPU kernel for adaptive on-the-fly refinement of meshes with arbitrary topology. By simply reserving a small amount of GPU memory to store a set of adaptive refinement patterns, on-the-fly refinement is performed by the GPU, without any preprocessing nor additional topology data structure. The level of adaptive refinement can be controlled by specifying a per-vertex depth-...
متن کاملA Mesh Refinement Method for Ax = \ Bx
The aim of this paper is to introduce a simple but efficient mesh refinement strategy for use with inverse iteration for finding one or a few solutions of an ordinary or partial differential eigenproblem of the form Ax «■ \Bx. The focus is upon the case where A and B are symmetric and B is positive definite, although the approaches have a very broad application. A discussion of the combined use...
متن کاملA Refinement Method for Java Programs
We present a refinement method for Java programs which is motivated by the challenge of verifying security protocol implementations. The method can be used for stepwise refinement of abstract specifications down to the level of code running in the real application. The approach is based on a calculus for the verification of Java programs for the concrete level and Abstract State Machines for th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proteins: Structure, Function, and Bioinformatics
سال: 2011
ISSN: 0887-3585
DOI: 10.1002/prot.23082