Dmitry Kravchenko

Learn More
Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-approximation introduces a large amount of spurious edges, leading to even more imprecision and a degenerate(More)
Nonlocal games are used to display differences between classical and quantum world. In this paper, we study nonlocal games with a large number of players. We give simple methods for calculating the classical and the quantum values for symmetric XOR games with onebit input per player, a subclass of nonlocal games. We illustrate those methods on the example(More)
Non-local games are known as a simple but useful model which is widely used for displaying nonlocal properties of quantum mechanics. In this paper we concentrate on a simple subset of non-local games: multiplayer XOR games with 1-bit inputs and 1-bit outputs which are symmetric w.r.t. permutations of players. We look at random instances of non-local games(More)
In this paper the problem of representing the three-dimensional image of landscape after its two-dimensional monochromatic image is solved. There are given equations for three-dimensional objects describing. With help of these equations we can translate and rotate any three-dimensional object, which consists of a countable number of points. There is also(More)
In this paper, we consider online algorithms. Typically the model is investigated with respect to competitive ratio. We consider algorithms with restricted memory (space) and explore their power. We focus on quantum and classical online algorithms. We show that there are problems that can be better solved by quantum algorithms than classical ones in a case(More)
One of the fundamental results in quantum foundations is the Kochen-Specker no-go theorem. For the quantum theory, the no-go theorem excludes the possibility of a class of hidden variable models where value attribution is context independent. Recently, the notion of contextuality has been generalized for different operational procedures and it has been(More)
PDLIM4 (RIL) gene is often subjected to epigenetic suppression in malignant tumors of various organs. At the same time, reasons of this suppression are not fully understood, and the only effect of the proposed mechanism of PDLIM4 impact on malignant transformation of epithelial cells is partially refuted by new experimental data. In order to determine a(More)
High heterogeneity is characteristic of oncology diseases, often complicating the choice of optimal anticancer treatment. One cancer type may combine tumors differing in histogenesis, genetic lesions, and mechanism of cell transformation. Differences in the mechanism of cell malignant transformation result in specifics of cancer cell metabolism and(More)
Development of novel highly selective anticancer therapeutics usualy requires large amount of target protein that serves as a bait for selection. In many cases these proteins posess posttranslational modifications or features, that could not be replicated in procaryotic expression systems, thus requiring more laborous and expensive expression in mammalian(More)