Algebras of general non-deterministic predicates by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Get full text

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System by Prihodko, P.P.

Get full text

Semantic properties of five-valued logics by Nikitchenko, M.S., Shyshatska, E.V.

Get full text

Algorithm for automatic loop parallelization for graphics processing units by Doroshenko, A.Yu., Achour, I.Z.

Get full text

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system by Doroshenko, А.Yu., Novak, O.S., Ivanenko, P.A., Starushyk, A.M.

Get full text

Software engineering ontologies categorization by Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Get full text

Unified process for adaptive Semantic Web service composition by Slabospitskaya, О.A.

Get full text

Symbolic computation system for dynamical application programming by Doroshenko, A.Yu., Shevchenko, R.S.

Get full text

The technique of using Description Logics in the process of constructing a composite service at the functional level by Zakharova, O.V.

Get full text

The expert analytic process for the choice of the organization management actions using corporative knowledge. Part II. Methods and Models of the Expert Methodology by Ilina, E.P.

Get full text

GPS coordinates processing with kalman filtration by Doroshenko, А.Yu., Sokolenko, A.S.

Get full text

Statement of problem of unknown environment recognizing, navigating and path planning by agent by Yalovets, A.L.

Get full text

Development of a spiral model of life cycle of the program systems by Alekseev, V.A., Tereshchenko, V.S.

Get full text

Analysis of formal models and standards for structured electronic document in corporate informational system by Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Get full text

Transition systems as method of designing applications in GPGPU technology by Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.

Get full text

Context term calculus for rewriting systems by Shevchenko, R.S.

Get full text

The algebraic model refactoring of components by Grischenko, V.N.

Get full text

Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Get full text

Parallel software auto-tuning using statistical modeling and machine learning by Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S., Yatsenko, O.A.

Get full text

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... by Gerasimova, T.O., Nesterenko, A.N.

Get full text