Sciweavers

451 search results - page 5 / 91
» SAT-based protein design
Sort
View
ISBRA
2010
Springer
13 years 5 months ago
Residue Contexts: Non-sequential Protein Structure Alignment Using Structural and Biochemical Features
The study of non-sequential alignments, with different connectivity of the aligned fragments in the proteins being compared can offer a more complete picture of the structural, evo...
Jay W. Kim, Rahul Singh
MJ
2008
98views more  MJ 2008»
13 years 7 months ago
Prototyping bio-nanorobots using molecular dynamics simulation and virtual reality
This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) coupled to virtual reality (VR) techniques for intuitive bio-nanorobotic prototyping. Us...
Mustapha Hamdi, Antoine Ferreira, Gaurav Sharma, C...
DAC
2006
ACM
14 years 1 months ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
JCC
2006
57views more  JCC 2006»
13 years 7 months ago
A search algorithm for fixed-composition protein design
: We present a computational protein design algorithm for finding low-energy sequences of fixed amino acid composition. The search algorithms used in protein design typically do no...
Geoffrey K. Hom, Stephen L. Mayo
JIB
2006
106views more  JIB 2006»
13 years 7 months ago
A structural keystone for drug design
3D-structures of proteins and potential ligands are the cornerstones of rational drug design. The first brick to build upon is selecting a protein target and finding out whether b...
Kristian Rother, Mathias Dunkel, Elke Michalsky, S...