Результати пошуку :: 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

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.

Method of forming multi-leveled sequential patterns за авторством Moldavskaya, A.V.

Application of deep learning and computer vision frameworks for solving video context prediction problem за авторством Voloshyn, D.

Fuzzy probability and fuzzy events за авторством Provotar, O.I., Vasylenko, O.V., Provotar, O.O.

Modeling technology based on fuzzy object-oriented Bayesian belief networks за авторством Yershov, S.V., Kostukevich, F.V.

Semantic Wiki-resources and their use for the construction of personalized ontologies за авторством Rogushina, J.V.

Usage of AI-planning techniques to solve problems of Web-services composition за авторством Zakharova, O.V.

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

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.

Method of forming multi-leveled sequential patterns за авторством Moldavskaya, A.V.

Application of deep learning and computer vision frameworks for solving video context prediction problem за авторством Voloshyn, D.

Fuzzy probability and fuzzy events за авторством Provotar, O.I., Vasylenko, O.V., Provotar, O.O.

Modeling technology based on fuzzy object-oriented Bayesian belief networks за авторством Yershov, S.V., Kostukevich, F.V.

Semantic Wiki-resources and their use for the construction of personalized ontologies за авторством Rogushina, J.V.

Usage of AI-planning techniques to solve problems of Web-services composition за авторством Zakharova, O.V.

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

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

Репозитарії

Формат

Автор

Мова

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