5647 search results - page 1008 / 1130 » A word from the editor |
154
click to vote
APAL
2007
15 years 6 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The protein structures of the disease-associated proteins are important for proceeding with the structure-based drug design to against a particular disease. Up until n...
145
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
We present a computational model that successfully captures the cell behaviors that play important roles in 2-D cell aggregation. A virtual cell in our model is designed as an ind...
191
click to vote
BMCBI
2008
15 years 6 months ago
2008
Currently, most of the discovered biological and biomedical knowledge is available as textual data in scientific papers. And, locating and curating information about a genomic enti...
195
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
Conventional shape matching for engineering models primarily considers rigid shape similarity. They do not seek global shape similarity while considering large local deformations....