Search Results :: Harvester open publications of NAS Ukraine

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

23
UDC 681.3 9
УДК 681.3 9
UDC 517.958:57 +519.711.3 + 612.51.001 8
ontology 7
УДК 517.958:57 +519.711.3 + 612.51.001 7
онтологія 7
simulator 6
software engineering 6
інженерія програмного забезпечення 6
UDC 004.415.2.045 (076.5) 5
UDC 517.9:621.325.5:621.382.049.77 4
УДК 004.415.2.045 (076.5) 4
УДК 517.9:621.325.5:621.382.049.77 4
екосистема програмного забезпечення 4
паралельні обчислення 4
ALC 3
DL 3
Python 3
UDC 004.62 3
UDC 004.9 3
UDC 004.93’1 3
UDC 519.85 3
big data 3
deep learning 3
description logic 3
keras 3
model 3
neural network 3
ontology engineering 3

A peer-to-peer topology and multicasting algorithm with guaranteed quality of experi-ence by Hordiichuk, O.V., Bychkov, O.S.

Game theoretic modeling of AIMD network equilibrium by Ignatenko, O.P.

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

Application of deep learning and computer vision frameworks for solving video context prediction problem by Voloshyn, D.

Problem of data analysis and forecasting using decision trees method by Lytvynenko, T.I.

Algebras of general non-deterministic predicates by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Software engineering ontologies categorization by Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Predicting the Probability of Exceeding Critical System Thresholds by Krammer, P., Kvassay, M., Hluchý, L.

Research and development workstation environment: the new class of Current Research Information Systems by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Formal and adaptive methods and software tools of parallel programming by Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.

REALISTIC CORRECT SYSTEMS IMPLEMENTATION by Goerigk, W.

Modern restful api dls and frameworks for restful web services api schema modeling, documenting, visualizing by Malakhov, K.S., Kurgaev, A.P., Velychko, V.Yu.

A resource limited parallel program model by Rahozin, D.V.

Semantics and pragmatics of programming language ASAMPL by Sulema, Y.S., Glinskii, V.V.

Ontological methods and tools for semantic extension of the media WIKI technology by Rogushina, J.V., Grishanova, I.J.

Models of concurrent program running in resource constrained environment by Rahozin, D.V.

Domain engineering approach of software requirements analysis by Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

Search Results

A peer-to-peer topology and multicasting algorithm with guaranteed quality of experi-ence by Hordiichuk, O.V., Bychkov, O.S.

Game theoretic modeling of AIMD network equilibrium by Ignatenko, O.P.

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

Application of deep learning and computer vision frameworks for solving video context prediction problem by Voloshyn, D.

Problem of data analysis and forecasting using decision trees method by Lytvynenko, T.I.

Algebras of general non-deterministic predicates by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Software engineering ontologies categorization by Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Predicting the Probability of Exceeding Critical System Thresholds by Krammer, P., Kvassay, M., Hluchý, L.

Research and development workstation environment: the new class of Current Research Information Systems by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Formal and adaptive methods and software tools of parallel programming by Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.

REALISTIC CORRECT SYSTEMS IMPLEMENTATION by Goerigk, W.

Modern restful api dls and frameworks for restful web services api schema modeling, documenting, visualizing by Malakhov, K.S., Kurgaev, A.P., Velychko, V.Yu.

A resource limited parallel program model by Rahozin, D.V.

Semantics and pragmatics of programming language ASAMPL by Sulema, Y.S., Glinskii, V.V.

Ontological methods and tools for semantic extension of the media WIKI technology by Rogushina, J.V., Grishanova, I.J.

Models of concurrent program running in resource constrained environment by Rahozin, D.V.

Domain engineering approach of software requirements analysis by Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication