Поиск по:sp.cs.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера sp.cs.msu.ru ,которые мы индексируем. Показаны документы 241 - 260 из 751.
Упорядочить по:
URL
|
дате изменения
241. Заседание научно-исследовательского семинара. 19 ноября 2003 г.
Главная страница Научно-исследовательский семинар 2003 . Заседание научно-исследовательского семинара. 19 ноября 2003 г. Доклад: Методы автоматического анализа изображения лица для построения естественного интерфейса человек-компьютер . ... В докладе рассматривается вопрос разработки естественного интерфейса человек-компьютер. Естественный интерфейс означает ориентацию на использование средств взаимодействия, комфортных и удобных с точки зрения человека, а не технической реализации. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2003/1119.html -- 8.2 Кб -- 11.02.2015
Похожие документы
Похожие документы
242. Заседание научно-исследовательского семинара. 26 ноября 2003 г.
Главная страница Научно-исследовательский семинар 2003 . Заседание научно-исследовательского семинара. 26 ноября 2003 г. Доклад: Методы повышения безопасности программных систем . ... В докладе рассматривается вопрос повышения уровня безопасности крупномасштабных программных систем при реальных ограничениях на использование ресурсов разработки. Большинство ошибок, снижающих уровень безопасности, вносится разработчиками на стадии кодирования продукта. ... промежуточных представлениях программ. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2003/1126.html -- 8.2 Кб -- 11.02.2015
Похожие документы
Похожие документы
243. Заседание научно-исследовательского семинара. 3 декабря 2003 г.
Главная страница Научно-исследовательский семинар 2003 . Заседание научно-исследовательского семинара. 3 декабря 2003 г. Доклад: Теоретические основы построения инструментария для работы с базами данных . ... Предыдущее заседание | ... Рассматриваются теоретические и алгоритмические основы автоматизации процесса создания пользовательских приложений для работы с базами данных. ... Предложен новый метод построения преобразований данных между разнотипными моделями на основе коммутативных отображений. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2003/1203.html -- 7.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
244. Заседание научно-исследовательского семинара. 10 декабря 2003 г.
Главная страница Научно-исследовательский семинар 2003 . Заседание научно-исследовательского семинара. 10 декабря 2003 г. Доклад: Семантическое индексирование текстов на естественном языке . ... Предыдущее заседание | ... поиску информации. Одним из основных результатов работы автора является разработанный метод выделения семантической информации из неструктурированных текстов на естественном языке, использующий лингвистические базы данных и процедуры синтактико-семантического анализа. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2003/1210.html -- 8.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
245. Заседание научно-исследовательского семинара. 17 декабря 2003 г.
Главная страница Научно-исследовательский семинар 2003 . Заседание научно-исследовательского семинара. 17 декабря 2003 г. Доклад: Программно-информационное обеспечение многоязыковой генерации текстов . ... Предыдущее заседание | ... Целью представленного исследования является разработка общих методов и алгоритмов генерации текстов на ЕЯ и создание на их основе программно-информационного обеспечения как собственно генерации текста, так и процесса разработки многоязыковых генераторов. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2003/1217.html -- 7.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
246. Заседание научно-исследовательского семинара. 22 июня 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 22 июня 2005 г. Доклад: Система защиты от массовых несанкционированных рассылок электронной почты на основе методов интеллектуального анализа данных . ... Предыдущее заседание | 22.6.2005 | ... В докладе рассматривается реализованная автором система защиты от массовых несанкционированных рассылок электронной почты основанная на использовании методов интеллектуального анализа данных. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0622.html -- 7.5 Кб -- 11.02.2015
Похожие документы
Похожие документы
247. Заседание научно-исследовательского семинара. 14 сентября 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 14 сентября 2005 г. Доклад: Система автоматического синтеза функциональных программ . Докладчик: Корухова Юлия Станиславовна, кафедра АЯ факультета ВМК МГУ. ... Предыдущее заседание | 14.9.2005 Следующее заседание . В докладе рассматриваются методы, которые используются в разработанной автором системе автоматического синтеза функциональных программ по их формальным спецификациям. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0914.html -- 7.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
248. Заседание научно-исследовательского семинара. 21 сентября 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 21 сентября 2005 г. Обсуждение результатов работ аспирантов, сделавших доклады на семинаре. Докладчики: Розинкин Андрей, Игнатенко Алексей Викторович, Лукин Алексей Сергеевич с кафедры АСВК факультета ВМК МГУ и Корухова Юлия Станиславовна с кафедры АЯ факультета ВМК МГУ . Предыдущее заседание | 21.9.2005 | Следующее заседание . ... Кафедра системного программирования ВМК МГУ. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0921.html -- 6.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
249. Заседание научно-исследовательского семинара. 28 сентября 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 28 сентября 2005 г. Доклад: Автоматизированная трансформация моделей и ее применение в технологии MDA (продолжение доклада от 27 апреля ) . ... В докладе рассматривается разработанный автором язык трансформации моделей. ... При разработке языка трансформации учитывались специфические особенности его применения в MDA. ... разработан язык, позволяющий задавать описания трансформаций моделей ПО; . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0928.html -- 8.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
250. Научно-исследовательский семинар. Краткие сведения о семинаре
Главная страница Научно-исследовательский семинар . Краткие сведения о семинаре . Семинар начал функционировать в 1956 году в Вычислительном центре МГУ. ... В дальнейшем на этом семинаре стали регулярно обсуждаться разнообразные вопросы автоматизации программирования, а его постоянным научным руководителем стал проф. М. Р. Шура-Бура. ... Желающие выступить на семинаре могут направлять заявки по электронной почте секретарю семинара доценту Коруховой Людмиле Сергеевне ( ). ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/about.html -- 8.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
251. Гайсарян Сергей Суренович
... Профессор кафедры, заведующий отделом компиляторных технологий Института системного программирования РАН. ... Окончил физический факультет МГУ по кафедре математики (1961). ... В последующие годы работал в МАИ в должности доцента кафедры вычислительной математики и программирования (1975-1984); в НИИ Дельта начальником лаборатории, а затем ? ... Профессор кафедры состемного программирования факультета ВМК МГУ (по совместительству). ... М.: МГУ, 1966 г., с. 17-20 (Соавт. ... Соавт. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/gss.html -- 9.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
252. Корягин Дмитрий Александрович
... Профессор кафедры системного программирования, заместитель директора Института прикладной математики им. М. В. Келдыша РАН. В 1953 г. окончил Московскую специальную школу ВВС; в 1959 г. Окончил Военно-воздушную инженерную академию им. Н. Е. Жуковского (1959). Кандидат технических наук (1965), тема диссертации: Транслятор с языка Алгол для ЭВМ М-50 (научный руководитель ? ... Работал в МГУ на кафедре системного программирования факультета ВМК с 1978 г.: ассистент, профессор (с 1987). ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/kda.html -- 8.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
253. Кузьменкова Евгения Анатольевна
... Доцент кафедры. ... Окончила с золотой медалью математическую школу ?444 г. Москвы (1972), факультет вычислительной математики и кибернетики МГУ (1977, с отличием), аспирантуру факультета ВМК (1980). ... Работает на факультете ВМК МГУ с 1987 г.: научный сотрудник (1987-1988), ассистент (1988-1994), старший преподаватель (1994-1998), доцент (с 1998) кафедры системного программирования. ... М.: ф-т ВМК МГУ, 1999 (соавт. ... М.: ф-т ВМК МГУ, 2001 (соавт. ... М.: ф-т ВМК МГУ, 2002 (соавт. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/kea.html -- 9.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
254. Хорошилов Алексей Владимирович
... В 2001 году с отличием окончил факультет Вычислительной Математики и Кибернетики МГУ, в 2001-2004 г. обучался в аспирантуре факультета Вычислительной Математики и Кибернетики МГУ, на кафедре Системного программирования. ... С 1999 года работает в Институте системного программирования РАН, на 2014 год - в должности ведущего научного сотрудника. С 2009 года работает на кафедре Системного программирования факультета Вычислительной математики и кибернетики МГУ. ... А.В.Хорошилов. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/khav.html -- 11.2 Кб -- 11.02.2015
Похожие документы
Похожие документы
255. Карпов Леонид Евгеньевич
... Кандидат технических наук (1987), тема кандидатской диссертации связана с разработкой языков программирования и трансляторов для специализированных управляющих ЭВМ, научный руководитель Д. Б. Подшивалов.. ... Принципы построения систем программирования управляющих вычислительных машин . ... Работал с 1975 г. в ИТМиВТ им. С. А. Лебедева АН СССР в должностях инженера (1974-2003 г.), старшего инженера, ведущего конструктора, начальника отдела, начальника отделения, старшего научного сотрудника. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/kle.html -- 11.4 Кб -- 11.02.2015
Похожие документы
Похожие документы
256. Корухова Людмила Сергеевна
... Кандидат физико-математических наук (1978), тема диссертации: Исследование взаимодействия процедурных и дедуктивных элементов в программировании (научный руководитель Э. З. Любимский). ... Награждена медалью в память 850-летия Москвы (1997), Юбилейным знаком 250 лет МГУ . ... Область научных интересов: системное программирование, искусственный интеллект, методы решения сложных задач на ЭВМ. ... М.: ф-т ВМК МГУ, 1997 (соавт. ... М.: 1997 (соавт. ... Программирование и численные методы ? ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/kls.html -- 9.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
257. Кузнецов Сергей Дмитриевич
... профессор (2006). ... Lecture Notes in Computer Science, v. 504, Springer Verlag, 1991 (coath. ... Proceedings, Lecture Notes in Computer Science, Volume 3567, 2005; . ... Proceedings, Lecture Notes in Computer Science, Volume 3631, 2005; . ... SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings, Lecture Notes in Computer Science Volume 3831, Springer, 2006; . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/ksd.html -- 11.4 Кб -- 11.02.2015
Похожие документы
Похожие документы
258. Крюков Виктор Алексеевич
... Профессор кафедры, заведующий отделом Института прикладной математики им. М. В. Келдыша РАН. ... Окончил среднюю школу ?7 г. Калуги (1963), механико-математический факультет МГУ с отличием (1968), заочную аспирантуру ИПМ им. М. В. Келдыша РАН (1973). ... Область научных интересов: параллельное программирование, операционные системы, системы реального времени. ... В. А. Крюков читает курсы лекций Операционные системы , Распределенные операционные системы . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/kva.html -- 9.1 Кб -- 11.02.2015
Похожие документы
Похожие документы
259. Кулямин Виктор Вячеславович
... Основные научные результаты: участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов, разработка унифицированной архитектуры тестового набора и правил построения расширений языков программирования для разработки тестов на основе контрактных спецификаций, разработка методов построения тестов для математических библиотек, разработка специализированной технологии быстрого создания тестов работоспособности. ... Технологии программирования. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/kvv.html -- 9.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
260. Малышко Виктор Васильевич
... Доцент кафедры. ... Окончил московскую среднюю школу ?548 (1991), факультет вычислительной математики и кибернетики МГУ (1996), аспирантуру факультета ВМК (1999). Кандидат физико-математических наук (2000), тема диссертации: Система планирования решений задач на основе дедуктивных и ассоциативных методов (научный руководитель Э. З. Любимский). ... Методическое пособие ? М.: ф-т ВМК МГУ, 2002 (соавт. ... М.: Кафедра СП ВМК МГУ - 2011; . ... Кафедра системного программирования ВМК МГУ. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/mvv.html -- 9.0 Кб -- 11.02.2015
Похожие документы
Похожие документы