Geodesic

Volume 25 (2018) no. 6

Table of contents

Even simple processes of $\pi$-calculus are hard for analysis
p. 589-606
Verification oriented process ontology
p. 607-622
Translation from Event-B into Eiffel
p. 623-636
Platform-independent specification and verification of the standard mathematical square root function
p. 637-666
Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms
p. 667-679
On some problems for a simplex and a ball in ${\mathbb R}^n$
p. 680-691
Singular points of curves
p. 692-710
Application of genetic algorithms for finding edit distance between process models
p. 711-725
Word embedding for semantically relative words: an experimental study
p. 726-733