Sciweavers

5289 search results - page 353 / 1058
» Evolutionary Computation for Modeling and Optimization
Sort
View
NJC
2006
88views more  NJC 2006»
15 years 6 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
ECAL
2007
Springer
16 years 25 days ago
Simulation of the Evolution of Aging: Effects of Aggression and Kin-Recognition
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
Svetlana Krivenko, Mikhail S. Burtsev
ECAL
2005
Springer
16 years 6 days ago
Genetic Assimilation and Canalisation in the Baldwin Effect
The Baldwin Effect indicates that individually learned behaviours acquired during an organism’s lifetime can influence the evolutionary path taken by a population, without any di...
Rob Mills, Richard A. Watson
CEC
2010
IEEE
15 years 7 months ago
Accelerated optimisation of chemotherapy dose schedules using fitness inheritance
Abstract-- Cancer treatment by chemotherapy involves multiple applications of toxic drugs over a period of time. Optimising the schedule of these treatments can improve the outcome...
Robert Barbour, David W. Corne, John A. W. McCall
SYNASC
2005
IEEE
133views Algorithms» more  SYNASC 2005»
16 years 7 days ago
Emotional Ant Based Modeling of Crowd Dynamics
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. This situation often leads to fatalities as people a...
Soumya Banerjee, Crina Grosan, Ajith Abraham