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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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... von Gerasimova, T.O., Nesterenko, A.N.

Volltext