Search Results - PROBLEMS IN PROGRAMMING :: Harvester open publications of NAS Ukraine

Suggested Topics within your search. Suggested Topics within your search.

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 by Yalovets, A.L.

Outer Set Operations of Table Algebra of Infinite Tables by Glushko, I.N.

A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages by Novokshonov, A.K.

Synthesis multilevel structure with multiple output by Opanasenko, V.M., Kryvyi, S.L.

Integration of the family of extended description logic languages with relational data model by Reznichenko, V.A., Chystiakova, I.S.

On incompatibility of a nonlinear equations over set of natural numbers by Krivoi, S.L., Nevmerzhitskiy, A.V.

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Constructive-synthesizing model of text graph representation by Shynkarenko, V.I., Kuropiatnyk, O.S.

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Macro-operations extraction out of computation process array sorting data by Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

Automated development of a parallel distributed system for streaming data processing by Titov, D.S., Doroshenko, A.Yu., Yatsenko, O.A.

Research and development of Johnson's algorithm parallel schemes in GPGPU technology by Pogorilyy, S.D., Slynko, M.S.

Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

Correctness Property Proof for the Banking System for Money Transfer Payments by Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Transformation of the legacy code on Fortran for scalability and cloud computing by Doroshenko, A.Yu., Khavryuchenko, V.D., Tulika, E.M., Zhereb, K.A.

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems by Yershov, S.V., Ponomarenko, R.М..

Parallel Computations with Large-scale Air Pollution Models by Dimov, I., Farago, I., Zlatev, Z.

Machine-learning methods for text named entity recognition by Marchenko, O.O.

Method of forming multi-leveled sequential patterns by Moldavskaya, A.V.

Search Results - PROBLEMS IN PROGRAMMING

Multiagent modeling of sequential multiunit japanese auctions by Yalovets, A.L.

Outer Set Operations of Table Algebra of Infinite Tables by Glushko, I.N.

A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages by Novokshonov, A.K.

Synthesis multilevel structure with multiple output by Opanasenko, V.M., Kryvyi, S.L.

Integration of the family of extended description logic languages with relational data model by Reznichenko, V.A., Chystiakova, I.S.

On incompatibility of a nonlinear equations over set of natural numbers by Krivoi, S.L., Nevmerzhitskiy, A.V.

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Constructive-synthesizing model of text graph representation by Shynkarenko, V.I., Kuropiatnyk, O.S.

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Macro-operations extraction out of computation process array sorting data by Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

Automated development of a parallel distributed system for streaming data processing by Titov, D.S., Doroshenko, A.Yu., Yatsenko, O.A.

Research and development of Johnson's algorithm parallel schemes in GPGPU technology by Pogorilyy, S.D., Slynko, M.S.

Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

Correctness Property Proof for the Banking System for Money Transfer Payments by Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Transformation of the legacy code on Fortran for scalability and cloud computing by Doroshenko, A.Yu., Khavryuchenko, V.D., Tulika, E.M., Zhereb, K.A.

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems by Yershov, S.V., Ponomarenko, R.М..

Parallel Computations with Large-scale Air Pollution Models by Dimov, I., Farago, I., Zlatev, Z.

Machine-learning methods for text named entity recognition by Marchenko, O.O.

Method of forming multi-leveled sequential patterns by Moldavskaya, A.V.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication