Заседания семинаров
16.30 ч., к. 305, ИМ
- М. А. Шишленин (ИМ СО РАН)
В гостях у мегасайенса: что мы увидели на синхротроне СКИФ».
- Антон Глухов (ИМ СО РАН)
Системы нелинейных ОДУ с запаздыванием в задачах динамики социальных протестов.
18.10 ч., ауд. 5210, НГУ (новый корпус)
Николай Вячеславович Шилов (преподаватель Лицея 22 "Надежда Сибири" и Институт систем информатики СО РАН, Новосибирск)
Путеводитель (для начинающих) по стране Формальной Семантики Программ.
Аннотация
Три основных исторически сложившихся «провинции» страны Формальной Семантики Программ – это Операционная Семантика, Денотационная Семантика и Аксиоматическая Семантика. Выступление рассчитано прежде всего на тех, кто только начинает путешествие по этой стране, чтобы познакомиться с общедоступным путеводителем...
14.30 ч., ауд. 417, ИМ
С. И. Кабанихин
Обратные задачи ультразвуковой томографии.
15:00 ч., Zoom
Идентификатор конференции: 314 114 3903
Код доступа: 009
Малышев Сергей Борисович
Свойство замены для замыканий, порождённых тернарными изолирующими формулами (продолжение).
18.00 ч., Zoom
М. Ж. Жетписбаев (НГУ)
Вероятностные неравенства и предельные теоремы для одного класса аддитивных статистик (кандидатская диссертация).
Аннотация
В диссертации исследуется предельное поведение аддитивных статистик от групповых частот в полиномиальных схемах размещения. Разработан единый метод асимптотического анализа на основе принципа пуассонизации. Получены новые достаточные условия для нормальной, пуассоновской аппроксимаций и сходимости к свёртке нормального и пуассоновского законов для хи-квадрат статистики. Установлены вероятностные и моментные неравенства.
14.30 ч., к. 417, ИМ
Zoom
Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
Александров Виктор Алексеевич (ИМ СО РАН)
О классификации Коннелли изгибаемых бипирамид с 4- и 5-угольными экваторами.

