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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Copper(II) Furancarboxylate Complexes with 5-Nitro-1,10-Phenanthroline as Promising Biological Agents von 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.

Volltext

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

Volltext

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

Volltext

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

Volltext

The possibility of passive acoustic monitoring of a Scuba Diver von 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.

Volltext

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

Volltext

The Tunka-Grande scintillation array: Current results von 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.

Volltext

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

Volltext

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

Volltext

TAIGA - An advanced hybrid detector complex for astroparticle physics and high energy gamma-ray astronomy von 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.

Volltext

Primary cosmic ray energy spectrum and mean mass composition using data from the TAIGA astrophysical complex von 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.

Volltext

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

Volltext

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

Volltext

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

Volltext

Study of molecular mechanisms of herbicide binding t o target proteins of weeds by in silico methods von Pamirsky, I. E, Timkin, P. D, Timofeev, E. A, Kotelnikov, D. D, Alexeyko, L. N, Klimovich, S. V, Borodin, E. A, Golokhvast, K. S

Volltext