Verifying Specifications with Proof Scores in CafeOBJ | Kokichi Futatsugi | Лекториум

Verifying Specifications with Proof Scores in CafeOBJ | Курс: Computer Science семинар (Весна 2012) | Лектор: Kokichi Futatsugi | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13698 Verifying specifications is still one of the most important undeveloped topics in software engineering. It is important because quite a few critical bugs are caused at the…

Информатика, информационные технологии и программирование

Violence Risk Management: From Research to Effective Practice | David Cooke | ПсихФак СПбГУ

Violence Risk Management: From Research to Effective Practice | Курс: Актуальные проблемы юридической психологии. Потерпевшие и свидетели: от научных исследований к эффективной практике | Лектор: David Cooke | Организатор: СПбГУ Факультет психологии Смотрите это видео на Лекториуме:…

Психология

Virasoro on the lattice: Volterra, Toda–2, and q–Toda | Olivier Babelon | EIMI | Лекториум

Virasoro on the lattice: Volterra, Toda–2, and q–Toda | Курс: Mathematical Physics: Past, Present and Future | Лектор: Olivier Babelon | Организатор: Международный математический институт им. Л. Эйлера Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/23226 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Virtues of multivalued algebraic operations

Virtues of multivalued algebraic operations | Лектор: Viro | Организатор: Санкт-Петербургский Государственный Университет (СПбГУ), Международный математический институт им. Л. Эйлера

Математика

Vision ex machina: история про/зрения роботов | Сергей Гросс | Лекториум

Vision ex machina: история про/зрения роботов | Лектор: Сергей Гросс | Курс: Парсек 2017 | Организатор: Старкон Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/31039 Больше видео с Парсека 2017: https://www.lektorium.tv/conference/30884 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

История

Vladimir Abramovich Rokhlin and algebraic topology | Victor Buchstaber | Лекториум

Vladimir Abramovich Rokhlin and algebraic topology | Автор: Victor Buchstaber | Курс: Topology, Geometry, and Dynamics: Rokhlin – 100 | Организаторы: Конференция International Conference of Topology, Geometry, and Dynamics: Rokhlin – 100 Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/34798 Смотрите другие видео курса на Лекториуме: …

Математика

Vladimir Abramovich Rokhlin and the topology of real algebraic varieties | Oleg Viro | Лекториум

Vladimir Abramovich Rokhlin and the topology of real algebraic varieties | Автор: Oleg Viro | Курс: Topology, Geometry, and Dynamics: Rokhlin – 100 | Организаторы: Конференция International Conference of Topology, Geometry, and Dynamics: Rokhlin – 100 Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/34799 Смотрите другие видео курса на Лекториуме: …

Математика

Volunteers networks under Disaster Conditions in Russia | Научная конференция ВДНХ-7 | Лекториум

Volunteers networks under Disaster Conditions in Russia | Курс: Научная конференция ВДНХ-7 | Лектор: Olga Usacheva | Организатор: Европейский университет в Санкт-Петербурге Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14924 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Социология

Vowel reduction in Lower Luga Ingrian: scientific description and ''folk'' perception | Лекториум

Vowel reduction in Lower Luga Ingrian: scientific description and ''folk'' perception | Курс: Народная лингвистика: взгляд носителей языка на язык (''Folk Linguistics'': Language from Speakers' Perspective) | Лектор: Кузнецова Н. В. | Организатор: Европейский университет в Санкт-Петербурге Смотрите это видео на…

Лингвистика

VR: инструмент познания современного мира

Сквозные и информационные технологии

Weak dependence | Paul Doukhan | Лекториум

Weak dependence | Лектор: Paul Doukhan | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/24316 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Математика

Weight structures and comotives the corresponding filtrations and spectral sequences

Weight structures and comotives the corresponding filtrations and spectral sequences | Лектор: Mikhail Bondarko | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/14670 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

What does STS mean for business and technological development? Part 1 | Семинар STS | Лекториум

Лекция: What does STS mean for business and technological development? | Семинар Science and Technology Studies | Лектор: Steve Woolgar | Организатор: Европейский университет в Санкт-Петербурге Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/13499 Другие лекции по семинару "Science and Technology Studies" доступны для просмотра по…

Экономика

What does STS mean for business and technological development? Part 2 | Семинар STS | Лекториум

Лекция: What does STS mean for business and technological development? Part 2 | Семинар Science and Technology Studies | Лектор: Елена Симакова | Организатор: Европейский университет в Санкт-Петербурге Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13498 Другие лекции по семинару "Science and Technology Studies" доступны для…

What does STS mean for russia? Part 1 | Семинар STS | Лекториум

Лекция: What does STS mean for russia? Part 1 | Семинар Science and Technology Studies | Лектор: Артём Морозов | Организатор: Европейский университет в Санкт-Петербурге Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13500 Другие лекции по семинару "Science and Technology Studies" доступны для просмотра по ссылке:…

What does STS mean for russia? Part 2 | Семинар STS | Лекториум

Лекция: What does STS mean for russia? Part 2 | Семинар Science and Technology Studies | Лектор: Олег Хархордин | Организатор: Европейский университет в Санкт-Петербурге Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13501 Другие лекции по семинару "Science and Technology Studies" доступны для просмотра по ссылке:…

What is a cosmic galois group | P. Cartier | Лекториум

What is a cosmic galois group | Лектор: P. Cartier | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14729 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Математика

What it's like to study at NRNU MEPhI

Физика

What STS taught us about products and markets that financial engineers should have known | STS

Лекция: What STS taught us about products and markets that financial engineers should have known | Семинар Science and Technology Studies | Лектор: Vincent Lepinay | Организатор: Европейский университет в Санкт-Петербурге Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13487 Другие лекции по семинару "Science and Technology Studies" доступны…

What we think about self-dual Yang-Mills theory? | Alexei Rosly | Лекториум

What we think about self-dual Yang-Mills theory? | Лектор: Alexei Rosly | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14707 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Математика