Use of ontological analysis for competence evaluation of scientists in a particular subject domain by Rogushina, J.V.

Get full text

Classification of means and methods of the Web semantic retrieval by Rogushina, J.V.

Get full text

About technologies of use of external data on creating and editing of encyclopedic texts by Proskudina, G.Yu., Kudim, K.A.

Get full text

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

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

GPS coordinates processing with kalman filtration by Doroshenko, А.Yu., Sokolenko, A.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

Context term calculus for rewriting systems by Shevchenko, R.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

Extension of the program synthesis system to analyze large data sets by Ovdii, O.M.

Get full text

Application of problem domain ontological description for relevantness increasing of informational retrieval by Rogushina, J.V.

Get full text

Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Get full text

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Get full text

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Get full text

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Get full text

Ontological similar systems for analysis of texts of natural language by Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Get full text