Результати пошуку :: 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
624
Розвідки 595
Фауна и систематика 593
Критика та бібліографія 590
Повідомлення 571
Математика 568
Информация 560
Хроніка та інформація 560
Електричні машини та апарати 548
Characterization and properties 511
Історія 507
Економіка 500
Хімія 490
Точка зрения 489

Game theoretic modeling of AIMD network equilibrium за авторством Ignatenko, O.P.

Multiagent modeling of sequential multiunit japanese auctions за авторством Yalovets, A.L.

Outer Set Operations of Table Algebra of Infinite Tables за авторством Glushko, I.N.

A method for business logic extraction from legacy COBOL code of industrial systems за авторством Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages за авторством Novokshonov, A.K.

Synthesis multilevel structure with multiple output за авторством Opanasenko, V.M., Kryvyi, S.L.

Integration of the family of extended description logic languages with relational data model за авторством Reznichenko, V.A., Chystiakova, I.S.

On incompatibility of a nonlinear equations over set of natural numbers за авторством Krivoi, S.L., Nevmerzhitskiy, A.V.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Constructive-synthesizing model of text graph representation за авторством Shynkarenko, V.I., Kuropiatnyk, O.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Macro-operations extraction out of computation process array sorting data за авторством Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

Automated development of a parallel distributed system for streaming data processing за авторством Titov, D.S., Doroshenko, A.Yu., Yatsenko, O.A.

Research and development of Johnson's algorithm parallel schemes in GPGPU technology за авторством Pogorilyy, S.D., Slynko, M.S.

Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Transformation of the legacy code on Fortran for scalability and cloud computing за авторством Doroshenko, A.Yu., Khavryuchenko, V.D., Tulika, E.M., Zhereb, K.A.

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems за авторством Yershov, S.V., Ponomarenko, R.М..

Parallel Computations with Large-scale Air Pollution Models за авторством Dimov, I., Farago, I., Zlatev, Z.

Machine-learning methods for text named entity recognition за авторством Marchenko, O.O.

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

Game theoretic modeling of AIMD network equilibrium за авторством Ignatenko, O.P.

Multiagent modeling of sequential multiunit japanese auctions за авторством Yalovets, A.L.

Outer Set Operations of Table Algebra of Infinite Tables за авторством Glushko, I.N.

A method for business logic extraction from legacy COBOL code of industrial systems за авторством Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages за авторством Novokshonov, A.K.

Synthesis multilevel structure with multiple output за авторством Opanasenko, V.M., Kryvyi, S.L.

Integration of the family of extended description logic languages with relational data model за авторством Reznichenko, V.A., Chystiakova, I.S.

On incompatibility of a nonlinear equations over set of natural numbers за авторством Krivoi, S.L., Nevmerzhitskiy, A.V.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Constructive-synthesizing model of text graph representation за авторством Shynkarenko, V.I., Kuropiatnyk, O.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Macro-operations extraction out of computation process array sorting data за авторством Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

Automated development of a parallel distributed system for streaming data processing за авторством Titov, D.S., Doroshenko, A.Yu., Yatsenko, O.A.

Research and development of Johnson's algorithm parallel schemes in GPGPU technology за авторством Pogorilyy, S.D., Slynko, M.S.

Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Transformation of the legacy code on Fortran for scalability and cloud computing за авторством Doroshenko, A.Yu., Khavryuchenko, V.D., Tulika, E.M., Zhereb, K.A.

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems за авторством Yershov, S.V., Ponomarenko, R.М..

Parallel Computations with Large-scale Air Pollution Models за авторством Dimov, I., Farago, I., Zlatev, Z.

Machine-learning methods for text named entity recognition за авторством Marchenko, O.O.

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

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

Репозитарії

Формат

Автор

Мова

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