Zobrazeno 1 - 10
of 169
pro vyhledávání: '"I.V. Konnov"'
Publikováno v:
Учёные записки Казанского университета: Серия Физико-математические науки, Vol 161, Iss 3, Pp 423-437 (2019)
The rapid growth in the volume of processed information that takes place nowadays determines the urgency of the development of methods for reducing the dimension of computational problems. One of the approaches to reducing the dimensionality of data
Externí odkaz:
https://doaj.org/article/f0873a00cc9f46539211a7e11ecf06e5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
I.V. Konnov, V.A. Zakharov
Publikováno v:
Труды Института системного программирования РАН, Vol 12, Pp 37-58 (2007)
The uniform verification problem for parameterized systems is to determine whether a temporal property is true for every instance of the system which is composed of an arbitrary number of homogeneous processes. We consider some aspects of the inducti
Externí odkaz:
https://doaj.org/article/d600b38922ab4761a3ce5b0460ff5df0
Publikováno v:
Труды Института системного программирования РАН, Vol 12, Pp 59-76 (2007)
The main goal of model checking is to verify whether a model of a given program satisfies some given specification. In this paper models are regarded as fair or ordinary Kripke structures whereas specifications are represented by formulae branching-t
Externí odkaz:
https://doaj.org/article/30425c6b0b3d416ebfafedd279b4a0fe
Publikováno v:
Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki. 161:423-437
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64f0d9d04f2df9befef98f7c8954371f
https://doi.org/10.26907/2541-7746.2019.3.423-437
https://doi.org/10.26907/2541-7746.2019.3.423-437
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
I.V. Konnov
Publikováno v:
The Open Operational Research Journal. 2:29-37
We propose several new models for separate and spatially distributed auction based markets where partici- pants' reactions are described by general price mappings and show that they admit equivalent variational inequality for- mulations. This approac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b5fa3bbec3e0c93d321c870ab25c8c5
https://doi.org/10.2174/1874243200802010029
https://doi.org/10.2174/1874243200802010029
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.