Software components turn out to be a convenient model to build complex applications for scientific computing and to run them on a computational grid. However, deploying complex, co...
We give some variants of a new construction for caps. As an application of these constructions we obtain a 1216?cap in PG(9, 3) a 6464?cap in PG(11, 3) and several caps in ternary...
Abstract: The possibility of disconnection is one of the fundamental new networking problems presented by sensor networks. The goal of this paper is to address the problem of resul...
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
The Symmetry Set (??) and its subset the Medial Axis (? ), can be used to describe a shape. The representation of the ?? in parameter space is called the pre-Symmetry Set. Changes...