Заседания семинаров
Заикин О. С. (Иркутск)
Обращение криптографических хэш-функций при помощи алгоритмов решения проблемы булевой выполнимости.
В. Г. Пузаренко, совместно с И. Ш. Калимуллиным и М. Х. Файзрахмановым
Негативные представления на допустимых множествах (продолжение).
И. А. Емельяненков (ИМ СО РАН)
Теорема Тёрстона-Йоргенсена об объёмах трёхмерных гиперболических многообразий.
Головко А. Ю. (МФТИ, Москва)
Исследование анизотропных пространств Соболева на нерегулярных областях (кандидатская диссертация).
Аннотация
Теорема вложения пространств Соболева в пространства Лебега была доказана Соболевым С. Л. в 1938 году для областей с условием конуса, а потом обобщалась на случай областей и норм пространств типа пространств Соболева более общего вида. В докладе будут рассмотрены анизотропные (по порядку производных и показателям суммируемости) пространства типа пространств Соболева на областях с условием гибкого $\sigma$-конуса (такие области впервые были рассмотрены в 2001 году Бесовым О. В.). Будут рассмотрены необходимые и достаточные условия выполнения соответствующих аддитивных и мультипликативных оценок (вложения и мультипликативных неравенств типа неравенств Гальярдо-Ниренберга). Планируется также рассмотреть вопрос о плотности множества гладких функций в весовых анизотропных пространствах типа пространств Соболева.Лашин С. А. (ИЦиГ СО РАН)
Многоуровневые компьютерные модели эволюционных процессов.
Аннотация
Работа посвящена разработке методов моделирования популяционно-генетических, динамико-популяционных и экологических процессов в популяциях сложноорганизованных организмов, а также программной реализации этих методов. Рассматриваемые уровни биологической организации – от молекулярно-генетического до экосистемного и биоценотического.Представлены методы моделирования функционирования и эволюции комплексных биологических систем, учитывающие в одной модели максимально широкий спектр уровней биологической организации (молекулярно-генетический, метаболический, клеточный, популяционный и экологический уровни). Методы были реализованы в ряде программных комплексов, позволяющих исследовать различные аспекты эволюционного процесса в рамках одного программного средства.
Представление диссертационной работы на соискание ученой степени доктора физико-математических наук по специальности 1.2.2. - Математическое моделирование, численные методы и комплексы программ Более подробно о соискателе:
к.б.н. Лашин Сергей Александрович, ведущий научный сотрудник, и.о. заведующего сектором биоинформатики и информационных технологий в генетике, ИЦиГ СО РАН
Павел Сергеевич Колесников (ИМ СО РАН), Артур Андреевич Нестеренко (НГУ)
Конформные обертывающие алгебр Новикова - Пуассона.