> Шифр: W8149 (Журнал) Computers in Industry [Текст]. - Amsterdam : Elsevier Science Publishers, 1979 - . - Impact Factor 1.529. - Выходит 10 раз в год. - ISSN 0166-3615 Аннотация: Статьи освещают новые тенденции в выборе и использовании информационных технологий (ИТ) в промышленности; практику применения ИТ в производственных процессах (проектирование, техника, производство, управление производством, контроль качества на всех этапах, управление инженерными данными и др.); расширение возможностей новых и существующих ИТ (системы реального времени, техника представления знаний, прикладная нечеткая логика и др.); содержат описания собственно производственных процессов. Обзоры книг, календарь событий; в последнем номере тома - пономерной, авторский и предметный указатели. Зарегистрированы поступления:
Vol. 49; N: 1-3; Vol. 48; N: 1-3; Vol. 47; N: 1-3; |
Vol. 46; N: 1-3; Vol. 45; N: 1-3; Vol. 44; N: 1-3; |
Vol. 40; N: 1,2/3; Vol. 39; N: 1-3; Vol. 38; N: 1-3; |
Vol. 29; N: 1/2,3; Vol. 28; N: 2,3; |
Vol. 28; N: 1; Vol. 27; N: 1-3; Vol. 26; N: 1-3; Vol. 25; N: 3; |
Vol. 25; N: 1,2; Vol. 24; N: 1,2/3; |
Vol. 23; N: 3,1/2; Vol. 22; N: 1-3; Vol. 21; N: 1-3; |
Vol. 20; N: 1-3; Vol. 19; N: 1-3; ; Vol. 18; N: 1-3 |
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). Зарегистрированы поступления:
> Шифр: 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) Аннотация: Научный журнал. Статьи по исследованиям в области чистой и прикладной математики: алгебра, теория групп, алгебры Ли, логика, комбинаторика, теория чисел, математический анализ, функциональный анализ, численный анализ, теория потенциала, комплексный анализ, обыкновенные дифференциальные уравнения, дифференциальные уравнения с частными производными, геометрия, алгебраическая геометрия, топология, динамические системы, теория вероятностей, статистика, математическая физика, механика жидкости, механика твёрдого тела, вариационное исчисление, математические задачи в науках, исследование операций, а также материалы международных конференций, состоявшихся в Румынии, обзорные статьи и докторские диссертации; преподавание математики, использование в научных исследованиях и технологиях. Зарегистрированы поступления:
|
|
|