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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext