Buchumschlag

The Formal Optological Models in the Scientific Researches

Gespeichert in:

Bibliographische Detailangaben
Datum:	2016
1. Verfasser:	S. L. Kryvyj
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2016
Schriftenreihe:	Control Systems and Computers
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000553081
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

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

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

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

Using of ontological models for formalized knowledge assessment
von: Ya. Hladun, et al.
Veröffentlicht: (2019)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
von: V. V. Mykytenko
Veröffentlicht: (2022)

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

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

Formal and Non-Formal Education in Poland in the Conditions of the European Educational Space
von: T. Maslova
Veröffentlicht: (2018)

On the formalization of information dissemination processes based on hybrid diffusion models
von: E. V. Ivokhin, et al.
Veröffentlicht: (2018)

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

Formal theory model in the form of commutative semigroup of image constructions
von: O. V. Bisikalo, et al.
Veröffentlicht: (2013)

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

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

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

Optimization of checking the feasibility of transitions when verifying formal models
von: Kolchin, A.V.
Veröffentlicht: (2015)

On the formalization of emergency action plans
von: Yalovets, A.L.
Veröffentlicht: (2023)

Formal interpretation of masculinity
von: A. M. Arkhanhelska
Veröffentlicht: (2011)

The Formal Definition of Intelligence
von: A. V. Sosnitskij
Veröffentlicht: (2014)

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

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

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

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

Projective Metrizability and Formal Integrability
von: Bucataru, I., et al.
Veröffentlicht: (2011)

Formal aspects of topological complexity
von: P. Pavesic
Veröffentlicht: (2013)

Formalization of the Rules of Inference in Erlang
von: S. I. Shapovalova
Veröffentlicht: (2020)

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

Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources
von: Ya. Gladun, et al.
Veröffentlicht: (2020)

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

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

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

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

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

On formalization of combinatorial optimization problems on fuzzy sets
von: L. F. Hulianytskyi, et al.
Veröffentlicht: (2016)

Formalization and solution of the particular UAV routing problem
von: L. F. Hulianytskyi, et al.
Veröffentlicht: (2018)

Social orientation of economy: formality or reality?
von: O. Amosha, et al.
Veröffentlicht: (2012)

General formal local cohomology modules
von: Rezaei, Sh.
Veröffentlicht: (2021)

Formalized method for solving multicriteria problems
von: A. M. Voronin, et al.
Veröffentlicht: (2022)

General formal local cohomology modules
von: Rezaei Sh.
Veröffentlicht: (2020)

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

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)