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

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

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

Algebras of quasiary and of bi-quasiary relations by Nikitchenko, M.S., Shkilniak, S.S.

Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

Algorithms of relationships and dependencies search in Web-pages by Glybovets, A.M.

Analytical review on information retrieval methods and applications in the Semantic Web by Grishanova, I.J.

Use of ontologies for personalized search of knowledge for natural language texts by Rogushina, J.V.

Compositional logics of nominative data by Nikitchenko, M.S., Shkilniak, S.S.

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part I. Decisions Knowledge Models by Ilina, E.P.

Automated program design for solution of weather forecasting problem by Doroshenko, A.Yu., Ivanenko, P.A., Ovdiy, O.M., Yatsenko, O.A.

Game theoretic modeling of AIMD network equilibrium by Ignatenko, O.P.

Multiagent modeling of sequential multiunit japanese auctions by Yalovets, A.L.

Outer Set Operations of Table Algebra of Infinite Tables by Glushko, I.N.

A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages by Novokshonov, A.K.

Synthesis multilevel structure with multiple output by Opanasenko, V.M., Kryvyi, S.L.

Integration of the family of extended description logic languages with relational data model by Reznichenko, V.A., Chystiakova, I.S.

On incompatibility of a nonlinear equations over set of natural numbers by Krivoi, S.L., Nevmerzhitskiy, A.V.

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Constructive-synthesizing model of text graph representation by Shynkarenko, V.I., Kuropiatnyk, O.S.

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Macro-operations extraction out of computation process array sorting data by Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

Search Results - PROBLEMS IN PROGRAMMING

Algebras of quasiary and of bi-quasiary relations by Nikitchenko, M.S., Shkilniak, S.S.

Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

Algorithms of relationships and dependencies search in Web-pages by Glybovets, A.M.

Analytical review on information retrieval methods and applications in the Semantic Web by Grishanova, I.J.

Use of ontologies for personalized search of knowledge for natural language texts by Rogushina, J.V.

Compositional logics of nominative data by Nikitchenko, M.S., Shkilniak, S.S.

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part I. Decisions Knowledge Models by Ilina, E.P.

Automated program design for solution of weather forecasting problem by Doroshenko, A.Yu., Ivanenko, P.A., Ovdiy, O.M., Yatsenko, O.A.

Game theoretic modeling of AIMD network equilibrium by Ignatenko, O.P.

Multiagent modeling of sequential multiunit japanese auctions by Yalovets, A.L.

Outer Set Operations of Table Algebra of Infinite Tables by Glushko, I.N.

A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages by Novokshonov, A.K.

Synthesis multilevel structure with multiple output by Opanasenko, V.M., Kryvyi, S.L.

Integration of the family of extended description logic languages with relational data model by Reznichenko, V.A., Chystiakova, I.S.

On incompatibility of a nonlinear equations over set of natural numbers by Krivoi, S.L., Nevmerzhitskiy, A.V.

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Constructive-synthesizing model of text graph representation by Shynkarenko, V.I., Kuropiatnyk, O.S.

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Macro-operations extraction out of computation process array sorting data by Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication