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 30
UDC 004.94 28
онтология 27
УДК 004.4 26
UDC 004.4 23
machine learning 23
машинне навчання 23
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

Development of access management methods to information from WIKI resources by Rogushina, J.V., Grishanova, I.J.

Algebraic patterns of binary code vulnerabilities by Yakovlev, V.M.

Decentralized systems in logistics: usage overview and security issues by Letichevsky, O.O., Gorbatuk, S.O.

Semantics and pragmatics of programming language ASAMPL by Sulema, Y.S., Glinskii, V.V.

Development of the information system for semantic identification and documentation of the results of non-formal and informal education by Pryima, S.M., Strokan', О.V., Lubko, D.V., Lytvyn, Yu.O., Bilyk, N.І.

WEB-system for the level of regional development evaluation by Pursky, O.I., Melnyk, T.M., Kharchenko, O.A., Gamaliy, V.F.

Model of information object for digital library and its verification by Novitsky, A.V., Reznichenko, V.A.

Context WEB-services matching as a means of search query. Ontological approaches by Zakharova, O.V.

Methods and tools for developing an information system for validation of non-formal learning outcomes by Pryima, S.M., Strokan', О.V., Rogushina, J.V., Gladun, A.Y., Mozhovenko, A.A.

Ontological methods and tools for semantic extension of the media WIKI technology by Rogushina, J.V., Grishanova, I.J.

Description model of programming style ecosystem by Sydorov, N.A., Sydorova, N.N., Sydorov, E.N.

УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ by Vinnik, V.Yu.

Storage systems for IT infrastructure by Punda, S.Yu.

Scientific substantiation and practical testing of the use of information and communication technologies in the development of economic competence of heads of secondary education i... by Dyvak, V.V., Yurchenko, Yu.Yu., Demidov, P.G.

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools by Doroshenko, А.Yu., Beketov, O.G., Bondarenko, M.M., Yatsenko, О.А.

Improving performance of Python code using rewriting rules technique by Zhereb, K.A.

Parallel algorithms optimization using Actor Model by Doroshenko, А.Yu., Tulika, E.M.

About using special data structures in coverage algorithms by Paulin, O.N., Komleva, N.O.

Models of concurrent program running in resource constrained environment by Rahozin, D.V.

Static analysis of .NET programs using rewriting rules by Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.

Search Results - PROBLEMS IN PROGRAMMING

Development of access management methods to information from WIKI resources by Rogushina, J.V., Grishanova, I.J.

Algebraic patterns of binary code vulnerabilities by Yakovlev, V.M.

Decentralized systems in logistics: usage overview and security issues by Letichevsky, O.O., Gorbatuk, S.O.

Semantics and pragmatics of programming language ASAMPL by Sulema, Y.S., Glinskii, V.V.

Development of the information system for semantic identification and documentation of the results of non-formal and informal education by Pryima, S.M., Strokan', О.V., Lubko, D.V., Lytvyn, Yu.O., Bilyk, N.І.

WEB-system for the level of regional development evaluation by Pursky, O.I., Melnyk, T.M., Kharchenko, O.A., Gamaliy, V.F.

Model of information object for digital library and its verification by Novitsky, A.V., Reznichenko, V.A.

Context WEB-services matching as a means of search query. Ontological approaches by Zakharova, O.V.

Methods and tools for developing an information system for validation of non-formal learning outcomes by Pryima, S.M., Strokan', О.V., Rogushina, J.V., Gladun, A.Y., Mozhovenko, A.A.

Ontological methods and tools for semantic extension of the media WIKI technology by Rogushina, J.V., Grishanova, I.J.

Description model of programming style ecosystem by Sydorov, N.A., Sydorova, N.N., Sydorov, E.N.

УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ by Vinnik, V.Yu.

Storage systems for IT infrastructure by Punda, S.Yu.

Scientific substantiation and practical testing of the use of information and communication technologies in the development of economic competence of heads of secondary education i... by Dyvak, V.V., Yurchenko, Yu.Yu., Demidov, P.G.

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools by Doroshenko, А.Yu., Beketov, O.G., Bondarenko, M.M., Yatsenko, О.А.

Improving performance of Python code using rewriting rules technique by Zhereb, K.A.

Parallel algorithms optimization using Actor Model by Doroshenko, А.Yu., Tulika, E.M.

About using special data structures in coverage algorithms by Paulin, O.N., Komleva, N.O.

Models of concurrent program running in resource constrained environment by Rahozin, D.V.

Static analysis of .NET programs using rewriting rules by Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication