Buchumschlag

Semantic Space for the Verification of Economic Mathematical Models

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
1. Verfasser:	V. L. Petryk
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2013
Schriftenreihe:	Business Inform
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000321835
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

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
von: V. A. Berezos
Veröffentlicht: (2010)

Development and verification of appropriateness for mathematical model of heat balance of electrothermal fluidized bed reactor
von: K. V. Simeiko
Veröffentlicht: (2019)

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

Mathematical modeling of diffusion in multilayer oxide nanocoating
von: M. R. Petryk, et al.
Veröffentlicht: (2013)

Using of numerical modeling for verification of the functional hypothesis
von: Sokolovsky, A.I., et al.
Veröffentlicht: (2007)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Forming of the approach to verification of power system dynamic model
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2015)

Model of information object for digital library and its verification
von: O. V. Novytskyi, et al.
Veröffentlicht: (2020)

Model of information object for digital library and its verification
von: Novitsky, A.V., et al.
Veröffentlicht: (2020)

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

Modeling and verification methods for application design in heterogeneous architectures
von: S. D. Pohorilyi, et al.
Veröffentlicht: (2020)

Economic science and economic-mathematical modeling
von: E. N. Veduta, et al.
Veröffentlicht: (2017)

Economic and Mathematical Modeling in Budgeting
von: Latysheva, O., et al.
Veröffentlicht: (2023)

The Semantic Model of the System of Strategic Management for the Economic Development of Territories
von: Ye. Babenko
Veröffentlicht: (2020)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)

The logic of verification of knowledge in the arguments of neopositivism
von: L. H. Komakha
Veröffentlicht: (2015)

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

Economic and mathematical modelling of investments in Ukraine
von: O. M. Harkushenko
Veröffentlicht: (2022)

Mathematical modelling of energy-dependent economics
von: P. Kostrobii, et al.
Veröffentlicht: (2014)

Processes of vocabulary semantic transformation in Ukrainian media space
von: L. A. Khalinovska
Veröffentlicht: (2017)

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

Peculiarities of semantic derivation in English economic terminology
von: V. I. Voskoboinyk, et al.
Veröffentlicht: (2019)

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

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

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

Verification of the hypotheses on the equality of densities of distributions
von: P. K. Babilua, et al.
Veröffentlicht: (2016)

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

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

Verification of the hypotheses on the equality of densities of distributions
von: Babilua, P., et al.
Veröffentlicht: (2016)

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

An economic mathematical model for the import of coal to Ukraine
von: Stohniy B.S., et al.
Veröffentlicht: (2012)

Motivational Principles and Basic Models of Semantic Terminologization
von: L. L. Shevchenko, et al.
Veröffentlicht: (2010)

Dynamic models of the lexicon semantic description
von: O. V. Demenchuk
Veröffentlicht: (2011)

Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
von: O. V. Kendzera, et al.
Veröffentlicht: (2016)

Mathematical Modeling of Displacement of Rigid Elliptic Disc in Piezoelectric Space
von: V. S. Kirilyuk, et al.
Veröffentlicht: (2024)

Development of the model for semantic sentence representation
von: V. N. Vrublevskyi, et al.
Veröffentlicht: (2022)

The verification of constant preparation methodology for IMCORE code
von: Galchenko, V.V., et al.
Veröffentlicht: (2018)