Injection of functional dependencies using inversion of control container за авторством Glybovets, M.M., Fedorchenko, V.M.

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

Creation model of threat and violations information for test object using ontology testing integrated information security system (IISS) за авторством Koltiik, M.A.

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

Building automated monitoring systems structural elements method MDP-planning за авторством Dosin, D.G., Yatsenko, A.O.

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

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

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

Research of the synchronization patterns and their use in GPGPU за авторством Pogorilyy, S.D., Vereschynsky, O.A.

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

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

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

Regression testing: techniques and future research directions за авторством Moroz, H.B., Plys, A.B.

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

Formal semantics of aggregate operations of multiset table algebra за авторством Glushko, I.M.

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

Comparative characteristics of methods of object-relational mapping за авторством Lihatsky, I.A.

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

Increase the temporal efficiency of data structures in memory based on adaptation за авторством Shinkarenko, V.I., Zabula, G.V.

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

Mixed topic-entity ontology for enhanced topic vector-spaced model за авторством Shabinskiy, A.S.

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

Medical-physiological simulators: the necessity and problems за авторством Grygoryan, R.D., Deriev, I.I., Aksenova, T.V., Lisov, A.N.

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

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” за авторством Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

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

Mathematical foundations for designing and development of intelligent systems of information analysis за авторством Terletskyi, D.O., Provotar, O.I.

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

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type за авторством Parasiuk, I.N., Ershov, S.V.

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

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

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

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales за авторством Yatsenko, O.A.

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

Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data за авторством Kussul, N.M., Besarab, R.M., Kravchenko, O.M., Lavrenuk, M.C., Krugin, B.M., Reva, K.V.

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

Designers sets and multisets of objects за авторством Terletskyi, D.O.

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