Development of a spiral model of life cycle of the program systems von Alekseev, V.A., Tereshchenko, V.S.

Volltext

Analysis of formal models and standards for structured electronic document in corporate informational system von Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Volltext

Use of methods of algebraic programming for the formal verification of legal acts von Peschanenko, V.S., Poltoratskiy, M.

Volltext

Use of semantic technologies for dialogue between labor market subjects von Pryima, S.M., Rogushina, J.V., Strokan, O.V.

Volltext

Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems von Shynkarenko, V.I., Ilchenko, P.V., Zabula, H.V.

Volltext

Software means of modeling of the vector type of reactive engine control system von Doroshenko, А.Yu., Shymkovych, V.M., Fedorenko, V.O.

Volltext

The definition of formal languages in the meta language of normal forms of knowledge von Kurgaev, A.F., Grygoryev, S.M.

Volltext

On some technology of project modeling of stochastic manufacturing technological processes von Maksimey, I.V., Levchuk, V.D., Smorodin, V.S., Maslovich, S.F., Popova, E.O., Potashenko, A.M., Starchenko, V.V., Tereschenko, G.A.

Volltext

Composition nominative modal logics of partial non-monotone predicates and their calculi von Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Volltext

Sound interface design for blind PC users von Ruvinskaya, V.M., Prigozhev, A.S.

Volltext

A simulator of mechanisms of acute control of human hemodynamics von Grygoryan, R.D., Degoda, A.G., Kharsun, V.S., Dzhurinsky, E.A.

Volltext

Software system for analyzing cloudiness based on satellite observations von Doroshenko, А.Yu., Shpyg, V.M., Ovdii, O.M.

Volltext

Algebraic patterns of binary code vulnerabilities von Yakovlev, V.M.

Volltext

Development of the information system for semantic identification and documentation of the results of non-formal and informal education von Pryima, S.M., Strokan', О.V., Lubko, D.V., Lytvyn, Yu.O., Bilyk, N.І.

Volltext

Methods and tools for developing an information system for validation of non-formal learning outcomes von Pryima, S.M., Strokan', О.V., Rogushina, J.V., Gladun, A.Y., Mozhovenko, A.A.

Volltext

The impact of cloud services pricing on provider profit, consumer surplus, and social welfare von Gorbachuk, V.M., Gavrylenko, S.O.

Volltext

Features of knowledge representation of an estimation of situations during situational management of protection of zones of the responsibility von Yalovets, A.L., Alekseev, V.A., Tereshchenko, V.S.

Volltext

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

Volltext

A model and software for the inertial measurement unit von Bezpalko, S.O., Shymkovysh, V.M., Doroshenko, A.Yu.

Volltext

Algebraic approach to the analysis of legal documents von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Volltext