SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

by Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
Published 2020-01-01

Hafnium-Zirconium Carbonitride (Hf,Zr)(C,N) by One Step Mechanically Induced Self-Sustaining Reaction: Powder Synthesis and Spark Plasma Sintering

by Irina Khadyrova, Veronika Suvorova, Andrey Nepapushev, Dmitrii Suvorov, Kirill Kuskov, Dmitry Moskovskikh
Published 2023-05-01

Investigation of the Effect of Molybdenum Silicide Addition on the Oxidation Behavior of Hafnium Carbonitride

by Veronika Suvorova, Andrey Nepapushev, Dmitrii Suvorov, Kirill Kuskov, Pavel Loginov, Dmitry Moskovskikh
Published 2023-01-01

DECOLONIZATION OF INTESTINAL CARRIAGE OF MDR/XDR GRAM-NEGATIVE BACTERIA WITH ORAL COLISTIN IN PATIENTS WITH HEMATOLOGICAL MALIGNANCIES: RESULTS OF A RANDOMIZED CONTROLLED TRIAL

by Igor Stoma, Igor Karpov, Igor Iskrov, Svetlana Krivenko, Anatoly Uss, Svetlana Vlasenkova, Irina Lendina, Veronika Cherniak, Dmitrii Suvorov
Published 2018-05-01

Enhanced microstructure and mechanical properties of ZrN-reinforced AlSi10Mg aluminum matrix composite

by Veronika Suvorova, Sergey Volodko, Dmitrii Suvorov, Stanislav Chernyshikhin, Andrey Nepapushev, Artem Korol, Lidiya Volkova, Pavel Sokolov, Alexander Khort, Dmitry Moskovskikh
Published 2024-05-01