Вячеслав Шебанов — Системы типов в двух словах
История систем типов. Анализ текущего состояния языков. Взгляд в будущее системы типов. Лямбда-исчисление Черча. Лямбда-куб. Линейные типы.
HolyJS
Малые Академии. "Знакомство с алгоритмической теорией сложности"
Ведет: Кленин Александр Сергеевич, ст.преподаватель кафедры математического и компьютерного моделирования ШЕН, технический директор ...
Школьники ДВФУ
24/10/2020 Особенности разрушения и секреты механической обработки твердых тел
Лекция для школьников, прочитанная на химическом факультете МГУ в рамках проекта г. Москвы "Университетская суббота". Лектор: к.х.н., ведущий ...
Дистанционные курсы для абитуриентов Химфака МГУ
Building a self-service marketplace for Test Data (Dzmitry Humianiuk, Belarus) [RU]
Link to the slides: https://seleniumcamp.com/talk/building-a-self-service-marketplace-for-test-data/ With this talk i will sanctify Test Data Management process: ...
Selenium Camp
Scala Courses by Klika Tech, Class #4 (RU)
Занятие 4 План занятия: Functional programming What is function? Functional literal and Functional value Partially defined functions Eta-expansion Curring.
Klika Tech
#Mobile, Евгений Ёлчев, Функциональный Swift — это просто
Евгений Ёлчев RedMadRobot Функциональный Swift — это просто — ФП — это несложно; — Мы уже используем ФП и можем использовать ещё ...
CodeFest Russia
Платформа Azure IoT. Искусственный интеллект и граничные вычисления
Максим Хлупнов, технический директор Microsoft Technology Center, представил платформу Azure IoT, рассказал об облачных сервисах и решениях ...
Klinkmann/Wonderware Authorized Distributor
Geek Picnic 2019. 5 лекций в формате TED от студентов «Шухов Лаб»
Пять выступлений в формате TED от студентов «Шухов Лаб» — международной лаборатории экспериментального проектирования городов.
Высшая школа экономики
Курс «Музей = сцена. Как оживить коллекцию». Ула Сикл
Лекция "Хореография как выставка". На основе хореографической выставки «Свободные жесты». Темой выставки стал вопрос утраты ...
Институт театра
Оценка учебной готовности учащихся 5-х классов по формированию навыков смыслового чтения
Центр ОКО ИСРО РАО
Лекция 3 Сервис управления сетями Neutron
Продолжение цикла лекций про OpenStack, подготовленных экспертами "Сервионики" для Университета Иннополис.
РУСТЭК СБКлауд
2020-09-12 ЕНС Базы данных лекция 2
Chapters: 0:00 Регистрация 4:03 Разбор ДЗ 40:54 Демо работы в Sparks 1:02:04 Домашнее задание.
AntillarScience
АПИ Приборостроение
Арзамасское Доброе
Вахрушев А.А. Формирование элементарной целостной картины мира - задача предмета «Окружающий мир»
Формирование элементарной целостной картины мира - важнейшая задача предмета «Окружающий мир» Вахрушев Александр Александрович, ...
Издательство «БИНОМ. Лаборатория знаний»
Лекция 8: Принципы разработки параллельных методов
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/1021/284/lecture/7127 В лекции рассматриваются базовые принципы разработки ...
НОУ ИНТУИТ
О чем фантазируют младшие школьники? И зачем им это нужно? Мария Осорина.
Доклад «О чем фантазируют младшие школьники? И зачем им это нужно?». Мария Осорина. Подписка на рассылку Медиажурнала: ...
Психотерапия в России
Прогнозирование на финансовых рынках
В данном видео я решил показать как можно решать задачи прогнозирования на финансовых рынках с помощью Pyhton. В видео я рассказываю про ...
Ринат Юмасултанов
Инструментальные подходы к исследованию сознания человека
Понимание работы мозга – важнейшая задача современной науки. Разум и сознание – величайшие тайны человечества. Программа теоретических и ...
Институт перспективных исследований мозга МГУ
Идеи и образы из работы Флоренского "Пределы гносеологии". Часть 1
Научный семинар "Русская философия". Идеи и образы из работы Флоренского "Пределы гносеологии". Выступают: - Г.М. Джагарова (МГМСУ).
Библиотека-Музей Дом Лосева
Я.Аналитик
Может быть, вы на самом деле аналитик, но никогда об этом не догадывались? Оказывается, эта профессия требует уникальных людей, сочетающих в ...
Академия Яндекса
Вебинар: Решения MOXA для нефтегазовой промышленности
Программа вебинара: 06:48 - Структура нефтегазового рынка 09:22 - Фокусные объекты нефтегазовой отрасли 37:08 - Решения MOXA для UpStream ...
IPC2U
Кирилл Мокевнин - Ментальное программирование
http://2013.happydev.ru/report/10.html Качество кода в проекте напрямую влияет на его поддерживаемость, настроение команды и скорость ввода новых ...
HappyDev
Конференция EDCRUNCH 2019 | Технологии и образование, часть 4
EDCRUNCH 2019, forever young робототехника в Российском образовании.
APIK studio
1. Феномен культуры
Лекция 1. Феномен культуры. Курс: Культурология. Александров Владимир Борисович, д.ф.н., профессор.
СЗИУ РАНХиГС при Президенте РФ
Сесія 2. Системи екологічного моніторингу, прилади аналізу, обліку викидів в атмосферу
Запис 2-ї сесії Ділової програми Міжнародної виставки обладнання та технологій для поводження з муніципальними та промисловими викидами, ...
Business Forum
Kotlin / Everywhere - Showcase practice
ТЕХНОСТРИМ - образовательный канал для IT специалистов. ПОДПИСЫВАЙСЯ, ЕСЛИ ТЕБЕ ИНТЕРЕСНО УЗНАТЬ: ✓ как наши преподаватели ...
Технострим Mail.Ru Group
Как учить людей программированию и радоваться жизни / Илья Лебедев (devman.org)
Moscow Python Conf++ 2018 Зал «Большой зал» 22 октября, 17:00 Тезисы и презентация: https://conf.python.ru/2018/abstracts/4311 Лектор муторно ...
MoscowPython
Компьютерные технологии в медико — биологической практике 2 Галимянов Ф.А.
Факультет дизайна и программной инженерии КНИТУ