ИСТИНА

• Охват: Локальная
• Даты проведения: 21-28 октября 2020
• Место проведения: МГУ имени М.В. Ломоносова, Россия
• Организаторы:
  МГУ имени М.В. Ломоносова, Механико-математический факультет
  МГУ имени М.В. Ломоносова, Механико-математический факультет
  МГУ имени М.В. Ломоносова
  МГУ имени М.В. Ломоносова, Механико-математический факультет
• Число участников: 200
• Число участников из МГУ: 200
• Число докладчиков: 200
• Веб-сайт: https://www.msu.ru/science/lom-read/
• Описание конференции:

  Ежегодная научная конференция «Ломоносовские чтения», секция «Математики»

• Добавил в систему: Рыжов Александр Павлович

Доклады:

• 2020 "Промышленная безопасность как основной элемент устойчивого развития российской Арктики" (Пленарный)
• Авторы: Никоноров С.М., Уткина Е.Э.

• 2020 Les réalisations des liaisons dans la lecture oralisée en français L1 et L2 (Устный)
• Автор: Ратникова Е.И.

• 2020 Адаптация архитектуры YOLOv3 для выполнения на мобильном вычислителе в реальном времени (Устный)
• Автор: Половников В.С.

• 2020 Алгоритмы оптимизации свёртки тензорных сетей для симуляции квантовых схем (Устный)
• Авторы: Калачёв Г.В., Пантелеев П.А.

• 2020 Асимптотика вероятности вырожденности {±1}-матриц. (Устный)
• Автор: Ирматов А.А.

• 2020 Асимптотика роста функции шенноновского типа сложности вычисления систем одночленов (Устный)
• Авторы: Кочергин В.В., Корнеев С.А.

• 2020 Асимптотика числа пороговых функций k-значной логики. (Устный)
• Автор: Ирматов А.А.

• 2020 Бинарный ранг графа и вложимость 4-графов с крестовой структурой в поверхности (Устный)
• Авторы: Ильютко Д.П., Безгодова С.Ю.

• 2020 Большие уклонение для случайных блужданий в возмущенной среде (Устный)
• Авторы: Бакай Г.А., Воробьева Н.Д.

• 2020 Большие уклонения максимальных ветвящихся процессов (Устный)
• Авторы: Шкляев А.В., Егорова И.А.

• 2020 Введение в теорию автоматов (Устный)
• Авторы: Кудрявцев В.Б., Алешин С.В., Подколзин А.С.

• 2020 Верификация функциональных программ методом построения диаграмм состояний (Устный)
• Автор: Миронов А.М.

• 2020 Двухстадийное декодирование помехоустойчивых LDPC кодов с целью понижения уровня error floor (Устный)
• Автор: Шуткин Ю.С.

• 2020 Действие групп перестановок на парах точек и функции Белого с рациональными коэффициентами (Устный)
• Автор: Адрианов Н.М.

• 2020 Децентрализованная схема защищенного создания и хранения баз данных. (Устный)
• Автор: Черепнев М.А.

• 2020 Инварианты Жордана-Кронекера и наборы в биинволюции для полупрямых сумм алгебр Ли gl и sl (Устный)
• Автор: Ворушилов К.С.

• 2020 Использование линейной структурной подсветки для восстановления трехмерных тел (Устный)
• Авторы: Алексеев Д.В., Половников В.С., Лашкия В.Д.

• 2020 Коды изображений, инвариантные к аффинным преобразованиям (Устный)
• Авторы: Кудрявцев В.Б., Козлов В.Н.

• 2020 Критерий корректности интуиционистской логики относительно обобщенной реализуемости (Устный)
• Автор: Коновалов А.Ю.

• 2020 Линейная сходимость градиентно-согласованных методов для решения задач безусловной минимизации. (Устный)
• Авторы: Чернова Ю.Г., Чернов А.В.

• 2020 Матричные представления некоторых групп, родственных группам G_n^3, и динамические системы (Устный)
• Автор: Федосеев Д.А.

• 2020 Модальные логики с оператором транзитивного замыкания (Устный)
• Авторы: Золин Евгений Евгеньевич, Кикоть Станислав, Шапировский Илья

• 2020 Моделирование аэродинамики крыла клеточными автоматами (Устный)
• Авторы: Гасанов Э.Э., Гордеева А.С.

• 2020 Мотивы изучения английского языка студентами-регионоведами как основа формирования программы курса (Устный)
• Авторы: Карелина Н.А., Смирнова Г.Е.

• 2020 Нейросетевой анализ схожести входных данных (Устный)
• Авторы: Миронов А.М., Савушкин А.С.

• 2020 Необходимые и достаточные условия существования изображения с заданным кодом (Устный)
• Автор: Алексеев Д.В.

• 2020 Нижняя оценка кодового расстояния в одном классе квантовых LDPC кодов (Устный)
• Авторы: Калачёв Г.В., Пантелеев П.А.

• 2020 Новейшая практика информационных операций (на примере Венесуэлы) (Устный)
• Автор: Манойло А.В.

• 2020 О классах автоматов с операцией суперпозиции, расширяющихся до максимальных. (Устный)
• Автор: Бабин Д.Н.

• 2020 О классах автоматов с операцией суперпозиции, расширяющихся до максимальных. (Устный)
• Автор: Бабин Д.Н.

• 2020 О критерии минимального логарифмического темпа роста в новой формулировке (Устный)
• Авторы: Комков С.А., Часовских А.А.

• 2020 О методах решения словарных зависимостей (Устный)
• Автор: Дергач П.С.

• 2020 О модальных логиках деревьев (Устный)
• Автор: Шехтман Валентин Борисович

• 2020 О немонотонной сложности функций k-значной логики (Устный)
• Авторы: Кочергин В.В., Михайлович А.В.

• 2020 О новом алгоритме достижения консенсуса в криптовалютах (Устный)
• Авторы: Гасанов Э.Э., Суюнбекова М.Б.

• 2020 О подпространствах малой комбинаторной размерности на вершинах булева куба. (Устный)
• Автор: Ирматов А.А.

• 2020 О применении алгоритмов обработки больших данных в задаче прогнозирования риска неблагоприятного клинического исхода (Устный)
• Авторы: Кудрявцев В.Б., Концева А.В., Рыжов А.П., Гаврилова Н.Е., Строгалов А.С., Горный Б.Э.

• 2020 О распознавании кодов булевых функций из классов Поста. (Устный)
• Авторы: Бабин Д.Н., Нужков Н.Ю.

• 2020 О свойствах дискретных функций с связи с построением латинских квадратов (Устный)
• Авторы: Галатенко А.В., Носов В.А., Панкратьев А.Е.

• 2020 О свойствах линейных автоматов над произвольным полем. (Устный)
• Авторы: Бабин Д.Н., Муравьёв Н.В.

• 2020 О скорости роста числа единиц в эволюции линейного клеточного автомата rule-150 из произвольной начальной конфигурации (Устный)
• Авторы: Калачёв Г.В., Пантелеев П.А.

• 2020 О сложности некоторых вычислений схемами с ограниченной памятью (Устный)
• Авторы: Кочергин В.В., Медведев Д.С.

• 2020 О сложности укладки СФЭ на многомерные решётки (Устный)
• Авторы: Калачёв Г.В., Сытдыков Т.Р.

• 2020 О сценариях использования гибридного интеллекта в индустрии моды. (Устный)
• Авторы: Рыжова А.П., Голуб А.В., Огородников Н.М.

• 2020 О сценариях использования гибридного интеллекта в индустрии моды. (Устный)
• Авторы: Рыжова А.П., Голуб А.В., Огородников Н.М.

• 2020 О теореме Джоу на классах простых, линейных и взвешенных игр. (Устный)
• Авторы: Ирматов А.А., Ватфа Д.Ю.

• 2020 О характеризации неразрешимых суперинтуиционистских исчислений (Устный)
• Автор: Боков Г.В.

