проф. Панов Е.Ю. Выступление на математической конференции. ДГТУ. 26 апреля-1 мая 2015 г.
Лекция профессора Панова Евгения Юрьевича -- "On transport equations with rough coefficients" V Международная конференция "Современные методы ...
Лаборатория мультимедиа ЮГИНФО ЮФУ
Лекция 9. Г.Г. Амосов. Нестандартные квантовые динамические полугруппы
Лекционные курсы Научно-образовательного центра МИАН Курс Г. Г. Амосова "Квантовая информатика и квантовая динамика" Лекция 9.
МЦМУ МИАН
«Тестируем логические функции, или Как мне пригодились линзы и категории (user story)»
Докладчик: Арсений Жижелев, ведущий Scala-разработчик, архитектор, директор Праймтолк. Вакансии в DataArt: http://dataart.ua/career Facebook: ...
DataArt Online
А.С. Холево. Гауссовские оптимизаторы и проблема аддитивности в квантовой теории информации
15 октября 2015 г. 16:00, Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова РАН ...
МЦМУ МИАН
Лекция 7. Р.В. Шамин. Интерполяция гильбертовых пространств I
Лекционные курсы Научно-образовательного центра МИАН Полугруппы операторов и интерполяция пространств Лекция 7. Р.В. Шамин. Интерполяция ...
МЦМУ МИАН
Время, хаос и математические проблемы
МГУ имени М.В.Ломоносова
А.М. Степин, С.В. Тихонов. Динамические системы и группы преобразований
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 20 февраля ...
МЦМУ МИАН
Сакбаев В.Ж. "Случайные полугруппы и закон больших чисел"
Optimization and Statistics in MIPT
Курс программирования на Scala. Лекция 3, часть 2: Большое задание. View. Монады
Курс программирования на языке Scala, 2020. Третья лекция, вторая часть: большое задание, view, монады. Первая часть: ...
Максим Валянский о программировании
[SPb Scala Meetup 2017.2] Вычисление на уровне типов в Scala
Компилятор Scala позволяет производить произвольные вычисления на уровне типов. Во время доклада мы разберёмся с основными принципами ...
Scala Russia
[Открытые лекции]: Эквивалентность ресурсов в сетях Петри
Ирина Ломазова, профессор департамента программной инженерии Сети Петри – удобный, наглядный, и в то же время математически строгий ...
ФКН ВШЭ
В.Ж. Сакбаев. Случайные операторы и квантовая механика
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 21 ноября 2019 г ...
МЦМУ МИАН
Юрий Сыровецкий и Николай Логинов. CRDT — КОРРЕКТНО РАСПРЕДЕЛЁННЫЕ ДАННЫЕ НА HASKELL
CRDT — инструмент надёжного хранения и синхронизации данных в распределённых системах. Конечно же, эту модель надо реализовать на самом ...
Fp Conf
Выявление опорных точек для закупки NUGT. APOL - хорошая идея. 15.12.2016
Онлайн обучение по торговле американского рынка акций, каждый вторник и четверг. Полезные ссылки: Сайт проекта и доступ на рынок акций с ...
R Trader - Multi asset platform
Конечные представления редуктов представимых алгебр отношений. Даниил Рогозин (29.10.2020)
Алгебры отношений (RA) — это разновидность булевых алгебр с операторами, предлагающая алгебраизацию бинарных отношений [Tarski 1944].
Кафедра матем. логики
Вспоминая А. А. Маркова
ПОМИ РАН
2020.05.19 — А.С. Морозов
Мероприятие: Петербургский логический семинар Докладчик: А.С. Морозов (ИМ СО РАН) Название: О $\Sigma$-определимых структурах в HF(R) [19 ...
Logicarium