Все новости по информационным технологиям

На сайте ЮрИнфоР открыт доступ к новой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.2.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис может быть использован при выполнении курсовых, дипломных работ и подготовке диссертационных исследований. Сервис представляет собой инструмент поддержки статистического исследования: статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социологию, здравоохранение, психологию и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным. В текущей версии сервис концептуального оценивания и статистической обработки (КОСА) обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование сервиса бесплатно для данных объёмом не более 50 строк, далее может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались представление информации об объектах на многофункциональном сайте, вопросы очистки сервера от неиспользуемых томов, способы настраиваемой загрузки пакетов из директорий локальной машины, использование алгебры конфликтов для описания процессов версионирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способ представления информации о двуязычных изданиях на страницах многофункционального портала, возможность перевода портала на другие языки, средства обеспечения backup сервера с помощью обратного туннеля с использованием вспомогательного пользователя, обработка неполных данных в сервисе статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Передний край концептуальной математики и когнитивного моделирования» (часть 2). Обсуждались также вопросы обеспечения модульности объяснительной компоненты сервиса статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Передний край концептуальной математики и когнитивного моделирования» (часть 1). Обсуждалось также отделение данных от кода при рендеринге страниц портала и возможности средства поддержки статистических таблиц jamovi в сопоставлении с разрабатываемым сервисом статистической обработки.

На сайте ЮрИнфоР открыт доступ к первой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.1.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социология, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. В текущей версии сервис КОСА обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование средства бесплатно для данных объёмом не более 50 значений, далее компонента может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование CSS для управления отображением многофункционального портала, использование CGI при обработке запроса, отображение метаинформации на страницах портала, варианты определения операций в гомотопической теории версионирования, техника создания инсталляционных deb-пакетов для Debian-совместимых Linux систем, реализация гистограмм для сервиса статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства статического анализа PHP-кода, генерация классов для роутинга, техника определения сериализуемых комбинаторов на PHP, интерфейсы для работы с SVG, способы обработки исключительных ситуаций при взаимодействии Python и JavaScript, способы представления статистических методов внутри сервиса статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы с типом Option, возможность создания генератора для роутинга, возможность применения комбинационных принципов выделения групп в статистических задачах, возможность использования метаинформации для управления объясняющей компонентой.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность реализации параметрической ссылки активации, возможность обобщения механизма ссылок на другие функции многофункционального сайта, способы абстрагирования механизма компоненты подсказки шагов статистического обследования по отношению к состоянию рабочей области.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование CodeIgniter для работы со ссылками активации, использование для резервного копирования Borg в обратных туннелях SSH, объём и уровень объяснительной компоненты для статистической задачи, возможность оценки нормального распределения данных, определение структуры сообщений моделирующей системы при помощи флагов.

