384 search results - page 3 / 77 » HYPE Applied to the Modelling of Hybrid Biological Systems |
HYBRID
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
WSC
2007
13 years 9 months ago
2007
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
GECCO
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. The authors present a GA optimization technique for cosinebased k-nearest neighbors classification that improves predictive accuracy in a class-balanced manner while sim...
GECCO
2004
Springer
14 years 23 days ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
ICCS
2004
Springer
14 years 23 days ago
2004
Springer
Shadow Hybrid Monte Carlo (SHMC) is a new method for sampling the phase space of large biological molecules. It improves sampling by allowing larger time steps and system sizes in ...