Software SERC for Monte Carlo Error analysis of fault-tolerant multiprocessor systems reliability estimation за авторством Feseniuk, A.P.

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

Integration of the description logics with operations at role constructors into relational data model за авторством Chystiakova, I.S.

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

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part II. The Ontological relations and the decisions field coherency analysis за авторством Ilina, E.P.

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

Use of ontological analysis for competence evaluation of scientists in a particular subject domain за авторством Rogushina, J.V.

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

Information security policy in the systems of information and analytical maintenance for support of organizational decisions за авторством Churubrova, S.M.

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

Analysis of Genetic Algorithms for solving the 2D Orthogonal Strip Packing Problem за авторством Glybovets, M.M., Gulayeva, N.M., Morozov, I.O.

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

DS-theory. Scientific aspects and prospects for development за авторством Kolesnyk, V.G.

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

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

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

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System за авторством Alekseev, V.A., Ilyin, S.A., Myagkova, L.A., Tereshchenko, V.S.

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

Classification of means and methods of the Web semantic retrieval за авторством Rogushina, J.V.

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

Integration of the description logics axiomatic into relational data model за авторством Chystiakova, I.S.

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

Method of parallelization of loops for grid calculation problems on GPU accelerators за авторством Doroshenko, А.Yu., Beketov, O.G.

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

About technologies of use of external data on creating and editing of encyclopedic texts за авторством Proskudina, G.Yu., Kudim, K.A.

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

The architecture and functionality of the multi-agent system Navigation за авторством Yalovets, A.L.

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

Principles and analytical tools for reconstruction of probabilistic dependency structures in special class за авторством Balabanov, O.S.

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

Appliсation of the phase correlation algorithm and its extension in the optical stabilizer of unmanned aerial vehicles за авторством Dreval, O.L., Doroshenko, А.Yu.

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

Algebras of general non-deterministic predicates за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

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

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System за авторством Prihodko, P.P.

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

Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

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

Algorithm for automatic loop parallelization for graphics processing units за авторством Doroshenko, A.Yu., Achour, I.Z.

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