SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

by Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
Published 2020-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