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

Compositional-nominative modal logics of the functional-equational level by Shkilniak, O.S.

Compositional-nominative logics over hierarchical data by Nikitchenko, M.S., Shkilniak, S.S.

Stability and monotonicity of programs for structural data transformations by Nikitchenko, M.S., Iivanov, E.V.

Multisets: a bibliographic overview, construction of a lattice of multisets by Bogatyreva, Yu.A.

The origin and interpretation of Kleene three-valued logics by Shishatska, O.V.

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications by Buy, D.B., Kakhuta, N.D., Silveystruk, L.M.

Fundamentals of data-based algorithm algebra by Akulovsky, V.G.

Special attention is given to the project of the Informational System "Planned for Science in the NAPN of Ukraine" by Zadorozhna, N.T., Petrushko, V.A., Tukalo, S.M.

Simple non-deterministic rewriting in verification by Letichevsky, A.A., Peschanenko, V.S.

Implementation of the reconstruction process for constructive-synthesizing models of fractal time series by Shynkarenko, V.I., Zhadan, A.A.

A simulator providing theoretical research of human integrative physiology by Grygoryan, R.D., Sinitsin, I.P., Degoda, A.G., Lyudovyk, T.V., Yurchak, O.I.

An adaptive inference model in mobile systems by Haidukevych, Y.O., Doroshenko, A.Yu.

Defining of cloud service priority for dynamic creating WAF rules by Malinich, I.P., Ivanchuk, Y.V.

An approach to website vulnerability detection based on static and dynamic analysis by Popereshnyak, S.V., Horokh, B.D.

Methods for implementing quadrotors autonomy based on hybrid learning methods by Ramyk, I.P., Linder, Ya.M.

Ontological modeling of adult learning ecosystem as a personalization tool by Rogushina, J.V., Yurchenko, K.Yu.

Semantic approach to automated formation of information security systems documentation by Bova, Yu.V., Yatsenko, O.A.

Adaptive ensemble decision integration for indicator of resource security: methodology and statistical validation of stability by Ilyina, O.P., Skybyk, S.Ya.

Formal model of scientific publication by Reznichenko, V.A., Proskudina, G.Yu., Ovdii, O.M.

Designing tools for network software products. Current state and perspective of development by Glybovets, M.M., Gorochovskiy, S.S.

Search Results - PROBLEMS IN PROGRAMMING

Compositional-nominative modal logics of the functional-equational level by Shkilniak, O.S.

Compositional-nominative logics over hierarchical data by Nikitchenko, M.S., Shkilniak, S.S.

Stability and monotonicity of programs for structural data transformations by Nikitchenko, M.S., Iivanov, E.V.

Multisets: a bibliographic overview, construction of a lattice of multisets by Bogatyreva, Yu.A.

The origin and interpretation of Kleene three-valued logics by Shishatska, O.V.

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications by Buy, D.B., Kakhuta, N.D., Silveystruk, L.M.

Fundamentals of data-based algorithm algebra by Akulovsky, V.G.

Special attention is given to the project of the Informational System &quot;Planned for Science in the NAPN of Ukraine&quot; by Zadorozhna, N.T., Petrushko, V.A., Tukalo, S.M.

Simple non-deterministic rewriting in verification by Letichevsky, A.A., Peschanenko, V.S.

Implementation of the reconstruction process for constructive-synthesizing models of fractal time series by Shynkarenko, V.I., Zhadan, A.A.

A simulator providing theoretical research of human integrative physiology by Grygoryan, R.D., Sinitsin, I.P., Degoda, A.G., Lyudovyk, T.V., Yurchak, O.I.

An adaptive inference model in mobile systems by Haidukevych, Y.O., Doroshenko, A.Yu.

Defining of cloud service priority for dynamic creating WAF rules by Malinich, I.P., Ivanchuk, Y.V.

An approach to website vulnerability detection based on static and dynamic analysis by Popereshnyak, S.V., Horokh, B.D.

Methods for implementing quadrotors autonomy based on hybrid learning methods by Ramyk, I.P., Linder, Ya.M.

Ontological modeling of adult learning ecosystem as a personalization tool by Rogushina, J.V., Yurchenko, K.Yu.

Semantic approach to automated formation of information security systems documentation by Bova, Yu.V., Yatsenko, O.A.

Adaptive ensemble decision integration for indicator of resource security: methodology and statistical validation of stability by Ilyina, O.P., Skybyk, S.Ya.

Formal model of scientific publication by Reznichenko, V.A., Proskudina, G.Yu., Ovdii, O.M.

Designing tools for network software products. Current state and perspective of development by Glybovets, M.M., Gorochovskiy, S.S.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication

Special attention is given to the project of the Informational System "Planned for Science in the NAPN of Ukraine" by Zadorozhna, N.T., Petrushko, V.A., Tukalo, S.M.