#семинары на этой неделе
ВТОРНИК
◼️16:00, аудитория 615
Семинар Добрушинской математической лаборатории
Докладчики: Владимир Кановей и Василий Любецкий
Тема: Решение проблемы А. Тарского (1948 год)
Аннотация: Будет изложено полученное докладчиками (2022 год) решение старой проблемы Тарского о минимальной сложности описания множества D вещественных чисел, которое состоит из чисел, определяемых формулами сложности не больше n – любого натурального числа. Тарский доказал: D описывается формулой сложности n+1 и эта оценка не улучшаема в одной
из моделей. Он поставил вопрос: всегда ли оценка не улучшаема или существует модель, в которой оценка улучшаема хотя бы до n. Нами построена модель, в которой оценка улучшаема до 1, т.е. D описывается формулой сложности 1. Сложность формулы понимается как наибольший тип переменной в ней. Более того, для любого разрешимого множества U
натуральных чисел нами построена модель, в которой для n из U множество D описывается формулой сложности не больше n, а для любого n не из U, наоборот, описание D формулой сложности n+1 не улучшаемо.
ВТОРНИК
◼️16:00, аудитория 615
Семинар Добрушинской математической лаборатории
Докладчики: Владимир Кановей и Василий Любецкий
Тема: Решение проблемы А. Тарского (1948 год)
Аннотация: Будет изложено полученное докладчиками (2022 год) решение старой проблемы Тарского о минимальной сложности описания множества D вещественных чисел, которое состоит из чисел, определяемых формулами сложности не больше n – любого натурального числа. Тарский доказал: D описывается формулой сложности n+1 и эта оценка не улучшаема в одной
из моделей. Он поставил вопрос: всегда ли оценка не улучшаема или существует модель, в которой оценка улучшаема хотя бы до n. Нами построена модель, в которой оценка улучшаема до 1, т.е. D описывается формулой сложности 1. Сложность формулы понимается как наибольший тип переменной в ней. Более того, для любого разрешимого множества U
натуральных чисел нами построена модель, в которой для n из U множество D описывается формулой сложности не больше n, а для любого n не из U, наоборот, описание D формулой сложности n+1 не улучшаемо.
👍8
Первый день #ИТиС2023 — самый насыщенный на пленарные доклады.
Руководитель лаборатории компьютерной графики ВМК МГУ Дмитрий Ватолин представил 100 и 1 способ атаковать метрику и продемонстрировал результаты сравнения устойчивости 15+ современных метрик к различным атакам, проделанного его научной группой.
Новый и. о. директора ИППИ Максим Федоров поговорил с молодежью (большинство участников ИТиСа) о том, зачем идти в аспирантуру и какие перспективы открываются людям с дипломом кандидата наук.
Руководитель международной лаборатории HDI Lab НИУ ВШЭ Алексей Наумов озадачил аудиторию вопросом на подумать: выгодно ли покупать арбузы в тысячемерном пространстве?
Сергей Иконин из Huawei Technologies посвятил доклад методу совместного кодирования канала и источника для связи со сверхнизкой задержкой.
Юрий Костюкевич из Сколтеха рассказал как искать наркотики в канализациях московских школ с помощью хроматографии, как проводить масс-спектрометрию, почему ошибка в наркологическом анализе может оказаться фатальной.
ИТиС этого года отметили своим присутствием аж три руководителя ИППИ разных лет. Вчера нас навестил Андрей Соболевский. А прямо сейчас Михаил Гельфанд ведет вечер воспоминаний с Николаем Александровичем Кузнецовым, директором Института с 1990 по 2006 год. Вспоминаем как жил ИППИ в лихие 90-е, как в нулевые Институт едва не закрыли, как Гельфанд наотрез отказался брить бороду и прочее другое.
Руководитель лаборатории компьютерной графики ВМК МГУ Дмитрий Ватолин представил 100 и 1 способ атаковать метрику и продемонстрировал результаты сравнения устойчивости 15+ современных метрик к различным атакам, проделанного его научной группой.
Новый и. о. директора ИППИ Максим Федоров поговорил с молодежью (большинство участников ИТиСа) о том, зачем идти в аспирантуру и какие перспективы открываются людям с дипломом кандидата наук.
Руководитель международной лаборатории HDI Lab НИУ ВШЭ Алексей Наумов озадачил аудиторию вопросом на подумать: выгодно ли покупать арбузы в тысячемерном пространстве?
Сергей Иконин из Huawei Technologies посвятил доклад методу совместного кодирования канала и источника для связи со сверхнизкой задержкой.
Юрий Костюкевич из Сколтеха рассказал как искать наркотики в канализациях московских школ с помощью хроматографии, как проводить масс-спектрометрию, почему ошибка в наркологическом анализе может оказаться фатальной.
ИТиС этого года отметили своим присутствием аж три руководителя ИППИ разных лет. Вчера нас навестил Андрей Соболевский. А прямо сейчас Михаил Гельфанд ведет вечер воспоминаний с Николаем Александровичем Кузнецовым, директором Института с 1990 по 2006 год. Вспоминаем как жил ИППИ в лихие 90-е, как в нулевые Институт едва не закрыли, как Гельфанд наотрез отказался брить бороду и прочее другое.
🔥13👍4❤2👏1
#ИТиС2023. День третий
Александр Мачихин из НТЦ УП РАН рассказал как акустооптическая спектроскопия помогает освещать храмы, о перспективной технологии мульти- и гиперспектральных сенсоров и о наших совместных работах в области воспроизведения цвета. Да-да, с НТЦ УП РАН мы товарищи не только понесчастью кадровым перестановкам, но и научные проекты вместе ведём.
Борис Орехов из ИРЛИ РАН объяснил зачем считать стихотворные размеры, и как искусственный интеллект и появление поэтического корпуса в составе НКРЯ открыли новые горизонты для стиховедения
Потом снова были стихи, а также сказки и не только на сесии минутных презентаций постеров. И, как всегда, самые мемные слайды у телекомщиков, самые театральные выступления у бионформатиков, легендарный Фаворов, показывающий диаграммы под драм-н-бейс, домик для Барби в России и многое другое. Вместо тысячи слов — несколько отрывков из презентаций⬇️
Александр Мачихин из НТЦ УП РАН рассказал как акустооптическая спектроскопия помогает освещать храмы, о перспективной технологии мульти- и гиперспектральных сенсоров и о наших совместных работах в области воспроизведения цвета. Да-да, с НТЦ УП РАН мы товарищи не только по
Борис Орехов из ИРЛИ РАН объяснил зачем считать стихотворные размеры, и как искусственный интеллект и появление поэтического корпуса в составе НКРЯ открыли новые горизонты для стиховедения
Потом снова были стихи, а также сказки и не только на сесии минутных презентаций постеров. И, как всегда, самые мемные слайды у телекомщиков, самые театральные выступления у бионформатиков, легендарный Фаворов, показывающий диаграммы под драм-н-бейс, домик для Барби в России и многое другое. Вместо тысячи слов — несколько отрывков из презентаций⬇️
❤13👍6