Contents

Programming and Computer Software

---

Vol. 48, No. 5, 2022

---

Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream

V. A. Bobkov, A. P. Kudryashov and A. V. Inzartsev p. 301  abstract

Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems

H. Chen, S. Ihnatsyeva, R. Bohush and S. Ablameyko p. 312  abstract

Highly Realistic Visualization of Caustics and Rough Surfaces

S. I. Vyatkin and B. S. Dolgovesov p. 322  abstract

Automation of C Program Deductive Verification without Using Loop Invariants

D. A. Kondratyev and V. A. Nepomniaschy p. 331  abstract

Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates

A. A. Ivankov and G. A. Manuilov p. 347  abstract

---