На сайте ЮрИнфоР готовится к открытию он-лайн сервис концептуальной оценки, статистической обработки и анализа данных. Сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы со ссылками активации, автоматизация тестирования моделирующих систем, средства описания семантики сообщений, автоматическое определение типа загружаемых данных, способы выделения групп данных, обеспечивающие отделение выделения групп от их обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась разработка контроллеров для унификации внешнего вида страниц на многофункциональных порталах, логический интерфейс для определения применимости методов статистической обработки, средства группировки данных в таблицах, внедрение клиентской части статистической задачи на PHP с использованием средств Bootstrap и её корректное взаимодействие с сервером, работа с учётными записями.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась унификация страниц в библиотеке письменных материалов на портале, расширение функций поиска с использованием контроллера, управление отображением материалов в зависимости от года выпуска, вопросы взаимной конверсии языков программирования, в том числе с использованием chatGPT, внедрение демонстрационной версии задачи на портал.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования шаблонизатора Twig совместно с классами PHP, отделение шаблонов от логики работы портала, соединение статистической задачи с оформлением меню портала, выделение групп в таблице, возможности встраивания компонент React в произвольное место DOM-дерева.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности ввода данных в таблицы в связи с использованием компонентов React, работа с шаблонизатором Twig, используемым в Symphony, использование фреймворка Laravel, методы обеспечения стилистического единства страниц портала, способы упрощения структуры SVG и обеспечения единства цветовой схемы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась установка сертификатов для подключения к git, способы загрузки страниц портала через контроллер для обеспечения единой точки входа, сбор статистики в Яндекс-метрике, возможности стилевого управления элементами графического формата SVG, вопросы импорта данных из внешних файлов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства унифицированного управления путями на многофункциональном портале, средства исключения взаимного влияния данных при работе с таблицами, отделение заголовков таблиц от данных, декомпозиция статистической задачи на процессы, средства хранения пользовательских данных в таблицах.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались компоненты поддержки таблицы и загрузки таблицы, реализованные в виде компонент React, средства визуализации языка диаграмм, средства сборки моделирующей системы и средства её запуска, подключение компонента отображения ячеек рабочей области для статистической задачи.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы создания контроллера для обработки графической информации на многофункциональных порталах, вопросы совместимости пакетов при использовании ESLint, запуск numpy и scipy в среде выполнения программы, техника рендеринга таблиц, реализация функций обновления ячеек Notebook с учётом результатов работы средств проверки типов кода.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления электронных публикаций на многофункциональных порталах, средства решения задач статистической обработки на языке Python, компонент React для работы с таблицей, внешнее представление интерфейса пользователей, вопросы установки рабочей среды, а также базовые и выводимые редукции в теории типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы инвариантного позиционирования подсистем многофункциональных порталов, варианты формального задания языка форм для сервиса статистической обработки, вопросы внешнего представления рабочей области сервиса в виде системы ячеек, связь рабочей области с объяснительной системой, а также прототип внешнего вычислительного средства на языке Python.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типизация алгебраических структур данных в кодировке Черча и в кодировке Скотта». Обсуждались также возможности формирования контекстно-зависимых панелей на многофункциональных порталах, отображение описания задачи поддержки статистического анализа средствами языка процессов, средства выделения групп данных в таблицах, варианты хранения табличных данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы реализации непредикативного полиморфизма, способы инвариантной организации взаимных ссылок на многофункциональном портале, организация обращения к внешним вычислительным средствам и безопасной работы с ними, реализация пакета расширения TeX для работы с конструкциями теории типов, а также сравнение средств измерения времени работы вычислимой функции.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась типизация конструкторов алгебраических типов данных (в том числе рекурсивных), поддержка работы с состоянием моделирующей системы, возможности представления и обработки таблиц средствами JavaScript, работа с механизмами динамически подключаемых субъектов, а также способы организации связи субъектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление рекурсивных типов данных в системах полиморфных типов, варианты организации обработки таблиц в сервисе статистической обработки, требования к сервису и его общая архитектура, интеграция внешних вычислительных средств в среду исполнения процессов, расположение управляющих механизмов на сервере или на клиенте, а также методы измерения времени работы вычислимой функции.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось понятие ранга полиморфизма и ограничения на ранг в языке Haskell, средства редактирования меню многофункциональных порталов, способы взаимодействия пользователя с сервисом статистической обработки, вопросы архитектуры имитационных систем, способы описания базовых и производных редукций в языке описания редукций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась поддержка полиморфной типизации высших порядков в языке Haskell, возможность представления статистической обработки данных в виде сервиса, архитектура программного комплекса и представление подготовленных и генерируемых для решения задач на примере наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Аппликативный язык задания редукционных стратегий». Обсуждались также способы использования Json-схем для задания управляющей информации на многофункциональном портале и варианты конфигурирования базового графа модели для задач наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности динамического редактирования меню многофункционального портала, примеры использования языка графовых запросов на основе предложенной семантики, а также варианты постановки задач в области наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типовые расширения семантики языка графовых запросов». Обсуждались также вопросы использования библиотек синтаксического анализа на многофункциональных порталах и использование признаков объектов в модели для наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности внесения HTML в описания текстовых объектов на языке MarkDown, возможности получения графического представления отчётов, технологии генерации документации для разрабатываемых библиотек, представление типов в виде объектов системы, а также концептуальная модель для обучающей системы по наследственному праву.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались инструментальные средства и их использование на сервере, а также вопросы компиляции JSX в JS.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства генерации документации в JavaDoc, табличный компонент для моделирующих систем, выделение независимых модулей в проектах, автоматизация генерации графиков для JavaScript, сбор статистических характеристик написанного кода, а также типизация параметров диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность редактирования JSon в соответствии с JSon Schema и соответствующие инструментальные средства, техники генерации документации по коду, а также обработка пользовательских типов параметров в языке диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника сохранения и перекомпиляции php-файлов при автоматизированной генерации страниц многофункционального портала, способы обеспечения полиморфизма на примере Haskell, а также использование JavaDoc для документирования программ на произвольных языках.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы использования регулярных выражений для синтаксического разбора файлов MarkDown, а также способы настройки DNS-серверов для обеспечения безопасной работы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования для языка MarkDown и их интеграция с многофункциональными порталами, возможности авторизованного доступа к сервисам через шлюз, а также возможности уточнения характеристик отдельных шагов диалога с моделирующей системой.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы редактирования php-страниц со смешанным содержимым (содержащих текст и код, поддерживающий логику работы страницы), а также возможности автоматизированного получения графических представлений состояния моделирующей системы для последующей обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства погружения редактора языка MarkDown в среду Node, определение JSON Web Token и его использование в web-разработке, вопросы проверки корректности типов параметров диаграммы, а также способы фиксации семантических ошибок в моделях.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась кодировка Скотта и её использование для представления алгебраических типов данных, вопросы тестирования моделирующего программного обеспечения, средства запуска npm-скриптов в составе npm-пакетов, а также способы типизации параметров в трансляторе языка диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось поведение во времени для объектов, имеющих время жизни, превышающее сеанс взаимодействия пользователя с системой, параметризация диаграмм с учётом их типизации, возможность использования языка диаграмм для создания сайтов, а также техника синхронизации репозиториев.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования языка MarkDown в динамических объектах, средства нормализации путей при определении ссылок на внешние пакеты в языке диаграмм, а также средства проверки функционального стиля кода и средства генерации документации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Продолжалось обсуждение задания формул, включающих правила учёта времени. Обсуждалась также система идентификации диаграмм в языке диаграмм, включающая абсолютную идентификацию.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы задания формул, включающих правила учёта времени, над реляционной базой данных, варианты загрузки встраиваемых пакетов диаграмм, а также способы обработки параметризованных ячеек в ноутбуках.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы определения полиморфных функций в языке Haskell и его расширениях с использованием различных видов полиморфизма, определение зависимостей пакетов для языка диаграмм, а также способы интеграции языка диаграмм с системой ноутбуков.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались техники поддержки временных ограничений, возникающих из юридических требований, ограничения системы типизации Haskell и его расширения для систем высших порядков, а также вопросы обработки исключений при отладке диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника трансляции языка диаграмм, включающая типизацию конструкций средствами TypeScript, способы представления статистической информации о работе моделирующей системы, возможности добавления к визуальным элементам пользовательских классов, а также способы конфигурирования диаграмм в виде рабочей тетради.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Взаимное расширение целевого языка и вычислительной системы аппликативного типа».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы моделирования связей объектов для многофункциональных порталов, ленивый язык запросов к графовой СУБД, средства синтаксического анализа и оптимизации диаграмм, а также средства мониторинга активности на сервере.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности масштабирования объектов по набору применимых к ним инструментов, выполнение синхронных и асинхронных операций при отрисовке DOM-дерева, особенности сохранения объектов различных версий, а также возможности динамического комментирования отдельных этапов работы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства анализа log-файлов и распределения памяти на сервере, вопросы организации многошагового взаимодействия с пользователем, а также вопросы обеспечения обратной связи с экспертом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методики идентификации объектов на многофункциональных порталах, типы данных как функторы в языках разработки моделирующих систем, в том числе представление рекурсивных типов в виде неподвижных точек, а также поддержка и разрешение ссылок на пакеты.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности ленивой загрузки графов объектов на многофункциональных порталах, вопросы обеспечения обратной связи с экспертом, а также способы представления конструкций языков разработки моделирующих систем в виде функторов и применения к ним алгебраических методов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы управления путями к компонентам многофункциональных порталов, методы автоматизации размещения демо-версий моделирующих систем, вопросы типизации языков разработки моделирующих систем, а также обеспечения обратной связи с экспертом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы взаимодействия многофункциональных порталов с внешними новостными ресурсами, использование рефлексии для типизации управляющих функций, а также типизация диаграмм средства TypeScript и тестирование моделирующего программного обеспечения.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизированного обновления информации на многофункциональном портале и поддержки связи с каналами социальных сетей, было продолжено обсуждение возможностей формата SVG. Обсуждались также средства тестирования моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности динамической генерации изображений для порталов на основе базы данных, способы идентификации экспертов при тестировании моделирующих систем и способы обработки данных в формате SVG для создания анимированных изображений.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность описания специализированных сценариев на порталах, а также техника семантического использования фильтров и трансформаций в формате SVG и возможности типизации представления вычислений в виде рабочей тетради.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы ведения истории объектов на многофункциональных порталах, способы сборки отладочной информации для моделирующих систем, варианты представления и описания языка процессов, а также вопросы интерфейса.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поддержки перекрёстных ссылок между подсистемами многофункциональных порталов, способы сборки печатного представления материалов, способы внутреннего представления материалов и их разметки, а также ведения статистики.

