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

Modern methods and software systems of molecular modeling and application of behavior algebra

Збережено в:

Бібліографічні деталі
Дата:	2022
Автори:	O. O. Letychevskyi, V. A. Volkov, Yu. H. Tarasich, H. O. Sokolova, V. S. Peschanenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2022
Назва видання:	Cybernetics and Systems Analysis
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001323866
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)

Algebraic modeling and its application
за авторством: O. O. Letychevskyi
Опубліковано: (2021)

Overview of the modern methods of protection and security of software systems
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2019)

Algebraic approach and artificial intelligence methods in modern intrusion detection systems
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2023)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

The replenishment algorithm in algebra of sets
за авторством: M. S. Lvov, та інші
Опубліковано: (2021)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Application of the methods of molecular modeling to the search for new biologically active substances
за авторством: V. V. Hurmach, та інші
Опубліковано: (2015)

Algebraic modeling in international and local service logistical systems
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2020)

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
за авторством: M. S. Lvov, та інші
Опубліковано: (2018)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)

Application of machine learning in software engineering: an overview
за авторством: Moroz, O.H., та інші
Опубліковано: (2019)

Theoretical and Practical Aspects of the Application of Modern Educational Technology Means Software Engineering
за авторством: H. M. Alieksieieva, та інші
Опубліковано: (2014)

Software Package for Inductive Modeling Based on Combinatorial-Genetic Method
за авторством: O. H. Moroz
Опубліковано: (2018)

Neuro-symbolic approach for the biological systems and processes research
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)

Methods of Modelling Marketing Activity on Software Sales
за авторством: Kh. Bashyrov, та інші
Опубліковано: (2013)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Registration of the parameters of the automated software and hardware complex for medical application
за авторством: V. H. Slipchenko, та інші
Опубліковано: (2018)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
за авторством: Aidazade, Kamil, та інші
Опубліковано: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
за авторством: K. R. Aidazade, та інші
Опубліковано: (2017)

Highly reliable software systems (transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016)
за авторством: O. A. Letychevskyi
Опубліковано: (2017)

Model-driven development of digital system algorithms on programmable logic integrated circuits
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2020)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Application of machine learning in software engineering: an overview
за авторством: O. G. Moroz, та інші
Опубліковано: (2019)

Algebraic Approach to Vulnerabilities Formalization in the Binary Code
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2019)

Algebraic Combinatorics of application for problems coding and cryptography
за авторством: O. S. Pustovit, та інші
Опубліковано: (2017)

5S rDNA of Dactylus glomerata (Poaceae): molecular organization and taxonomic application
за авторством: A. R. Volkov, та інші
Опубліковано: (2014)

The specialized nonlinear electrical systems software development for mathematical modeling and monitoring purposed
за авторством: I. V. Volkov, та інші
Опубліковано: (2014)

The method of requirements prioritization in software engineering
за авторством: Nesterenko, O.V.
Опубліковано: (2024)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Application and development of linguistic software tools for analising and transforming the texts of requirements for software systems
за авторством: M. K. Morokhovets, та інші
Опубліковано: (2022)

Modeling of behavior for a pharmaceutical firm
за авторством: V. M. Horbachuk, та інші
Опубліковано: (2017)

Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras
за авторством: Kosakowska, Justyna
Опубліковано: (2018)

Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras
за авторством: Kosakowska, J.
Опубліковано: (2008)

Registration of the parameters of the automated software and hardware complex for medical application
за авторством: Slipchenko, V. G., та інші
Опубліковано: (2018)