Cover Image

The Formal Optological Models in the Scientific Researches

Saved in:

Bibliographic Details
Date:	2016
Main Author:	S. L. Kryvyj
Format:	Article
Language:	English
Published:	2016
Series:	Control Systems and Computers
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000553081
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

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

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: Chebanyuk, O.V.
Published: (2018)

Using of ontological models for formalized knowledge assessment
by: Ya. Hladun, et al.
Published: (2019)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
by: V. V. Mykytenko
Published: (2022)

Nonequilibrium perturbative formalism and spectral function for the Anderson model
by: Hamasaki, M.
Published: (2007)

Design of ontological system of terms and their cognitive models in scientific research
by: Rogushina, J.V., et al.
Published: (2026)

On the formalization of information dissemination processes based on hybrid diffusion models
by: E. V. Ivokhin, et al.
Published: (2018)

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

Formal theory model in the form of commutative semigroup of image constructions
by: O. V. Bisikalo, et al.
Published: (2013)

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

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
by: Dobrovolsky V.K.
Published: (2000)

Formal model for verification of personalized educational trajectories based on ALLOY
by: Poltoratskyi, M.Yu., et al.
Published: (2026)

On interdisciplinarity of scientific research
by: V. A. Chebanov
Published: (2018)

Actual scientific research
by: V. V. Borshchevskyi
Published: (2013)

Formal and Non-Formal Education in Poland in the Conditions of the European Educational Space
by: T. Maslova
Published: (2018)

On the formalization of dynamics in information processes on the basis of inhomogeneous one-dimensional diffusion models
by: E. V. Ivokhin, et al.
Published: (2019)

Formal interpretation of masculinity
by: A. M. Arkhanhelska
Published: (2011)

The Formal Definition of Intelligence
by: A. V. Sosnitskij
Published: (2014)

Ontological Model of E-Scenario of Scientific Research as a Means of Organizing Operational Research Knowledge Base
by: S. Kalnoy
Published: (2019)

Infinite order differential operators in the module of formal generalized functions and in a ring of formal power series
by: S. L. Hefter, et al.
Published: (2022)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

The Profinite Dimensional Manifold Structure of Formal Solution Spaces of Formally Integrable PDEs
by: Güneysu, B., et al.
Published: (2017)

Solution algorithms for systems of linear equations over residue rings
by: S. L. Kryvyj
Published: (2016)

The numerical methods to solve problems of mathematical safe
by: S. L. Kryvyj
Published: (2019)

Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
by: B. V. Horlynskyi, et al.
Published: (2019)

Semi-Formal Rules As a Factor in the Dynamics of the Efficiency of Formal Rules of Financial Monitoring
by: N. M. Volosnikova, et al.
Published: (2023)

Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources
by: Ya. Gladun, et al.
Published: (2020)

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

Analysis of formal models and standards for structured electronic document in corporate informational system
by: A. V. Sharypanov, et al.
Published: (2018)

Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources
by: Gladun, A.Ya., et al.
Published: (2020)

DEMAND FORECASTING FOR DC MACHINES WITH APPLICATION OF FORMALIZED GROWTH-CURVE-BASED MODELS
by: Dubinina, O. N., et al.
Published: (2013)

Analysis of formal models and standards for structured electronic document in corporate informational system
by: Sharypanov, A.V., et al.
Published: (2018)

Formal aspects of topological complexity
by: P. Pavesic
Published: (2013)

Formalization of the Rules of Inference in Erlang
by: S. I. Shapovalova
Published: (2020)

Projective Metrizability and Formal Integrability
by: Bucataru, I., et al.
Published: (2011)

Formal Aspects of Topological Complexity
by: Pavešić, P., et al.
Published: (2013)