Корухова Юлия Станиславовна

Русский / English
   
   
к.ф.-м.н., доцент кафедры алгоритмических языков
тел. +7 495 939 5398 (р.)
e-mail:
  Страница в системе "ИСТИНА"


Учебные материалы

Все материалы Copyright (C) 2002-2019 Ю.С. Корухова, если это не оговорено особо в документе

2014 - 2019 гг.

Учебные материалы - в системе moodle

2017 и 2018 гг.

Весенний семестр

2013/2014 год

Осенний семестр

2006-2012 гг.


Область научных интересов

Искусственный интеллект, дедуктивный синтез программ, применение логических методов в программировании, логическое программирование, функциональное программирование.
Информационный поиск для специализированных областей (поиск нотных записей музыкальных произведений).
Мультиагентные системы.

В 2005 году защитила кандидатскую диссертацию на тему "Система автоматического синтеза функциональных программ" (.pdf 1.33 Mb, автореферат .pdf 411 Кб) , научный руководитель - Пильщиков Владимир Николаевич.


Основные публикации

Полный список публикаций здесь.
  1. Korukhova Y. and Kuryshev S. Training Agents with Neural Networks in Systems with Imperfect Information // In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-219-6, pages 296-301, 2017 ( Download .pdf from SciTePress digital library)
  2. А.С.Борисенкова, Ю.С.Корухова Об одном подходе к определению авторства музыкальных произведений // Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2015, с. 34-41 URL: http://keldysh.ru/abrau/2015/proc.pdf стр.34
  3. Ю.С.Корухова, М.В.Мытрова Организация поиска нотных записей //Открытые системы. 2013. № 7. с. 57-58 URL: http://www.osp.ru/os/2013/07/13037358/
  4. Ю.С.Корухова, М.В.Мытрова Информационный поиск для нотных записей музыкальных произведений //Препринты ИПМ им. М.В. Келдыша. 2013. № 48. 16 с. URL: http://library.keldysh.ru/preprint.asp?id=2013-48 (скачать полный текст, pdf)
  5. Ю.С.Корухова, М.В.Мытрова Об одном подходе к решению задачи поиска нот музыкальных произведений - Сборник статей молодых ученых факультета ВМК МГУ, № 9 (скачать сборник,7.78 Мб), 2012, стр. 68-85
  6. Yulia Korukhova and Nikolay Fastovets A Case-Based Reasoning Approach to Program Synthesis – Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), SciTePress, Portugal, 2010, p. 335-338
  7. Yulia Korukhova, Nikolay Fastovets Using Parallel Computations in Deductive Synthesis of Functional Programs - Scientific Computing: Proceedings of the International Eugene Lawler PhD School, Waterford Institute of Technology (WIT), Waterford, Ireland, 2010
  8. Yulia Korukhova Aspects and Technologies of Artificial Intelligence Used in Knowledge Management Course – Proceedings of the 5th UK Workshop on AI in Education, 2009, p. 1-6
  9. Yulia Korukhova An approach to automatic deductive synthesis of functional programs – Annals of Mathematics and Artificial Intelligence, Vol. 50, Numbers 3-4 – Springer Netherlands, 2007, p.255-271
  10. Yulia Korukhova Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning – Proceedings of the 3rd UK Workshop on AI in Education, 2007, p. 17-21
  11. Yulia Korukhova Automatic Deductive Synthesis of Lisp Programs in the System ALISA – Lecture Notes in Artificial Intelligence (LNAI) 4160 – Springer-Verlag, Berlin, Heidelberg, 2006, p.242-252
  12. Ю.С. Корухова Дедуктивный синтез программ с использованием волновых правил - Программные системы и инструменты (под ред. Л.Н. Королева) - Издательский отдел факультета ВМК МГУ, 2005, стр. 6-16.
  13. Ю.С. Корухова, В.Н. Пильщиков Система дедуктивного синтеза программ — Искусственный интеллект N 2, Донецк, Украина, 2002, стр. 451-459.
    Учебные пособия
  1. Ю.С. Корухова Управление знаниями. Учебное пособие для студентов 3-5 курсов в поддержку одноименного спецкурса, читаемого автором - Издательский отдел факультета ВМК МГУ, МАКС Пресс, 2012 ( .pdf 1.57 Mb)
  2. Ю.С. Корухова Сборник задач и упражнений по языку С++ - Издательский отдел факультета ВМК МГУ, МАКС Пресс, 2009 ( .pdf 1.53 Mb)


...В настоящее время эта страница находится в процессе разработки...