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