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

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

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

Information system for hostilities mechanized forces modelling based on ontology за авторством Oborska, O.V.

Conflict controlled network modeling: evolutionary games approach за авторством Ignatenko, O.P., Synetskyi, O.B.

Maximal time of pursuit for the strategy of parallel approach за авторством Pashko, S.V., Yalovets, A.L.

Building automated monitoring systems structural elements method MDP-planning за авторством Dosin, D.G., Yatsenko, A.O.

Logical view for construction-synthesis model of data structures за авторством Shynkarenko, V.I., Ilman, V.M., Zabulula, G.V.

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Method of calibration of the СOCOMO model by reduction of the basic equation за авторством Batsenko, D.V.

Сoordinated description of algorithms within the framework of algebraic vehicle за авторством Akulovskiy, V.G., Doroshenko, A.Yu.

Rapid vs. Qualitative Development за авторством Panchenko, T.V.

NP-hardness of collective pursuiting optimization problems за авторством Pashko, S.V.

Research of the synchronization patterns and their use in GPGPU за авторством Pogorilyy, S.D., Vereschynsky, O.A.

Principles of modeling GPGPU-applications using Petri nets за авторством Pogorilyy, S.D., Vitel, D.Yu.

Parallel non-negative sparse extra-large matrix factorization за авторством Nasirov, E.M.

Formalized designing and generation of parallel program for numerical weather forecasting task за авторством Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.

Scheme of a parallel solution of the problem of difraction of SH-waves on a system of non-circular cracks in an infinite elastic medium за авторством Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section за авторством Panchenko, B.E., Sayko, I.N.

Application of Petri component nets in the checking task of parallel distributed systems за авторством Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... за авторством Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers за авторством Popov, O.V., Rudich, O.V.

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

Information system for hostilities mechanized forces modelling based on ontology за авторством Oborska, O.V.

Conflict controlled network modeling: evolutionary games approach за авторством Ignatenko, O.P., Synetskyi, O.B.

Maximal time of pursuit for the strategy of parallel approach за авторством Pashko, S.V., Yalovets, A.L.

Building automated monitoring systems structural elements method MDP-planning за авторством Dosin, D.G., Yatsenko, A.O.

Logical view for construction-synthesis model of data structures за авторством Shynkarenko, V.I., Ilman, V.M., Zabulula, G.V.

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Method of calibration of the СOCOMO model by reduction of the basic equation за авторством Batsenko, D.V.

Сoordinated description of algorithms within the framework of algebraic vehicle за авторством Akulovskiy, V.G., Doroshenko, A.Yu.

Rapid vs. Qualitative Development за авторством Panchenko, T.V.

NP-hardness of collective pursuiting optimization problems за авторством Pashko, S.V.

Research of the synchronization patterns and their use in GPGPU за авторством Pogorilyy, S.D., Vereschynsky, O.A.

Principles of modeling GPGPU-applications using Petri nets за авторством Pogorilyy, S.D., Vitel, D.Yu.

Parallel non-negative sparse extra-large matrix factorization за авторством Nasirov, E.M.

Formalized designing and generation of parallel program for numerical weather forecasting task за авторством Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.

Scheme of a parallel solution of the problem of difraction of SH-waves on a system of non-circular cracks in an infinite elastic medium за авторством Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section за авторством Panchenko, B.E., Sayko, I.N.

Application of Petri component nets in the checking task of parallel distributed systems за авторством Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... за авторством Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers за авторством Popov, O.V., Rudich, O.V.

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

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

Репозитарії

Формат

Автор

Мова

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