Зарегистрировано электронное издание - новая компьютерная обучающая программа Уголовный закон (Версия 1.0с), 2022. Программа включает актуализированный контент." Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским уголовным правом. Авторы контента Колодкин Л.М., Васин Ю.Г. Поставка для вузов. № госрегистрации 0322201635. Дата регистрации 01.07.2022. Применение программы позволит освоить основные понятия уголовного права, сформировать умения и навыки по толкованию и применению норм уголовного законодательства, научиться применять положения уголовного закона в конкретных правоприменительных ситуациях. [0]

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности поддержки интерпретаций модальных операторов в виде абстрактных объектов, сохранения внутреннего состояния моделирующей системы с использованием механизма событий, а также способы генерации печатного представления баз знаний моделирующих систем средствами TeX.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности абстрагирования способов обработки объектов моделирующих систем в виде именованных сценариев, а также вопросы тестирования систем при осуществлении навигации между объектами системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались вопросы снабжения моделирующих систем звуковым сопровождением, а также вопросы типизации библиотеки работы с ламбда-термами средствами TypeScript и представления внутренних данных библиотеки при помощи зависимых типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности множественного выбора объектов в моделирующих системах, использование CI/CD для поддержки библиотек языка диаграмм, управление видимостью отдельных элементов проекта в зависимости от ролей пользователя, а также техника сертификации docker-образов при добавлении на сервер.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы сериализации вопросов в моделирующих системах, техника взаимных ссылок диаграмм, текстовое и внутреннее представление ссылок, а также разыменования ссылок на диаграммы в языке диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались синтаксические средства задания объектов в модели предметной области семейного права, способы задания углублённых стратегий тестирования моделирующих систем, а также возможности множественного выбора объектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась организация каталога объектов для многофункциональных порталов, предполагающая хранение произвольного числа признаков объектов, вопросы генерации комментариев в объяснительной подсистеме моделирующих систем, а также возможности усечения модели семейного права для генерации информационных элементов моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты организации каталога объектов для многофункциональных порталов, вопросы автоматизации выкладывания версий моделирующих систем на сервер, вопросы переработки транслятора для языка диаграмм, а также вопросы обработки статистических распределений методами фреймовых систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования протокола SSL для организации электронной почты, а также вопросы конфигурирования контента для получения демонстрационных версий моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации электронной почты на многофункциональных порталах, вопросы резервного копирования с использованием ssh, вопросы развития интерфейсов моделирующих систем, а также возможности использования модельного времени в модели предметной области семейного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации каталога объектов для многофункциональных порталов, вопросы переноса и синхронизации изменений между репозиториями, вопросы определения типов сигнатур для языка графовых запросов, а также способы генерации задач для предметной области семейного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства семантического конфигурирования моделирующих программ и необходимое для этого представление информации, а также способ типизации языка графовых запросов за счёт введения сигнатуры для различных вариантов задания классов переменных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования git для одновременной поддержки различных версий различных моделирующих программ, а также варианты определения синтаксиса и семантики языка графовых запросов.

Вышла новая компьютерная обучающая система Экологический поход (Версия 1.0с), 2022". Контент программы учитывает все последние изменения в экологическом законодательстве РФ. Автор контента Исмаилова Э.Ю. Предлагаемая разработка включает в себя широкий круг теоретических и практических вопросов, посвященных системе экологического права, предмету, методу, объектам, субъектам, механизмам охраны окружающей среды, ответственности за несоблюдение экологических норм и многое другое. Возможно использование программы под WINDOWS и LINUX. Может быть использована как студентами вузов, так и практикующими юристами. Программа учитывает последние изменения в законодательстве и правоприменительной практике.

Зарегистрировано электронное издание - новая компьютерная обучающая программа Экологический поход (Версия 1.0с), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским семейным правом. Автор контента Исмаилова Э. Ю. Поставка для вузов. № госрегистрации 0322201634 Дата регистрации 01.07.2022

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Доказательства свойств конечных типов в языке Idris». Обсуждалась также модель предметной области семейного права и возможности включения в неё информации о собственности, связанной с профессиональной деятельностью.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась семантика языка графовых запросов и связанных с ними выражений над графами, допускающих использование рекурсии, а также модель предметной области семейного права, включающая разнотипные связи.

Зарегистрировано электронное издание - новая компьютерная обучающая программа Семейный совет(Версия 1.0с), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским семейным правом. Авторы контента к.ю.н. Баженова О. И., к.ю.н. Журавлева О. О. Поставка для вузов. № госрегистрации 0322201642 Дата регистрации 01.07.2022

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Графовый ассистент в задаче формализации процессов взаимодействий». Обсуждалась также модель разнотипных связей для задач из области семейного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы генерации термов контекстно-зависимого языка, представления данных на многофункциональных порталах, в том числе рекурсивно определённых данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось место статистических методов при генерации термов контекстно-зависимого языка на примере типового ламбда-исчисления, а также некоторые вопросы написания рекурсивных программ.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)». Обсуждались возможности автоматизации составления доказательств.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались языки описания сценариев поведения активных объектов на многофункциональных порталах, а также возможности их расширения для описания взаимодействия с внешними объектами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Логика и конечные множества в доказательном программировании». Обсуждались также вопросы связи многофункциональных порталов с мессенджерами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности семантически ориентированного управления файловой системой для поддержки многофункциональных порталов, типизация языка управления тестированием, а также возможности постепенной типизации при ведении разработки на JavaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались модели данных для представления документируемых сущностей для многофункциональных порталов и возможностей их согласования с требованиями законодательства РФ о персональных данных, а также язык управления тестированием моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования языка Markdown для описания документов, представленных на многофункциональных порталах, вопросы автоматизированной отладки, а также способы использования TypeScript для вывода типов в компиляторе.

