() Аннотация: Международный научный журнал. Статьи по результатам исследований в области компьютерных наук: алгоритмы и теория сложности вычислений (анализ и алгоритмы, теория вычислимости, структуры данных, модели вычислений); искусственный интеллект (когнитивные системы, вычислительная лингвистика, компьютерное зрение, извлечение данных, взаимодействие человек-машина, обработка изображений, представление знаний, машинное обучение, обработка естественного языка, распознавание образов); биоинформатика (средства биостатистики, инструменты генного анализа, онтологии в биоинформатике, физиологическое моделирование, средства анализа последовательностей, Web-сервисы в биоинформатике); организация сети и системы безопасности (криптография, распределённые вычисления, мобильные системы, сетевые протоколы, защита данных в сети, параллельные вычисления); языки программирования (проектирование и реализация компилятора, формальная семантика, дизайн языка, спецификации языка, грамотное программирование, парадигмы программирования); система и разработка программного обеспечения (системы баз данных, встроенные системы, операционные системы, разработка программного обеспечения, тестирование и верификация программного обеспечения); теоретические основы компьютерных наук: (теория автоматов, теория категорий, теория графов, математическая логика, теория типов). journal link (full text - НТО-3) |
() СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание В 1998г. переименовано из LISP and Symbolic Computation. - ISSN 0892-4635 (Шифр V4503) Аннотация: Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе, логика программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления. journal link (full text - НТО-3) |
() Аннотация: Научный журнал. Статьи и национальные отчёты по внедрению и применению информационных и коммуникационных технологий в судебной системе (судебные процессы, принятие судебных решений и сопутствующая этическая и социальная тематика): ответственность программистов и создателей экспертных систем; ненадлежащее использование компьютера и контроль соблюдения правил; право интеллектуальной собственности на алгоритмы, чипы, базы данных, программное обеспечение и др.; ИТ и закон о конкуренции; защита данных; свобода информации; неприкосновенность (сферы) частной жизни (прайвеси), правовой контроль за распространением порнографических, расистских и клеветнических материалов в Интернете; контроль за соблюдением правил в сетях; правовое регулирование в индустрии ИТ; компьютерное изображение и вычислительная семантика области права; роль визуальной или основанной на имидже правовой «ментальной модели»; государственная политика и философские аспекты юриспруденции и ИТ. Выходят также специальные тематические выпуски. journal link (full text - из читальных залов ГПНТБ) |
Шифр: V4741 () Аннотация: Статьи о новых теоретических результатах исследований во всех основополагающих областях компьютерных наук. Теоретические и математические аспекты охватывают темы: алгебраическая теория и формальные системы; алгоритм и реализация системы; аппроксимация, теория вероятностей и рандомизированные алгоритмы; автоматы и формальные языки; автоматизированная дедукция; комбинаторика и теория графов; теория сложности; криптография; теория баз данных; структуры данных; проектирование и анализ алгоритмов; основы компьютерной безопасности; основы высокопроизводительных вычислений; логика в компьютерных науках; модели вычислений; проверка модели и компьютерная верификация; квантовые вычисления; семантика, параллелизм и теория типов; теории и модели вычислений в Интернете; теория обучения и индуктивный вывод; теория параллельных и распределенных вычислений; сети с беспроволочной связью и мобильные вычисления; и др. Выходят также тематические номера. journal link (full text - НТО-3) |
() Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию. journal link (full text - из читальных залов ГПНТБ) |
(Журнал) Аннотация: Статьи по логическим и вычислительным основам естественных, формальных языков и языков программирования, а также различным формам умозаключений, составляющим логическую, лингвистическую и теоретико-информационную части когнитивных наук. Особое внимание уделяется теоретическим основам наук: интенсиональная логика, в т.ч. динамическая логика; немонотонная логика и пересмотр убеждений; конструктивная логика; сложность проблем в логике и лингвистике; теоретические задачи логического программирования; категориальная грамматика и теория типов;обобщенная квантификация; информацонно-ориентированные теории семантической структуры (ситуационная семантика, теория представления дискурса и динамическая семантика); коннекционистская модель логических и лингвистических структур. journal link (full text - НТО-3) |
Шифр: V4634 () Аннотация: Статьи по всем аспектам вычислительной лингвистики и конструирования языков, включая аспект многоязычности; по теоретическим, описательным и вычислительным аспектам следующих вопросов: машинный перевод и перевод с помощью компьютера; теория и практика человеческого перевода; построение и генерация многоязычного текста; многоязычный информационный поиск; многоязычные интерфейсы на основе естественных языков; многоязычные диалоговые системы; системы интерпретации многоязычных сообщений; статистическое моделирование языков на основе корпуса текстов; коннекционистские подходы к переводу; компиляция и использование дву- и многоязычных корпусов текстов; феномен дискурса и его трактовка в человеческом или машинном переводе; инженерия знаний; контрастивная лингвистика; морфология, синтаксис, семантика, прагматика; компьютерное обучение языку и изучение языка; локализация и интернационализация программного обеспечения; обработка речи, особенно, при переводе; фонетика, фонология; включение нелатинских знаковых множеств; обработка многоязычных текстов; многоязычное информационное общество (социологические, юридические и лингвистические аспекты); языки меньшинств; история машинного перевода. journal link (full text - НТО-3) |