Search Results - PROBLEMS IN PROGRAMMING :: Harvester open publications of NAS Ukraine

Suggested Topics within your search. Suggested Topics within your search.

416
UDC 681.3 130
УДК 681.3 130
ontology 43
онтологія 42
УДК 681.3.06 32
УДК 004.94 31
UDC 004.94 29
УДК 004.4 28
UDC 681.3.06 27
онтология 27
UDC 004.4 26
machine learning 25
машинне навчання 25
004.55 20
УДК 004.4'24 20
УДК 004.8 20
УДК 004.853 20
УДК 004.42:510.69 19
UDC 004.4'24 17
UDC 004.42:510.69 17
UDC 004.62 17
logic 17
UDC 004.8 16
УДК 004.62 16
УДК 004.424 15
УДК 004.7 15
дескриптивна логіка 15
логика 15
логіка 15

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

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part II. The Ontological relations and the decisions field coherency analysis by Ilina, E.P.

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

Information security policy in the systems of information and analytical maintenance for support of organizational decisions by Churubrova, S.M.

Analysis of Genetic Algorithms for solving the 2D Orthogonal Strip Packing Problem by Glybovets, M.M., Gulayeva, N.M., Morozov, I.O.

DS-theory. Scientific aspects and prospects for development by Kolesnyk, V.G.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System by Alekseev, V.A., Ilyin, S.A., Myagkova, L.A., Tereshchenko, V.S.

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

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

Method of parallelization of loops for grid calculation problems on GPU accelerators by Doroshenko, А.Yu., Beketov, O.G.

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

The architecture and functionality of the multi-agent system Navigation by Yalovets, A.L.

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

Appliсation of the phase correlation algorithm and its extension in the optical stabilizer of unmanned aerial vehicles by Dreval, O.L., Doroshenko, А.Yu.

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

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

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

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

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

Search Results - PROBLEMS IN PROGRAMMING

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

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part II. The Ontological relations and the decisions field coherency analysis by Ilina, E.P.

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

Information security policy in the systems of information and analytical maintenance for support of organizational decisions by Churubrova, S.M.

Analysis of Genetic Algorithms for solving the 2D Orthogonal Strip Packing Problem by Glybovets, M.M., Gulayeva, N.M., Morozov, I.O.

DS-theory. Scientific aspects and prospects for development by Kolesnyk, V.G.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System by Alekseev, V.A., Ilyin, S.A., Myagkova, L.A., Tereshchenko, V.S.

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

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

Method of parallelization of loops for grid calculation problems on GPU accelerators by Doroshenko, А.Yu., Beketov, O.G.

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

The architecture and functionality of the multi-agent system Navigation by Yalovets, A.L.

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

Appliсation of the phase correlation algorithm and its extension in the optical stabilizer of unmanned aerial vehicles by Dreval, O.L., Doroshenko, А.Yu.

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

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

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

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

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

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication