Relations On Abstract Simplicial Complexes Talk at CASC 2005, Kalamata, Greece Vladimir Kornyak Laboratory of Information Technologies Joint Institute for Nuclear Research 13 Septe...
Using inclusion-exclusion, we can write the indicator function of a union of finitely many balls as an alternating sum of indicator functions of common intersections of balls. We...
The examination of straightforwardly definable discrete structures in nucleic acids and proteins turned out to be perhaps the most important development in our present knowledge a...
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...