This paper describes a new entropy-style of equation that may be useful in a general sense, but can be applied to a cognitive model with related processes. The model is based on the human brain, with automatic and distributed pattern activity. Methods for carrying out the different processes are suggested. The main purpose of this paper is to reaffirm earlier research on different knowledge-bas...

Vermiculture is the culture of earthworms. The goal is to continually increase the number of worms in order to obtain a sustainable harvest. The worms are either used to expand a vermicomposting operation or sold to customers who use them for the same or other purposes. Vermicomposting is the process by which worms are used to convert organic materials (usually wastes) into a humus-like materia...

This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA object level. The higher object level known as Oompa abstracts away from the details of distribution (e.g. location and mobility), whereas the lower level, known as Loompa provides primitives for specifying these details. We present the syntax, and operational semantics, as well as...

The classical Haar construction of Brownian motion uses a binary tree of triangular wedge-shaped functions. This basis has compactness properties which make it especially suited for certain classes of numerical algorithms. We present a similar basis for the Ornstein-Uhlenbeck process, in which the basis elements approach asymptotically the Haar functions as the index increases, and preserve the...

The Kesten-Stigum Theorem is a fundamental criterion for the rate of growth of a supercritical branching process, showing that an L log L condition is decisive. In critical and subcritical cases, results of Kolmogorov and later authors give the rate of decay of the probability that the process survives at least n generations. Through a uniied approach, we give conceptual proofs of these theorem...

We provide a classification of noninterference-based security properties for the formal analysis of secure information flow in concurrent and distributed systems. This is done in the setting of a process algebra modeling some Linda coordination primitives (asynchronous communication and read operation). For this purpose, we define relaxed notions of behavioural equivalence that take into accoun...