Algebraic Bayesian networks: Аnalysis and synthesis system of secondary structure
Artem V. Romanov, Romanov Artem · Research Repository Saint Petersburg State University (Saint Petersburg State University) · 2016
В выпускной квалификационной работе рассматривается синтез третичной и четвертичной глобальных структур алгебраических байесовских сетей. Разработаны инкрементальный и декрементальный алгоритмы синтеза таких структур. Доказаны четыре теоремы, подтверждающие корректность указанных алгоритмов.