информатика и вычислительная техника
Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации семантики языков программирования (операционная и аксиомати…
Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации семантики языков программирования (операционная и аксиомати…
Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО).
В «Дополнительных темах» излагаются различные вопросы машинного …
Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО).
В «Дополнительных темах» излагаются различные вопросы машинного …
Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО).
В «Дополнительных темах» излагаются различные вопросы машинного …
Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО).
В «Дополнительных темах» излагаются различные вопросы машинного …
Книга описывает, как работают нейронные сети, с математической точки зрения и предлагает оценивать успех нейронных сетей не методом проб и ошибок, а путем четкого математического анализа. Современные идеи глубокого обучения представлены с опорой на к…
Книга описывает, как работают нейронные сети, с математической точки зрения и предлагает оценивать успех нейронных сетей не методом проб и ошибок, а путем четкого математического анализа. Современные идеи глубокого обучения представлены с опорой на к…
Графовые нейронные сети стали одной из самых интересных архитектур в глубоком обучении. Технологические компании теперь пытаются применить их повсюду: в системах рекомендаций еды, видео и поиска романтических партнеров, для выявления фейковых новосте…
Графовые нейронные сети стали одной из самых интересных архитектур в глубоком обучении. Технологические компании теперь пытаются применить их повсюду: в системах рекомендаций еды, видео и поиска романтических партнеров, для выявления фейковых новосте…
В книге подробно рассказано, как можно улучшить бизнес-процессы компании с помощью методов искусственного интеллекта, а также использовать их в сочетании с традиционными подходами к аналитике и оптимизации. Рассмотрены основные концепции автоматизаци…
В книге подробно рассказано, как можно улучшить бизнес-процессы компании с помощью методов искусственного интеллекта, а также использовать их в сочетании с традиционными подходами к аналитике и оптимизации. Рассмотрены основные концепции автоматизаци…
Учебник содержит материалы, необходимые для подготовки к демонстрационному экзамену по компетенции «Программные решения для бизнеса» и защите выпускной квалификационной работы по специальности 09.02.07 «Информационные системы и программирование» по н…
Учебник содержит материалы, необходимые для подготовки к демонстрационному экзамену по компетенции «Программные решения для бизнеса» и защите выпускной квалификационной работы по специальности 09.02.07 «Информационные системы и программирование» по н…
Освещаются современные технологии промышленной автоматизации — вопросы применения в системах АСУТП промышленных компьютеров и контроллеров, особенности разработки их программного обеспечения. Рассматриваются подходы к созданию распределенных систем у…
Освещаются современные технологии промышленной автоматизации — вопросы применения в системах АСУТП промышленных компьютеров и контроллеров, особенности разработки их программного обеспечения. Рассматриваются подходы к созданию распределенных систем у…
В учебном пособии даны практические советы по применению профессиональной программы Autodesk 3D Studio Max и визуализаторов VRay и Corona Renderer для работы с проектной графикой в художественных и дизайнерских вузах. Рассмотрены вопросы проектирован…
В учебном пособии даны практические советы по применению профессиональной программы Autodesk 3D Studio Max и визуализаторов VRay и Corona Renderer для работы с проектной графикой в художественных и дизайнерских вузах. Рассмотрены вопросы проектирован…
В учебном пособии даны практические советы по применению профессиональной программы Autodesk 3D Studio Max и визуализаторов VRay и Corona Renderer для работы с проектной графикой в художественных и дизайнерских учебных заведениях. Рассмотрены вопросы…
В учебном пособии даны практические советы по применению профессиональной программы Autodesk 3D Studio Max и визуализаторов VRay и Corona Renderer для работы с проектной графикой в художественных и дизайнерских учебных заведениях. Рассмотрены вопросы…
Данная книга предлагает углубленное изучение конформного прогнозирования – новейшего подхода, позволяющего получить количественную оценку неопределенности, необходимую для принятия уверенных и надежных решений в различных задачах машинного обучения. …
Данная книга предлагает углубленное изучение конформного прогнозирования – новейшего подхода, позволяющего получить количественную оценку неопределенности, необходимую для принятия уверенных и надежных решений в различных задачах машинного обучения. …
Данная книга раскроет весь потенциал Kubernetes – самой популярной платформы оркестровки контейнеров в мире. Вы узнаете, как можно использовать Kubernetes для создания надежной, масштабируемой и отказоустойчивой микросервисной архитектуры. Подробно р…
Данная книга раскроет весь потенциал Kubernetes – самой популярной платформы оркестровки контейнеров в мире. Вы узнаете, как можно использовать Kubernetes для создания надежной, масштабируемой и отказоустойчивой микросервисной архитектуры. Подробно р…
По мере того как классические цифровые компьютеры приближаются к своим физическим и архитектурным границам, стремительно растет интерес к аналоговым и гибридным вычислениям. Такие компьютеры могут превосходить классические цифровые по скорости работы…
По мере того как классические цифровые компьютеры приближаются к своим физическим и архитектурным границам, стремительно растет интерес к аналоговым и гибридным вычислениям. Такие компьютеры могут превосходить классические цифровые по скорости работы…
В книге рассказывается о «проблеме остановки», пожалуй, самой знаменитой неразрешимой проблеме: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа? Проблема остановки «кроется» во многих предме…
В книге рассказывается о «проблеме остановки», пожалуй, самой знаменитой неразрешимой проблеме: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа? Проблема остановки «кроется» во многих предме…
Стандартные алгоритмы и структуры при применении к крупным распределенным наборам данных могут становиться медленными – или вообще не работать. Правильный подбор алгоритмов, предназначенных для работы с большими данными, экономит время, повышает точн…
Стандартные алгоритмы и структуры при применении к крупным распределенным наборам данных могут становиться медленными – или вообще не работать. Правильный подбор алгоритмов, предназначенных для работы с большими данными, экономит время, повышает точн…
Новый этап в области компьютерных технологий часто называют очередной «весной искусственного интеллекта». Её начало обычно отсчитывают с момента появления нейронной сети, сегодня известной под названием AlexNet, успех которой в распознавании зрительн…
Новый этап в области компьютерных технологий часто называют очередной «весной искусственного интеллекта». Её начало обычно отсчитывают с момента появления нейронной сети, сегодня известной под названием AlexNet, успех которой в распознавании зрительн…
Книга рассказывает об архитектурных принципах, на которых базируются все современные системы управления базами данных, а также об алгоритмах и структурах данных, которые в них используются. Особое внимание уделено сравнению реализаций одних и тех же …
Книга рассказывает об архитектурных принципах, на которых базируются все современные системы управления базами данных, а также об алгоритмах и структурах данных, которые в них используются. Особое внимание уделено сравнению реализаций одних и тех же …
В этом руководстве содержатся основные сведения об алгоритмах: анализируются различные типы алгоритмов, рассматриваются методы их построения (рекурсия, динамическое программирование и др.), приводятся практические примеры. В конце каждой главы привод…
В этом руководстве содержатся основные сведения об алгоритмах: анализируются различные типы алгоритмов, рассматриваются методы их построения (рекурсия, динамическое программирование и др.), приводятся практические примеры. В конце каждой главы привод…
Книга посвящена причинно-следственным выводам, особенно выводам, сделанным на основе наблюдений. Первая часть посвящена концепциям причинности с точки зрения наблюдаемого эффекта. Во второй части большое внимание уделяется процессам генерации данных …
Книга посвящена причинно-следственным выводам, особенно выводам, сделанным на основе наблюдений. Первая часть посвящена концепциям причинности с точки зрения наблюдаемого эффекта. Во второй части большое внимание уделяется процессам генерации данных …
Учебное пособие посвящено современным методам анализа данных и машинного обучения, применяемым для решения прикладных задач в научной и аналитической практике. Последовательно рассматриваются основы работы с данными в среде Python, включая библиотеки…
Учебное пособие посвящено современным методам анализа данных и машинного обучения, применяемым для решения прикладных задач в научной и аналитической практике. Последовательно рассматриваются основы работы с данными в среде Python, включая библиотеки…