Grid application development framework by Prila, O.A.

Get full text

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras by Maksymets, O.M.

Get full text

About relational-object mapping technique by Lihatsky, I.A.

Get full text

Verification of programs: status, problems and experimental results. II by Maksymets, A.N.

Get full text

Evolutionary Programming by Glybovets, M.M., Gulayeva, N.M.

Get full text

An Approach for Object-Component Model Engineering of Software Product Line by Lavrischeva, K.M., Slabospitskaya, O.А.

Get full text

Spellchecker based on distributed representations by Omelchenko, P.S.

Get full text

Verification of programs: status, problems and experimental results. I by Maksymets, A.N.

Get full text

Autotuner and visualization for meteorological forecasting model by Ivanenko, P.A., Doroshenko, A.Yu., Ovdii, O.M., Suslova, L.M.

Get full text

Spectrum of sequential number pershopordinal compositional-nominative logics by Shkilnyak, S.S.

Get full text

Formalized design and synthesis of parallel programs for videographic shortcuts by Doroshenko, A.Yu., Beketov, O.G., Zhereb, K.A., Yatsenko, О.A.

Get full text

Analytical review of the state of research on modeling the processes of pursuit/escape in three-dimensional space by Romanenko, I.O., Yalovets, A.L.

Get full text

"G_Sim" software providing simulations of human physiological responses to +/- Gz accelerations by Grygoryan, R.D., Degoda, A.G., Progonnyi, M.V.

Get full text

Overview of global open access resource aggregation services and their requirements for data providers by Proskudina, G.Yu., Kudim, K.O.

Get full text

Elasticsearch for big geotemporal data by Zhyrenkov, O.S., Doroshenko, A.Yu.

Get full text

Neurosymbolic models for ensuring cybersecurity in critical cyberphysical systems by Yevdokymov, S.O.

Get full text

Visualization of the semantics of text descriptions presented in various formats by Minenko, V.D.

Get full text

Interface-oriented approach to modelling tools for multi-agent systems by Shevchenko, R.S., Doroshenko, A.Yu., Lesyk, V.O., Savchuk, O.V., Yatsenko, O.A.

Get full text

Conceptual models of distributed component systems by Lavrischeva, K.M., Kolesnyk, A.L.

Get full text

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators by Doroshenko, A.Yu., Okonsky, I.V., Zhereb, K.A., Beketov, O.G.

Get full text