Zobrazeno 1 - 10
of 108
pro vyhledávání: '"V. . Ignatyev"'
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 59-86 (2018)
This paper proposes an approach for detecting bugs in C# programs and uses null pointer deference as the main example. The approach is based on a scalable path-sensitive analysis, which involves symbolic execution with state merging and function summ
Externí odkaz:
https://doaj.org/article/f8df8d6173ca49d5b814613a7d14d25a
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 1, Pp 21-40 (2018)
The paper describes static analysis techniques that are used for defect detection in C# programs. The goal of proposed analysis approaches is to catch more defects within an acceptable amount of time. Although the paper contains a description of full
Externí odkaz:
https://doaj.org/article/616cbacf5d404408be02ab8e59d44035
Autor:
Vladimir V. Ignatyev, Andrey V. Kovalev, Oleg B. Spiridonov, Viktor M. Kureychik, Alexandra S. Ignatyeva, Irina B. Safronenkova
Publikováno v:
ETRI Journal, Vol 43, Iss 2, Pp 260-271 (2020)
This paper addresses Very large‐scale integration (VLSI) placement optimization, which is important because of the rapid development of VLSI design technologies. The goal of this study is to develop a hybrid algorithm for VLSI placement. The propos
Externí odkaz:
https://doaj.org/article/b409e4ed6a8b436da1ed068498dd62b9
Hereditary keratoderma. Clinical case: Unna–Toast keratoderma and Buschke–Fischer–Brauer keratoderma
Publikováno v:
Russian Journal of Skin and Venereal Diseases. 25:303-312
Palmoplantar keratoderma is a heterogeneous group of diseases, both hereditary and acquired, affecting, as a rule, the skin of the palms and soles in the form of focal or diffuse hyperkeratotic layers. Hereditary forms are characterized by a defect i
Autor:
A. V. Lyanguzov, S. V. Ignatyev, S. L. Kalinina, O. M. Tselousova, I. P. Tataurova, D. A. Dyakonov
Publikováno v:
Russian Journal of Pediatric Hematology and Oncology. 9:107-112
The wide antibiotics use in different areas of medicine has significantly increased the incidence of pseudomembranous colitis caused by Clostridium difficile. Strong necessity of antibacterial therapy in hematological patients is the reason of a high
Autor:
Olga Yu. Olisova, Elena S. Snarskaya, Nikolay G. Kochergin, Natalia P. Teplyuk, Dmitry V. Ignatyev, Alana R. Tavitova, William Makhmudi
Publikováno v:
Russian Journal of Skin and Venereal Diseases. 25:73-83
The first clinical case of the effective use of a domestic biological drug inhibitor netakimab ― IL-17A ― in a patient with persistently progressive, torpid to therapy generalized pustular psoriasis Tsumbush is presented. This rare systemic derma
Publikováno v:
Russian Journal of Economics and Law, Vol 11, Iss 1, Pp 47-66 (2017)
Objective: to analyze the world experience of forming the paradigm of political ecology in the aspect of environmental safety.Methods: dialectical method of cognition, detailing, logical generalization.Results: the article formulates conclusions abou
Externí odkaz:
https://doaj.org/article/3932b9eb8e4849ce848d05fefe8a203d
Autor:
Nikolay M. Rashevskiy, Danila S. Parygin, Mikhail A. Kulikov, Natalia P. Sadovnikova, Alexander V. Ignatyev
Publikováno v:
Социология города. :44-57
Publikováno v:
Physics of Atomic Nuclei. 84:1495-1499
Autor:
Mikhail V. Ignatyev, Alexey Petukhov
Publikováno v:
Journal of Algebra
Let $\mathfrak{n}$ be a locally nilpotent infinite-dimensional Lie algebra over $\mathbb{C}$. Let $\mathrm{U}(\mathfrak{n})$ and $\mathrm{S}(\mathfrak{n})$ be its universal enveloping algebra and its symmetric algebra respectively. Consider the Jacob