433 search results - page 77 / 87 » On stabilizers of infinite words |
TCS
2008
13 years 7 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
ISCI
2007
13 years 7 months ago
2007
As a follow-up to the work of [4] and [5], this paper continues to explore the relationship between wealth share dynamics and risk preferences in the context of an agent-based mul...
JUCS
2007
13 years 7 months ago
2007
: Rule mining is an important issue in data mining. To address it, a novel Immune Gene Expression Programming (IGEP) model was proposed. Concepts of rule, gene, immune cell, and an...
BC
2002
13 years 7 months ago
2002
The importance of the hippocampus in spatial representation is well established. It is suggested that the rodent hippocampal network should provide an optimal substrate for the stu...
SIAMAM
2000
13 years 7 months ago
2000
We study propagation failure using the one-dimensional scalar bistable equation with a passive "gap" region. By applying comparison principles for this type of equation, ...