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

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

Статті 5,511
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 2,767
Научно-технический раздел 2,155
Краткие сообщения 1,847
Оригинальные статьи 1,305
Рецензії 1,292
Вітаємо 1,073
Хроніка 922
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 807
Короткі повідомлення 775
Неорганическая и физическая химия 774
Производственный раздел 701
Научные статьи 700
Наукові статті 643
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 642
Хроника 638
625
Розвідки 595
Фауна и систематика 593
Критика та бібліографія 590
Повідомлення 575
Математика 568
Информация 560
Хроніка та інформація 560
Електричні машини та апарати 548
Characterization and properties 511
Історія 507
Економіка 500
Хімія 490
Точка зрения 489

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.

Game-theory analysis of multi-processor schedulers. Simulation model за авторством Ignatenko, O.P., Odobesku, V.I.

Multi-level model of parallel computing for linear algebra problems за авторством Popov, A.V., Rudich, O.V., Chystiakov, A.V.

Application of problem domain ontological description for relevantness increasing of informational retrieval за авторством Rogushina, J.V.

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference за авторством Yershov, S.V., Ponomarenko, R.М..

Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.V.

Formal foundations for software model to model transformation operation за авторством Chebanyuk, O.V.

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

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.

Game-theory analysis of multi-processor schedulers. Simulation model за авторством Ignatenko, O.P., Odobesku, V.I.

Multi-level model of parallel computing for linear algebra problems за авторством Popov, A.V., Rudich, O.V., Chystiakov, A.V.

Application of problem domain ontological description for relevantness increasing of informational retrieval за авторством Rogushina, J.V.

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference за авторством Yershov, S.V., Ponomarenko, R.М..

Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.V.

Formal foundations for software model to model transformation operation за авторством Chebanyuk, O.V.

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

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

Репозитарії

Формат

Автор

Мова

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