This article describes a new technique for modelling the dynamic behaviour of elastic textiles. The technique is derived from cellular automata theor...

A method for constructing images of icosahedral geometric structures is described. An example Artixcial Radiolarian Reticulum illustrates the process...

This paper presents an algorithm for implementing a k-valued regular register(the logical register) using k(k-1)/2 binary regular registers (the physi...

We analyze the expected time complexity of range searching with k-d trees in all dimensions when the data points are uniformly distributed in the unit...

Probabilistic predicate transformers extend standard predicate transformers by adding probabilistic choice to (transformers for) sequential programs;...