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:
| Datum: | 2025 |
|---|---|
| Hauptverfasser: | Kryvyi, S.L., Maksymets, O.M. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| 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)
von: Maksymets, O.M.
Veröffentlicht: (2015)
Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)
von: Maksymets, A.N.
Veröffentlicht: (2025)
Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)
von: Maksymets, A.N.
Veröffentlicht: (2025)
On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015)
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)
von: Dimov, I., et al.
Veröffentlicht: (2015)
Model of the "department" ecosystem
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)
Encryption system based on abelian groups and rings
von: Kryvyi, S.L.
Veröffentlicht: (2020)
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)
von: Likhatsky, I.A.
Veröffentlicht: (2025)
About relational-object mapping technique
von: Lihatsky, I.A.
Veröffentlicht: (2025)
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)
von: Zherebko, V.A., et al.
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)
von: Voznyuk, T.G.
Veröffentlicht: (2025)
Development of applications in service-oriented architecture of Semantic Web
von: Deretskiy, V.A.
Veröffentlicht: (2025)
von: Deretskiy, V.A.
Veröffentlicht: (2025)
Software model of genetic optimizer for regular neural networks in LabVIEW
von: Zherebko, V.A.
Veröffentlicht: (2025)
von: Zherebko, V.A.
Veröffentlicht: (2025)
Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)
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)
von: Marchenko, O.O.
Veröffentlicht: (2025)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)
von: Yatsenko, O.A.
Veröffentlicht: (2025)
Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)
von: Yatsenko, O.A.
Veröffentlicht: (2025)
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)
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)
Cybernetics, Informatics and Software Engineering: Aspects of Development
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
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)
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)
Virtualization of models of technical plants in educational and research problems in the development of control systems
von: Zherebko, V.A.
Veröffentlicht: (2017)
von: Zherebko, V.A.
Veröffentlicht: (2017)
Automated generation of parallel programs for graphics processing units based on algorithm schemes
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
von: Yatsenko, O.A.
Veröffentlicht: (2015)
von: Yatsenko, O.A.
Veröffentlicht: (2015)
Accelerating algorithms for Bayesian network recovery. Adaptation to structures without cycles
von: Balabanov, O.S.
Veröffentlicht: (2025)
von: Balabanov, O.S.
Veröffentlicht: (2025)
Conceptual models of distributed component systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)
Support for the management of variability in the family of software systems
von: Kolesnik, A.L.
Veröffentlicht: (2015)
von: Kolesnik, A.L.
Veröffentlicht: (2015)
Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)
Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)
von: Slabospitska, O.O.
Veröffentlicht: (2025)
Designing principles of the Intelligent information technology for organization decisions
von: Ilyina, E.P., et al.
Veröffentlicht: (2017)
von: Ilyina, E.P., et al.
Veröffentlicht: (2017)
Problem of automation of situational management of protection of zones of the responsibility
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)
Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)
Parallel non-negative sparse extra-large matrix factorization
von: Nasirov, E.M.
Veröffentlicht: (2025)
von: Nasirov, E.M.
Veröffentlicht: (2025)
Conception of industry scientific software to decision scientific tasks
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
von: Lavrischeva, K.M.
Veröffentlicht: (2025)
Service-oriented, distributed real-time systems in digital libraries
von: Novitsky, O.V.
Veröffentlicht: (2025)
von: Novitsky, O.V.
Veröffentlicht: (2025)
Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
On some technology of project modeling of stochastic manufacturing technological processes
von: Maksimey, I.V., et al.
Veröffentlicht: (2015)
von: Maksimey, I.V., et al.
Veröffentlicht: (2015)
Ä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) -
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)