Технический обзор Oracle Sharding
Выступление Игоря Мельникова, главного консультанта Oracle СНГ, с докладом на CUSTIS Meetup: Russian Oracle User Group (11 октябр...
CUSTIS
Введение в Prolog. Факты, правила и вычисления
kgeorgiy's courses
Какая математика нужна лингвистам?
237-е занятие семинара «Некоторые применения математических методов в языкознании» под руководством М....
ОТиПЛ МГУ
Лекция 2: Методология создания нефтегазового портала
В лекции рассматривается общая схема методологии создания нефтегазового портала. Основное внимание уделя...
НОУ ИНТУИТ
012. Методы поиска ассоциативных правил — К.В. Воронцов
Курс "Машинное обучение" является одним из основных курсов Школы, поэтому он является обязательным для...
Компьютерные науки
Контрольная "Теория дискретных устройств" №7
Max Komogortsev
Лекция 15: Метапрограммирование
Метапрограммирование. Вывод с ограничением по глубине (в ширину). Трассировка запросов. Искусственный инте...
НОУ ИНТУИТ
026. Малый ШАД - Как и что понимает компьютер, читая тексты? - Анатолий Старостин
Анатолий Старостин, ABBYY. Руководитель группы исследования технологий извлечения информации. В мире существ...
Для школьников
Дедукция 6. Формальные символические языки
Даётся пример построения формального языка на примере языка логики суждений. Выделяются основные этапы...
вячеслав моисеев
Просто о сложном, сложно о простом. Что такое корректность программ. Вадим Винник
Все мы видели в программах дефекты. Возможно, кому-то посчастливилось хоть раз подержать в руках программу...
comaqa
Философия Вл.Соловьева как новое учение о многообразии. Часть 1
Пленарный доклад на научной конференции, посвящённой 165-летию В.С.Соловьёва и 20-летию соловьёвского семинар...
вячеслав моисеев
Учебный курс QPT. Тема 11: Приемы оптимизации
PostgreSQL 10. Оптимизация запросов. Тема 11: Приемы оптимизации подробнее: https://postgrespro.ru/education/courses/QPT Авторы курса:...
Postgres Professional
Владимир Кошелев — На что способны современные статические анализаторы для C#
Владимир Кошелев рассказывает про возможности статического анализа языка C#. Доклад со встречи http://spbdotnet.org.
Дмитрий Нестерук
Моделирование атак: искусственный интеллект против естественных ошибок (Евгений Тумоян)
В докладе рассматриваются моделирование атак и преимущества, которые оно может дать при оценке безопаснос...
Positive Technologies
01. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ SILL ДЛЯ СИСТЕМ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА
Силлогистика – раздел логики, который должен быть основой диалоговых систем искусственного интеллекта...
Владислав Масликов
Формальная верификация кода на языке Си
Доклад посвящен разработке корректного программного обеспечения с применением одного из видов статическо...
Positive Technologies
Сергей Кочубей - Сегментация пользователей как инструмент роста показателей
Сергей Кочубей Director of Analytics department Murka Рассмотрим методы сегментации пользователей на основании их игрового...
Games Gathering
Логический кружок 9. Сознание и мышление
Предполагается исследовать феномен мышления и логики в рамках математической феноменологии, когда строят...
вячеслав моисеев
НЕЙРОСЕТИ И ИНВЕРСНЫЙ ИНДЕКС ДЛЯ ЧАТБОТОВ (Сербул Александр)
Василий Айтипиплов
Илья Мещерин: Теорема Чёрча
В Кочерге продолжается цикл семинаров по теории алгоритмов — науке, которая является свзующим звеном межд...
Кочерга
Р.В. Шамин. Лекция № 11 Data Mining и решающие деревья
Курс "Машинное обучение и искусственный интеллект в математике и приложениях", читаемый в Математическом...
Roman Shamin
КИИ-2002. В.К.Финн, М.А.Михеенкова
Восьмая национальная конференция по искусственному интеллекту КИИ-2002 Коломна, 7-12 октября 2002 года. В.К.Финн...
Valery Karpov
Александр Чичигин. В ПОИСКАХ КОРРЕКТНЫХ ТРАНСФОРМАЦИЙ
Доклад для бывалых функциональных программистов, заинтересованных в формальной верификации программ....
Fp Conf
Риторика. Урок 10. Риторика в контексте философского знания. Специфика теории аргументации
Риторика в современной коммуникации. Максим Лебедев. Образование для всех. Первый образовательный канал....
Образование для всех
Лекция 1 | Онтология и представление знаний | Борис Конев | Лекториум
Лекция 1 | Курс: Онтология и представление знаний | Лектор: Борис Конев | Организатор: Computer Science клуб при ПОМИ...
Лекториум
Черноскутов Ю.Ю. Логическое и математическое знание ...
Черноскутов Ю.Ю. Логическое и математическое знание в ранних работах Э. Гуссерля Конференция «Логико-лингв...
Виктор Горбатов
[Коллоквиум]: Математические методы анализа МЭГ-измерений межсудорожной активности мозга
Докладчик: Алексей Осадчий, НИУ ВШЭ Современная технология магнитоэнцефалографии (МЭГ) позволяет неинвази...
ФКН ВШЭ
Моделирование атак, вычисление метрик защищенности и визуализация в перспективных SIEM-системах
В докладе Игоря Котенко рассмотрены современные исследования и разработки в области SIEM. Предложен новый...
Positive Technologies
Методы формализации знаний Неформализуемые знания
Когда компания только приступает к созданию систему управления знаниями в компании, возникает вопрос о...
Cotraco Group
Курс "Машинное обучение в R, Python и H2O". Модуль 1. Предподготовка данных (10-я лекция)
II. Знакомство с Python II.7. scikit-learn II.7.6. Наиболее часто используемые классы и функции II.7.6.8. Написание собственн...
RC Gewissta
Функции-леммы в среде Frama-C — использование С программ как доказательств
http://0x1.tv/20181122AE Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков,...
Stas Fomin
Neuroinformatics - 2019 - Л. Станкевич
Когнитивные диалоговые системы.
All-Russian Conference on Neuroinformatics
Лекция 2 | Верификация параллельных и распределенных программных систем | Юрий Карпов | Лекториум
Лекция 2 | Курс: Верификация параллельных и распределенных программных систем | Лектор: Юрий Карпов | Организ...
Лекториум
Методы теории графов для использование «слабого» знания Александр Трусов (IBM)
Социальные сети, блогосфера и корпоративный интранет являются примерами техно-социальных систем. Структур...
Tatiana Lando
08 Углубленное программирование на C++
https://stepik.org/153 Лектор: Алексей Петров.
Владимир Кириенко
Вебинар: Защита организации с помощью платформы Fidelis Elevate от 24.09.2019
Смотрите прямо сейчас и узнаете все о защите организации от злоумышленников с помощью платформы Fidelis Elevate....
Oberig IT
Блок консультаций к экзамену в магистратуру на кафедру "Автоматизация и робототехника"
Официальный канал ОмГТУ
Покрытие кода. Прагматичный подход.
Измерили покрытие кода – что дальше? Поднимать покрытие? Нужно ли? Если да – что покрывать сначала? С практи...
jeeconf
Логический кружок 2. История логики
Второе заседание логического кружка в Доме Лосева 17 мая 2017 г. Тема: "Логика как наука. История логики". Формал...
вячеслав моисеев
Лекция 8. Нечеткие экспертные системы
Artem Denisov
AIML-2-2-5 Доказательство теорем
Смотрите другие видео этого курса, выполняйте упражнения и изучайте интеллектуальные системы и машинное...
Artificial Intelligence and Machine Learning
Инструменты автоматизации тестирования дефективные
Vladislav Orlikov