51 search results - page 9 / 11 » birthday 2004 |
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
BIRTHDAY
2010
Springer
14 years 1 months ago
2010
Springer
The present paper analyzes the usefulness of the normalized compression distance for the problem to cluster the hemagglutinin (HA) sequences of influenza virus data for the HA gene...
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
Psychological models of learning, forgetting, and memory processes are presented. These models describe human information processing as the formation and retrieval of associations...