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

Semantic Space for the Verification of Economic Mathematical Models

Збережено в:

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

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
за авторством: V. A. Berezos
Опубліковано: (2010)

Development and verification of appropriateness for mathematical model of heat balance of electrothermal fluidized bed reactor
за авторством: K. V. Simeiko
Опубліковано: (2019)

Mathematical model verification of thermal energy transfer in floodered rocks of a combusted coalseam
за авторством: I. A. Sadovenko, та інші
Опубліковано: (2016)

Mathematical modeling of diffusion in multilayer oxide nanocoating
за авторством: M. R. Petryk, та інші
Опубліковано: (2013)

Using of numerical modeling for verification of the functional hypothesis
за авторством: Sokolovsky, A.I., та інші
Опубліковано: (2007)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Forming of the approach to verification of power system dynamic model
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2015)

Model of information object for digital library and its verification
за авторством: O. V. Novytskyi, та інші
Опубліковано: (2020)

Model of information object for digital library and its verification
за авторством: Novitsky, A.V., та інші
Опубліковано: (2020)

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

Modeling and verification methods for application design in heterogeneous architectures
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2020)

Economic science and economic-mathematical modeling
за авторством: E. N. Veduta, та інші
Опубліковано: (2017)

Economic and Mathematical Modeling in Budgeting
за авторством: Latysheva, O., та інші
Опубліковано: (2023)

The Semantic Model of the System of Strategic Management for the Economic Development of Territories
за авторством: Ye. Babenko
Опубліковано: (2020)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Verification and validation: process VS procedure
за авторством: V. L. Demekhin, та інші
Опубліковано: (2013)

The logic of verification of knowledge in the arguments of neopositivism
за авторством: L. H. Komakha
Опубліковано: (2015)

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

Economic and mathematical modelling of investments in Ukraine
за авторством: O. M. Harkushenko
Опубліковано: (2022)

Mathematical modelling of energy-dependent economics
за авторством: P. Kostrobii, та інші
Опубліковано: (2014)

Processes of vocabulary semantic transformation in Ukrainian media space
за авторством: L. A. Khalinovska
Опубліковано: (2017)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
за авторством: Huang, S.H., та інші
Опубліковано: (2019)

Peculiarities of semantic derivation in English economic terminology
за авторством: V. I. Voskoboinyk, та інші
Опубліковано: (2019)

The semantic cognitive modelling of metaphorization
за авторством: Yu. V. Kravtsova
Опубліковано: (2011)

Mathematical modelling of dynamics of 90Sr and 137Cs migration in components of agrocenosises soil-plant cover at the late phase of radiation accident. II. Model verification and prediction assessments
за авторством: Yu. O. Ivanov, та інші
Опубліковано: (2015)

Verification of the mathematical expressions for the efficiency and power of three-phase four-wire power system with shunt active filter
за авторством: S. Y. Polishchuk
Опубліковано: (2016)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Verification of the hypotheses on the equality of densities of distributions
за авторством: P. K. Babilua, та інші
Опубліковано: (2016)

Three-dimensional generalization and verification of structured bounding surface model for natural clay
за авторством: Cui Yunliang, та інші
Опубліковано: (2018)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Verification of the hypotheses on the equality of densities of distributions
за авторством: Babilua, P., та інші
Опубліковано: (2016)

Modeling and experimental veriﬁcation of the thin multi-electrode piezoceramic bars&#039; forced vibrations
за авторством: O. I. Bezverkhy, та інші
Опубліковано: (2016)

An economic mathematical model for the import of coal to Ukraine
за авторством: Stohniy B.S., та інші
Опубліковано: (2012)

Motivational Principles and Basic Models of Semantic Terminologization
за авторством: L. L. Shevchenko, та інші
Опубліковано: (2010)

Dynamic models of the lexicon semantic description
за авторством: O. V. Demenchuk
Опубліковано: (2011)

Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
за авторством: O. V. Kendzera, та інші
Опубліковано: (2016)

Mathematical Modeling of Displacement of Rigid Elliptic Disc in Piezoelectric Space
за авторством: V. S. Kirilyuk, та інші
Опубліковано: (2024)

Development of the model for semantic sentence representation
за авторством: V. N. Vrublevskyi, та інші
Опубліковано: (2022)

The verification of constant preparation methodology for IMCORE code
за авторством: Galchenko, V.V., та інші
Опубліковано: (2018)