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

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

426
UDC 681.3 134
УДК 681.3 134
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 26
машинне навчання 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

Implementation of rich web-applications based on taucode library by Kovalenko, A.S., Kovalenko, K.S.

The algebro-logical approach to the analysis and processing of the text information by Palagin, O.V., Kryvyi, S.L., Petrenko, M.G., Bibikov, D.S.

Fuzzy models of multiagent systems in distributed environment by Parasyuk, I.N., Ershov, S.V.

Reputation-based secyrity for heterogtneous structurally complex systems by Kussul, O.M.

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS by Bezverha, M.A., Protsyk, P.P.

Methods of automated algorithms schemes transformation by Shkulipa, I.Yu., Pogorily, S.D.

Solving contest problems via formal program verification by Shilov, N.V., Shilova, S.O.

Backward transformation of formulas in symbolic modeling: from the result to the source formula by Godlevsky, A.B., Potienko, S.V.

Environmental aspects of reprezantation knowlend in algebra of algorithmic by Zeitlin, G.E., Zakharija, L.M., Zakharija, O.V., Zhovnir, Y.I.

Query optimization from DL/1 (IMS) to sol by Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

Formal-logical approach to building analysis systems of knowledge in different domains by Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.

Design of ontological system of terms and their cognitive models in scientific research by Rogushina, J.V., Gladun, A.Y., Shtonda, V.N.

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base by Buy, D.B., Kompan, S.V.

System of the automated carrying over of contents electronic documents in DB IS by Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

Средства кодогенерации для взаимодействия с базой данных через объекты by Lihatskiy, I.A.

The Models of DBMS benchmark by Blazhko, A.A., Levchenko, A.Yu., Prigozhev, A.S.

Automated creation of rules fo data access control by resources using DBMS by Blazhko, A.A., Saud, Ibaa

Financial and economic ontology of information storage by Melashchenko, A.O., Perevozchikova, O.L., Strelnikova, Zh.A.

About bypassing of multivalued dependency in the relational data model by Panchenko, B.E.

Recursive queries in SQL: samples, intensional and formal semantics by Buy, D.B., Polyakov, S.A.

Search Results - PROBLEMS IN PROGRAMMING

Implementation of rich web-applications based on taucode library by Kovalenko, A.S., Kovalenko, K.S.

The algebro-logical approach to the analysis and processing of the text information by Palagin, O.V., Kryvyi, S.L., Petrenko, M.G., Bibikov, D.S.

Fuzzy models of multiagent systems in distributed environment by Parasyuk, I.N., Ershov, S.V.

Reputation-based secyrity for heterogtneous structurally complex systems by Kussul, O.M.

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS by Bezverha, M.A., Protsyk, P.P.

Methods of automated algorithms schemes transformation by Shkulipa, I.Yu., Pogorily, S.D.

Solving contest problems via formal program verification by Shilov, N.V., Shilova, S.O.

Backward transformation of formulas in symbolic modeling: from the result to the source formula by Godlevsky, A.B., Potienko, S.V.

Environmental aspects of reprezantation knowlend in algebra of algorithmic by Zeitlin, G.E., Zakharija, L.M., Zakharija, O.V., Zhovnir, Y.I.

Query optimization from DL/1 (IMS) to sol by Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

Formal-logical approach to building analysis systems of knowledge in different domains by Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.

Design of ontological system of terms and their cognitive models in scientific research by Rogushina, J.V., Gladun, A.Y., Shtonda, V.N.

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base by Buy, D.B., Kompan, S.V.

System of the automated carrying over of contents electronic documents in DB IS by Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

Средства кодогенерации для взаимодействия с базой данных через объекты by Lihatskiy, I.A.

The Models of DBMS benchmark by Blazhko, A.A., Levchenko, A.Yu., Prigozhev, A.S.

Automated creation of rules fo data access control by resources using DBMS by Blazhko, A.A., Saud, Ibaa

Financial and economic ontology of information storage by Melashchenko, A.O., Perevozchikova, O.L., Strelnikova, Zh.A.

About bypassing of multivalued dependency in the relational data model by Panchenko, B.E.

Recursive queries in SQL: samples, intensional and formal semantics by Buy, D.B., Polyakov, S.A.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication