12981 search results - page 2101 / 2597 » Model Checking (Abstract) |
195
click to vote
ALIFE
2002
15 years 7 months ago
2002
nized according to abstract classificatory principles..."5 Adorno's point was that 1 Adorno, T.W., Dahrendorf, R., Pilot, H., Albert, H., Habermas, J. and Popper, K.:The ...
183
click to vote
CTW
2002
15 years 7 months ago
2002
Abstract: The present study began with an assessment of the reliability and usefulness of an existing minor event coding system in a British `highconsequence' industry. It was...
160
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Abstract. A mathematical model of microbial competition for limiting nutrient and wallattachment sites in a chemostat, formulated by Freter et al. in their study of the colonizatio...
185
click to vote
ALIFE
1999
15 years 6 months ago
1999
tion, structural dissolutionAbstract We constructed a simple evolutionary system, "evoloop," on a deterministic nine-state five-neighbor cellular automata (CA) space by i...
198
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...