Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2025
Автори:	Kryvyi, S.L., Maksymets, O.M.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 51.681.3
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/706
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015)

Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)

The algebro-logical approach to the analysis and processing of the text information
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

Formal-logical approach to building analysis systems of knowledge in different domains
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

On incompatibility of a nonlinear equations over set of natural numbers
за авторством: Krivoi, S.L., та інші
Опубліковано: (2015)

Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015)

Model of the "department" ecosystem
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)

Encryption system based on abelian groups and rings
за авторством: Kryvyi, S.L.
Опубліковано: (2020)

About one technique for forming an object representation of relational data
за авторством: Likhatsky, I.A.
Опубліковано: (2025)

About relational-object mapping technique
за авторством: Lihatsky, I.A.
Опубліковано: (2025)

Developing software model of neural network PID controller in LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)

Development of applications in service-oriented architecture of Semantic Web
за авторством: Deretskiy, V.A.
Опубліковано: (2025)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
за авторством: Voznyuk, T.G.
Опубліковано: (2025)

Software model of genetic optimizer for regular neural networks in LabVIEW
за авторством: Zherebko, V.A.
Опубліковано: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
за авторством: Marchenko, O.O.
Опубліковано: (2025)

The practical approach for realization Semantic Web applications
за авторством: Deretskiy, V.A., та інші
Опубліковано: (2026)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Semantics role in integration of applications on the basis of Web services
за авторством: Andon, P.I., та інші
Опубліковано: (2026)

Methods of automated algorithms schemes transformation
за авторством: Shkulipa, I.Yu., та інші
Опубліковано: (2026)

Genetic algorithm for solving routing problems in networks
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2026)

Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Symbolic computation system for dynamical application programming
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Recursive queries in SQL: samples, intensional and formal semantics
за авторством: Buy, D.B., та інші
Опубліковано: (2026)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
за авторством: Zeitlin, G.E., та інші
Опубліковано: (2026)

An improvement for software families’ development with agile methodologies’ elements
за авторством: Koval, G.I., та інші
Опубліковано: (2026)

AWP – instrument for project and programming complex systems on the base system analisys
за авторством: Antonov, V.M., та інші
Опубліковано: (2026)

Implementation of rich web-applications based on taucode library
за авторством: Kovalenko, A.S., та інші
Опубліковано: (2026)

Cybernetics, Informatics and Software Engineering: Aspects of Development
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)

Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)