Search Results - "Borodin, E A"

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection by Borodin, A. E., Dudina, I. A.

“…In this paper, we overview the approaches and techniques employed by the Svace static analysis tool for intraprocedural analysis. This analysis implies the…”
Get full text

Interprocedural Static Analysis for Finding Bugs in Go Programs by Bolotnikov, I. V., Borodin, A. E.

“…In recent years, the popularity of the Go programming language has been growing. However, currently, there are only lightweight static analyzers (linters)…”
Get full text

Fuzzy Segmentation Based Digital Processing in Medical Diagnostics by Buzylev, F. N., Shcherbakova, S. N., Borodin, E. A.

“…The article defines the problems with image processing using segmentation. A general strategy is given for clustering as the main segmentation method. An…”
Get full text

Kotlin from the Point of View of Static Analysis Developer by Afanasyev, V. O., Polyakov, S. A., Borodin, A. E., Belevantsev, A. A.

“…This paper describes a static analysis tool for finding defects, analyzing metrics and relations for programs written in the Kotlin language. The approach is…”
Get full text

In silico prediction of the transcription factor-enhancer interaction as a first stage of axonal growth regulation by Kotelnikov, D. D., Sinyakin, I. A., Borodin, E. A., Batalova, T. A.

“…The development of neurodegenerative diseases is associated with proper neuronal circuit formation, axonal guidance. The DCC receptor (deleted in colorectal…”
Get full text

Searching for Taint Vulnerabilities with Svace Static Analysis Tool by Borodin, A. E., Goremykin, A. V., Vartanov, S. P., Belevantsev, A. A.

“…This paper is dedicated to finding taint-based errors in the source code of programs, i.e., errors caused by unsafe use of data from external sources, which…”
Get full text

Copper(II) Furancarboxylate Complexes with 5-Nitro-1,10-Phenanthroline as Promising Biological Agents by Koshenskova, K. A., Baravikov, D. E., Nelyubina, Yu. V., Primakov, P. V., Shender, V. O., Maljants, I. K., Bekker, O. B., Aliev, T. M., Borodin, E. A., Kotel’nikov, D. D., Leusova, N. Yu, Mantrov, S. N., Kiskin, M. A., Eremenko, I. L., Lutsenko, I. A.

“…The reaction of copper(II) acetate with 2-furancarboxylic (HFur)/5-nitro-2-furancarboxylic (HNfur) acids and 5-nitro-1,10-phenanthroline (Nphen) in methanol…”
Get full text

A Study on the Molecular Mechanisms of Herbicide Binding with Target Proteins in Weeds Using In Silico Methods by Pamirsky, I. E., Timkin, P. D., Timofeev, E. A., Kotelnikov, D. D., Alekseiko, L. N., Klimovich, S. V., Borodin, E. A., Golokhvast, K. S.

“…The research was carried out in order to study the molecular mechanisms of herbicide binding (pinoxaden, quizalofop-P-tefuril, prometrin, metribuzin,…”
Get full text

Static analyzer Svace for finding defects in a source program code by Ivannikov, V. P., Belevantsev, A. A., Borodin, A. E., Ignatiev, V. N., Zhurikhin, D. M., Avetisyan, A. I.

“…This paper describes Svace, a tool for static program analysis developed at the Institute for Systems Programming, Russian Academy of Sciences. This tool…”
Get full text

The possibility of passive acoustic monitoring of a Scuba Diver by Korenbaum, V. I., Gorovoy, S. V., Tagiltsev, A. A., Kostiv, A. E., Borodin, A. E., Pochekutova, I. A., Vasilistov, A. M., Krupenkov, A. C., Shiryaev, A. D., Vlasov, D. I.

“…The problem of controlling the state and location of scuba divers is of importance. This work consider the possibility to use for this purpose a low-frequency…”
Get full text

POSSIBILITIES FOR THE USE OF THE ANTI-LEUKOTRIENE DRUG MONTELUKAST IN COMBINED THERAPY OF PATIENTS WITH BRONCHIAL ASTHMA AND COLD-INDUCED BRONCHIAL HYPERACTIVITY by Kolosov, V P, Pirogov, A B, Perel'Man, Yu M, Prikhod'ko, A G, Mal'tseva, T A, Semenova, G V, Borodin, E A, Kolosov, A V

“…To study effectiveness of the use of the anti-leukotriene drug montelukast in combination with inhalation glucocorticoid and long-acting beta-agonist in…”
Get more information

Application of complex acoustic signals in the long-range navigation of underwater objects by Akulichev, V A, Borodin, A E, Burenin, A V, Morgunov, YuN, Strobykin, D S

“…Researchers present the results of experimental studies of the propagation of low-frequency broadband pulse signals in an underwater sound channel (USC) using…”
Get full text

A33 IMMUNE REGULATION OF INFLAMMATION AND AIRWAY HYPERRESPONSIVENESS: Relationship Between Airway Hyperresponsiveness To Hypoosmolar Stimulus And Inflammation In Asthma by Perelman, J M, Prikhodko, A G, Afanaseva, E Y, Borodin, E A, Kolosov, V P

Get full text

Using unreachable code analysis in static analysis tool for finding defects in source code by Mulyukov, R.R., Borodin, A.E.

“…The goal of finding unreachable code is to report warnings about possible bugs in the source code and an increase of other analyses accuracy. The paper…”
Get full text

Recording seismoacoustic signals of a surface vessel with a two-coordinate strainmeter by Borodin, A. E., Dolgikh, A. G., Dolgikh, G. I., Fishchenko, V. K.

“…Experimental data are analyzed, obtained during the recording of seismoacoustic signals with a two-coordinate laser strainmeter; the signals were generated by…”
Get full text

Static analyzer Svace for finding of defects in program source code by Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignatiev, V.N., Zhurikhin, D.M., Avetisyan, A.I., Leonov, M.I.

“…This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool allows to find defects and potential vulnerabilities in source…”
Get full text

Specific features of bronchial inflammation in asthma patients with airway hyper-responsiveness to cold and osmotic stimuli by Pirogov, Aleksey B., Prikhodko, Anna G., Zinov’ev, Sergey V., Borodin, Eugen A., Ushakova, Elena V., Makarova, Galina A., Perelman, Juliy M.

“…Background. Excessive airway reaction to combined effects of environmental factors is very common in patients with asthma. The understanding of the…”
Get full text

Primary cosmic ray energy spectrum and mean mass composition using data from the TAIGA astrophysical complex by Prosin, Vasily, Astapov, I., Bezyazeekov, P., Bonvech, E., Borodin, A., Bulan, A., Chiavassa, Andrea, Chernov, D., Dyachok, A., Gafarov, A., Garmash, A., Grebenyuk, V., Gress, O., Gress, E., Gress, T., Grinyuk, A., Grishin, O., Ivanova, A. D., Ivanova, Anna L., Kalmykov, N., Kindin, V. V., Kiryuhin, S., Kokoulin, R., Kompaniets, K., Korosteleva, E., Kozhin, V., Kravchenko, E., Kryukov, A., Kuzmichev, L., Lagutin, A., Lavrova, M., Lemeshev, Y., Lubsandorzhiev, B., Lubsandorzhiev, N., Lukanov, A., Lukyantsev, D., Malakhov, S., Mirgazov, R., Monkhoev, R., Okuneva, E., Osipova, E., Pakhorukov, A., Pan, A., Panasenko, L., Pankov, L., Panov, A., Petrukhin, A. A., Poddubny, I., Podgrudkov, D., Poleschuk, V., Ponomareva, V., Popova, E., Postnikov, E., Ptuskin, V., Pushnin, A., Raikin, R., Razumov, Alexander, Rubtsov, G., Ryabov, E., Sagan, Y., Samoliga, V., Silaev, Alexander A., Silaev, Alexey A., Sidorenkov, A., Skurikhin, A., Sokolov, A., Sveshnikova, L., Tabolenko, V., Tanaev, A., Tarashchansky, B., Ternovoy, M., Tkachev, L., Togoo, R., Ushakov, N., Vaidyanathan, A., Volchugov, P., Volkov, N., Voronin, D., Zagorodnikov, A., Zhaglova, A., Zhurov, D., Yashin, I. I.

“…The corrected dependence of the mean depth of the EAS maximum X_{max} X m a x on the energy was obtained from the data of the Tunka-133 array for 7 years and…”
Get full text

The Tunka-Grande scintillation array: Current results by Ivanova, Anna L., Astapov, I., Bezyazeekov, P., Bonvech, E., Borodin, A., Budnev, N., Bulan, A., Chernov, D., Chiavassa, Andrea, Dyachok, A., Gafarov, A., Garmash, A., Grebenyuk, V., Gress, E., Gress, O., Gress, T., Grinyuk, A., Grishin, O., Ivanova, A. D., Kalmykov, N., Kindin, V. V., Kiryuhin, S., Kokoulin, R. P., Kompaniets, K., Korosteleva, E., Kozhin, V., Kravchenko, E., Kryukov, A., Kuzmichev, L., Lagutin, A., Lavrova, M., Lemeshev, Y., Lubsandorzhiev, B., Lubsandorzhiev, N., Lukanov, A., Lukyantsev, D., Malakhov, S., Mirgazov, R., Monkhoev, R., Osipova, E., Pakhorukov, A., Pankov, L., Pan, A., Panov, A., Petrukhin, A. A., Poddubny, I., Podgrudkov, D., Poleschuk, V., Ponomareva, V., Popova, E., Postnikov, E., Prosin, Vasily, Ptuskin, V., Pushnin, A., Raikin, R., Razumov, Alexander, Rubtsov, G., Ryabov, E., Sagan, Y., Samoliga, V., Satyshev, A., Silaev, Alexey A., Silaev, Alexander A., Sidorenkov, A., Skurikhin, A., Sokolov, A., Sveshnikova, L., Tabolenko, V., Tkachev, L., Tanaev, A., Ternovoy, M., Togoo, R., Ushakov, N., Vaidyanathan, A., Volchugov, P., Volkov, N., Voronin, D., Zagorodnikov, A., Zhurov, D., Yashin, I. I.

“…The Tunka-Grande experiment is a scintillation array with about 0.5 km ^2 2 sensitive area at Tunka Valley, Siberia, for measuring charged particles and muons…”
Get full text

TAIGA - An advanced hybrid detector complex for astroparticle physics and high energy gamma-ray astronomy by Budnev, Nikolay M., Astapov, I., Bezyazeekov, P., Bonvech, E., Borodin, A., Bulan, A., Chernov, D., Chiavassa, Andrea, Dyachok, A., Gafarov, A., Garmash, A., Grebenyuk, V., Gress, E., Gress, O., Gress, T., Grinyuk, A., Grishin, O., Ivanova, A. D., Ivanova, Anna L., Kalmykov, N., Kindin, V. V., Kiryuhin, S., Kokoulin, R., Kompaniets, K., Korosteleva, E., Kozhin, V., Kravchenko, E., Kryukov, A., Kuzmichev, L., Lagutin, A., Lavrova, M., Lemeshev, Y., Lubsandorzhiev, B., Lubsandorzhiev, N., Lukanov, A., Lukyantsev, D., Malakhov, S., Mirgazov, R., Monkhoev, R., Osipova, E., Pakhorukov, A., Pankov, L., Pan, A., Panov, A., Petrukhin, A. A., Poddubny, I., Podgrudkov, D., Ponomareva, V., Popova, E., Postnikov, E., Prosin, Vasily, Ptuskin, V., Pushnin, A., Raikin, R., Razumov, Alexander, Rubtsov, G., Ryabov, E., Samoliga, V., Satyshev, A., Silaev, Alexey A., Silaev, Alexander A., Sidorenkov, A., Skurikhin, A., Sokolov, A., Sveshnikova, L., Tabolenko, V., Tkachev, L., Tanaev, A., Ternovoy, M., Togoo, R., Ushakov, N., Vaidyanathan, A., Volchugov, P., Volkov, N., Voronin, D., Zagorodnikov, A., Zhurov, D., Yashin, I. I.

“…The physical motivations, present status, main results in study of cosmic rays and in the field of gamma-ray astronomy as well future plans of the TAIGA-1…”
Get full text