First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

Отримати повний текст

The description of lists and sets of meta-language of normal forms of knowledge за авторством Kurgaev, A.F.

Отримати повний текст

Development of the information system for semantic identification and documentation of the results of non-formal and informal education за авторством Pryima, S.M., Strokan', О.V., Lubko, D.V., Lytvyn, Yu.O., Bilyk, N.І.

Отримати повний текст

Methods and tools for developing an information system for validation of non-formal learning outcomes за авторством Pryima, S.M., Strokan', О.V., Rogushina, J.V., Gladun, A.Y., Mozhovenko, A.A.

Отримати повний текст

Hybrid algorithm Newton method for solving systems of nonlinear equations with block Jacobi matrix за авторством Khimich, O.M., Sydoruk, V.A., Nesterenko, A.N.

Отримати повний текст

The method for assessing the connectivity of nodes of wireless episodic networks under the condition of using unmanned aeral vehicles за авторством Valuiskyi, S.V., Lysenko, O.I., Chumachenko, S.M., Guida, O.G., Furtat, O.V., Sushyn, I.O.

Отримати повний текст

Novelty search in neuroevolution for end effector positioning за авторством Vitiuk, A.Y., Doroshenko, A.Y.

Отримати повний текст

Representation of monadic effects in the non-monadic form за авторством Shevchenko, R.S.

Отримати повний текст

A model of centralized supply chains with independent behavior of separate nodes за авторством Kuznetsov, V.O., Krak, Iu.V., Barmak, O.V., Kudin, H.I., Kulias, A.I., Trokhymchuk, R.M.

Отримати повний текст

Use of artificial intelligence sn the application for working with musical notes за авторством Popereshnyak, S.V., Fuks, V.I., Tsurkan, A.K., Zhebka, V.V.

Отримати повний текст

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Отримати повний текст

Parallel non-negative sparse extra-large matrix factorization за авторством Nasirov, E.M.

Отримати повний текст

Scheme of a parallel solution of the problem of difraction of SH-waves on a system of non-circular cracks in an infinite elastic medium за авторством Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Отримати повний текст

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization за авторством Marchenko, O.O.

Отримати повний текст

Scheme of parallel computing of maximum contour SH-stresses on a system of non-circular elastic inclusions in an infinite elastic medium за авторством Panchenko, B.E., Sayko, I.N.

Отримати повний текст

Spectrum of sequential number pershopordinal compositional-nominative logics за авторством Shkilnyak, S.S.

Отримати повний текст

Multi-threaded computer calculations in the considered nonlinear dynamic systems за авторством Lazarenko, S.V., Makarenko, О.S.

Отримати повний текст

Construction of sequent calculi of composition-nominative multimodal logics за авторством Shkilniak, O.S.

Отримати повний текст

Sequent calculi of composition nominative modal logics of functional-equational level за авторством Shkilnyak, O.S.

Отримати повний текст

Relations of logical consequence in composition nominative logics за авторством Shkilnyak, S.S.

Отримати повний текст