Zobrazeno 1 - 10
of 123
pro vyhledávání: '"Mokhov Andrey"'
Publikováno v:
E3S Web of Conferences, Vol 281, p 04009 (2021)
The transition to the construction facilities design, that involves the application of information models, strengthens the requirements for the comfortable perception of such models by their users and consumers. The presented research work has a desc
Externí odkaz:
https://doaj.org/article/57c6d9f612e045f3a3ba79b2ebb5f91e
Publikováno v:
E3S Web of Conferences, Vol 217, p 10008 (2020)
This article analyzes approaches to the selection of indicators of regional environmental risks, as well as the impact of risks on reforestation in a particular region. Indicators that characterize the main trends in the forestry industry in Russia w
Externí odkaz:
https://doaj.org/article/08081611ad314a40883ae5fce2003a83
Autor:
Mokhov, Andrey
Publikováno v:
The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 3, Article 12
Graphs and various graph-like combinatorial structures, such as preorders and hypergraphs, are ubiquitous in programming. This paper focuses on representing graphs in a purely functional programming language like Haskell. There are several existing a
Externí odkaz:
http://arxiv.org/abs/2202.09230
Let $A \in \{0,1\}^{n \times n}$ be a matrix with $z$ zeroes and $u$ ones and $x$ be an $n$-dimensional vector of formal variables over a semigroup $(S, \circ)$. How many semigroup operations are required to compute the linear operator $Ax$? As we ob
Externí odkaz:
http://arxiv.org/abs/1812.11772
Verification of functional correctness of control programs is an essential task for the development of space electronics; it is difficult and time-consuming and typically outweighs design and programming tasks in terms of development hours. We presen
Externí odkaz:
http://arxiv.org/abs/1802.01738
Autor:
Ikenmeyer, Christian, Komarath, Balagopal, Lenzen, Christoph, Lysikov, Vladimir, Mokhov, Andrey, Sreenivasaiah, Karteek
Publikováno v:
J. ACM 66(4), Article 25 (2019)
The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an important problem in circuit design. Our main lower-bound result unconditionally shows the existence of functions whose circuit complexity is polynomially boun
Externí odkaz:
http://arxiv.org/abs/1711.01904
This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The requirements on an ideal formalism for dynamic softwar
Externí odkaz:
http://arxiv.org/abs/1609.08531
Three formalisms of different kinds - VDM, Maude, and basic CCSdp - are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workfl
Externí odkaz:
http://arxiv.org/abs/1405.0319
Publikováno v:
In Journal of Volcanology and Geothermal Research 1 December 2015 307:200-209
Autor:
IKENMEYER, CHRISTIAN, KOMARATH, BALAGOPAL, LENZEN, CHRISTOPH, LYSIKOV, VLADIMIR, MOKHOV, ANDREY, SREENIVASAIAH, KARTEEK
Publikováno v:
Journal of the ACM; Aug2019, Vol. 66 Issue 4, p1-20, 20p