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

The Formal Optological Models in the Scientific Researches

Збережено в:

Бібліографічні деталі
Дата:	2016
Автор:	S. L. Kryvyj
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2016
Назва видання:	Control Systems and Computers
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000553081
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Formal foundations for software model to model transformation operation
за авторством: O. V. Chebanyuk
Опубліковано: (2018)

Using of ontological models for formalized knowledge assessment
за авторством: Ya. Hladun, та інші
Опубліковано: (2019)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
за авторством: V. V. Mykytenko
Опубліковано: (2022)

Nonequilibrium perturbative formalism and spectral function for the Anderson model
за авторством: Hamasaki, M.
Опубліковано: (2007)

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

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

On the formalization of information dissemination processes based on hybrid diffusion models
за авторством: E. V. Ivokhin, та інші
Опубліковано: (2018)

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

Formal theory model in the form of commutative semigroup of image constructions
за авторством: O. V. Bisikalo, та інші
Опубліковано: (2013)

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

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)

Formal and Non-Formal Education in Poland in the Conditions of the European Educational Space
за авторством: T. Maslova
Опубліковано: (2018)

Some geometric-differential models in the class of formal operator power series
за авторством: Baranovich, A. M., та інші
Опубліковано: (1996)

On the formalization of emergency action plans
за авторством: Yalovets, A.L.
Опубліковано: (2023)

Formal interpretation of masculinity
за авторством: A. M. Arkhanhelska
Опубліковано: (2011)

The Formal Definition of Intelligence
за авторством: A. V. Sosnitskij
Опубліковано: (2014)

On the formalization of dynamics in information processes on the basis of inhomogeneous one-dimensional diffusion models
за авторством: E. V. Ivokhin, та інші
Опубліковано: (2019)

Infinite order differential operators in the module of formal generalized functions and in a ring of formal power series
за авторством: S. L. Hefter, та інші
Опубліковано: (2022)

The Profinite Dimensional Manifold Structure of Formal Solution Spaces of Formally Integrable PDEs
за авторством: Güneysu, B., та інші
Опубліковано: (2017)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Infinite order differential operators in the module of formal generalized functions and in a ring of formal power series
за авторством: Hefter, S. L., та інші
Опубліковано: (2022)

Semi-Formal Rules As a Factor in the Dynamics of the Efficiency of Formal Rules of Financial Monitoring
за авторством: N. M. Volosnikova, та інші
Опубліковано: (2023)

Projective Metrizability and Formal Integrability
за авторством: Bucataru, I., та інші
Опубліковано: (2011)

Formal aspects of topological complexity
за авторством: P. Pavesic
Опубліковано: (2013)

Formalization of the Rules of Inference in Erlang
за авторством: S. I. Shapovalova
Опубліковано: (2020)

Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
за авторством: B. V. Horlynskyi, та інші
Опубліковано: (2019)

Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources
за авторством: Ya. Gladun, та інші
Опубліковано: (2020)

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

Analysis of formal models and standards for structured electronic document in corporate informational system
за авторством: A. V. Sharypanov, та інші
Опубліковано: (2018)

Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources
за авторством: Gladun, A.Ya., та інші
Опубліковано: (2020)

Analysis of formal models and standards for structured electronic document in corporate informational system
за авторством: Sharypanov, A.V., та інші
Опубліковано: (2018)

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

DEMAND FORECASTING FOR DC MACHINES WITH APPLICATION OF FORMALIZED GROWTH-CURVE-BASED MODELS
за авторством: Dubinina, O. N., та інші
Опубліковано: (2013)

On interdisciplinarity of scientific research
за авторством: V. A. Chebanov
Опубліковано: (2018)

Actual scientific research
за авторством: V. V. Borshchevskyi
Опубліковано: (2013)