1526 search results - page 229 / 306 » Computer algebra in systems biology |
133
click to vote
IJON
2000
15 years 6 months ago
2000
Central pattern generators (CPGs) have traditionally been modeled as sets of coupled bistable oscillators [2]. We present a framework for constructing models which avoid the short...
185
click to vote
MAGS
2007
15 years 5 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
272
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...
143
click to vote
CIBCB
2006
IEEE
16 years 12 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...
183
click to vote
IROS
2006
IEEE
16 years 11 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...