Информатика и вычислительная техника

В книге охвачены все концепции, необходимые для интуитивного понимания работы глубоких нейронных сетей, включая тензоры, расширенные операторы, алгоритмы градиентного спуска, искусственные нейрон…

Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации сема…

Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО). В «Дополн…

Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО). В «Дополн…

Книга описывает, как работают нейронные сети, с математической точки зрения и предлагает оценивать успех нейронных сетей не методом проб и ошибок, а путем четкого математического анализа. Совреме…

Графовые нейронные сети стали одной из самых интересных архитектур в глубоком обучении. Технологические компании теперь пытаются применить их повсюду: в системах рекомендаций еды, видео и поиска …

В книге подробно рассказано, как можно улучшить бизнес-процессы компании с помощью методов искусственного интеллекта, а также использовать их в сочетании с традиционными подходами к аналитике и о…

Учебник содержит материалы, необходимые для подготовки к демонстрационному экзамену по компетенции «Программные решения для бизнеса» и защите выпускной квалификационной работы по специальности 09…

Освещаются современные технологии промышленной автоматизации — вопросы применения в системах АСУТП промышленных компьютеров и контроллеров, особенности разработки их программного обеспечения. Рас…

В учебном пособии даны практические советы по применению профессиональной программы Autodesk 3D Studio Max и визуализаторов VRay и Corona Renderer для работы с проектной графикой в художественных…

В учебном пособии даны практические советы по применению профессиональной программы Autodesk 3D Studio Max и визуализаторов VRay и Corona Renderer для работы с проектной графикой в художественных…

Данная книга предлагает углубленное изучение конформного прогнозирования – новейшего подхода, позволяющего получить количественную оценку неопределенности, необходимую для принятия уверенных и на…

Данная книга раскроет весь потенциал Kubernetes – самой популярной платформы оркестровки контейнеров в мире. Вы узнаете, как можно использовать Kubernetes для создания надежной, масштабируемой и …

По мере того как классические цифровые компьютеры приближаются к своим физическим и архитектурным границам, стремительно растет интерес к аналоговым и гибридным вычислениям. Такие компьютеры могу…

В книге рассказывается о «проблеме остановки», пожалуй, самой знаменитой неразрешимой проблеме: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная п…

Стандартные алгоритмы и структуры при применении к крупным распределенным наборам данных могут становиться медленными – или вообще не работать. Правильный подбор алгоритмов, предназначенных для р…

Новый этап в области компьютерных технологий часто называют очередной «весной искусственного интеллекта». Её начало обычно отсчитывают с момента появления нейронной сети, сегодня известной под на…

Книга рассказывает об архитектурных принципах, на которых базируются все современные системы управления базами данных, а также об алгоритмах и структурах данных, которые в них используются. Особо…

В этом руководстве содержатся основные сведения об алгоритмах: анализируются различные типы алгоритмов, рассматриваются методы их построения (рекурсия, динамическое программирование и др.), приво…

Книга посвящена причинно-следственным выводам, особенно выводам, сделанным на основе наблюдений. Первая часть посвящена концепциям причинности с точки зрения наблюдаемого эффекта. Во второй части…