Готовится к выпуску новая версия компьютерной обучающей программы "Юридическая психология 2.0б"

Зарегистрировано электронное издание - новая версия компьютерной обучающей программы Криминологическое прогнозирование (Версия 1.0б), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся криминологией и ее приложениями на практике. Авторы контента д.ю.н. Максимов С.В., к.ю.н. Васин Ю.Г. Поставка для вузов и личного использования. № госрегистрации 0322201644 Дата регистрации 01.07.2022

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы представления наследуемых атрибутов в информационных моделях для многофункциональных порталов, вопросы автоматической обработки протоколов тестирования, а также способы обнаружения ошибок на основе типовых аннотаций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности создания прототипных языков для описания настраиваемых полей в документах, представленных на многофункциональных порталах, а также способы представления пошагового интерактивного взаимодействия информационных систем средствами теории категорий.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности конструирования типов внешних документов при проектировании функциональных порталов, а также способы определения конструкторов классов и способы представления очередей в соответствии со спецификацией EcmaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности отделения данных от представления при проектировании функциональных порталов, а также варианты интеграции изменений в проект при помощи различных систем контроля версий.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования TypeScript, включающие использование прототипов объектов, для проверки и поддержки корректности транслятора языка диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось выделение из транслятора части, отвечающей за загрузку пакетов и диаграмм, обработку ссылок на пакеты и диаграммы. Обсуждались также возможности использования TypeScript с проверкой типов и задания аннотаций типов средствами Visual Studio Code.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты механизмов настройки в их связи со схемой базы данных для многофункциональных порталов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались возможности использования технологии SSH-туннелей с учётом возможностей развертывания в контейнере, а также возможности выполнения backup-ов средствами borg.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались трактовки путей в рамках языка диаграмм, в том числе путей как доказательств, использование диаграмм в модульном режиме, а также управление сигнатурами диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы документирования ошибок, выявляемых в процессе трансляции функциональных языков, способы преобразования данных при помощи концептуальных фильтров, а также способы использования локальных пакетных определений.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались методы управления сообщениями в трансляторе языка диаграмм, возможности тестирования разработанных библиотек, а также возможности разработки аппликативного языка для описания контрактов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались методы использования механизма передачи сообщений при синтаксическом анализе языка диаграмм, а также способы управления проверкой типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы автоматизированной подготовки документации, а также методы выполнения текстовых преобразований средствами Linux.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления графической информации различной подробности, техника автоматизации создания документации, а также языковые возможности обработки исключительных ситуаций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались технологии генерации маскота, соответствующего состоянию информационной системы, а также представление эмоциональной модели комбинаторами и возможность создания специализированного отладчика эмоциональной модели.

Вышла новая компьютерная обучающая программа Уголовный закон (Версия 1.0с)". Актуализирован контент программы. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся криминологией и ее приложениями на практике. Авторы контента д.ю.н. Колодкин Л.М., к.ю.н. Васин Ю.Г. Поставка для вузов и личного использования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы формализации эмоционального состояния пользователя, включающие звуковое сопровождение, в виде эмоциональной модели, а также способы определения следующего состояния игры на основе весовых функций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы управления звуковым сопровождением различных типов в связи с моделированием эмоционального состояния пользователя информационной системы, а также методы автоматизации управления вычислениями в JavaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обеспечения стабильности среды функционирования информационной системы, выделение классов пользователей языка диаграмм, а также способы добавления звукового сопровождения в информационные системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления информации об экономической деятельности предприятия в моделирующих системах, поддерживающих взаимодействие с пользователем, а также возможности анализа изображений для определения границ окрашенных областей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы редукции термов языка процессов с учётом их рекурсивной структуры, а также способы определения процессов, манипулирующих другими процессами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы поддержки стилистического единообразия специализированных информационных систем, а также способы комбинаторного представления преобразований функций, выражающих семантику диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы конфигурирования пользовательских интерфейсов специализированных информационных систем, вопросы автоматизированного сбора информации для подготовки документации, а также вопросы поддержки задач планирования средствами языка диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы миграции средств поддержки работы с базой данных, способы организации параллельных процессов, допускающих объединение пользовательских форм для ввода, а также варианты типизации процессов на основе типового ламбда-исчисления.

