On incompatibility of a nonlinear equations over set of natural numbers von Krivoi, S.L., Nevmerzhitskiy, A.V.

Volltext

Parallel Computations with Large-scale Air Pollution Models von Dimov, I., Farago, I., Zlatev, Z.

Volltext

Development and substantiation of algorithms based on semantic properties von Kryvyi, S.L., Maksymets, O.M.

Volltext

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras von Maksymets, O.M.

Volltext

About relational-object mapping technique von Lihatsky, I.A.

Volltext

Verification of programs: status, problems and experimental results. II von Maksymets, A.N.

Volltext

Verification of programs: status, problems and experimental results. I von Maksymets, A.N.

Volltext

About one technique for forming an object representation of relational data von Likhatsky, I.A.

Volltext

Model of the "department" ecosystem von Kryvyi, S.L., Grinenko, O.O.

Volltext

Encryption system based on abelian groups and rings von Kryvyi, S.L.

Volltext

Recurrent neural networks for the problem of improving numerical meteorological forecasts von Doroshenko, А.Yu., Kushnirenko, R.V.

Volltext

Application of machine learning to improving numerical weather prediction von Doroshenko, А.Yu., Shpyg, V.M., Kushnirenko, R.V.

Volltext

Deeplearning-based approach to improving numerical weather forecasts von Doroshenko, А.Yu., Shpyg, V.M., Kushnirenko, R.V.

Volltext

Automatic development of deep neural networks for improving numerical meteorological forecast von Doroshenko, А.Yu., Kushnirenko, R.V.

Volltext