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

The algebraic model refactoring of components by Grischenko, V.N.

Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Parallel software auto-tuning using statistical modeling and machine learning by Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S., Yatsenko, O.A.

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... by Gerasimova, T.O., Nesterenko, A.N.

System aspects of design guaranteased cloud calculations by Kosovets, N.A., Shchetynin, I.E., Tovstenko, L.N.

Extension of the program synthesis system to analyze large data sets by Ovdii, O.M.

Game-theory analysis of multi-processor schedulers. Simulation model by Ignatenko, O.P., Odobesku, V.I.

Multi-level model of parallel computing for linear algebra problems by Popov, A.V., Rudich, O.V., Chystiakov, A.V.

Application of problem domain ontological description for relevantness increasing of informational retrieval by Rogushina, J.V.

Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference by Yershov, S.V., Ponomarenko, R.М..

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Ontological similar systems for analysis of texts of natural language by Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Optimal placement of a multi-sensor system by Pashko, S.V.

Automated extraction of structured information from a variety of web pages by Pogorilyy, S.D., Kramov, A.A.

About relationship between table algebra of infinite tables and multiset table algebra by Glushko, I.M.

Credibility of fuzziness: theory and application by Provotar, O.I., Provotar, O.O.

Information threats and security services by Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

Search Results - PROBLEMS IN PROGRAMMING

The algebraic model refactoring of components by Grischenko, V.N.

Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Parallel software auto-tuning using statistical modeling and machine learning by Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S., Yatsenko, O.A.

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... by Gerasimova, T.O., Nesterenko, A.N.

System aspects of design guaranteased cloud calculations by Kosovets, N.A., Shchetynin, I.E., Tovstenko, L.N.

Extension of the program synthesis system to analyze large data sets by Ovdii, O.M.

Game-theory analysis of multi-processor schedulers. Simulation model by Ignatenko, O.P., Odobesku, V.I.

Multi-level model of parallel computing for linear algebra problems by Popov, A.V., Rudich, O.V., Chystiakov, A.V.

Application of problem domain ontological description for relevantness increasing of informational retrieval by Rogushina, J.V.

Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference by Yershov, S.V., Ponomarenko, R.М..

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Ontological similar systems for analysis of texts of natural language by Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Optimal placement of a multi-sensor system by Pashko, S.V.

Automated extraction of structured information from a variety of web pages by Pogorilyy, S.D., Kramov, A.A.

About relationship between table algebra of infinite tables and multiset table algebra by Glushko, I.M.

Credibility of fuzziness: theory and application by Provotar, O.I., Provotar, O.O.

Information threats and security services by Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication