Заседания семинара в 2011/2012 учебном году

Последнее изменение: 22/10/2014 00:00:00
  • 14.05.2012 - доклад Михаила Берлинкова "Квадратичная оценка порога синхронизации для почти однокластерных автоматов"
  • 16.04.2012 - доклад М.В.Волкова "О некоторых работах представленных на конференцию CIAA"
  • 02.04.2012 - доклад Михаила Берлинкова "Квадратичная оценка порога синхронизации для автоматов, близких к однокластерным"
  • 19.03.2012 - доклад Мартина Финка, университет Вюрцбурга (Германия), "Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles"

Point-set embeddings and large-angle crossings are two areas of graph drawing that independently have received a lot of attentionin the past few years. We consider problems in the intersection of these two areas. Given the point-set-embedding scenario, we are interested in how much we gain in terms of computational complexity, curve complexity, and generality if we allow large-angle crossings as compared to the planar case. We investigate two drawing styles where only bends or both bends and edges must be drawn on an underlying grid. We present results for drawings with one, two, and three bends per edge.

Также Мартин расскажет немного об университете Вюрцбурга, группе, в которой он работает, и их исследованиях.

  • 05.03.2012 - доклад Михаила Берлинкова "Проблема Черни и почти эйлеровы автоматы"
  • 20.02.2012 - доклад Марины Масленниковой "Впечатления (в том числе научные) от поездки на конференцию SOFSEM 2012"
  • 19.12.2011 - доклад Анатолия Казакова "Введение в лямбда-исчисление"

Аннотация: Будет рассмотрено просто типизированное лямбда-исчисление, его синтаксис и свойства: типизируемость подтерма, леммы о подстановках и некоторые другие.

  • 12.12.2011 - доклад Арсения Шура "Задача о разделении пары слов автоматом"
  • 28.11.2011 - заседание семинара не состоится. Участники семинара приглашаются на конференцию, на которой студенческие коллективы, выполнявшие НИР в рамках Открытого окружного конкурса студенческих инициативных научных исследований в области информатики и информационных технологий, представят результаты своей работы. Начало конференции - в 16:00, место проведения заседаний - ауд. 611. Формат конференции - 20-минутные презентации об итогах выполнения заявленных проектов.
  • 21.11.2011 - доклад Дениса Дубленных "Нижние оценки для числа ключей в шифрах Закревского"
  • 14.11.2011 - доклад Юлии Закс "Синхронизация случайных автоматов"

Доклад по кандидатской диссертации

  • 07.11.2011 - доклад Ивана Горохова "KDP-схемы"

Аннотация: Представьте себе сеть с множеством абонентов, которые хотят вести приватные переговоры. Если для каждой пары абонентов использовать отдельный ключ, то потребуется много места под их хранение. Для уменьшения занимаемого места были разработаны различные способы, позволяющие каждой паре абонентов выработать ключ, известный только им. Одним из этих способов являются KDP-схемы.

  • 31.10.2011 - доклад Виктора Грищенко "Эволюция протокола BitTorrent"

Вместо аннотации (из письма Виктора) "...поскольку так получилось, что я много про это знаю, включая всяческую изнанку и вовлечённых лиц, и могу извлечь довольно интересную мораль, как мне кажется".

  • 24.10.2011 - доклад Ярослава Борченинова "Генетическое программирование со встроенными символьными вычислениями"
  • 17.10.2011 - доклад Артема Мелентьева (название и резюме доклада удалены по требованию Microsoft Research, так как патент на соответствующий результат пока еще не оформлен).
  • 10.10.2011 - доклад Алексея Хвороста "TeX: первые шаги к комфорту"

См. также

Учебно-исследовательский семинар "Компьютерные науки"