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

Approach to programming of applications with using of Semantic Web-services за авторством Deretsky, V.A.

Basic approaches for creating ontological graph-oriented description of application за авторством Zakharova, O.V.

About construction of digital library models за авторством Reznichenko, V.A., Proskudina, G.Yu, Kudim, K.A., Ovdiy, О.М.

Technology system integration of hardware and software data protection за авторством 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 за авторством 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" за авторством Andon, P.I.

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms за авторством Akulovskiy, V.G.

Semantic properties of composition nominative modal logics за авторством Shkilnyak, O.S.

Features of implementation of toolkit for transformational synthesis of parallel algorithms за авторством 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 за авторством Alekseev, V.A., Tereshchenko, V.S.

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

An approach to the software family quality modeling за авторством Koval, G.I.

Approach to design software applications of use Web Service за авторством 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 за авторством Glinchuk, L.Ya.

Modelling of customer’s serving in network with single server under conflict situation за авторством Ignatenko, O.P., Tsitskun, D.V.

Parameters’ analysis as a tool for boosting neural networks’ learning efficiency за авторством Prokhorov, V.G.

Development of highly-parallel applications for graphical processing units using rewriting rules за авторством Doroshenko, A.Yu., Zhereb, K.A.

High level facilities for design automation of parallel programs за авторством Doroshenko, A.Yu., Tseitlin, G.E., Iovchev, V.A.

Approach to determination of completeness of composition of Semantic Web-services за авторством Deretsky, V.A.

Specialities of management processes in case of software systems families creation за авторством Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

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

Approach to programming of applications with using of Semantic Web-services за авторством Deretsky, V.A.

Basic approaches for creating ontological graph-oriented description of application за авторством Zakharova, O.V.

About construction of digital library models за авторством Reznichenko, V.A., Proskudina, G.Yu, Kudim, K.A., Ovdiy, О.М.

Technology system integration of hardware and software data protection за авторством 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 за авторством 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; за авторством Andon, P.I.

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms за авторством Akulovskiy, V.G.

Semantic properties of composition nominative modal logics за авторством Shkilnyak, O.S.

Features of implementation of toolkit for transformational synthesis of parallel algorithms за авторством 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 за авторством Alekseev, V.A., Tereshchenko, V.S.

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

An approach to the software family quality modeling за авторством Koval, G.I.

Approach to design software applications of use Web Service за авторством 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 за авторством Glinchuk, L.Ya.

Modelling of customer’s serving in network with single server under conflict situation за авторством Ignatenko, O.P., Tsitskun, D.V.

Parameters’ analysis as a tool for boosting neural networks’ learning efficiency за авторством Prokhorov, V.G.

Development of highly-parallel applications for graphical processing units using rewriting rules за авторством Doroshenko, A.Yu., Zhereb, K.A.

High level facilities for design automation of parallel programs за авторством Doroshenko, A.Yu., Tseitlin, G.E., Iovchev, V.A.

Approach to determination of completeness of composition of Semantic Web-services за авторством Deretsky, V.A.

Specialities of management processes in case of software systems families creation за авторством Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

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

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

Репозитарії

Формат

Автор

Мова

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

Review of the monograph by M.V. Sinkov, Y.E. Boyarinova and Y.A. Kalinovsky, "Measurable Hypercomplex Number Systems: Foundations of Theory and Applications" за авторством Andon, P.I.