4353 search results - page 310 / 871 » Computational Challenges of Systems Biology |
291
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
172
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
202
click to vote
AB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
155
click to vote
CIBCB
2006
IEEE
16 years 27 days ago
2006
IEEE
- The advanced protein profiling technologies can simultaneously resolve and analyze multiple proteins. Evaluating multiple proteins will be essential to establish signature proteo...
199
click to vote
IROS
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— This article presents an efficient and mature visionbased navigation algorithm based on a sensory-motor learning. Neither Cartesian nor topological map is required, bu...