Model of information object for digital library and its verification by Novitsky, A.V., Reznichenko, V.A.

Get full text

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Get full text

Validation of correctness of autotuning code transformations with rewriting rules technique by Ivanenko, P.A.

Get full text

Security basic model for applied tasks of the distributed information system by Rodin, Y.S., Sinitsyn, I.P.

Get full text

Ontology-based semantic similarity to metadata analysis in the information security domain by Gladun, A.Y., Khala, K.A.

Get full text

Automated inventory management system on Android using barcodes and QR-codes by Haidukevych, Y.O., Doroshenko, А.Yu.

Get full text

The translator of Petri-object model visual programming language by Dyfuchyn, А.Yu.

Get full text

Integration and service composition based on model by Dyvak, Yu., Mamedov, T.

Get full text

Coreference resolution algorithm for Ukrainian-language texts using decision trees by Pogorilyy, S.D., Biletskyi, P. V.

Get full text

Method of detection of http attacks on a smart home using the algebraic matching method by Gorbatiuk, V.O., Gorbatiuk, S.O.

Get full text

About one approach to automatic creation of formal queries to ontological knowledge bases by Palagin, O.V., Petrenko, M.G., Litvin, A.A., Boyko, M.O.

Get full text

Determination of the optimal set of methods for iterative improvement of the reference route by Derevianko, E.M., Shevchenko, V.L.

Get full text

Implementation of the reconstruction process for constructive-synthesizing models of fractal time series by Shynkarenko, V.I., Zhadan, A.A.

Get full text

ANTHILL: a progressive formalization language for agent-supported software projects by Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

Get full text

Formal model for verification of personalized educational trajectories based on ALLOY by Poltoratskyi, M.Yu., Volianiuk, A.S.

Get full text

Integration of the description logics with operations at role constructors into relational data model by Chystiakova, I.S.

Get full text

Integration of the description logics axiomatic into relational data model by Chystiakova, I.S.

Get full text

Principles and analytical tools for reconstruction of probabilistic dependency structures in special class by Balabanov, O.S.

Get full text

Research and development workstation environment: the new class of Current Research Information Systems by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Get full text

Automated design of OpenCL programs based on algebra-algorithmic approach by Doroshenko, А.Yu., Bondarenko, M.M., Yatsenko, O.A.

Get full text