Войти Зарегистрироваться

Мероприятия

Использование TypeScript с проверкой типов и задания аннотаций типов для проверки и поддержки корректности трансляторов языков представления знаний

'

	Семинар
Дата проведения:	14.06.2022

Методы трансляции с обеспечением локальной толерантности к некорректным данным

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСИС. Семинар прошел он-лайн.

	Семинар
Дата проведения:	12.05.2022

Параметризация и типизация конструкций языка диаграмм для описания взаимодействия субъектов

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСИС. Семинар прошел он-лайн.

	Семинар
Дата проведения:	07.04.2022

Параметризация и типизация конструкций языка диаграмм для описания взаимодействия субъектов

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.

	Семинар
Дата проведения:	06.04.2022

Генерация слов контекстно-зависимого языка на примере термов ламбда-исчисления

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.

	Конференция
Дата проведения:	21.03.2022

Рендеринг сцен методом трассировки лучей в евклидовых и римановых пространствах

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.

	Семинар
Дата проведения:	07.02.2022

Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн

	Семинар
Дата проведения:	10.01.2022

Методы описания анимации контента HTML-страниц с помощью модальной временной логики

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.

	Семинар
Дата проведения:	23.12.2021

Семантика операции разыменования

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.

	Семинар
Дата проведения:	18.11.2021

Генератор ламбда-термов для системы тестирования на основе свойств

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС.

	Семинар
Дата проведения:	01.11.2021

Тестирование, основанное на свойствах

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ. Семинар прошел он-лайн.

	Вебинар
Дата проведения:	14.10.2021

Обзор технологии RPC

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ. Семинар прошел он-лайн.

	Вебинар
Дата проведения:	30.09.2021

Использование автоматов Бучи (Buchi) для описания семантики линейной временной логики

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ. Семинар прошел он-лайн.

	Вебинар
Дата проведения:	06.09.2021

Типизация задач в связи с техникой экземплярных запросов

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ. Семинар прошел он-лайн.

	Конференция
Дата проведения:	18.08.2021

Поддержка аппликативного языка описания редукций

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ. Семинар прошел он-лайн.

	Вебинар
Дата проведения:	22.07.2021

Возможности языка диаграмм по описанию структур данных предметной области

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МФТИ. Семинар прошел он-лайн.

	Вебинар
Дата проведения:	24.05.2021

Средства представления конструкций языка диаграмм при масштабировании приложений

состоялся 10 мая (18.00) 2021 г.

	Вебинар
Дата проведения:	10.05.2021

Когнитивная система комбинаторной логики: квинтэссенция компьютерных наук и извлечение знания о компьютинге

он-лайн семинар профессора В.Э.Вольфенгагена. НАО ЮРИНОФ - группа в СКАЙПЕ

	Семинар
Дата проведения:	22.04.2021

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

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МФТИ. Семинар прошел он-лайн.

	Вебинар
Дата проведения:	28.01.2021

Свойства детерминированных пошаговых интерактивных систем со скрытым состоянием

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МФТИ. Семинар прошел он-лайн.

	Вебинар
Дата проведения:	14.01.2021

Специальное введение в семантическое моделирование. Колмогоровские рекомендации

В семинаре приняло участие 11 человек - представители ведущих университетов и компаний разработчиков.

	Вебинар
Дата проведения:	22.07.2020

Вопросы компьютинга. Часть 4 - "Извлечение вычислительной модели"

В семинаре приняло участие 13 человек - представители ведущих университетов и компаний разработчиков.

	Вебинар
Дата проведения:	15.07.2020

Вопросы компьютинга. Часть 3 - "Когнитивная интерференция"

В семинаре приняло участие 13 человек - представители ведущих университетов и компаний разработчиков.

	Вебинар
Дата проведения:	08.07.2020

Вопросы компьютинга. Часть 2

В семинаре приняло участие 11 человек - представители ведущих университетов и компаний разработчиков.

	Вебинар
Дата проведения:	01.07.2020

Вопросы компьютинга. Часть 1

В семинаре приняло участие 17 представителей ведущих университетов и компаний разработчиков.

	Вебинар
Дата проведения:	24.06.2020

Методы индексации объектов, основанных на смещенных концептах

Часть 1. Рассматривалась возможности построения среды моделирования методов индексации объектов, основанных на смещенных концептах

	Вебинар
Дата проведения:	14.04.2020

Почему паутина спутывается?

он-лайн

	Семинар
Дата проведения:	30.03.2020

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

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МФТИ. Семинар прошел в офисе компании.

	Семинар
Дата проведения:	10.03.2020

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

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МФТИ. Семинар прошел в офисе компании.

	Семинар
Дата проведения:	18.02.2020