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

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

416
UDC 681.3 130
УДК 681.3 130
ontology 43
онтологія 42
УДК 681.3.06 32
УДК 004.94 31
UDC 004.94 29
УДК 004.4 28
UDC 681.3.06 27
онтология 27
UDC 004.4 26
machine learning 25
машинне навчання 25
004.55 20
УДК 004.4'24 20
УДК 004.8 20
УДК 004.853 20
УДК 004.42:510.69 19
UDC 004.4'24 17
UDC 004.42:510.69 17
UDC 004.62 17
logic 17
UDC 004.8 16
УДК 004.62 16
УДК 004.424 15
УДК 004.7 15
дескриптивна логіка 15
логика 15
логіка 15

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.

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

Результати пошуку - PROBLEMS IN PROGRAMMING

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.

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

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

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

Репозитарії

Формат

Автор

Мова

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