Geodesic

Volume 21 (2014) no. 4

Sommaire

A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language
p. 5-12
Applying Stochastic Metaheuristics to the Problem of Data Management in a Multi-Tenant Database Cluster
p. 13-24
Some Properties of Metric Polytope Constraints
p. 25-34
On the Variety of Paths on Complete Intersections in Grassmannians
p. 35-46
Perfect Prismatoids are Lattice Delaunay Polytopes
p. 47-53
On Stable Instances of MINCUT
p. 54-63
Cellular-local Algorithm for Localizing and Estimating Changes in Binary Images
p. 64-74
Modeling a Consistent Behavior of PLC-Sensors
p. 75-90
Development of an Algorithm for Heart Rate Measurement Using a Mobile Phone Camera
p. 91-103
Equivalence Problem Solvability in Biparametric Gateway Program Models
p. 104-115
Primitive Program Schemes with Procedures
p. 116-131
Heuristic Algorithms for The Problem of Integer Balancing of a Three-dimensional Matrix with Constraints of Second Type
p. 132-147
On the Root-class Residuality of HNN-extensions of Groups
p. 148-180
On Process Model Synthesis Based on Event Logs with Noise
p. 181-198