Информационные технологии мехмата ЮФУ
Олимпиада НИУ—ВШЭ для поступающих в магистратуру
15.02.11 21:38

Олимпиада состоится 12 марта 2011 года в 13-30 (по московскому времени) в ряде городов России (Ростов не в их числе). Участие в олимпиаде является свободным и бесплатным. Победители и призеры олимпиады получают право на зачисление в НИУ—ВШЭ на магистерские программы, соответствующие профилю олимпиады, без вступительных испытаний. Среди профилей: математика, математическое моделирование, бизнес-информатика. Регистрация — до 7 марта на сайте олимпиады.

>>> Подробности

 
Опубликована Chromium OS
19.11.09 23:48

Сегодня корпорация Google открыла исходный код операционной системы Chromium OS, рабочей версии своей будущей Chrome OS (выход которой намечен на вторую половину 2010), ориентированной в первую очередь на постоянно подключенные к Сети нетбуки. Главным компонентом Chromium OS станет браузер Chrome. Система способна запускать только веб-приложения.

>>> Подробности

 
Первый универсальный квантовый компьютер
18.11.09 23:43

Физикам из Национального института стандартов и технологий в США впервые удалось собрать простейший программируемый квантовый компьютер общего назначения. Машина ученых работает с двумя кубитами. Из-за несовершенства технологии доля верных ответов при решении простых вычислительных задач пока составляет около 80%.

>>> Подробности

 
Математические методы обработки изображений (02.11.09)
27.10.09 14:31

2 ноября, в 16:30 (ауд. 311) на заседании межкафедрального семинара по информатике будет выступать Д. Е. Подрезов с докладом «Математические методы обработки изображений».

В докладе будут изложены основы цифровой обработки изображений — основные примитивы, математические модели и наиболее распространённые реализации алгоритмов хранения и обработки изображений. Будут также описаны методы обработки изображений с целью восстановления цвета и улучшения характеристик изображений в непрерывном и дискретном случаях.

>>> Презентация: [pdf], [ppt]

 
Начало занятий аспирантов
07.10.09 09:38

Начало занятий аспирантов естественных факультетов, поступивших в этом году:

  • Английский язык (организационный сбор) — 9 октября, 11:00, физфак, 239 ауд.
  • История и философия науки (лекции) — с 13 октября, 17:00, СКНЦ ВШ (Пушкинская 140).

>>> Подробности

 
Первенство ТТИ ЮФУ по программированию
19.11.09 11:55

21–29 ноября 2009 г. будет проходить VII Открытое личное первенство ТТИ ЮФУ по программированию. К участию приглашаются студенты, магистранты, аспиранты и сотрудники ЮФУ и других вузов, учащиеся и преподаватели средних учебных заведений, сотрудники ИТ-компаний, занятые в сфере разработки программного обеспечения. Участие в личном первенстве бесплатное.

>>> Подробности

 
TeX Live 2009
10.11.09 22:16

Появилась новая версия широко известного кроссплатформенного дистрибутива TeX, TeX Live 2009.

>>> Подробности

 
Вычисления высших порядков и верификация моделей программ (19.10.09)
11.10.09 18:17

19 октября, в 16:30 (ауд. 311) на заседании межкафедрального семинара по информатике будет выступать А. М. Пеленицын с докладом «Вычисления высших порядков и верификация моделей программ».

Доклад посвящён популярному подходу к верификации ПО — model checking. Обсуждаются сложности, возникающие при переходе от аппаратного  model checking к программному. Описывается ряд моделей вычислений высших порядков, сравниваются их выразительные возможности. Вводится язык спецификаций вычислений высших порядков, основанный на монадической теории второго порядка. Перечисляются теоретико-сложностные результаты задачи model checking для введённых моделей и языков.

Основой сообщения служит курс лекций, прослушанный докладчиком в Летней школе по формальным методам доказательства надёжности ПО (г. Марктобердорф, 2009 год).

>>> Презентация: [pdf], [tex.zip]

 
«Актуальные проблемы безопасности информационных технологий»
04.10.09 14:54

10–12 ноября 2010 года в Красноярске пройдёт IV научно-техническая конференция «Актуальные проблемы безопасности информационных технологий» (АПроБИТ-2010). К участию приглашаются специалисты по информационной безопасности, студенты, аспиранты и молодые ученые, работающие в этой области, а также преподаватели, ведущие специальные дисциплины направления «Информационная безопасность».

>>> Официальный сайт

 
<< Начало < Предыдущая 11 12 13 14 15 16 17 18 19 20 Следующая > Последняя >>

Страница 12 из 20

Последнее на форуме

Направление «Фундаментальная информатика и информационные технологии»
факультета математики, механики и компьютерных наук, 2005–2017
Разработка сайта: В.Н. Брагилевский, С.С. Михалкович, А.М. Пеленицын