Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Ievgen Ivanov"'
Publikováno v:
Innovative Biosystems and Bioengineering, Vol 8, Iss 3 (2024)
Background. Obtaining biologically active natural compounds involved in the regulation of metabolism is an important goal in biotechnology. Colostrum is a unique natural source of various biologically active compounds. However, the extremely high nat
Externí odkaz:
https://doaj.org/article/8ebf36c3a17b473abf499a2d0fe9a659
Publikováno v:
Computer Science Journal of Moldova, Vol 26, Iss 1(76), Pp 59-76 (2018)
In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on the first-order logic and axiomatic set theory. The further aim of this work is development
Externí odkaz:
https://doaj.org/article/a77c69ab9a394fb7854382c6ba6b81d5
Publikováno v:
Computer Science Journal of Moldova, Vol 25, Iss 2(74), Pp 195-216 (2017)
In the paper we analyze the set of nominative sets, which can be considered as some mathematical model for data used in computing systems, under assumption that the set of names is linearly ordered. We design algorithms, implemented for execution of
Externí odkaz:
https://doaj.org/article/69913b895d6c4c9caee73130c6ace9be
Autor:
Ievgen Ivanov
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 247, Iss Proc. SNR 2017, Pp 46-51 (2017)
We consider the problem of proving that each point in a given set of states ("target set") can indeed be reached by a given nondeterministic continuous-time dynamical system from some initial state. We consider this problem for abstract continuous-ti
Externí odkaz:
https://doaj.org/article/3e0443670cba4bdd96f433e07472ae28
Publikováno v:
Computer Science Journal of Moldova, Vol 24, Iss 3(72), Pp 371-398 (2016)
In the paper we develop methods for proving properties of programs on hierarchical nominative data on the basis of the composition-nominative approach. In accordance with this approach, the semantics of a program is a function on nominative data cons
Externí odkaz:
https://doaj.org/article/c807f75f099b4dc5bbf63aa5c5dd5bbc
Publikováno v:
Computer Science Journal of Moldova, Vol 23, Iss 3(69), Pp 270-288 (2015)
In the paper we investigate the notion of nominative data that can be considered as a general mathematical model of data used in computing systems. The main attention is paid to flat nominative data called nominative sets. The structure of the partia
Externí odkaz:
https://doaj.org/article/a1ab8ae10c8340c1812f3a76a6bfe283
Autor:
Anatolii Goltvjansky, A. I. Bozhkov, Victor A. Katrich, Valentyn Kozheshkurt, Ievgen Ivanov, Taras Yu. Gromovoy, Vadim Sidorov
Publikováno v:
EUREKA: Life Sciences, Iss 2, Pp 56-64 (2021)
The protein composition in the diapason of molecular masses from 4800 to 9500 Dа has been studied in colostrum, taken from different cows, and manifested the expressed biological activity. For this aim, an influence of low-molecular components of co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6a31513ec3acf581eade58077ce2701
https://zenodo.org/record/4729912
https://zenodo.org/record/4729912
Autor:
Valentyn Kozheshkurt, Ievgen Ivanov, Yevhenii Antonenko, Victor Katrich, Anatoly Bozhkov, Taras Gromovoy
Publikováno v:
Eastern-European Journal of Enterprise Technologies, Vol 1, Iss 11 (109), Pp 69-77 (2021)
This paper reports the development of an express method for assessing the quality of biologically active substances derived from colostrum. We tested the hypothesis that there may be a dependence between the amount of protein that is part of the colo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dfcf5a86d3a7fc7d020b2c3f1196e4a
https://zenodo.org/record/4783110
https://zenodo.org/record/4783110
Autor:
Ievgen Ivanov
Publikováno v:
Information and Communication Technologies in Education, Research, and Industrial Applications ISBN: 9783030775919
ICTERI (Revised Selected Papers)
ICTERI (Revised Selected Papers)
We propose a formulation of an induction principle for diamond-free partial orders, which can be considered as a generalization of one of the variants of the real induction principle. This principle may be useful for specification and verification of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7ea2c40aecc4c39329d692e2c88fc73
https://doi.org/10.1007/978-3-030-77592-6_8
https://doi.org/10.1007/978-3-030-77592-6_8
Autor:
Ievgen Ivanov, Mykola S. Nikitchenko
Publikováno v:
Information and Communication Technologies in Education, Research, and Industrial Applications ISBN: 9783030394585
ICTERI (Revised Selected Papers)
ICTERI (Revised Selected Papers)
In the paper we investigate the expressibility of partial predicates in the Kleene algebra extended with the composition of predicate complement and give a necessary and sufficient condition of this expressibility in terms of the existence of an opti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ba6c604446a47e671b50db2717de3ee
https://doi.org/10.1007/978-3-030-39459-2_3
https://doi.org/10.1007/978-3-030-39459-2_3