Buchumschlag

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms

Within the framework of the expanded algebra of algorithms the approach to formalization of the data is offered. Properties of the formalized data and some aspects of decomposition of D-operators are considered.Problems in programming 2009; 4: 3-10

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2026
Heft:	4
Сторінки:	3-10
ISSN:	1727-4907
Автори та афіліації:	V.G. Akulovskiy — Academy of Customs Service of Ukraine
1. Verfasser:	Akulovskiy, V.G.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 519.683
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/976
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Some aspects of formalization of an architectural development cycle of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

Semantic web and Wiki-systems
von: Glibovets, A.M., et al.
Veröffentlicht: (2025)

Construction concepts of the integrated environment architecture of generative programming
von: Morentsov, Y.I.
Veröffentlicht: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Fundamentals of data-based algorithm algebra
von: Akulovsky, V.G.
Veröffentlicht: (2026)

The completeness of the algorithm algebra with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
von: Nepomniaschaya, A.S.
Veröffentlicht: (2026)

Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)

Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (2025)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
von: Kolchin, A.V.
Veröffentlicht: (2026)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
von: Zeitlin, G.E., et al.
Veröffentlicht: (2026)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

The completeness of the algorithm algebra with data
von: V. G. Akulovskij, et al.
Veröffentlicht: (2016)

Formal description of the types and - data structures mixed programmes
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)

A parallel search algorithm for formal grammar data types
von: A. Prodan
Veröffentlicht: (2018)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Algorithmic algebra tools on the Web 2.0 platform
von: Iovchev, V.A., et al.
Veröffentlicht: (2026)

A GPU-based singular value decomposition algorithm
von: Sukharskyi, S.S.
Veröffentlicht: (2023)

Application of decomposition algorithms to speed up processing of large data sets in GIS
von: I. Kotuliak, et al.
Veröffentlicht: (2022)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
von: Romm, Ya. E., et al.
Veröffentlicht: (2026)

Method for parallelizing nonlinear tasks
von: Paulin, O.N., et al.
Veröffentlicht: (2026)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
von: Zavadskyi, I.O.
Veröffentlicht: (2025)

Optimization problems solution for queuing systems with failure under uncertainty
von: Kopytchuk, M.B., et al.
Veröffentlicht: (2025)

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Some aspects of Leibniz algebra theory
von: Kirichenko, V.V., et al.
Veröffentlicht: (2017)

Decomposition Algorithm for Optimization Placement Problems
von: A. Pankratov, et al.
Veröffentlicht: (2019)

Decomposition Algorithm for Optimization Placement Problems
von: Pankratov, A., et al.
Veröffentlicht: (2019)

A block-recursive approach to unitary matrix decomposition
von: Malaschonok, G.I., et al.
Veröffentlicht: (2026)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
von: Bača, J., et al.
Veröffentlicht: (2004)

analysis of parallel algorithm for constructing 2D Voronoi diagram
von: Berezovskiy, K.A.
Veröffentlicht: (2026)