Geodesic

Volume 20 (2013) no. 6

Sommaire

Common Knowledge in Well-structured Perfect Recall Systems
p. 10-21
Defect Detection: Combining Bounded Model Checking and Code Contracts
p. 22-35
A Formal Model and Verification Problems for Software Defined Networks
p. 36-51
Automatic C Program Verification Based on Mixed Axiomatic Semantics
p. 52-63
The Guide-based Automatic Creation of Verified Test Scenarious
p. 64-77
Construction and Verification of PLC LD-programs by LTL-specification
p. 78-94
International Conference “Geometry, Topology, and Applications”
p. 95-102
Regular Polygonal Complexes of Higher Ranks in $\mathbb{E}^3$
p. 103-110
On the Bootstrap for Persistence Diagrams and Landscapes
p. 111-120
Subword Complexes and Nil-Hecke Moves
p. 121-128
A Definition of Type Domain of a Parallelotope
p. 129-134
On the Areal Random Packing
p. 135-141
On Homology Groups of a Subspace of Triangulations of the Two-Simplex with not More than 6 Subdivisional Boundary Vertices
p. 142-148
Hyperbolic Tetrahedron: Volume Calculation with Application to the Proof of the Schl\"afli Formula
p. 149-161
Segmentation of Clinical Endoscopic Images Based on the Classification of Topological Vector Features
p. 162-173
Construction of an Entropy Estimator with a Special Metrics and an Arbitrary Function
p. 174-178
Relaxation Cycles in a Generalized Neuron Model with Two Delays
p. 179-199