Sciweavers

350 search results - page 11 / 70
» Word Equations with Two Variables
Sort
View
122
Voted
JCC
2006
110views more  JCC 2006»
15 years 22 days 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
78
Voted
AIMSA
1990
Springer
15 years 4 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
94
Voted
SIAMAM
2010
66views more  SIAMAM 2010»
14 years 11 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
80
Voted
SIAMAM
2002
67views more  SIAMAM 2002»
15 years 12 days 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
88
Voted
CSB
2005
IEEE
135views Bioinformatics» more  CSB 2005»
15 years 6 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, ...