Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2022
Hauptverfasser:	O. O. Letychevskyi, V. A. Volkov, Yu. H. Tarasich, H. O. Sokolova, V. S. Peschanenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2022
Schriftenreihe:	Cybernetics and Systems Analysis
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001323866
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Molecular modeling in the radiation therapy. The algebraic approach
von: Volkov, V.A., et al.
Veröffentlicht: (2022)

Molecular modeling in the radiation therapy. The algebraic approach
von: Volkov, V.A., et al.
Veröffentlicht: (2023)

Overview of the modern methods of protection and security of software systems
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2019)

Algebraic modeling and its application
von: O. O. Letychevskyi
Veröffentlicht: (2021)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Algebraic approach and artificial intelligence methods in modern intrusion detection systems
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2023)

Interactive method for cumulative analysis of software formal models behavior
von: A. Kolchin
Veröffentlicht: (2018)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

Application of the methods of molecular modeling to the search for new biologically active substances
von: V. V. Hurmach, et al.
Veröffentlicht: (2015)

Software Package for Inductive Modeling Based on Combinatorial-Genetic Method
von: O. H. Moroz
Veröffentlicht: (2018)

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

Application of machine learning in software engineering: an overview
von: Moroz, O.H., et al.
Veröffentlicht: (2019)

The replenishment algorithm in algebra of sets
von: M. S. Lvov, et al.
Veröffentlicht: (2021)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Algebraic modeling in international and local service logistical systems
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2020)

Methods of Modelling Marketing Activity on Software Sales
von: Kh. Bashyrov, et al.
Veröffentlicht: (2013)

Neuro-symbolic approach for the biological systems and processes research
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2024)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

Registration of the parameters of the automated software and hardware complex for medical application
von: V. H. Slipchenko, et al.
Veröffentlicht: (2018)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

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

Analytical method of forming integrated dynamic models and their software implementation
von: Sytnyk, O.O.
Veröffentlicht: (2012)

Model-driven development of digital system algorithms on programmable logic integrated circuits
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2020)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
von: Aidazade, K.R., et al.
Veröffentlicht: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
von: Aidazade, Kamil, et al.
Veröffentlicht: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
von: K. R. Aidazade, et al.
Veröffentlicht: (2017)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

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

Application of machine learning in software engineering: an overview
von: O. G. Moroz, et al.
Veröffentlicht: (2019)

The method of requirements prioritization in software engineering
von: Nesterenko, O.V.
Veröffentlicht: (2024)

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

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

The method to describe contaminated areas: software realization
von: O. O. Kriazhych, et al.
Veröffentlicht: (2016)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Formal foundations for software model to model transformation operation
von: O. V. Chebanyuk
Veröffentlicht: (2018)

Modeling of behavior for a pharmaceutical firm
von: V. M. Horbachuk, et al.
Veröffentlicht: (2017)