163 search results - page 15 / 33 » Effective categoricity of equivalence structures |
WIAS
2010
13 years 5 months ago
2010
Spatial agent models can be used to explore self-organising effects such as pattern growth and segregation. We employ our predator-prey model to study these emergent behaviours in...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
LISP
2006
13 years 7 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
ICWL
2004
Springer
14 years 25 days ago
2004
Springer
In Web-based e-learning, an up-to-date catalogue of subject-specific Web resources can effectively offer inexperienced students with an advanced academic portal on the Web. To auto...