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

Propositional logics of partial predicates with composition of predicate complement by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools by Shkilniak, O.S.

Automated design of OpenCL programs based on algebra-algorithmic approach by Doroshenko, А.Yu., Bondarenko, M.M., Yatsenko, O.A.

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools by Ovdii, O.M.

Means and methods of the unstructured data analysis by Rogushina, J.V.

TermWare3 – term rewriting system, based on context-term calculus by Shevchenko, R.S., Doroshenko, A.Yu.

DS-theory as a prototype of the theory of applied algorithms by Kolesnyk, V.G.

Methods of recognition by the agent of the unknown environment by Yalovets, A.L.

A simulator of mechanisms of acute control of human hemodynamics by Grygoryan, R.D., Degoda, A.G., Kharsun, V.S., Dzhurinsky, E.A.

Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері... by Doroshenko, А.Yu., Beketov, O.G., Yatsenko, O.A., Vitriak, I.A., Pavlyuchin, T.O.

Design of a terrain surface visualization program using algebra-algorithmic tools by Doroshenko, А.Yu., Kushnirenko, R.V., Yatsenko, O.A.

A method of tuning programs on .Net platform with rewriting rules by Mamedov, T.A., Doroshenko, А.Yu.

Problems of ontological analysis use for knowledge representation in Wiki-resources by Rogushina, J.V.

Methods and tools for extracting personal data from theses abstracts by Kudim, K.A., Proskudina, G.Yu.

Sequent calculi for first-order logics of single-valued quasi-ary predicates by Shkilniak, S.S.

Big Data Analytics: principles, trends and tasks (a survey) by Balabanov, O.S.

Horizontal and Vertical Scalability of Machine Learning Methods by Biletskyy, B.O.

Using metadata to resolve big data problems by Zakharova, O.V.

The modification of the meta-language of normal forms of knowledge by Kurgaev, A.F.

Relations of logical consequence in logics of partial predicates with composition of predicate complement by Shkilniak, O.S.

Search Results - PROBLEMS IN PROGRAMMING

Propositional logics of partial predicates with composition of predicate complement by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools by Shkilniak, O.S.

Automated design of OpenCL programs based on algebra-algorithmic approach by Doroshenko, А.Yu., Bondarenko, M.M., Yatsenko, O.A.

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools by Ovdii, O.M.

Means and methods of the unstructured data analysis by Rogushina, J.V.

TermWare3 – term rewriting system, based on context-term calculus by Shevchenko, R.S., Doroshenko, A.Yu.

DS-theory as a prototype of the theory of applied algorithms by Kolesnyk, V.G.

Methods of recognition by the agent of the unknown environment by Yalovets, A.L.

A simulator of mechanisms of acute control of human hemodynamics by Grygoryan, R.D., Degoda, A.G., Kharsun, V.S., Dzhurinsky, E.A.

Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері... by Doroshenko, А.Yu., Beketov, O.G., Yatsenko, O.A., Vitriak, I.A., Pavlyuchin, T.O.

Design of a terrain surface visualization program using algebra-algorithmic tools by Doroshenko, А.Yu., Kushnirenko, R.V., Yatsenko, O.A.

A method of tuning programs on .Net platform with rewriting rules by Mamedov, T.A., Doroshenko, А.Yu.

Problems of ontological analysis use for knowledge representation in Wiki-resources by Rogushina, J.V.

Methods and tools for extracting personal data from theses abstracts by Kudim, K.A., Proskudina, G.Yu.

Sequent calculi for first-order logics of single-valued quasi-ary predicates by Shkilniak, S.S.

Big Data Analytics: principles, trends and tasks (a survey) by Balabanov, O.S.

Horizontal and Vertical Scalability of Machine Learning Methods by Biletskyy, B.O.

Using metadata to resolve big data problems by Zakharova, O.V.

The modification of the meta-language of normal forms of knowledge by Kurgaev, A.F.

Relations of logical consequence in logics of partial predicates with composition of predicate complement by Shkilniak, O.S.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication