Результати пошуку :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

Статті 6,831
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 3,451
Научно-технический раздел 2,648
Краткие сообщения 2,299
Оригинальные статьи 1,621
Рецензії 1,596
Вітаємо 1,321
- 1,277
Хроніка 1,110
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 997
Короткі повідомлення 966
Неорганическая и физическая химия 960
Научные статьи 875
Производственный раздел 858
Наукові статті 827
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 798
Хроника 791
768
Фауна и систематика 752
Розвідки 750
Математика 728
Информация 689
Електричні машини та апарати 675
Characterization and properties 657
Критика та бібліографія 646
Повідомлення 632
Історія 629
Економіка 623
Точка зрения 616
Хімія 613

Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

Algorithm for automatic loop parallelization for graphics processing units за авторством Doroshenko, A.Yu., Achour, I.Z.

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system за авторством Doroshenko, А.Yu., Novak, O.S., Ivanenko, P.A., Starushyk, A.M.

Software engineering ontologies categorization за авторством Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Unified process for adaptive Semantic Web service composition за авторством Slabospitskaya, О.A.

Symbolic computation system for dynamical application programming за авторством Doroshenko, A.Yu., Shevchenko, R.S.

The technique of using Description Logics in the process of constructing a composite service at the functional level за авторством 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 за авторством Ilina, E.P.

GPS coordinates processing with kalman filtration за авторством Doroshenko, А.Yu., Sokolenko, A.S.

Statement of problem of unknown environment recognizing, navigating and path planning by agent за авторством Yalovets, A.L.

Development of a spiral model of life cycle of the program systems за авторством Alekseev, V.A., Tereshchenko, V.S.

Analysis of formal models and standards for structured electronic document in corporate informational system за авторством Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Transition systems as method of designing applications in GPGPU technology за авторством Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.

Context term calculus for rewriting systems за авторством Shevchenko, R.S.

The algebraic model refactoring of components за авторством Grischenko, V.N.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Parallel software auto-tuning using statistical modeling and machine learning за авторством 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... за авторством Gerasimova, T.O., Nesterenko, A.N.

System aspects of design guaranteased cloud calculations за авторством Kosovets, N.A., Shchetynin, I.E., Tovstenko, L.N.

Extension of the program synthesis system to analyze large data sets за авторством Ovdii, O.M.

Результати пошуку

Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

Algorithm for automatic loop parallelization for graphics processing units за авторством Doroshenko, A.Yu., Achour, I.Z.

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system за авторством Doroshenko, А.Yu., Novak, O.S., Ivanenko, P.A., Starushyk, A.M.

Software engineering ontologies categorization за авторством Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Unified process for adaptive Semantic Web service composition за авторством Slabospitskaya, О.A.

Symbolic computation system for dynamical application programming за авторством Doroshenko, A.Yu., Shevchenko, R.S.

The technique of using Description Logics in the process of constructing a composite service at the functional level за авторством 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 за авторством Ilina, E.P.

GPS coordinates processing with kalman filtration за авторством Doroshenko, А.Yu., Sokolenko, A.S.

Statement of problem of unknown environment recognizing, navigating and path planning by agent за авторством Yalovets, A.L.

Development of a spiral model of life cycle of the program systems за авторством Alekseev, V.A., Tereshchenko, V.S.

Analysis of formal models and standards for structured electronic document in corporate informational system за авторством Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Transition systems as method of designing applications in GPGPU technology за авторством Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.

Context term calculus for rewriting systems за авторством Shevchenko, R.S.

The algebraic model refactoring of components за авторством Grischenko, V.N.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Parallel software auto-tuning using statistical modeling and machine learning за авторством 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... за авторством Gerasimova, T.O., Nesterenko, A.N.

System aspects of design guaranteased cloud calculations за авторством Kosovets, N.A., Shchetynin, I.E., Tovstenko, L.N.

Extension of the program synthesis system to analyze large data sets за авторством Ovdii, O.M.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації