Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
отправить сообщение
Фастовец Николай Николаевич
пользователь
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
, младший научный сотрудник, с 1 ноября 2012
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
, аспирант, 1 ноября 2009 - 1 ноября 2012
Соавторы:
Корухова Ю.С.
6 статей
,
3 доклада на конференциях
,
5 НИР
,
1 научный отчёт
,
3 учебных курса
IstinaResearcherID (IRID): 1528587
Деятельность
Статьи в журналах
2014
An approach to case-based synthesis of functional programs
Фастовец Н.Н.
в журнале
Программные продукты и системы
, № 107, с. 5-9
Статьи в сборниках
2013
Об одном способе организации библиотеки моделей программ
Фастовец Н.Н.
в сборнике
Сборник статей молодых ученых факультета ВМК МГУ
, место издания
Макс-Пресс Москва
, том 10, с. 253-276
2011
Автоматический синтез программ с использованием онтологии прецедентов
Корухова Ю.С.
,
Фастовец Николай Николаевич
в сборнике
Программные системы и инструменты. Тематический сборник
, серия
Программные системы и инструменты
, место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
, том 12, с. 203-215
редакторы
Королев Л.Н.
,
Корухова Людмила Сергеевна
,
Костенко Валерий Алексеевич
,
Мальковский Михаил Георгиевич
2010
A Case-Based Reasoning Approach to Program Synthesis
Korukhova Yulia
,
Fastovets Nikolay
в сборнике
Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD)
, место издания
SciTePress Portugal
2010
Automated Program Construction Based on Previous Experience
Korukhova Yulia
,
Fastovets Nikolay
в сборнике
Proceedings of the 15th UK CBR Workshop
, место издания
CMS Press Greenwich
, с. 35-44
2010
Using Parallel Computations in Deductive Synthesis of Functional Programs
Korukhova Yulia
,
Fastovets Nikolay
в сборнике
Scientific Computing: Proceedings of the International Eugene Lawler PhD School
, место издания
Waterford Institute of Technology Ireland
, с. 67-72
Доклады на конференциях
2012
Об одном подходе к автоматическому синтезу программ на основе прецедентов
(Устный)
Авторы:
Фастовец Н.Н.
,
Корухова Ю.С.
Ломоносовские чтения - 2012. Секция вычислительной математики и кибернетики
, МГУ имени М.В. Ломоносова, ВМК, Россия, 16-28 апреля 2012
2010
A Case-Based Reasoning Approach to Program Synthesis
(Устный)
Авторы:
Фастовец Н.Н.
,
Корухова Ю.С.
International Conference on Knowledge Engineering and Ontology Development (KEOD - 2010)
, Valencia, Spain, Испания, 2010
2010
Automated Program Construction Based on Previous Experience
(Устный)
Авторы:
Фастовец Н.Н.
,
Корухова Ю.С.
15th UK Case-Based Reasoning Workshop
, Cambridge, 2010
НИРы
1 января 2021 - 31 декабря 2025
Математическое и программное обеспечение перспективных систем обработки символьной информации с элементами искусственного интеллекта
Кафедра алгоритмических языков
Руководитель:
Соловьев С.Ю.
Ответственный исполнитель:
Корухова Ю.С.
Участники НИР:
Абрамов В.Г.
,
Абрамов С.А.
,
Арефьев Н.В.
,
Баева Н.В.
,
Большакова Е.И.
,
Бордаченкова Е.А.
,
Волкова И.А.
,
Вылиток А.А.
,
Головин И.Г.
,
Горячая И.В.
,
Грацианова Т.Ю.
,
Груздева Н.В.
,
Ефремова Н.Э.
,
Кузина Л.Н.
,
Мальковский М.Г.
,
Матвеева Т.К.
,
Панфёров А.А.
,
Полякова И.Н.
,
Ульянов М.В.
,
Фастовец Н.Н.
1 января 2016 - 31 декабря 2020
Математическое и программное обеспечение перспективных систем обработки символьной информации
Кафедра алгоритмических языков
Руководитель:
Мальковский М.Г.
Ответственный исполнитель:
Корухова Ю.С.
Участники НИР:
Абрамов В.Г.
,
Абрамов С.А.
,
Арефьев Н.В.
,
Баева Н.В.
,
Березин С.Б.
,
Бикбулатов Т.Р.
,
Большакова Е.И.
,
Бордаченкова Е.А.
,
Волкова И.А.
,
Вылиток А.А.
,
Головин И.Г.
,
Горячая И.В.
,
Грацианова Т.Ю.
,
Груздева Н.В.
,
Ефремова Н.Э.
,
Иванов К.М.
,
Казырид М.И.
,
Кузина Л.Н.
,
Кулева А.С.
,
Матвеева Т.К.
,
Мостяев А.И.
,
Панфёров А.А.
,
Парамонов С.В.
,
Полякова И.Н.
,
Соловьев С.Ю.
,
Столяров А.В.
,
Сутырин П.Г.
,
Ульянов М.В.
,
Фастовец Н.Н.
1 января 2014 - 31 декабря 2016
Информационный поиск для специализированных предметных областей
Кафедра алгоритмических языков
Руководитель:
Корухова Ю.С.
Участники НИР:
Волосова Н.В.
,
Комарова Е.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
,
Мытрова М.В.
,
Фастовец Н.Н.
,
Широкий Р.В.
1 января 2014 - 31 декабря 2016
Моделеориентированный подход в инженерии программных систем искусственного интеллекта
Кафедра системного программирования
Руководитель:
Корухова Л.С.
Участники НИР:
Гомзин А.Г.
,
Корныхин Е.В.
,
Корухова Ю.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
,
Фастовец Н.Н.
1 января 2011 - 31 декабря 2015
Алгебраические и лингвистические методы в теории и практике программирования
Кафедра алгоритмических языков
Руководитель:
Мальковский М.Г.
Участники НИР:
Абрамов В.Г.
,
Абрамов С.А.
,
Алейников П.В.
,
Алексеев А.А.
,
Арефьев Н.В.
,
Баева Н.В.
,
Большакова Е.И.
,
Бордаченкова Е.А.
,
Булгаков И.А.
,
Волкова И.А.
,
Вылиток А.А.
,
Головин И.Г.
,
Горячая И.В.
,
Грацианова Т.Ю.
,
Груздева Н.В.
,
Ефремова Н.Э.
,
Клычков Д.М.
,
Корухова Ю.С.
,
Кудасов Н.Д.
,
Кузина Л.Н.
,
Матвеева Т.К.
,
Миняйлов В.С.
,
Моросанова Н.А.
,
Мытрова М.В.
,
Нокель М.А.
,
Панфёров А.А.
,
Парамонов С.В.
,
Пильщиков В.Н.
,
Полякова И.Н.
,
Соловьев С.Ю.
,
Столяров А.В.
,
Сутырин П.Г.
,
Фастовец Н.Н.
,
Четверкин И.И.
Отчеты
2014
Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 1(2014г.)
Авторы:
Корухова Л.С.
,
Кузьменкова Е.А.
,
Корухова Ю.С.
,
Малышко В.В.
,
Корныхин Е.В.
,
Фастовец Н.Н.
#14-01-00214 а, 43 с.
Преподавание учебных курсов
с 1 сентября 2014
Алгоритмы и алгоритмические языки
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 18 часов
с 10 февраля 2014
Основы программирования (семинары)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 9 часов
с 10 февраля 2014
Архитектура ЭВМ и язык ассемблера
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 18 часов