Вышла новая версия компьютерной обучающей программы Уголовное право (Версия 2.0)". Контент программы учитывает все последние изменения в уголовном законодательстве РФ. Возможно использование под WINDOWS и LINUX. Может быть использована как студентами вузов, так и практикующими юристами. Программа учитывает последние изменения в законодательстве и правоприменительной практике.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства отладки языка диаграмм, вопросы семантической пагинации, параллельного исполнения фрагментов диаграмм, средства поддержки документирования диаграмм, а также способы представления фрагментов диаграмм ламбда-термами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы идентификации объектов информационной системы с различным поведением, параметризации конструкций языка диаграмм, а также вопросы отладки диаграмм и организации взаимодействия субъектов в связи с масштабированием контекстов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности организации параллельной работы пользователей с разных компьютеров, возможности агрегации групп субъектов, а также вопросы создания языка конфигурирования взаимодействия между управляющей компонентой и интерфейсом информационной системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы преобразования данных при работе с базой данных, методы оценки энтропии генерируемых данных, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы абстрагирования интерфейса информационной системы с базой данных, а также управляющие механизмы системы тестирующего типа.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы выбора элементов визуальной информации, а также вопросы автоматизированной генерации термов ламбда-исчисления.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы задания семантически согласованной модели управления визуальной информацией, а также вопросы генерации слов контекстно-зависимого языка.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации баз данных информационных систем, средства анализа log-файлов, а также вопросы работы в облаке.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы сборки графической информации из базовых примитивов средствами формата SVG, организации голосовой и видеосвязи через Интернет, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности семантической параметризации графической информации, управления отображением различных значений параметров, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизации загрузки программ на сервер, автоматизированного тестирования и подготовки дистрибутивов, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности работы с подпиской на обновлённые версии программ, возможности размещения демонстрационных версий на сервере и их запуска, а также возможности генерации заставок методом трассировки лучей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы поддержки асинхронного взаимодействия со средствами поддержки информационных систем, а также средства обнаружения ошибок в данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности защиты информации в базах данных информационных систем, проблемы безопасности, а также возможности представления объектов, объединяющих код JavaScript и вывод в виде одного документа, в интерактивном виде.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности XML-форматов для представления отдельных атрибутов объектов моделей предметной области (возможность комментирования), а также особенности графического представления отдельных объектов и возможности их анимации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались особенности языков описания моделей предметной области, требующих создания специализированных конверторов. Был также представлен доклад относительно предполагаемого набора команд цикла read-eval-print для языка процессов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизированной генерации графической информации для объектов моделирующих систем, представленных в сети Интернет, а также возможности использования поисковых систем для создания концептуальной модели видеоинформации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования технических средств (библиотеки REACT, регулярные выражения), а также возможности абстрагирования отдельных типов управляющей информации моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались способы представления поддерживающих средств языка процессов средствами пакетов JavaScript, а также возможности совместного использования языка процессов со средствами работы с XML.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы использования динамических объектов в интерфейсе информационных систем и способы их представления средствами DHTML.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы генерации отчётов по автоматизированному тестированию библиотеки LambdaJS, а также способы поддержки моделей эмоционального состояния персонажей деловых игр.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности реализации рекурсивно представленных термов средствами библиотеки LambdaJS и соответствующие техники работы со свободными и связанными переменными.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности реализации интерфейсов для многофункциональных порталов в их связи с интерфейсами обучающих систем, а также способы автоматизации генерации тестов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались подходы к реализации многофункциональных порталов, их информационное моделирование и реализация, а также способы тестирования на основе свойств с использованием библиотеки LambdaJS.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства отображения кода, типизированного в системе зависимых типов (Idris), на JavaScript на примере задачи трассировки лучей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления версионированной документации средствами HTML и CSS, а также возможности реляционного представления конструкций языков описания взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы дополнения формул линейной временной логики информацией, необходимой для генерации взаимодействия с пользователем (случай дизъюнкции).

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось техническое задание на разработку программы получения статистики и визуализации для программных средств на языке JavaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Методы описания анимации контента HTML-страниц с помощью модальной временной логики». Обсуждались также средства ведения журнала запуска скриптов для обработки информации из сети Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания экранных форм в связи с запросами GET и POST для представления объектов, загружаемых из сети Интернет, а также вопросы создания специализированных языков обработки данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обработки ключевых слов, связываемых с объектами, загружаемыми из сети Интернет, а также техника запуска задач обработки данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы импорта и экспорта объектов, загружаемых из сети Интернет, а также проблемы интеграции системы управления объектами с Git.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы определения критериев классификации материалов, загружаемых из сети Интернет, а также вопросы экспорта материалов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации модели данных для информации, загружаемой из сети Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы функционирования средств загрузки информации из Интернет, а также особенности используемых сред программирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались текущие результаты загрузки информации из Интернет, а также задачи по развитию средств поддержки извлечения информации из Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался состав инструментальных средств для поддержки извлечения информации из Интернет, а также вопросы миграции на новую версию GitLab.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы логического проектирования баз данных для информационных систем, средства сопряжения с Web-интерфейсом, а также техника вложения управляющих структур информационных систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Семантика операции разыменования». Был также заслушан и обсуждён доклад на тему «Globular - веб-ассистент построения доказательств в категориях специального вида». Обсуждались синтаксические возможности средств поиска, а также возможности использования рефлексии.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поиска для моделирующих систем, содержащих большой объём текстовой информации, а также использование линейной временной логики для формализации условий, накладываемых на поведение системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства работы с эффектами для информационных систем, способы контроля доступа к контенту системы, а также вопросы формального описания вариантов поведения информационной системы, осуществляющей пошаговое взаимодействие с пользователем.

Подготовлено новое электронное издание. Компьютерная обучающая игра "Теория государства и права" или "Похождения гусарика", Версия 1.0с."

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы отладочного представления ламбда-термов для системы тестирования, а также информация, подлежащая формальному описанию при спецификации информационной системы, осуществляющей пошаговое взаимодействие с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы формального описания выбора содержания шагов для информационной системы, осуществляющей пошаговое взаимодействие с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Генератор ламбда-термов для системы тестирования на основе свойств». Обсуждались также способы генерации стратегий диалога для пошагового взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы интеграции поисковых механизмов для массивов данных, извлекаемых из сети Интернет, и фреймовых механизмов представления знаний, а также задачи доказательства свойств функций, определяемых в функциональном языке с зависимыми типами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы параметризации и объектно-ориентированного представления автоматизированных средств извлечения информации для моделирующих систем из сети Интернет, а также форматы представления контента для обучающих моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы отладки автоматизированных средств извлечения информации для моделирующих систем из сети Интернет для конкретных поисковых систем, а также вопросы создания распространяемых версий систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы регистрации (logging) событий при извлечении информации для моделирующих систем из сети Интернет, а также возможности повышения их семантической мощности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Тестирование, основанное на свойствах». Обсуждались также вопросы построения автоматизированных средств извлечения информации для моделирующих систем из сети Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Линзы в языке Haskell» (часть 2). Обсуждались также вопросы формализации спецификации моделирующих систем средствами линейной временной логики.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Линзы в языке Haskell» (часть 1). Обсуждались также вопросы характеризации систем, поддерживающих различные типы взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности представления драйверов автоматизированной загрузки данных средствами объектно-ориентированного программирования в Scala (в том числе implicit). Обсуждались также вопросы использования линейной временной логики для спецификации поведения информационных систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Обзор технологии RPC». Обсуждались также неподвижные точки комбинаторов и вопросы формализации спецификации средствами линейной временной логики.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации создания моделирующих систем специального вида, а также их автоматизированной отладки. Обсуждались также вопросы уточнения спецификации моделирующей системы в ходе взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования протокола LSP. Обсуждались также статически верифицируемые системы, взаимодействующие с пользователем по спецификации, заданной формулой линейной временной логики. Рассматривались способы выделения состояний системы и определения переходов между ними.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы прототипирования системы генерации вопросов средствами линейной временной логики, а также вопросы настройки редактора (Language Server Protocol).

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации программ для автоматизированного сбора информации для моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы построения статически верифицируемых систем взаимодействия с пользователем и построения доказательства корректного функционирования таких систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались альтернативные подходы к проектированию моделирующих систем, описание семантики модели на основе генераторов, типизации представляющих конструкций, а также вопросы нагрузочного тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации генерации комментариев, вопросы использования автоматов Бучи (Büchi) для описания семантики линейной временной логики, а также способы уточнения измерений временных характеристик программ.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались представления структур данных моделирующих систем в реляционной модели данных, особенности отладки и анимационного оформления систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы идентификации объектов в системе, способы автоматизации генерации комментариев, а также вопросы автоматизации сборки системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы построения и пополнения модели пользователя моделирующей системы, а также вопросы оценки параметров производительности системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались механизмы оценки работы пользователя с моделирующей системой, вопросы управления локальным реестром пакетов npm, а также архитектура средств поддержки языка процессов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования React для построения интерфейса с моделирующей системой, а также вопросы генерации термов для тестирования поддерживающих библиотек системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались проблемы, возникающие при обновлении состояния отдельных файлов на сервере вручную. Были выделены: быстрые локальные изменения, изменения, которые не были перенесены на сервер, и изменения, связанные с удалением файлов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации задач в связи с техникой экземплярных запросов, вопросы сериализации объектов, а также возможности использования библиотек Selenium и Puppeteer для отладки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсужден доклад на тему «Программа измерения сортировки случайного массива как источник экспериментальных данных». Обсуждались также вопросы обслуживания сервера (проксирование, мониторинг), на котором развёрнуты модели.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы преобразования семантически ориентированных форматов, а также вопросы автоматизации тестирования модели.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Программа измерения сортировки случайного массива как источник экспериментальных данных».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы асинхронного запуска тестирующих скриптов в ходе нагрузочного тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации нагрузочного тестирования, а также продолжалось обсуждение поддержки аппликативного языка описания редукций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы копирования разделенных ссылок при сериализации объектов, а также вопросы поддержки аппликативного языка описания редукций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы сжатия информации при передаче между клиентом и сервером, вопросы администрирования базы комментариев, а также функция автоматического сбора скриншотов и вопросы автоматизации резервных копий.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы модульности представления языка описания модели, возможность вывода дополнительной информации о контексте в ходе моделирования, а также варианты представления информации, в том числе в таблицах.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поиска комментариев по контексту, а также загрузки и выгрузки комментариев.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы внешнего представления контекста моделирующей системы, а также способы указания контекста при работе с таблицами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания административной компоненты для комментариев, а также способы хранения кода, общего для клиента и сервера.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обработки генерируемых данных в контексте расширения набора функций для различных классов пользователей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы привязки сессий к пользователю и отдельные вопросы администрирования контрольных точек.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможные технологии подготовки контрольных точек, а также вопросы использования документов различных уровней, регламентирующих именование объектов предметной области.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания и поддержки контрольных точек.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы администрирования пользователей в деловых играх.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации нагрузочного тестирования деловых игр.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования headless browser для сбора данных и вопросы автоматизации генерации документации к программам деловых игр.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концепция потенциально бесконечного списка в перезаписываемых моделях данных».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование переменных в языке блоков и языке диаграмм».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации ввода данных и определения структур данных предметной области, а также возможности создания универсальных управляющих механизмов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались параметры управления модальными окнами субъектов, способы идентификации и администрирования пользователей деловой игры «ПолуКЭР», вопросы представления и передачи внутреннего состояния игры.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства представления контекста деловой игры «ПолуКЭР» при взаимодействии с виртуальными моделируемыми субъектами, а также способы представления данных в иерархии объектов «часть-целое».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы оформления npm-пакетов на языке JavaScript с обеспечением возможности их использования как в браузере, так и в Node.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы проверки типов ламбда-термов в языке диаграмм, а также вопросы практической поддержки модульности в соответствии со стандартом ECMAScript 6.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обновления визуализатора для второй версии языка диаграмм, а также некоторые проблемы поддержки необходимых динамичных объектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы реализации табличного интерфейса пользователя.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Параметры компилятора второй версии языка диаграмм». Обсуждалось также портирование существующих программ на вторую версию языка диаграмм.

Проведён научный семинар «Когнитивная система комбинаторной логики. Эмпирика обнаружения, добычи и гранулирования знания».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка стабильности внешнего окружения для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Контекст блока для второй версии языка диаграмм».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования результатов работы с экспертами для деловой игры «ПолуКЭР».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Вспомогательные инструменты сборки для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Реализация семантики импортируемых блоков».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Работа с таблицами технологических показателей в деловой игре «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование специальных режимов подсказки «Советник» и «Коллега» в деловой игре «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типизация параметров диаграмм для новой версии компилятора».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Переход на новую версию компилятора языка диаграмм».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Возможность комментирования хода игры экспертом для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Организация работы с экспертом для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Соединение видеофрагментов с управляющей компонентой для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Система управления сервисами для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Пакеты динамической типизации для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Представление конструкции языка процессов в виде объекта зависимого типа».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Переход деловой игры «ПолуКЭР» на систему модульности для EcmaScript 6».

Готовится к изданию в апреле 2021 г. монография профессора В.Э.Вольфенгагена "Модели вычислений в информационных технологиях".

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы практической поддержки динамичных объектов в деловой игре «ПолуКЭР».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Таблицы в языке диаграмм».

Мы поздравляем Исмаилову Ларису Юсифовну с присвоением в 2020 г. звания Senior Members АСМ. Senior Members Grade присваивается членам ACM за продемонстрированные ими за последние 10 лет техническое лидерство, эффективность и профессиональный вклад.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Подсказки как динамичные объекты. Использование подсказок для ведения пользователя по игре «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования динамичных объектов при реализации деловой игры «ПолуКЭР».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование языка диаграмм при реализации деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «CSS и методологии работы с ним (продолжение)».

Вышла новая версия компьютерной контрольно-обучающей программы Уголовное право (Версия 2.0)"

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Механизм декаррирования для систем с зависимыми типами».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Работа с концептуальными иерархиями при подготовке дайджеста».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы динамического управления правами доступа в деловой игре «Робосбор».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка состояния игрока в деловой игре «Робосбор»».

Мы поздравляем коллег с опубликованием результатов исследований: Wolfengagen V., Ismailova L., Kosikov S. (2021) Applicative Model to Bring-in Conceptual Envelope for Computational Thinking with Information Processes. In: Samsonovich A.V., Gudwin R.R., Sim?es A..S. (eds) Brain-Inspired Cognitive Architectures for Artificial Intelligence: BICA*AI 2020. BICA 2020. Advances in Intelligent Systems and Computing, vol 1310. Springer, Cham.

Проведен научный семинар "Информационные системы взаимодействия с окружениям. Элементы линейной временной логики"

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы абстрагирования механизмов описания предметной области для деловой игры «Робосбор».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы моделирования предметной области при работе с дайджестом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации аннотирования при работе с дайджестом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка динамичных объектов при работе с СУБД».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы практической поддержки динамичных объектов в существующих проектах.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка версий на примере разработки УМК».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование динамичных объектов при получении справки для обучающей компоненты». Обсуждались вопросы динамичной поддержки реализации УМК.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Возможности языка диаграмм для деловой игры «Робосбор»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Генерация последовательных шагов деловой игры «Робосбор»».

Эксперты и сотрудники АО "Центр ЮрИнфоР" приняли участие c докладами и презентациями в международной конференции BICA 2020: 2020 Annual International Conference on Biologically Inspired Cognitive Architectures for Artificial Intelligence (BICA*AI 2020), the Eleventh Annual Meeting of the BICA Society, Natal, Brazil, held on October 10-11 and November 10-15 as a virtual-only event

Проведен научно-практический семинар "Методологии использования CCS"

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование средств распознавания речи при реализации динамичных объектов».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование редактора диаграмм для подготовки контента деловых игр».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концептуальное моделирование динамичных объектов. Поиск концептов с заданными свойствами».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концептуальное моделирование динамичных объектов. Учёт зависимости концептов от параметра». Обсуждалось также расширение языка процессов языком LambdaJS.

Состоялось заседание постоянно действующего семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Дайджест как динамический объект».

Проведен научный семинар «Модели поддержки версионирования данных».

Проведен научный семинар «Методы и средства поддержки версионирования данных».

Мы поздравляем коллег с опубликованием результатов исследований в соавторстве с сотрудниками НИЯУ МИФИ Wolfengagen, V., Kosikov, S., Ismailova, L., Zaytsev, V.: Semantic framework for data flow control in the network of information graphs. Procedia Comput. Sci. 169, 16–22 (2020). Postproceedings of the 10th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2019 (Tenth Annual Meeting of the BICA Society), held 15–19 August 2019 in Seattle, Washington, USA

Мы поздравляем коллег с опубликованием результатов исследований: Kosikov, S., Ismailova, L., Wolfengagen, V., Marenkov, A., Ermak, M., Slieptsov, I., Zaytsev, V., Shedko, A.: Indexical structures to enable knowledge mining tasks. Procedia Comput. Sci. 169, 284–290 (2020). https://doi.org/10.1016/j.procs.2020.02.180. . Postproceedings of the 10th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2019 (Tenth Annual Meeting of the BICA Society), held 15–19 August 2019 in Seattle, Washington, USA

Проведен научный семинар «Почему паутина спутывается?». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Разработка системы семантических признаков объектов данных информационных систем: средства навигации».

Проведен научный семинар «Разработка системы семантических признаков объектов данных информационных систем: базовые свойства».

Проведен научный семинар «Модель детерминированного пошагового взаимодействия объектов данных».

Проведен научный семинар «Свойства детерминированных пошаговых интерактивных систем со скрытым состоянием».

Проведен научный семинар «Подход к построению формальной теории деловых игр».

Проведен научный семинар «Анализ конкурентных систем. Пост-правда и фейковые новости». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Задача о продвижении информации». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Задача о фишинге». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Форсинг: задача о головастике Хьюго». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Задача о наследовании свойств». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Переменные домены». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Процесс во времени». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Информационные процессы». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Сотрудники Института “ЮрИнфоР-МГУ” приняли участие в ряде научных мероприятий, поддержанных IEEE и ACM. Представлены доклады на конференциях: -- International Conference On Recent Trends In Engineering & Sciences (ICRTES-2018), февраль 2018; -- International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE-2018), июль 2018, Bhubaneswar, India; -- International Conference on Advanced Computation and Telecommunication (ICACAT-2019), декабрь 2018, Bhopal, India.

Проведён научный семинар "Обеспечение семантической устойчивости Web-ориентированных систем за счёт эмуляции системы типов".

Разработан и запущен новый портал для российско-германского проекта "климатически-нейтральное обращение с отходами" otxod.com

Поздравляем проф. Вольфенгагена В.Э., награжденного медалью "За вклад в развитие НИЯУ МИФИ" 28 ноября 2018 г.

Запущен новый сайт, разработанный для германо-российской конференции "Климатически нейтральное обращение с отходами" otxod.online

Проведён научный семинар "Блокчейн как smart contract".

Проведён научный семинар "Архитектура блокчейн-проектов".

Проведён научный семинар "Автоматизация подготовки программной документации в соответствии с ЕСПД".

Проведён научный семинар "Возможности моделирования элементов технологии блокчейн".

Проведён научный семинар "Фундаментальные основы информационных технологий. Программная инженерия: Семантически безопасное информационное моделирование". Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведён научный семинар "Модели описания семантики имитационных деловых игр".

В рамках реализации проекта "ДКТИ. Климатически нейтральная хозяйственная деятельность. Внедрение НДТ в РФ" АО "Центр ЮрИнфоР" разработаны и применены новые технологии генерации элементов контента для портала good-climate.com.

Эксперты АО "Центр ЮрИнфоР" и сотрудники Института ЮрИнфоР-МГУ приняли участие в международной конференции BICA 2017: 2017 Annual International Conference on Biologically Inspired Cognitive Architectures

По заказу проекта "ДКТИ. Климатически нейтральная хозяйственная деятельность. Внедрение НДТ в РФ" АО "Центр ЮрИнфоР" разработан портал и система управления контентом - good-climate.com.

По заказу Немецкого общества технического сотрудничества АО "Центр ЮрИнфоР" разработал сайт Германо-российский семинара "Новации в экологическом праве, обмен опытом в области правоприменительной практики по внедрению Наилучших доступных технологий (НДТ)" и систему администрирования см. здесь

Разработана новая версия обучающей игры "Конституционное право РФ"

По заказу АНО организации содействия развитию спорта «ОЛЕГРИ» разботаны сайты olegri.moscow см. здесь и olegri.com см. здесь. Использованы авторские технологии генерации схем.

Проект "Твой основной закон" Пополнен пилотный вариант раздела "Глоссарий - видеоматериалы" интерактивного информационного ресурса

Москва 21 марта 2014 года в Институте "ЮрИнфоР-МГУ" (офис 37, 15.00) состоялось заседание рабочей группы проекта "Твой основной закон" с привлечением приглашенных экспертов. Тема: Оценка прототипа Интерактивного информационного ресурса. При реализации проекта используются средства господдержки, выделенные в качестве гранта в соответствии с распоряжением Президента РФ от 29.03.2013 № 115-рп и на основании конкурса, проведенного Фондом ИСЭПИ.

Группа компаний "ЮрИнфоР" приглашает вас принять участие в 4-й Международной конференции "Аппликативные вычислительные системы (АВС'2014)". Дата проведения уточняется. Место проведения: Москва.
Предыдущие конференции: АВС'2012, АВС'2010, АВС'2008.

Вышла новая версия компьютерной деловой игры "Убийство".

Группа компаний "ЮрИнфоР" подготовила и провела 3-ью Международную конференцию "Аппликативные вычислительные системы (АВС'2012)" 14 декабря 2012 г. Место проведения: МАБиУ (Адрес: 129594, Москва, 5-й проезд Марьиной Рощи, д. 15-а).

Группа компаний "ЮрИнфоР" приглашает вас принять участие в 3-й Международной конференции "Аппликативные вычислительные системы (АВС'2012)". Дата проведения: ноябрь 2012 г. Место проведения: Москва.

В разделе сайта сервисы размещена демонстрационная версия обучающей программы "WEB-сервисы".

Сотрудники ЮрИнфоР выступили с докладами на конференции с международнымм участием "Информационные и математические технологии в науке и управлении", Иркутск

Вышла новая электронная книга: Вольфенгаген В.Э., Исмаилова Л.Ю., Косиков С.В. Парадигма функционального программирования (электронная книга на CD)

Вышла новая книга: Вольфенгаген В.Э. Парадигма функционального программирования

Вышла новая версия компьютерной программы "Следователь".

Сотрудники ЮрИнфоР выступили с докладами и презентациями на V Международной научно-методической конференции "Современные проблемы техносферы и подготовки инженерных кадров", 06-15 октября 2011 г. в городе Табарка (Тунис)

Успешно прошла 13-ая Международная конференция "Компьютерные науки и информационные технологии" (CSIT'2011). Даты проведения: 27 сентября - 2 октября 2011 г. Место проведения: Гармиш–Партенкирхен, Германия.

Готовится к изданию: Вольфенгаген В.Э. Парадигма функционального программирования

Готовится III Всероссийская научная конференция с международным участием "Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности)". Дата проведения: 8-12 ноябра 2011 года. Место проведения: г. Ижевск.

Вышла новая игра Уголовное право РФ "

Сотрудники ЮрИнфоР представили серию докладов по аппликативным вычислительным технологиям на XV конференции "Телекоммуникации и новые информационные технологии в образовании" (Москва, НИЯУ МИФИ, февраль 2011 года).

Группой компаний "ЮрИнфоР" проведена 2-ая Международная конференция "Аппликативные вычислительные системы (АВС'2010)"

Новинка: Аппликативные вычислительные системы: Труды 2-й международной конференции по аппликативным вычислительным системам (АВС'2010), Москва, 29-31 октября 2010 г

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Коддовское видение реляционных систем управления базами данных (к 40-летию реляционной модели данных Э.Ф. Кодда).

Сотрудники ЮрИнфоР представили доклады по проблематике семантического WEBа на международной конференции "Инновационные информационные технологии: теория и практика" (Германия, с 4 по 12 сентября 2010 года).

Новинка: компьютерная программа "Активная система изучения комбинаторной логики в программировании (Active CLoP)"

Новинка: компьютерная программа "Активная система изучения конструкций языков программирования (Active PLC)"

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Динамика развития цифровой вселенной ставит новые вопросы фундаментальной важности.

Сотрудники "ЮрИнфоР" приняли участие с докладами в 15-ой конференции "Информационные и математические технологии" (1-9 июля 2010 г., Иркутск-Байкал).

Новинка: компьютерная программа "Система изучения категориальной абстрактной машины"

Группа компаний "ЮрИнфоР" приглашает вас принять участие во 2-й Международной конференции "Аппликативные вычислительные системы" (АВС'2010). Дата проведения: 29-31 октября 2010 г. Место проведения: Москва.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Барьеры и точки роста информационных технологий.

Сотрудники "ЮрИнфоР" приняли участие с докладами в German-Russian Workshop on Engineering and Information Sciences: New Methods and Solutions for Emerging Technologies по проекту G7: OV 88/7-1 (23-28 февраля 2010 г., Германия).

Первая книга в новой серии "Фундаментальные основы информационных технологий": Wolfengagen V.E. Applicative computing. Its quarks, atoms and molecules

Сотрудники "ЮрИнфоР" приняли участие c докладами в Научной сессии выставке-конференции НИЯУ МИФИ "Телекоммуникационные и новые информационные технологии в образовании", прошедшей 26-27 января 2010 г.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Косиков С.В. Модели ламбда-исчисления.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Компьютинг: круг вопросов и характеристики.

В рамках московского семинара "Фундаментальные основы информационных технологий" (научный руководитель проф. В.Э. Вольфенгаген) сотрудниками ЮрИнфоР сделан доклад по теме "Модели лямбда-исчисления". Семинар организован ФИВТ МФТИ на территории компании 1С. Подробнее о предстоящих семинарах - info@jurinfor.ru.

Новинка: Вольфенгаген В.Э. Аппликативные вычислительные технологии. Готовые решения для инженера, преподавателя, аспиранта, студента

Сотрудники "ЮрИнфоР" приняли участие с докладами в Международной конференции-выставке "Информационные технологии в образовании" ИТО-2009, прошедшей в НИЯУ "МИФИ".

На международной конференции CSIT’2009, Crete, Greece, 2009 cотрудниками института представлена серия докладов об использовании аппликативных вычислительных технологий (АВС) для построения обучающих сред.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Перспективные формы компьютинга

18 мая 2009 г. Институт "ЮрИнфоР-МГУ" совместно ФИВТ МФТИ провели семинар в рамках проекта ТАСИС.

ЮрИнфоР поздравляет профессора, д.т.н. Вольфенгагена В.Э. с признанием его Senior Member of ACM 2009.

Новинка: Вольфенгаген В.Э. Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Комбинаторная логика или настойчивое приглашение к компьютингу

Доступна демонстрационная версия обучающей программы
"Российское право в терминах и выражениях"

Конференция "Аппликативные вычислительные системы (АВС’2008)".

Доступна демонстрационная версия обучающей программы "Латинский язык для юристов"