Semantic Space for the Verification of Economic Mathematical Models
Saved in:
| 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 | LibNASSimilar Items
Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
by: V. A. Berezos
Published: (2010)
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)
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)
by: I. A. Sadovenko, et al.
Published: (2016)
A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)
by: A. V. Kolchin
Published: (2013)
Mathematical modeling of diffusion in multilayer oxide nanocoating
by: M. R. Petryk, et al.
Published: (2013)
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)
by: Sokolovsky, A.I., et al.
Published: (2007)
Forming of the approach to verification of power system dynamic model
by: V. V. Pavlovskyi, et al.
Published: (2015)
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)
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)
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)
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)
by: S. D. Pohorilyi, et al.
Published: (2020)
Economic science and economic-mathematical modeling
by: E. N. Veduta, et al.
Published: (2017)
by: E. N. Veduta, et al.
Published: (2017)
Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)
by: A. Letichevsky, et al.
Published: (2013)
Verification and validation: process VS procedure
by: V. L. Demekhin, et al.
Published: (2013)
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)
by: L. H. Komakha
Published: (2015)
The Semantic Model of the System of Strategic Management for the Economic Development of Territories
by: Ye. Babenko
Published: (2020)
by: Ye. Babenko
Published: (2020)
Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)
by: Pogorilyy, S.D., et al.
Published: (2024)
Processes of vocabulary semantic transformation in Ukrainian media space
by: L. A. Khalinovska
Published: (2017)
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)
by: Huang, S.H., et al.
Published: (2019)
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)
by: S. Y. Polishchuk
Published: (2016)
Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)
by: Letichevsky, A., et al.
Published: (2010)
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)
by: Yu. O. Ivanov, et al.
Published: (2015)
Mathematical modelling of energy-dependent economics
by: P. Kostrobii, et al.
Published: (2014)
by: P. Kostrobii, et al.
Published: (2014)
Economic and mathematical modelling of investments in Ukraine
by: O. M. Harkushenko
Published: (2022)
by: O. M. Harkushenko
Published: (2022)
Verification of the hypotheses on the equality of densities of distributions
by: P. K. Babilua, et al.
Published: (2016)
by: P. K. Babilua, et al.
Published: (2016)
Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)
by: Panchuk, B.O.
Published: (2024)
Three-dimensional generalization and verification of structured bounding surface model for natural clay
by: Cui Yunliang, et al.
Published: (2018)
by: Cui Yunliang, et al.
Published: (2018)
Mathematical Modeling of Displacement of Rigid Elliptic Disc in Piezoelectric Space
by: V. S. Kirilyuk, et al.
Published: (2024)
by: V. S. Kirilyuk, et al.
Published: (2024)
The semantic cognitive modelling of metaphorization
by: Yu. V. Kravtsova
Published: (2011)
by: Yu. V. Kravtsova
Published: (2011)
Peculiarities of semantic derivation in English economic terminology
by: V. I. Voskoboinyk, et al.
Published: (2019)
by: V. I. Voskoboinyk, et al.
Published: (2019)
Modeling and experimental verification of the thin multi-electrode piezoceramic bars' forced vibrations
by: O. I. Bezverkhy, et al.
Published: (2016)
by: O. I. Bezverkhy, et al.
Published: (2016)
Mathematical modeling of temperature fields in antenna reflectors of space vehicles
by: M. H. Berdnyk
Published: (2022)
by: M. H. Berdnyk
Published: (2022)
Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
by: O. V. Kendzera, et al.
Published: (2016)
by: O. V. Kendzera, et al.
Published: (2016)
Deductive verification of requirements for event-driven architecture
by: A. Letichevsky, et al.
Published: (2013)
by: A. Letichevsky, et al.
Published: (2013)
Deductive verification of requirements for event-driven architecture
by: Letichevsky, A., et al.
Published: (2013)
by: Letichevsky, A., et al.
Published: (2013)
Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)
by: Letichevsky, A.A., et al.
Published: (2025)
Covert investigative (detective) actions: data verification
by: O. P. Vashchuk
Published: (2016)
by: O. P. Vashchuk
Published: (2016)
About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)
by: Lvov, M.S.
Published: (2025)
Motivational Principles and Basic Models of Semantic Terminologization
by: L. L. Shevchenko, et al.
Published: (2010)
by: L. L. Shevchenko, et al.
Published: (2010)
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
by: Palagin, O.V., et al.
Published: (2020)
by: Palagin, O.V., et al.
Published: (2020)
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) -
A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013) -
Mathematical modeling of diffusion in multilayer oxide nanocoating
by: M. R. Petryk, et al.
Published: (2013)