Cover Image

Development and substantiation of algorithms based on semantic properties

Examples of the development and validation of algorithms based on the use of the domain properties are shown. These properties are formulated in terms of semantic relationships that characterize the subject area of the developed algorithm.Prombles in programming 2014; 2-3: 151-159

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Kryvyi, S.L., Maksymets, O.M.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 51.681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/706
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015)

Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025)

Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
by: Krivoi, S.L., et al.
Published: (2015)

Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015)

Model of the "department" ecosystem
by: Kryvyi, S.L., et al.
Published: (2024)

Encryption system based on abelian groups and rings
by: Kryvyi, S.L.
Published: (2020)

About one technique for forming an object representation of relational data
by: Likhatsky, I.A.
Published: (2025)

About relational-object mapping technique
by: Lihatsky, I.A.
Published: (2025)

Developing software model of neural network PID controller in LabVIEW
by: Zherebko, V.A., et al.
Published: (2025)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
by: Voznyuk, T.G.
Published: (2025)

Development of applications in service-oriented architecture of Semantic Web
by: Deretskiy, V.A.
Published: (2025)

Software model of genetic optimizer for regular neural networks in LabVIEW
by: Zherebko, V.A.
Published: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
by: Marchenko, O.O.
Published: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

Cybernetics, Informatics and Software Engineering: Aspects of Development
by: Lavrischeva, K.M.
Published: (2025)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Virtualization of models of technical plants in educational and research problems in the development of control systems
by: Zherebko, V.A.
Published: (2017)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
by: Yatsenko, O.A.
Published: (2015)

Accelerating algorithms for Bayesian network recovery. Adaptation to structures without cycles
by: Balabanov, O.S.
Published: (2025)

Conceptual models of distributed component systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Support for the management of variability in the family of software systems
by: Kolesnik, A.L.
Published: (2015)

Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)

Technological Model for the Process of Software Automated Production
by: Slabospitska, O.O.
Published: (2025)

Designing principles of the Intelligent information technology for organization decisions
by: Ilyina, E.P., et al.
Published: (2017)

Problem of automation of situational management of protection of zones of the responsibility
by: Alekseev, V.A., et al.
Published: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
by: Alekseev, V.A., et al.
Published: (2015)

Parallel non-negative sparse extra-large matrix factorization
by: Nasirov, E.M.
Published: (2025)

Conception of industry scientific software to decision scientific tasks
by: Lavrischeva, K.M.
Published: (2025)

Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)

Service-oriented, distributed real-time systems in digital libraries
by: Novitsky, O.V.
Published: (2025)

Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)

On some technology of project modeling of stochastic manufacturing technological processes
by: Maksimey, I.V., et al.
Published: (2015)