()
American Journal of Computational and Applied Mathematics [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Выходит раз в два месяца. - ISSN 2165-8935

Аннотация: Научный журнал. Статьи по исследованиям во всех разделах прикладной математики и вычислительных наук, а также по следующим темам: теория управления; вычислительная логика; теория кодирования; динамические системы; дискретная оптимизация; прикладная дискретная математика; дифференциальные уравнения и применение; экспериментальная математика; нечёткая теория и применение; линейное и нелинейное программирование; математическая биология; численный анализ; численные вычисления; статистика; теория вычислений; теория алгоритмов и др. Выходят также специальные тематические выпуски.
journal link

()
Artificial Intelligence and the Law [Электронный ресурс]. - Berlin : springer, 1992 - . - Выходит ежеквартально. - ISSN 0924-8463

Аннотация: Статьи по теоретическим и эмпирическим исследованиям в области искусственного интеллекта (ИИ), когнитивной психологии, юриспруденции, лингвистики и философии, определяющим развитие формальных и вычислительных моделей юридических знаний, рассуждений и принятия решений: новаторские системы ИИ, используемые в области юриспруденции; работы этического и социального значения; вычислительные модели рассуждений и принятия решений, рассуждений по поводу приговора, прецедента и этики, рассуждений тяжущихся сторон; юридические теории правовых рассуждений; логика закона; психологические и лингвистические работы; правовые экспертные системы, нормативные системы; интеллектуальная обработка документа; концептуальный поиск дел и законодательных актов, автоматическое понимание текста, интеллектуальные системы компоновки документа, гипертекст; интеллектуальные компьютерные учебные системы; методы аудита и оценки правовых систем ИИ; системные проблемы построения правовых систем ИИ; воздействие ИИ на законодательные и правовые учреждения.
journal link (full text - из читальных залов ГПНТБ)

()
Central European Journal of Computer Science [Электронный ресурс]. - Berlin : springer, 2011 - . - Выходит ежеквартально. - ISSN 1896-1533

Аннотация: Международный научный журнал. Статьи по результатам исследований в области компьютерных наук: алгоритмы и теория сложности вычислений (анализ и алгоритмы, теория вычислимости, структуры данных, модели вычислений); искусственный интеллект (когнитивные системы, вычислительная лингвистика, компьютерное зрение, извлечение данных, взаимодействие человек-машина, обработка изображений, представление знаний, машинное обучение, обработка естественного языка, распознавание образов); биоинформатика (средства биостатистики, инструменты генного анализа, онтологии в биоинформатике, физиологическое моделирование, средства анализа последовательностей, Web-сервисы в биоинформатике); организация сети и системы безопасности (криптография, распределённые вычисления, мобильные системы, сетевые протоколы, защита данных в сети, параллельные вычисления); языки программирования (проектирование и реализация компилятора, формальная семантика, дизайн языка, спецификации языка, грамотное программирование, парадигмы программирования); система и разработка программного обеспечения (системы баз данных, встроенные системы, операционные системы, разработка программного обеспечения, тестирование и верификация программного обеспечения); теоретические основы компьютерных наук: (теория автоматов, теория категорий, теория графов, математическая логика, теория типов).
journal link (full text - НТО-3)

()
Computer Science and Engineering [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Периодичность 7. - ISSN 2163-1484

Аннотация: Научный журнал. Статьи по исследованиям в области компьютерных наук, содержащие новые теоретические результаты и новации в области их применения. Включает следующие темы: искусственный интеллект, компьютерные науки и моделирование, архитектура компьютера, вычисления и язык, вычислительная сложность; вычислительная инженерия, финансы и наука; вычислительная геометрия, компьютерная наука и теория игр, компьютерное зрение и распознавание образов, компьютеры и общество, криптография и безопасность, данные и поиск в интернете, алгоритмы и структуры данных, базы данных, цифровые библиотеки, дискретная математика, логика в компьютерных науках, программное обеспечение для решения математических задач, мультимедиа, сетевые технологии и архитектура интернета, нейронный и эволюционный компьютинг, численный анализ, операционные системы, рабочие характеристики, языки программирования, робототехника, разработка программного обеспечения, символьные вычисления, и др. Выходят также специальные тематические выпуски.
journal link

()
Computer-Aided Civil and Infrastructure Engineering [Электронный ресурс]. - [Б. м.] : John Wiley & Sons, Inc, 1998 - (Ulrich). - Выходит раз в два месяца. - ISSN 1093-9687

Аннотация: Статьи и обзоры по компьютерным технологиям и применению новых компьютерных методов в строительстве транспортной и водохозяйственной инфраструктуры ( инженерно-геологические изыскания, проектирование зданий и сооружений, инженерия водных ресурсов, дорожный транспорт, моделирование условий эксплуатации), в управлении инфраструктурными системами (мосты, автодороги, дорожные покрытия, аэропорты, инженерное обеспечение), в машинном обучении. Журнал также включает темы: методы визуализации и виртуальная реальность, искусственный интеллект, машинное обучение, интеллектуальные структуры, параллельная обработка, нечеткая логика, методы управления базой данных, вычисления в нейронных сетях, когнитивное моделирование, параллельное проектирование, распределенные вычисления, эволюционные вычисления, геометрическое моделирование, инженерия знаний, мультимедийные технологии, роботика, разработка программного обеспечения. Авторский указатель каждому тому.
journal link (full text - из читальных залов ГПНТБ)

Шифр: W8149 (Журнал)
Computers in Industry [Текст]. - Amsterdam : Elsevier Science Publishers, 1979 - . - Impact Factor 1.529. - Выходит 10 раз в год. - ISSN 0166-3615

Аннотация: Статьи освещают новые тенденции в выборе и использовании информационных технологий (ИТ) в промышленности; практику применения ИТ в производственных процессах (проектирование, техника, производство, управление производством, контроль качества на всех этапах, управление инженерными данными и др.); расширение возможностей новых и существующих ИТ (системы реального времени, техника представления знаний, прикладная нечеткая логика и др.); содержат описания собственно производственных процессов. Обзоры книг, календарь событий; в последнем номере тома - пономерной, авторский и предметный указатели.

Зарегистрированы поступления:

journal link (full text - НТО-3)

()
Fuzzy Information and Engineering [Электронный ресурс]. - Berlin : springer, 2009 - . - Выходит ежеквартально. - ISSN 1616-8658

Аннотация: Международный научно-технический журнал. Предоставляет унифицированную коммуникационную платформу для исследователей широкого круга научных проблем чистой и прикладной математики, компьютерных наук, технологии и других смежных областей при обязательном акцентировании вопросов применения результатов. Публикуются статьи, краткие сообщения и обзоры. Тематика: нечёткая информация (информационные системы; комплексное проектирование аппаратного и программного обеспечения; компьютер, реализующий нечёткую логику; нечёткие базы данных; обработка нечётких изображений и распознавание образов); нечёткие множества и системы (топология, уравнения, программирование, логика и алгебра, социоэкономические системы, системы поддержки принятия решений, экспертные системы); мягкие вычисления (организация вычислительных процессов на основе использования нечёткой логики, нейронных сетей, генетических алгоритмов и методов принятия решений в условиях неопределённости); нечёткие технологии (управление, системотехника, инженерия знаний, проектирование, системное моделирование); исследование операций над нечёткими явлениями (оценка и принятие решений, планирование, прогнозирование, теория графов, поток в сети); искусственный интеллект (приблизительные рассуждения, нейронные сети, интеллектуальное управление и роботы), теория неточных множеств, нечёткая лингвистика, нечёткая биологи и др.
journal link (full text - НТО-3)

()
Higher-Order and Symbolic Computation [Электронный ресурс]. - Berlin : springer (Springer). - Выходит ежеквартально. - ISSN 1388-3690
СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание
В 1998г. переименовано из LISP and Symbolic Computation. - ISSN 0892-4635 (Шифр V4503)

Аннотация: Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе, логика программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления.
journal link (full text - НТО-3)

Шифр: V4741 ()
International Journal of Foundations of Computer Science [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1990 - . - Выходит ежеквартально. - ISSN 0129-0541

Аннотация: Статьи о новых теоретических результатах исследований во всех основополагающих областях компьютерных наук. Теоретические и математические аспекты охватывают темы: алгебраическая теория и формальные системы; алгоритм и реализация системы; аппроксимация, теория вероятностей и рандомизированные алгоритмы; автоматы и формальные языки; автоматизированная дедукция; комбинаторика и теория графов; теория сложности; криптография; теория баз данных; структуры данных; проектирование и анализ алгоритмов; основы компьютерной безопасности; основы высокопроизводительных вычислений; логика в компьютерных науках; модели вычислений; проверка модели и компьютерная верификация; квантовые вычисления; семантика, параллелизм и теория типов; теории и модели вычислений в Интернете; теория обучения и индуктивный вывод; теория параллельных и распределенных вычислений; сети с беспроволочной связью и мобильные вычисления; и др. Выходят также тематические номера.
journal link (full text - НТО-3)

()
International Journal of Information Science [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Выходит раз в два месяца. - ISSN 2163-1921

Аннотация: Международный научный журнал. Статьи по теоретическим и практическим исследованиям всех аспектов информационных наук: искусственный интеллект, искусственные нейронные сети, адаптивный и инспекционный контроль, теория автоматов, приблизительные рассуждения, вычисления со словами, автоматизация и мобильные роботы, биоинформатика, биометрика, картирование головного мозга, когнитивные науки, вычислительный интеллект, компьютерный коммуникационные сети и моделирование, компьютерные системы, компьютерное зрение, системы с дискретными событиями, экспертные системы, системы поддержки принятия решений, компрессия данных, инженерия данных, интеграция и совместная обработка данных, проектирование алгоритмов, финансовое и экономическое моделирование и оптимизация, нечёткая логика, генетические алгоритмы и моделирование, интерфейс человек-компьютер, обработка изображений, виртуальная реальность, информация и знания, нановычисления, теория информации, интеллектуальные системы, изготовление, язык и проектирование механизма поиска, семиотика, обучение и эволюционные вычисления, мягкие вычисления, математическая лингвистика, восприятие и распознавание образов, фотонные сети, проектирование программного обеспечения, символьные/численные и статистические методы, теории качественного поведенияЮ и др. Выходят также специальные тематические выпуски.
journal link

()
International Journal of Information Technology & Decision Making [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 2004 - (Ul'2008). - Выходит ежеквартально. - ISSN 0219-6220

Аннотация: Статьи по теоретическим, эмпирическим и практическим исследованиям информационных технологий и различных методов принятия решений и их взаимного влияния на развитие. Тематика журнала охватывает: принятие решений (программное обеспечение, критерии, модели, системы поддержки, использование Интернет, мультимедиа, сетей, нейронных сетей, визуализация, онлайновый бизнес, электронные транзакции, торговля, информационная безопасность и др.); искусственный интеллект и принятие решений; кластерный компьютинг; "добыча" информации, в т.ч. через Web; информационное хранилище; поисковые системы; оценка баз данных; принятие решений и распределенные системы; технологии решений в проектировании информационной системы; построение вебсайта, цифровой библиотеки; нечеткая логика и Интернет; привычный домен и информационные технологии; взаимодействие человек-компьютер; информационная этика и юридические оценки; совмещение информации; информационная политика; технологии интеллектуальных агентов; обработка интеллектуальной и нечеткой информации; модели представления знаний; модели распознавания образов; параллельный компьютинг; рассуждения при неопределенности; беспроводные технологии и др.
journal link (full text - НТО-3)

Шифр: V4165 ()
Journal of Automated Reasoning [Электронный ресурс]. - Berlin : springer, 1985 - (Springer). - Выходит раз в два месяца. - ISSN 0168-7433

Аннотация: Статьи по теории, процессам и применению автоматических рассуждений: от представления новых правил вывода с доказательствами их логических свойств до детальных отчетов о компьютерных программах, спроектированных для решения задач в промышленности: автоматическое доказательство теорем, логическое программирование, экспертные системы, синтез и оценивание программ, искусственный интеллект, вычислительная логика, роботехника и их применение в промышленности; проектирование и реализация компьютерных программ для решения задач автоматического проектирования.
journal link (full text - НТО-3)

()
Journal of Logic and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X

Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)

(Журнал)
Journal of Logic, Language and Information [Электронный ресурс]. - Berlin : springer, 1992 - (Springer). - ISSN 0925-8531

Аннотация: Статьи по логическим и вычислительным основам естественных, формальных языков и языков программирования, а также различным формам умозаключений, составляющим логическую, лингвистическую и теоретико-информационную части когнитивных наук. Особое внимание уделяется теоретическим основам наук: интенсиональная логика, в т.ч. динамическая логика; немонотонная логика и пересмотр убеждений; конструктивная логика; сложность проблем в логике и лингвистике; теоретические задачи логического программирования; категориальная грамматика и теория типов;обобщенная квантификация; информацонно-ориентированные теории семантической структуры (ситуационная семантика, теория представления дискурса и динамическая семантика); коннекционистская модель логических и лингвистических структур.
journal link (full text - НТО-3)

()
Journal of Low Power Electronics and Applications [Электронный ресурс]. - Basel : MDPI AG, 2011 - . - Выходит ежеквартально. - ISSN 2079-9268

Аннотация: Научно-технический журнал. Статьи, обзоры и краткие сообщения по исследованиям в области применения маломощной электроники, особенно, электроники сверхнизкой мощности биомедицинского назначения. Приводятся только максимально детализированные экспериментальные и теоретические результаты, позволяющие их воспроизведение. Охватывает тематику: применение маломощной электроники: датчиков, средств безопасности, космических устройств, портативных средств связи, мультимедиа, обработка маломощных сигналов и изображений; применение электроники сверхнизкой мощности: имплантируемая электроника, носимая электроника, для капсульной эндоскопии, для исследования мозга, лаборатория на чипе, мониторинг участков тела, нейроморфные чипы в инженерии искусственного интеллекта, биоэлектроника, биосенсорные схемы, наноэлектроника, электроника для технологии изображений; применение маломощных цепей и систем: технологии, устройства, цифровая логика, цифровые логические схемы, выбор низковольтного цифрового или аналогового или смешанного сигнала, системы сверхбольшой степени интеграции, устройства памяти, асинхронная логика, процессоры, межсоединения, конвертер аналогового сигнала в цифровой, накопление энергии и др.
journal link

Шифр: W2238 (Журнал)
Journal of Mathematical Physics [Текст]. - Woodbury, NY : American Institute of Physics, 1960 - . - ISSN 0022-2488

Аннотация: Статьи по исследованиям в области математической физики: разработка математических формулировок физических теорий и математических методов (логика, теория множеств, алгебра; теория групп; функциональный анализ, теория операторов; дифференциальная геометрия, топология; теория вероятностей, случайные процессы; численные методы решений) для решения физических задач классической и квантовой физики (классическая механика дискретных систем и сплошных сред, классическая и квантовая теория поля, квантовая механика, общая теория рассеяния), общей теории относительности и гравитации, статистической физики и термодинамики, общей теории полей и физики элементарных частиц, оптики, акустики, физики газов и конденсированных сред, астрономии, космологии. В последнем номере тома - годовые авторский и систематический указатели (по классификационной схеме PACS).
Зарегистрированы поступления:

journal link (full text - НТО-3)

Шифр: V3161 ()
Journal of Mathematical Sociology [Электронный ресурс]. - London : Taylor and Francis Ltd, 1971 - . - Выходит ежеквартально. - ISSN 0022-250X

Аннотация: Статьи по всем аспектам математической социологии и смежным проблемам из других дисциплин (поскольку они способствуют пониманию реальных социальных явлений): использование математических моделей, логика измерений, компьютеры и компьютерное программирование, прикладная математика, статистика или количественная методология; а также статьи нематематического характера, уточняющие или обобщающие проблемы и стимулирующие их математическую обработку. Обзоры новых и быстро развивающихся областей математики и математического моделирования, которые могли бы использоваться в социологических исследованиях.
journal link (full text - из читальных залов ГПНТБ)

()
Journal of Safety Engineering [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2012 - . - Выходит ежеквартально. - ISSN 2325-0003

Аннотация: Научно-технический журнал. Статьи по промышленным и лабораторным исследованиям теоретических и практических аспектов техники безопасности: надёжность конструкции критических систем, проектирование средств обеспечения безопасности, параллельное проектирование, алгоритмы, проектирование и изготовление систем, нечёткая логика, отказоустойчивая вычислительная техника, моделирование и управление, оптимизация надёжности систем, анализ рабочих характеристик систем, планирование и измерения качества, гарантия качества и техника управления качеством, анализ и оценка риска, прогнозирование и повышение надёжности, программное обеспечение, его тестирование и надёжность и др.
journal link

()
Knowledge and Information Systems [Электронный ресурс]. - Berlin : springer, 1999 - (Springer). - Выходит ежеквартально. - ISSN 0219-1377

Аннотация: Международный научный журнал. Статьи, критические обзоры о новых достижениях во всех областях, относящихся к системе знаний и передовым информационным системам, их теоретическим основам, инфраструктуре и высокоэффективным технологиям; по обработке знаний и информации (теория, методы, системы); активные и динамические системы, коллективное использование данных и организация информационных хранилищ; обработка временной и пространственной базы даных; интеллектуальный поиск информации; моделирование и объектная ориентация; реконструирование программных средств; программная совместимость и повторное использование ПО; взаимодействие человек-машина; поддержка решений; гипертекст, гипермедиа и мультимедиа; визуализация данных и знаний; высокопроизводительные компьютерные системы; распределённые интеллектуальные системы; мобильные системы; вычислительные методы: мягкие вычисления (вкл. нейронные сети, нечёткая логика, вероятностное рассуждение, теория грубых множеств); вычисления с помощью эволюционных алгоритмов; гибридные вычисления; сферы применения (в т.ч. новые области - интернет-технологии, цифровые библиотеки и др.)
journal link (full text - из читальных залов ГПНТБ)

Шифр: V5106 (Журнал)
Mathematical Reports [Текст]/ Romanian academy. - Bucuresti : Editura Academiei Romane, 1999 - . - Выходит ежеквартально. - ISSN 1582-3067
СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание
В 1999г. переименовано из Studii si Cercetari Matematice. - ISSN 0039-4068 (Шифр V1857)

Аннотация: Научный журнал. Статьи по исследованиям в области чистой и прикладной математики: алгебра, теория групп, алгебры Ли, логика, комбинаторика, теория чисел, математический анализ, функциональный анализ, численный анализ, теория потенциала, комплексный анализ, обыкновенные дифференциальные уравнения, дифференциальные уравнения с частными производными, геометрия, алгебраическая геометрия, топология, динамические системы, теория вероятностей, статистика, математическая физика, механика жидкости, механика твёрдого тела, вариационное исчисление, математические задачи в науках, исследование операций, а также материалы международных конференций, состоявшихся в Румынии, обзорные статьи и докторские диссертации; преподавание математики, использование в научных исследованиях и технологиях.
Зарегистрированы поступления:

journal link