Sciweavers

350 search results - page 11 / 70
» Word Equations with Two Variables
Sort
View
JCC
2006
110views more  JCC 2006»
13 years 11 months ago
Using internal and collective variables in Monte Carlo simulations of nucleic acid structures: Chain breakage/closure algorithm
: This article describes a method for solving the geometric closure problem for simplified models of nucleic acid structures by using the constant bond lengths approximation. The r...
Heinz Sklenar, Daniel Wüstner, Remo Rohs
AIMSA
1990
Springer
14 years 3 months ago
Compilation of Recursive Two-Literal Clauses into Unification Algorithms
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
Hans Jürgen Ohlbach
SIAMAM
2010
66views more  SIAMAM 2010»
13 years 9 months ago
A Surface Phase Field Model for Two-Phase Biological Membranes
We study vesicles formed by lipid bilayers that are governed by an elastic bending energy and on which the lipids laterally separate forming two different phases. The energy laden...
Charles M. Elliott, Björn Stinner
SIAMAM
2002
67views more  SIAMAM 2002»
13 years 10 months ago
A Two-Strain Tuberculosis Model with Age of Infection
Long periods of latency and the emergence of antibiotic resistance due to incomplete treatment are very important features of tuberculosis (TB) dynamics. Previous studies of two-st...
F. A. Milner, M. Iannelli, Z. Feng
CSB
2005
IEEE
135views Bioinformatics» more  CSB 2005»
14 years 4 months ago
Inverse Design of Large Molecules using Linear Diophantine Equations
We have previously developed a method [1] for the inverse design of small ligands. This method can be used to design novel compounds with optimized properties (such as drugs) and ...
Shawn Martin, W. Michael Brown, Jean-Loup Faulon, ...