Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=семантика<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
Вид документа :
Шифр издания : vr=C274169
Заглавие : Central European Journal of Computer Science
Выходные данные : Berlin: springer, 2011
ISSN: 18961533
ГРНТИ : 50.05 + 28.23
Аннотация: Международный научный журнал. Статьи по результатам исследований в области компьютерных наук: алгоритмы и теория сложности вычислений (анализ и алгоритмы, теория вычислимости, структуры данных, модели вычислений); искусственный интеллект (когнитивные системы, вычислительная лингвистика, компьютерное зрение, извлечение данных, взаимодействие человек-машина, обработка изображений, представление знаний, машинное обучение, обработка естественного языка, распознавание образов); биоинформатика (средства биостатистики, инструменты генного анализа, онтологии в биоинформатике, физиологическое моделирование, средства анализа последовательностей, Web-сервисы в биоинформатике); организация сети и системы безопасности (криптография, распределённые вычисления, мобильные системы, сетевые протоколы, защита данных в сети, параллельные вычисления); языки программирования (проектирование и реализация компилятора, формальная семантика, дизайн языка, спецификации языка, грамотное программирование, парадигмы программирования); система и разработка программного обеспечения (системы баз данных, встроенные системы, операционные системы, разработка программного обеспечения, тестирование и верификация программного обеспечения); теоретические основы компьютерных наук: (теория автоматов, теория категорий, теория графов, математическая логика, теория типов).
Найти похожие
2.
Вид документа :
Шифр издания : vr=H130207
Заглавие : Higher-Order and Symbolic Computation
Выходные данные : Berlin: springer,Б.г.
ISSN: 13883690
ГРНТИ : 50.05 + 50.41 + 27.23
Аннотация: Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе, логика программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления.
Найти похожие
3.
Вид документа :
Шифр издания : vr=I236716
Заглавие : Information and Communications Technology Law
Выходные данные : London: Taylor and Francis Ltd, 1992
ISSN: 13600834
ГРНТИ : 20.23 + 28.23
Аннотация: Научный журнал. Статьи и национальные отчёты по внедрению и применению информационных и коммуникационных технологий в судебной системе (судебные процессы, принятие судебных решений и сопутствующая этическая и социальная тематика): ответственность программистов и создателей экспертных систем; ненадлежащее использование компьютера и контроль соблюдения правил; право интеллектуальной собственности на алгоритмы, чипы, базы данных, программное обеспечение и др.; ИТ и закон о конкуренции; защита данных; свобода информации; неприкосновенность (сферы) частной жизни (прайвеси), правовой контроль за распространением порнографических, расистских и клеветнических материалов в Интернете; контроль за соблюдением правил в сетях; правовое регулирование в индустрии ИТ; компьютерное изображение и вычислительная семантика области права; роль визуальной или основанной на имидже правовой «ментальной модели»; государственная политика и философские аспекты юриспруденции и ИТ. Выходят также специальные тематические выпуски.
Найти похожие
4.
Вид документа :
Шифр издания : V4741
Заглавие : International Journal of Foundations of Computer Science
Выходные данные : , 1990
ISSN: 01290541
ГРНТИ : 50.01.11
Аннотация: Статьи о новых теоретических результатах исследований во всех основополагающих областях компьютерных наук. Теоретические и математические аспекты охватывают темы: алгебраическая теория и формальные системы; алгоритм и реализация системы; аппроксимация, теория вероятностей и рандомизированные алгоритмы; автоматы и формальные языки; автоматизированная дедукция; комбинаторика и теория графов; теория сложности; криптография; теория баз данных; структуры данных; проектирование и анализ алгоритмов; основы компьютерной безопасности; основы высокопроизводительных вычислений; логика в компьютерных науках; модели вычислений; проверка модели и компьютерная верификация; квантовые вычисления; семантика, параллелизм и теория типов; теории и модели вычислений в Интернете; теория обучения и индуктивный вывод; теория параллельных и распределенных вычислений; сети с беспроволочной связью и мобильные вычисления; и др. Выходят также тематические номера.
Найти похожие
5.
Вид документа :
Шифр издания : vr=J255766
Заглавие : Journal of Logic and Computation
Выходные данные : Oxford: Oxford University Press, 1990
ISSN: 0955792X
ГРНТИ : 27.03.19 + 28.23.17 + 50.41.01
Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
Найти похожие
6.
Вид документа : Журнал
Шифр издания : vr=J065196
Заглавие : Journal of Logic, Language and Information
Выходные данные : Berlin: springer, 1992
ISSN: 09258531
ГРНТИ : 50.05
Аннотация: Статьи по логическим и вычислительным основам естественных, формальных языков и языков программирования, а также различным формам умозаключений, составляющим логическую, лингвистическую и теоретико-информационную части когнитивных наук. Особое внимание уделяется теоретическим основам наук: интенсиональная логика, в т.ч. динамическая логика; немонотонная логика и пересмотр убеждений; конструктивная логика; сложность проблем в логике и лингвистике; теоретические задачи логического программирования; категориальная грамматика и теория типов;обобщенная квантификация; информацонно-ориентированные теории семантической структуры (ситуационная семантика, теория представления дискурса и динамическая семантика); коннекционистская модель логических и лингвистических структур.
Найти похожие
7.
Вид документа :
Шифр издания : V4634
Заглавие : Machine Translation
Выходные данные : Berlin: springer, 1986
ISSN: 09226567
ГРНТИ : 50.05.03 + 16.31.21
Аннотация: Статьи по всем аспектам вычислительной лингвистики и конструирования языков, включая аспект многоязычности; по теоретическим, описательным и вычислительным аспектам следующих вопросов: машинный перевод и перевод с помощью компьютера; теория и практика человеческого перевода; построение и генерация многоязычного текста; многоязычный информационный поиск; многоязычные интерфейсы на основе естественных языков; многоязычные диалоговые системы; системы интерпретации многоязычных сообщений; статистическое моделирование языков на основе корпуса текстов; коннекционистские подходы к переводу; компиляция и использование дву- и многоязычных корпусов текстов; феномен дискурса и его трактовка в человеческом или машинном переводе; инженерия знаний; контрастивная лингвистика; морфология, синтаксис, семантика, прагматика; компьютерное обучение языку и изучение языка; локализация и интернационализация программного обеспечения; обработка речи, особенно, при переводе; фонетика, фонология; включение нелатинских знаковых множеств; обработка многоязычных текстов; многоязычное информационное общество (социологические, юридические и лингвистические аспекты); языки меньшинств; история машинного перевода.
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)