Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=компьютерные языки<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Власов, Д. Ю.
Логико-эмпирические основания математики [Текст] / Д. Ю. Власов // Философия науки. - 2012. - № 4. - С. 68-84. - Библиогр.: с. 83-84 (11 назв. ) . - ISSN 1560-7488

УДК

^a1

^a510

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
логика -- языки -- верификация -- компьютерные языки -- логико-эмпирические основания -- философские проблемы
Аннотация: Предлагается рассматривать машинную верификацию формальных доказательств, записанных на некотором компьютерном языке, как логико-эмпирическое основание математики. Анализируются возникающие при этом философские проблемы.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Мальцев, А. В.
Методы моделирования световых эффектов и искажений видеосигнала в виртуальных средствах наблюдения [Текст] = Methods for simulation of light effects and video signal distortions in virtual surveillance devices / Мальцев А. В. // Информационные технологии и вычислительные системы = Journal of Information Technologies and Computing Systems. - 2019. - № 2. - С. 54-61 : ил. - Библиогр.: с. 60-61 (5 назв. ) . - ISSN 2071-8632

УДК

^a004.92

ББК 32.973-018.2
Рубрики: Вычислительная техника
Компьютерная графика
Кл.слова (ненормированные):
GLSL -- GPU -- OpenGL -- библиотеки -- видеокамеры -- видеокарты -- видеопотоки -- визуализация виртуальной среды -- виртуальное моделирование -- виртуальные камеры -- графические карты -- искажение сигнала -- компьютерные языки -- рендеринг -- световые эффекты -- трехмерная виртуальная среда
Аннотация: Предлагаются распределенные методы и подходы для визуализации изображений трехмерных сцен с помощью виртуальных камер, позволяющие имитировать ряд световых эффектов, помех и искажений, которые могут наблюдаться при использовании реальных средств наблюдения. Рассматриваемые решения основаны на применении возможностей современных графических карт с многоядерными GPU, что обеспечивает выполнение рендеринга в масштабе реального времени.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Карпович, С. Н.
Учет неизвестных слов в вероятностной тематической модели [Текст] = Penalty for Unknown Words in Topic Model / Карпович С. Н., Смирнов А. В., Тесля Н. Н. // Информационные технологии и вычислительные системы = Journal of Information Technologies and Computing Systems. - 2020. - № 4. - С. 111-124 : ил., табл. - Библиогр.: с. 121-124 (31 назв. ) . - ISSN 2071-8632

УДК

^a004.91

ББК 32.973-018.2
Рубрики: Вычислительная техника
Обработка и создание документов
Кл.слова (ненормированные):
PEBL-TM -- Python -- SCTMru -- алгоритмы обработки текстов -- анализ потоковых данных -- анализ текстовых документов -- векторное представление слов -- кодирование текста -- компьютерные языки -- новизна текстовых документов -- унитарный код -- учет неизвестных слов
Аннотация: Рассмотрены подходы к учету неизвестных слов в языковых моделях алгоритмов обработки естественного языка. Предложен метод учета неизвестных слов в вероятностном тематическом моделировании, который позволяет определить вероятность новизны документа без обновления параметров модели.

Доп.точки доступа:
Смирнов, А. В.; Тесля, Н. Н.

Имеются экземпляры в отделах: всего 1 : н.з. (1)
Свободны: н.з. (1)

Найти похожие

Тематический навигатор

Статистика за 04.09.2024
Число запросов	72487
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)