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

A simulator of mechanisms of long-term control of human hemodynamics by R. D. Grigorjan, A. G. Degoda, E. A. Dzhurinskij

Innovative pedagogical computer technology optimization school community in the aspect of knowledge about the biosocial personality structure of its members by K. I. Kuzmina, T. M. Somyk, L. M. Sheremetova

Algebras of general non-deterministic predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Semantic properties of five-valued logics by M. S. Nikitchenko, O. V. Shyshatska

Algorithm for automatic loop parallelization for graphics processing units by I. Z. Ashur, Yu. Doroshenko

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system by Yu. Doroshenko, O. S. Novak, P. A. Ivanenko, A. M. Starushyk

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

Unified process for adaptive Semantic Web service composition by O. O. Slabospytska

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

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 E. P. Ilina

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

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

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

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

Context term calculus for rewriting systems by P. C. Shevchenko

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

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

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 T. O. Herasymova, A. N. Nesterenko

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

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

Search Results - "PROBLEMS IN PROGRAMMING"

A simulator of mechanisms of long-term control of human hemodynamics by R. D. Grigorjan, A. G. Degoda, E. A. Dzhurinskij

Innovative pedagogical computer technology optimization school community in the aspect of knowledge about the biosocial personality structure of its members by K. I. Kuzmina, T. M. Somyk, L. M. Sheremetova

Algebras of general non-deterministic predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Semantic properties of five-valued logics by M. S. Nikitchenko, O. V. Shyshatska

Algorithm for automatic loop parallelization for graphics processing units by I. Z. Ashur, Yu. Doroshenko

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system by Yu. Doroshenko, O. S. Novak, P. A. Ivanenko, A. M. Starushyk

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

Unified process for adaptive Semantic Web service composition by O. O. Slabospytska

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

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 E. P. Ilina

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

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

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

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

Context term calculus for rewriting systems by P. C. Shevchenko

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

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

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 T. O. Herasymova, A. N. Nesterenko

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

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

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication