ЮрИнфоР
Логотип ЮрИнфоР
предлагает

Rambler's Top100
Rambler's Top100

ЮрИнфоР >>> Все новости >>>

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

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
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
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Переход деловой игры «ПолуКЭР» на систему модульности для EcmaScript 6».
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
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «CSS и методологии работы с ним (продолжение)».
28/01/2021
Вышла новая версия компьютерной контрольно-обучающей программы Уголовное право (Версия 2.0)"
25/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Механизм декаррирования для систем с зависимыми типами».
18/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Работа с концептуальными иерархиями при подготовке дайджеста».
14/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы динамического управления правами доступа в деловой игре «Робосбор».
07/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка состояния игрока в деловой игре «Робосбор»».
31/12/2020
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
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
28/10/2010
11/10/2010
15/09/2010
Сотрудники ЮрИнфоР представили доклады по проблематике семантического WEBа на международной конференции "Инновационные информационные технологии: теория и практика" (Германия, с 4 по 12 сентября 2010 года).
09/08/2010
03/08/2010
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
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
12/02/2008
Доступна демонстрационная версия обучающей программы "Латинский язык для юристов"


Курсы : : Семинары по праву : : Книги : : Программы : : Юридическое сопровождение : : ИТ-услуги : : Конференции :

Выделите орфографическую ошибку мышью и нажмите Ctrl+Enter

Copyright (C) Институт "ЮрИнфоР-МГУ", 1994-2021