Anatoly V. Anisimov

Learn More
Formalizing mathematical argument is a fascinating activity in itself and (we hope!) also bears important practical applications. While traditional proof theory investigates deducibility of an individual statement from a collection of premises, a mathematical proof, with its structure and continuity, can hardly be presented as a single sequent or a set of(More)
We analyzed the effect of hydrostatic pressure at the 2–4 MPa level on the growth and organization of maize seedlings cells. At a pressure value of 2 MPa, we observed clarification of mitochondrial matrix, clusterization of endoplasmic reticulum elements with formation of ergastoplasm sites, and an increase of the number of small vacuoles in the cytoplasm.(More)
Variable-length splittable codes are derived from encoding sequences of ordered integer pairs, where one of the pair's components is upper bounded by some constant, and the other one is any positive integer. Each pair is encoded by the concatenation of two fixed independent prefix encoding functions applied to the corresponding components of a pair. The(More)