Sciweavers

251 search results - page 50 / 51
» Retrenchment, Refinement, and Simulation
Sort
View
BMCBI
2010
134views more  BMCBI 2010»
13 years 7 months ago
Localizing triplet periodicity in DNA and cDNA sequences
Background: The protein-coding regions (coding exons) of a DNA sequence exhibit a triplet periodicity (TP) due to fact that coding exons contain a series of three nucleotide codon...
Liya Wang, Lincoln D. Stein
COMPUTING
2008
174views more  COMPUTING 2008»
13 years 7 months ago
Multilevel algorithms for Rannacher-Turek finite element approximation of 3D elliptic problems
Generalizing the approach of a previous work [15] the authors present multilevel preconditioners for three-dimensional (3D) elliptic problems discretized by a family of Rannacher ...
Ivan Georgiev, Johannes Kraus, Svetozar Margenov
JAR
2006
236views more  JAR 2006»
13 years 7 months ago
Deciding Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
JCB
2006
144views more  JCB 2006»
13 years 7 months ago
Modeling Virus Self-Assembly Pathways: Avoiding Dynamics Using Geometric Constraint Decomposition
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
Meera Sitharam, Mavis Agbandje-Mckenna
RAS
2006
115views more  RAS 2006»
13 years 7 months ago
Trajectory tracking control of farm vehicles in presence of sliding
In automatic guidance of agriculture vehicles, lateral control is not the only requirement. Much research work has been focused on trajectory tracking control which can provide hi...
Hao Fang, Ruixia Fan, Benoit Thuilot, Philippe Mar...