2502 search results - page 200 / 501 » Using probabilistic model checking in systems biology |
253
click to vote
FBIT
2007
IEEE
16 years 25 days ago
2007
IEEE
In Wireless Sensor Networks (WSNs), address-based routing approaches often lead to severe problems due to node mobility, energy-saving sleep-cycles, and often missing or unreliabl...
172
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
167
click to vote
ICRA
2008
IEEE
16 years 28 days ago
2008
IEEE
— This paper discusses the grasp planning of a multifingered hand attached at the tip of a robotic arm. By using the convex models and the new approximation method of the fricti...
167
click to vote
RECOMB
2000
Springer
15 years 10 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
181
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Network co-regulated modules are believed to have the functionality of packaging multiple biological entities, and can thus be assumed to coordinate many biological fu...