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

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

426
UDC 681.3 134
УДК 681.3 134
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 26
машинне навчання 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

Basic approaches for creating ontological graph-oriented description of application by Zakharova, O.V.

About construction of digital library models by Reznichenko, V.A., Proskudina, G.Yu, Kudim, K.A., Ovdiy, О.М.

Technology system integration of hardware and software data protection by Alishov, N.I., Alishov, A.N., Boiko, A.Ya., Gromovsky, A.V., Zinchenko, S.V., Lutsky, M.G., Marchenko, V.A., Palagin, O.V., Sapunova, N.A.

Construction concepts of the integrated environment architecture of generative programming by Morentsov, Y.I.

Review of the monograph by M.V. Sinkov, Y.E. Boyarinova and Y.A. Kalinovsky, "Measurable Hypercomplex Number Systems: Foundations of Theory and Applications" by Andon, P.I.

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms by Akulovskiy, V.G.

Semantic properties of composition nominative modal logics by Shkilnyak, O.S.

Features of implementation of toolkit for transformational synthesis of parallel algorithms by Mohnitsa, A.S., Iovchev, V.A., Andruschenko, E.A.

Multivariance of the notations of representation of algorithms of operation of software as path to their verification by Alekseev, V.A., Tereshchenko, V.S.

Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взття by Chuprinka, V.I., Chebanyuk, E.V.

An approach to the software family quality modeling by Koval, G.I.

Approach to design software applications of use Web Service by Deretsky, V.A., Bogdanova, M.M., Goroshansky, S.I.

An estimation of efficiency of algorithms of cryptographic compression of built is on basis of tree of Shterna - Broko by Glinchuk, L.Ya.

Modelling of customer’s serving in network with single server under conflict situation by Ignatenko, O.P., Tsitskun, D.V.

Parameters’ analysis as a tool for boosting neural networks’ learning efficiency by Prokhorov, V.G.

Development of highly-parallel applications for graphical processing units using rewriting rules by Doroshenko, A.Yu., Zhereb, K.A.

High level facilities for design automation of parallel programs by Doroshenko, A.Yu., Tseitlin, G.E., Iovchev, V.A.

Approach to determination of completeness of composition of Semantic Web-services by Deretsky, V.A.

Specialities of management processes in case of software systems families creation by Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

AN Improvement of software faults’ residual density continuous predicting with bayesian net and value tree by Slabospickaya, O.O.

Search Results - PROBLEMS IN PROGRAMMING

Basic approaches for creating ontological graph-oriented description of application by Zakharova, O.V.

About construction of digital library models by Reznichenko, V.A., Proskudina, G.Yu, Kudim, K.A., Ovdiy, О.М.

Technology system integration of hardware and software data protection by Alishov, N.I., Alishov, A.N., Boiko, A.Ya., Gromovsky, A.V., Zinchenko, S.V., Lutsky, M.G., Marchenko, V.A., Palagin, O.V., Sapunova, N.A.

Construction concepts of the integrated environment architecture of generative programming by Morentsov, Y.I.

Review of the monograph by M.V. Sinkov, Y.E. Boyarinova and Y.A. Kalinovsky, &quot;Measurable Hypercomplex Number Systems: Foundations of Theory and Applications&quot; by Andon, P.I.

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms by Akulovskiy, V.G.

Semantic properties of composition nominative modal logics by Shkilnyak, O.S.

Features of implementation of toolkit for transformational synthesis of parallel algorithms by Mohnitsa, A.S., Iovchev, V.A., Andruschenko, E.A.

Multivariance of the notations of representation of algorithms of operation of software as path to their verification by Alekseev, V.A., Tereshchenko, V.S.

Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взття by Chuprinka, V.I., Chebanyuk, E.V.

An approach to the software family quality modeling by Koval, G.I.

Approach to design software applications of use Web Service by Deretsky, V.A., Bogdanova, M.M., Goroshansky, S.I.

An estimation of efficiency of algorithms of cryptographic compression of built is on basis of tree of Shterna - Broko by Glinchuk, L.Ya.

Modelling of customer’s serving in network with single server under conflict situation by Ignatenko, O.P., Tsitskun, D.V.

Parameters’ analysis as a tool for boosting neural networks’ learning efficiency by Prokhorov, V.G.

Development of highly-parallel applications for graphical processing units using rewriting rules by Doroshenko, A.Yu., Zhereb, K.A.

High level facilities for design automation of parallel programs by Doroshenko, A.Yu., Tseitlin, G.E., Iovchev, V.A.

Approach to determination of completeness of composition of Semantic Web-services by Deretsky, V.A.

Specialities of management processes in case of software systems families creation by Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

AN Improvement of software faults’ residual density continuous predicting with bayesian net and value tree by Slabospickaya, O.O.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication

Review of the monograph by M.V. Sinkov, Y.E. Boyarinova and Y.A. Kalinovsky, "Measurable Hypercomplex Number Systems: Foundations of Theory and Applications" by Andon, P.I.