Cover Image

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

Saved in:

Bibliographic Details
Date:	2022
Main Authors:	O. O. Letychevskyi, V. A. Volkov, Yu. H. Tarasich, H. O. Sokolova, V. S. Peschanenko
Format:	Article
Language:	English
Published:	2022
Series:	Cybernetics and Systems Analysis
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001323866
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Molecular modeling in the radiation therapy. The algebraic approach
by: Volkov, V.A., et al.
Published: (2022)

Molecular modeling in the radiation therapy. The algebraic approach
by: Volkov, V.A., et al.
Published: (2023)

Overview of the modern methods of protection and security of software systems
by: O. O. Letychevskyi, et al.
Published: (2019)

Algebraic modeling and its application
by: O. O. Letychevskyi
Published: (2021)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

Algebraic approach and artificial intelligence methods in modern intrusion detection systems
by: O. O. Letychevskyi, et al.
Published: (2023)

Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2022)

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2023)

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Application of the methods of molecular modeling to the search for new biologically active substances
by: V. V. Hurmach, et al.
Published: (2015)

Software Package for Inductive Modeling Based on Combinatorial-Genetic Method
by: O. H. Moroz
Published: (2018)

Theoretical and Practical Aspects of the Application of Modern Educational Technology Means Software Engineering
by: H. M. Alieksieieva, et al.
Published: (2014)

Application of machine learning in software engineering: an overview
by: Moroz, O.H., et al.
Published: (2019)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

The replenishment algorithm in algebra of sets
by: M. S. Lvov, et al.
Published: (2021)

Algebraic modeling in international and local service logistical systems
by: O. O. Letychevskyi, et al.
Published: (2020)

Methods of Modelling Marketing Activity on Software Sales
by: Kh. Bashyrov, et al.
Published: (2013)

Neuro-symbolic approach for the biological systems and processes research
by: Letychevskyi, O.O., et al.
Published: (2024)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Algebraic modeling in international and local service logistical systems
by: Letychevskyi, O.O., et al.
Published: (2021)

Registration of the parameters of the automated software and hardware complex for medical application
by: V. H. Slipchenko, et al.
Published: (2018)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2022)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
by: M. S. Lvov, et al.
Published: (2018)

Analytical method of forming integrated dynamic models and their software implementation
by: Sytnyk, O.O.
Published: (2012)

Model-driven development of digital system algorithms on programmable logic integrated circuits
by: O. O. Letychevskyi, et al.
Published: (2020)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
by: Aidazade, K.R., et al.
Published: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
by: Aidazade, Kamil, et al.
Published: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
by: K. R. Aidazade, et al.
Published: (2017)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Highly reliable software systems (transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016)
by: O. A. Letychevskyi
Published: (2017)

Application of machine learning in software engineering: an overview
by: O. G. Moroz, et al.
Published: (2019)

The method of requirements prioritization in software engineering
by: Nesterenko, O.V.
Published: (2024)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

The specialized nonlinear electrical systems software development for mathematical modeling and monitoring purposed
by: I. V. Volkov, et al.
Published: (2014)

The method to describe contaminated areas: software realization
by: O. O. Kriazhych, et al.
Published: (2016)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Formal foundations for software model to model transformation operation
by: O. V. Chebanyuk
Published: (2018)

Modeling of behavior for a pharmaceutical firm
by: V. M. Horbachuk, et al.
Published: (2017)