• 2020 ОБОСНОВАНИЕ ВЫБОРА КОНСТРУКЦИИ РОБОТИЗИРОВАННОЙ ПЛАТФОРМЫ ДЛЯ ПОДВОДНЫХ ИССЛЕДОВАНИЙ (Устный)
• Авторы: Гришин И.Ю., Тимиргалеева Р.Р., Домченко М.Н.

• 2020 Об удлинении периода последовательностей автоматами с магазинной памятью, одним состоянием и однобуквенным магазином (Устный)
• Авторы: Бабин Д.Н., Иванов И.Е.

• 2020 Особенности нового курса дистанционного обучения «Математика в средней школе» (Устный)
• Автор: Шивринская Е.В.

• 2020 Оценка критериальной длины кода для свойства линейности реализуемости переходных систем. (Устный)
• Автор: Родин С.Б.

• 2020 Оценки числа решений при восстановлении переходов группового автомата по его графу. (Устный)
• Авторы: Бабин Д.Н., Ищенко Р.А.

• 2020 Повседневность Петрограда в годы начала Гражданской войны глазами интеллигенции (на примере дневников Н.Б. Никольского). (Устный)
• Автор: Шимбирёва О.А.

• 2020 Повышение точности аэрогравиметра GT-2A в съемках с облетом рельефа при помощи моделей силы тяжести на основе В-сплайнов (Устный)
• Автор: Вязьмин В.С.

• 2020 Поиск решений де Ситтера и анализ их стабильности в моделях с Гаусс-Бонне членом (Устный)
• Авторы: Поздеева Е.О., Вернов С.Ю.

• 2020 Построение кратчайших путей клеточными автоматами с локаторами (Устный)
• Авторы: Гасанов Э.Э., Пропажин А.А.

• 2020 Построение моделей F(R)-гравитации с точными космологическими решениями (Устный)
• Авторы: Вернов С.Ю., Иванов В.Р., Поздеева Е.О.

• 2020 Предельные теоремы для двуполых ветвящихся процессов с Y-хромосомой (Устный)
• Авторы: Шкляев А.В., Жиянов А.П.

• 2020 Применение Process Mining в решении задач цифровой трансформации (Устный)
• Авторы: Главацкий С.Т., Бурыкин И.Г.

• 2020 Распределенный алгоритм поиска преследующих траекторий (Устный)
• Авторы: Соколов А.П., Алисейчик П.А., Моисеев С.В.

• 2020 Расшифровка булевых функций с фиксированным количеством единиц запросами на сравнение (Устный)
• Авторы: Быстрыгова А.В., Гасанов Э.Э.

• 2020 Свойства линейно реализуемых отображений на n-элементных множествах. (Устный)
• Автор: Родин С.Б.

• 2020 Связные суммы линзовых пространств как изоэнергетические многообразия биллиардных книжек. (Устный)
• Автор: Ведюшкина В.В.

• 2020 Синтез колонии жуков с линейным ростом численности (Устный)
• Авторы: Гасанов Э.Э., Воротников А.С.

• 2020 Следствия пертурбативной унитарности для расширенного хиггсовского сектора МССМ (Устный)
• Авторы: Дубинин М.Н., Федотова Е.Ю.

• 2020 Топология вырожденных особенностей системы Ковалевской (Устный)
• Автор: Кибкало В.А.

• 2020 Условия А-полноты в алгебре линейных автоматов над кольцом двоично-рациональных чисел (Устный)
• Авторы: Ронжин Д.В., Часовских А.А.

• 2020 Формальные методы верификации протоколов консенсуса семейства Paxos (Устный)
• Автор: Садыков Р Ф Миронов А.М

• 2020 Формальные методы верификации протоколов консенсуса семейства Paxos (Устный)
• Авторы: Миронов А.М., Садыков Р.Ф.

• 2020 Характеристический многочлен для пучка гиперплоскостей цепей графа в случае дерева. (Устный)
• Авторы: Ирматов А.А., Болотников А.И.