Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
Hauptverfasser:	Kryvyi, S.L., Maksymets, O.M.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 51.681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/706
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

The algebro-logical approach to the analysis and processing of the text information
von: Palagin, O.V., et al.
Veröffentlicht: (2026)

Formal-logical approach to building analysis systems of knowledge in different domains
von: Palagin, O.V., et al.
Veröffentlicht: (2026)

On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015)

Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)

Model of the "department" ecosystem
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)

Encryption system based on abelian groups and rings
von: Kryvyi, S.L.
Veröffentlicht: (2020)

About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)

About relational-object mapping technique
von: Lihatsky, I.A.
Veröffentlicht: (2025)

Developing software model of neural network PID controller in LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2025)

Development of applications in service-oriented architecture of Semantic Web
von: Deretskiy, V.A.
Veröffentlicht: (2025)

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

Software model of genetic optimizer for regular neural networks in LabVIEW
von: Zherebko, V.A.
Veröffentlicht: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

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

The practical approach for realization Semantic Web applications
von: Deretskiy, V.A., 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)

Approach to programming of applications with using of Semantic Web-services
von: Deretsky, V.A.
Veröffentlicht: (2026)

Semantics role in integration of applications on the basis of Web services
von: Andon, P.I., et al.
Veröffentlicht: (2026)

Methods of automated algorithms schemes transformation
von: Shkulipa, I.Yu., et al.
Veröffentlicht: (2026)

Genetic algorithm for solving routing problems in networks
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2026)

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

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
von: Ivanenko, P.A., 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)

Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

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

Recursive queries in SQL: samples, intensional and formal semantics
von: Buy, D.B., et al.
Veröffentlicht: (2026)

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

An improvement for software families’ development with agile methodologies’ elements
von: Koval, G.I., et al.
Veröffentlicht: (2026)

AWP – instrument for project and programming complex systems on the base system analisys
von: Antonov, V.M., et al.
Veröffentlicht: (2026)

Implementation of rich web-applications based on taucode library
von: Kovalenko, A.S., et al.
Veröffentlicht: (2026)

Cybernetics, Informatics and Software Engineering: Aspects of Development
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

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

Technological aspects of viable software development using generative programming
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)

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