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

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

416
UDC 681.3 130
УДК 681.3 130
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 25
машинне навчання 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

Software engineering ontologies categorization by Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Unified process for adaptive Semantic Web service composition by Slabospitskaya, О.A.

Symbolic computation system for dynamical application programming by Doroshenko, A.Yu., Shevchenko, R.S.

The technique of using Description Logics in the process of constructing a composite service at the functional level by Zakharova, O.V.

The expert analytic process for the choice of the organization management actions using corporative knowledge. Part II. Methods and Models of the Expert Methodology by Ilina, E.P.

GPS coordinates processing with kalman filtration by Doroshenko, А.Yu., Sokolenko, A.S.

Statement of problem of unknown environment recognizing, navigating and path planning by agent by Yalovets, A.L.

Development of a spiral model of life cycle of the program systems by Alekseev, V.A., Tereshchenko, V.S.

Analysis of formal models and standards for structured electronic document in corporate informational system by Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Transition systems as method of designing applications in GPGPU technology by Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.

Context term calculus for rewriting systems by Shevchenko, R.S.

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.

Search Results - PROBLEMS IN PROGRAMMING

Software engineering ontologies categorization by Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Unified process for adaptive Semantic Web service composition by Slabospitskaya, О.A.

Symbolic computation system for dynamical application programming by Doroshenko, A.Yu., Shevchenko, R.S.

The technique of using Description Logics in the process of constructing a composite service at the functional level by Zakharova, O.V.

The expert analytic process for the choice of the organization management actions using corporative knowledge. Part II. Methods and Models of the Expert Methodology by Ilina, E.P.

GPS coordinates processing with kalman filtration by Doroshenko, А.Yu., Sokolenko, A.S.

Statement of problem of unknown environment recognizing, navigating and path planning by agent by Yalovets, A.L.

Development of a spiral model of life cycle of the program systems by Alekseev, V.A., Tereshchenko, V.S.

Analysis of formal models and standards for structured electronic document in corporate informational system by Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Transition systems as method of designing applications in GPGPU technology by Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.

Context term calculus for rewriting systems by Shevchenko, R.S.

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.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication