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

20/03/2023

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

16/03/2023

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

13/03/2023

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

09/03/2023

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

06/03/2023

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

27/02/2023

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

23/02/2023

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

20/02/2023

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

16/02/2023

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

13/02/2023

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

09/02/2023

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

06/02/2023

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

02/02/2023

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

30/01/2023

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

26/01/2023

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

23/01/2023

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

19/01/2023

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

16/01/2023

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

12/01/2023

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

09/01/2023

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

05/01/2023

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

29/12/2022

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

26/12/2022

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

22/12/2022

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

19/12/2022

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

15/12/2022

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

12/12/2022

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

08/12/2022

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

05/12/2022

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

01/12/2022

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

28/11/2022

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

24/11/2022

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

21/11/2022

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

17/11/2022

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

14/11/2022

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

10/11/2022

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

07/11/2022

03/11/2022

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

31/10/2022

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

27/10/2022

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

24/10/2022

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

20/10/2022

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

17/10/2022

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

13/10/2022

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

10/10/2022

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

06/10/2022

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

03/10/2022

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

29/09/2022

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

26/09/2022

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

23/09/2022

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

22/09/2022

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

19/09/2022

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

15/09/2022

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

12/09/2022

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

08/09/2022

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

05/09/2022

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

01/09/2022

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

29/08/2022

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

25/08/2022

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

22/08/2022

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

18/08/2022

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

15/08/2022

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

11/08/2022

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

10/08/2022

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

10/08/2022

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

08/08/2022

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

04/08/2022

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

03/08/2022

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

01/08/2022

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

28/07/2022

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

25/07/2022

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

21/07/2022

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

18/07/2022

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

14/07/2022

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

11/07/2022

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

07/07/2022

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

04/07/2022

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

03/07/2022

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

01/07/2022

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

30/06/2022

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

27/06/2022

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

23/06/2022

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

20/06/2022

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

17/06/2022

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

13/06/2022

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

09/06/2022

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

06/06/2022

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

02/06/2022

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

30/05/2022

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

26/05/2022

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

23/05/2022

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

19/05/2022

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

16/05/2022

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

12/05/2022

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

12/05/2022

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

09/05/2022

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

05/05/2022

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

02/05/2022

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

29/04/2022

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

25/04/2022

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

21/04/2022

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

18/04/2022

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

14/04/2022

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

12/04/2022

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

11/04/2022

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

07/04/2022

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

04/04/2022

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

31/03/2022

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

28/03/2022

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

24/03/2022

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

21/03/2022

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

17/03/2022

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

14/03/2022

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

10/03/2022

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

07/03/2022

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

03/03/2022

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

28/02/2022

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

24/02/2022

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

21/02/2022

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

17/02/2022

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

14/02/2022

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

10/02/2022

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

07/02/2022

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

03/02/2022

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

31/01/2022

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

27/01/2022

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

24/01/2022

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

20/01/2022

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

17/01/2022

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

13/01/2022

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

10/01/2022

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

06/01/2022

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

27/12/2021

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

23/12/2021

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

20/12/2021

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

16/12/2021

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

13/12/2021

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

09/12/2021

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

06/12/2021

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

02/12/2021

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

29/11/2021

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

25/11/2021

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

22/11/2021

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

18/11/2021

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

15/11/2021

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

11/11/2021

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

10/11/2021

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

08/11/2021

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

04/11/2021

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

01/11/2021

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

28/10/2021

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

25/10/2021

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

21/10/2021

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

18/10/2021

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

14/10/2021

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

11/10/2021

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

07/10/2021

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

04/10/2021

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

30/09/2021

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

27/09/2021

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

23/09/2021

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

20/09/2021

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

16/09/2021

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

13/09/2021

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

09/09/2021

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

06/09/2021

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

02/09/2021

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

30/08/2021

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

26/08/2021

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

23/08/2021

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

19/08/2021

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

16/08/2021

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

12/08/2021

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

09/08/2021

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

05/08/2021

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

02/08/2021

29/07/2021

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

26/07/2021

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

22/07/2021

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

19/07/2021

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

15/07/2021

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

12/07/2021

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

08/07/2021

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

05/07/2021

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

01/07/2021

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

28/06/2021

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

24/06/2021

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

21/06/2021

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

14/06/2021

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

10/06/2021

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

07/06/2021

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

03/06/2021

27/05/2021

24/05/2021

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

17/05/2021

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

12/05/2021

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

06/05/2021

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

03/05/2021

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

29/04/2021

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

26/04/2021

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

22/04/2021

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

22/04/2021

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

15/04/2021

12/04/2021

08/04/2021

05/04/2021

01/04/2021

29/03/2021

25/03/2021

18/03/2021

15/03/2021

11/03/2021

09/03/2021

04/03/2021

03/03/2021

01/03/2021

25/02/2021

22/02/2021

20/02/2021

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

18/02/2021

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

11/02/2021

10/02/2021

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

09/02/2021

08/02/2021

04/02/2021

28/01/2021

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

25/01/2021

18/01/2021

14/01/2021

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

07/01/2021

31/12/2020

Мы поздравляем коллег с опубликованием результатов исследований: 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.

30/12/2020

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

24/12/2020

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

21/12/2020

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

17/12/2020

10/12/2020

07/12/2020

03/12/2020

02/12/2020

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

30/11/2020

25/11/2020

23/11/2020

Эксперты и сотрудники АО "Центр ЮрИнфоР" приняли участие 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

19/11/2020

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

16/11/2020

12/11/2020

09/11/2020

05/11/2020

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

02/11/2020

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

18/09/2020

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

04/09/2020

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

30/04/2020

Мы поздравляем коллег с опубликованием результатов исследований в соавторстве с сотрудниками НИЯУ МИФИ 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

16/04/2020

Мы поздравляем коллег с опубликованием результатов исследований: 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

30/03/2020

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

10/03/2020

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

18/02/2020

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

28/01/2020

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

14/01/2020

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

26/12/2019

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

20/08/2019

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

13/08/2019

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

06/08/2019

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

30/07/2019

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

23/07/2019

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

16/07/2019

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

09/07/2019

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

02/07/2019

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

05/03/2019

Сотрудники Института “ЮрИнфоР-МГУ” приняли участие в ряде научных мероприятий, поддержанных 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.

14/02/2019

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

15/01/2019

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

28/11/2018

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

31/10/2018

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

20/09/2018

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

14/08/2018

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

23/07/2018

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

19/07/2018

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

30/03/2018

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

20/02/2018

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

23/01/2018

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

02/08/2017

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

23/12/2015

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

10/09/2015

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

08/09/2015

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

28/07/2015

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

24/07/2014

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

28/03/2014

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

07/01/2014

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

24/06/2013

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

23/12/2012

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

12/09/2012

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

27/07/2012

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

12/07/2012

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

02/04/2012

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

19/12/2011

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

21/10/2011

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

20/10/2011

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

10/10/2011

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

02/09/2011

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

08/06/2011

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

25/03/2011

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

16/02/2011

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

31/10/2010

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

28/10/2010

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

11/10/2010

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

15/09/2010

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

09/08/2010

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

03/08/2010

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

29/07/2010

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

12/07/2010

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

09/06/2010

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

07/06/2010

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

25/05/2010

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

28/02/2010

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

19/02/2010

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

27/01/2010

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

12/01/2010

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

18/12/2009

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

03/12/2009

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

25/11/2009

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

05/11/2009

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

09/10/2009

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

10/08/2009

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

18/05/2009

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

16/05/2009

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

16/10/2008

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

31/08/2008

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

24/04/2008

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

10/04/2008

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

12/02/2008

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