Contents

Programming and Computer Software

---

Vol. 48, No. 4, 2022

---

One-class Classification for Identifying COVID-19 in X-Ray Images

Eduardo Perez-Careta, Delia Irazú Hernández-Farías, José Rafael Guzman-Sepulveda, Miguel Torres Cisneros, Teodoro Cordoba-Fraga, Juan Carlos Martinez Espinoza and Rafael Guzman-Cabrera p. 235  abstract

Predicting COVID-19-Induced Lung Damage Based on Machine Learning Methods

I. A. Vasilev, M. I. Petrovskiy, I. V. Mashechkin and L. L. Pankratyeva p. 243  abstract

Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C

V. P. Kozyrev p. 256  abstract

Information Flow Control in Software DB Units Based on Formal Verification

A. A. Timakov p. 265  abstract

Algorithm for Solving the Cauchy Problem for a Two-Dimensional Difference Equation with Initial Data Defined in a “Strip”

M. S. Apanovich, A. P. Lyapin and K. V. Shadrin p. 286  abstract

Decomposition of a Finite Quantum System into Subsystems: Symbolic–Numerical Approach

V. V. Kornyak p. 293  abstract

---