Cover Image

Semantic Space for the Verification of Economic Mathematical Models

Saved in:

Bibliographic Details
Date:	2013
Main Author:	V. L. Petryk
Format:	Article
Language:	English
Published:	2013
Series:	Business Inform
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000321835
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

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
by: V. A. Berezos
Published: (2010)

Development and verification of appropriateness for mathematical model of heat balance of electrothermal fluidized bed reactor
by: K. V. Simeiko
Published: (2019)

Mathematical model verification of thermal energy transfer in floodered rocks of a combusted coalseam
by: I. A. Sadovenko, et al.
Published: (2016)

Mathematical modeling of diffusion in multilayer oxide nanocoating
by: M. R. Petryk, et al.
Published: (2013)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Forming of the approach to verification of power system dynamic model
by: V. V. Pavlovskyi, et al.
Published: (2015)

Model of information object for digital library and its verification
by: O. V. Novytskyi, et al.
Published: (2020)

Model of information object for digital library and its verification
by: Novitsky, A.V., et al.
Published: (2020)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Modeling and verification methods for application design in heterogeneous architectures
by: S. D. Pohorilyi, et al.
Published: (2020)

Economic science and economic-mathematical modeling
by: E. N. Veduta, et al.
Published: (2017)

Economic and Mathematical Modeling in Budgeting
by: Latysheva, O., et al.
Published: (2023)

The Semantic Model of the System of Strategic Management for the Economic Development of Territories
by: Ye. Babenko
Published: (2020)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

Verification and validation: process VS procedure
by: V. L. Demekhin, et al.
Published: (2013)

The logic of verification of knowledge in the arguments of neopositivism
by: L. H. Komakha
Published: (2015)

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

Economic and mathematical modelling of investments in Ukraine
by: O. M. Harkushenko
Published: (2022)

Mathematical modelling of energy-dependent economics
by: P. Kostrobii, et al.
Published: (2014)

Processes of vocabulary semantic transformation in Ukrainian media space
by: L. A. Khalinovska
Published: (2017)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
by: Huang, S.H., et al.
Published: (2019)

Peculiarities of semantic derivation in English economic terminology
by: V. I. Voskoboinyk, et al.
Published: (2019)

The semantic cognitive modelling of metaphorization
by: Yu. V. Kravtsova
Published: (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
by: Yu. O. Ivanov, et al.
Published: (2015)

Verification of the mathematical expressions for the efficiency and power of three-phase four-wire power system with shunt active filter
by: S. Y. Polishchuk
Published: (2016)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Verification of the hypotheses on the equality of densities of distributions
by: P. K. Babilua, et al.
Published: (2016)

Three-dimensional generalization and verification of structured bounding surface model for natural clay
by: Cui Yunliang, et al.
Published: (2018)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Verification of the hypotheses on the equality of densities of distributions
by: Babilua, P., et al.
Published: (2016)

Modeling and experimental veriﬁcation of the thin multi-electrode piezoceramic bars&#039; forced vibrations
by: O. I. Bezverkhy, et al.
Published: (2016)

An economic mathematical model for the import of coal to Ukraine
by: Stohniy B.S., et al.
Published: (2012)

Motivational Principles and Basic Models of Semantic Terminologization
by: L. L. Shevchenko, et al.
Published: (2010)

Dynamic models of the lexicon semantic description
by: O. V. Demenchuk
Published: (2011)

Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
by: O. V. Kendzera, et al.
Published: (2016)

Mathematical Modeling of Displacement of Rigid Elliptic Disc in Piezoelectric Space
by: V. S. Kirilyuk, et al.
Published: (2024)

Development of the model for semantic sentence representation
by: V. N. Vrublevskyi, et al.
Published: (2022)

The verification of constant preparation methodology for IMCORE code
by: Galchenko, V.V., et al.
Published: (2018)