4762 search results - page 571 / 953 » About the use of protein models |
177
click to vote
ESM
2000
15 years 8 months ago
2000
Know-how is the most useful mean for designing new processors before a complete hardware description. The integration rate is increasing very quickly and the timeto-market has to ...
171
click to vote
PDSE
2000
15 years 8 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
182
click to vote
ENTCS
2008
15 years 7 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
199
click to vote
JIB
2007
15 years 6 months ago
2007
Systems biology is an emerging field that aims at obtaining a system-level understanding of biological processes. The modelling and simulation of networks of biochemical reactions...
170
click to vote
JMIV
2007
15 years 6 months ago
2007
Image and geometry processing applications estimate the local geometry of objects using information localized at points. They usually consider information about the tangents as a s...