Публикации
References
Articles: |
---|
Извлечение описаний бизнес-процессов из текстов на естественном языке
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление.,
5(229):69--78
December
2015
DOI: 10.5862/JCSTCS.229.7
|
Анализ востребованности мобильных сервисов для образовательных учреждений
Компьютерные инструменты в образовании,
5:24--32
December
2015
|
Архитектура средств управления мобильными устройствами для образовательных учреждений
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление.,
5(229):97--107
December
2015
|
Аппаратное ускорение выполнения SQL-запросов в MDM-системах на основе МКОД-решения
Наука и Образование. МГТУ им. Н.Э. Баумана,
:128 – 136
December
2015
|
Shortened Polar Codes
IEEE Transactions on Information Theory,
61(9):4852-4865
September
2015
ISSN: 0018-9448
Keywords: polar |
Low-complexity Implementation of RAID Based on Reed-Solomon Codes
ACM Transactions on Storage,
11(1)
February
2015
DOI: 10.1145/2700308
|
Мотивационные аспекты использования мобильных технологий в образовательном процессе вузов
Научные ведомости БелГУ, Серия «Экономика. Информатика»,
19(36/1):144-151
2015
|
Методика апробации внедрения мобильных сервисов на платформе управления мобильными устройствами в вузах
Научные ведомости БелГУ, Серия «Экономика. Информатика»,
19(36/1):152-159
2015
|
Ключевые показатели эффективности при управлении образовательными организациями c использованием технологии MDM и BYOD
Научно-технические ведомости СПбГПУ Информатика. Телекоммуникации. Управление 6(230,
6(230):81-94
2015
|
Средства автоматизации текущего контроля успеваемости на основе системы управления мобильными устройствами
Научно-технические ведомости СПбГПУ Информатика. Телекоммуникации. Управление,
6(230):95-102
2015
|
Contributions to proceedings: |
Process Extraction from Texts using Semantic Unification
Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015) - Volume 3: KMIS
, page 254-259.
November
2015
|
Architecture of a Platform for Building Context-Aware Educational Mobile Services
Proceedings of the 11th International Conference on Engineering Education (EDUCATION'15), Salerno, Italy
, page 36--40.
June
2015
|
Автоматизированное тестирование систем управления мобильными устройствами
Труды международной научно-технической конференции «КОМОД 2015»
, page 140-144.
June
2015
|
Анализ причинно-следственных связей на основе корреляционных отношений
Материалы XVII конференции молодых ученых "Навигация и управление движением"
, page 228-232.
February
2015
|
Анализ динамических и статических характеристик систем с отказами и восстановлениями на основе уравнений Колмогорова
Материалы XVII конференции молодых ученых "Навигация и управление движением"
, page 221-227.
February
2015
|
Экспериментальное определение свойств динамических объектов
Материалы XVII конференции молодых ученых "Навигация и управление движением"
, page 490-496.
February
2015
|
Design of Polar Codes for Rayleigh Fading Channel
Proceedings of The International Symposium on
Wireless Communication Systems
2015
Keywords: polar |
Block Sequential Decoding of Polar Codes
Proceedings of International Symposium on
Wireless Communication Systems
2015
Keywords: polar |
Multilevel Buckets for Sequential Decoding of Polar Codes
Proceedings of IEEE International Symposium on Personal, Indoor and Mobile Radio Communications
2015
Keywords: polar |
Технологические вопросы использования мобильных технологий в образовании
Труды международной научно-практической конференции ЭКОПРОМ-2015
, page 804-810.
2015
|
A comprehensive set of mobile services supporting education process
4th World Cоnference on Educational Technology Researches Procedia - Social and Behavioral Sciences
, page 613 – 618.
2015
|
A new tool for visual modeling: Rand Model Designer 7
Proceedings of 8th Vienna International Conference on Mathematical Modelling, MATHMOD
Publisher: IFAC-papers on-line,
2015
|
PhD theses: |
Метод разработки формальных контекстных требований для верификации программных систем логического управления
Диссертация
СПбПУ,
March
2015
Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика |
Методы построения и декодирования полярных кодов
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.01
Санкт-Петербургский государственный политехнический университет,
March
2015
|
Miscellany: |
Метод разработки формальных контекстных требований для верификации программных систем логического управления
May
2015
Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика |
mailto: webmaster@dcn.ftk.spbstu.ru