УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Новости (версия для печати)


Новости



Новости в формате RSS

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [Все новости]

24.07.2012

Выступление А.А. Шалыто в расписании «Открытой Стартап Школы SumIT»

24.07.2012

Сенсация! Раньше только некоторые зарубежные политики (например, К. Райс) уходили после завершения карьеры на работу в университет, а теперь такое произошло и у нас: губернатор Пермского края будет работать в Высшей школе экономики!

19.07.2012

Сергей Белоусов: Мы инвестируем в тех, кто хочет решить какую-то проблему, а не заработать деньги. Часть 1, часть 2

18.07.2012

В рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук» мы выиграли открытый конкурс на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов построения управляющих конечных автоматов по обучающим примерам на основе решения задачи удовлетворения ограничений». При этом мы заняли первое место среди 55 организаций.

17.07.2012

Обновлен раздел Дипломы. Тяхти А.С. Применение генетических алгоритмов и эволюционных стратегий для построения управляющих конечных автоматов по сценариям работы

16.07.2012

Существуют многочисленные пересечения между физикой, топологией, логикой и теорией информатики. Читайте Баез Дж. К., Стэй М. Физика, топология, логика и теория вычислений: новый Розеттский камень

16.07.2012

Академик К.Г. Скрябин о геноме ("Итоги" - Ген превосходства)

13.07.2012

"Forbes": 10 самых известных в мире ученых русского происхождения

13.07.2012

Автоматное программирование живет и медленно побеждает

13.07.2012

Сергей Петрович Капица: "Люди должны почувствовать: отношение к ним изменилось, они снова нужны стране. Пока этого не заметно. У меня был разговор с Кудриным, нашим министром финансов. Он спросил, сколько, на мой взгляд, нужно платить российским ученым. Я ответил: «В долларах, как сейчас в рублях». Кудрин лишь усмехнулся: «Шутите?» Между тем сын моего знакомого окончил химфак МГУ, и ему предложили остаться в аспирантуре, пообещав назначить стипендию в полторы тысячи рублей. В итоге юноша подал документы в Колумбийский университет, куда его с радостью приняли, положив те же самые полторы тысячи. Но долларов. Через год молодой человек получал уже две с лишним тысячи... И о чем тут говорить?"
"Другое огорчает: состояние дел в современной науке. Чудовищный разрыв поколений! Молодой профессуры попросту нет. В 35 лет я был избран заведующим кафедрой физики в МФТИ, ведущем вузе страны. Сегодня подобное трудно представить. Студентов некому учить, старики ушли, а молодежь не торопится занять вакантные места. Лучше уехать за кордон. Кое-кто до сих пор по привычке ругает Ленина, выславшего сотню философов из страны. А сколько мы потеряли ученых в последние годы? Без всяких репрессий десятки тысяч людей фактически были выдавлены из России. Вот и результат. Плохо представляю, как восполнить потери"

13.07.2012

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности //Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 5, с. 81–84.

13.07.2012

Нам пишут: Switch-технология продолжает внедряться

13.07.2012

Нам пишут отзывы о Switch-технологии

12.07.2012

Труды конференции "World Wide Web 2012"

12.07.2012

Обновлен раздел Фотографии. 2012.07.07. Выпуск кафедры КТ 2012 года

12.07.2012

Как продать 20 долларов за 200?

12.07.2012

Проектирование программных бортовых систем управления с поддержкой верификации. Применение автоматов при спецификации программ критикуется

12.07.2012

Белоглазов Д.М., Машуков М.Ю., Непомнящий В.А. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри // Моделирование и анализ информационных систем. Т. 18, №4 (2011), с. 144-156

12.07.2012

Кузьмин Е.В., Соколов В.А. О верификации LD-программм логических контроллеров // Моделирование и анализ информационных систем. Т. 19, №2 (2012), с. 138-144

12.07.2012

Обновлен раздел Articles. Zakonov A., Shalyto A. Automatic Extraction and Verification of State-Models for Web Applications // Informatics in Control, Automation and Robotics. Lecture Notes in Electrical Engineering. 2012. V.133. Part 1, pp. 157 – 160. http://www.springerlink.com/content/n600111522782576/

12.07.2012

В.В. Путин о победе наших студентов ("Поиск" - Выступление Владимира Путина на общем собрании РАН)

12.07.2012

Газета "Поиск" о нашей победе на финале чемпионата мира по программированию

11.07.2012

Китайские физики побили рекорд квантовой телепортации ("Поиск" - Перепутали фотоны)

11.07.2012

Министр образования об уходе от всеобщего бесплатного высшего образования ("Поиск" - В ту же реку. Дмитрий Ливанов вернулся в минобрнауки)

11.07.2012

Mail.ru открыл технопарк в Бауманке ("PCWEEK" - “Технопарк”, который готовит разработчиков высоконагруженных онлайн-систем)

11.07.2012

Дипломы каких иностранных вузов признаются в России ("Российская газета" - Распоряжение Правительства Российской Федерации от 21 мая 2012 г. N 811-р г. Москва)

11.07.2012

Прекрасная фотография - дети испанских футболистов осыпают конфетти форварда сборной Испании Фернандо Торреса после финального матча Евро-2012

11.07.2012

Обновлен раздел Articles. Afanasyeva A., Buzdalov M. Optimization with Auxiliary Criteria using Evolutionary Algorithms and Reinforcement Learning / In Proceedings of 18th International Conference on Soft Computing MENDEL 2012, Brno, Czech Republic, June 27-29, 2012. - Pp. 58-63.

11.07.2012

Microsoft сражается с Apple ("PCWEEK" - Билл Гейтс считает, что Microsoft вновь поменяет правила игры)

11.07.2012

Презентация нашей работы на GECCO-2012. Chivilikhin D., Ulyantsev V., Tsarev F. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization. GECCO-2012, Graduate Students Workshop, July 7, 2012

10.07.2012

Что такое элита? ("Поиск" - Элита второй свежести? Наша верхушка не отличается ни высоким интеллектуальным уровнем, ни особыми моральными качествами)

10.07.2012

"Открытые системы": на пути к экзафлопсу

10.07.2012

США снова лидирует в суперкомпьютерной гонке ("Открытые системы" - США вернули себе первенство в суперкомпьютерном списке Top500)

10.07.2012

"Время электроники": в России бум инвестиций в стартапы

10.07.2012

Обновлен раздел Дипломы. Чернявский И.И. Извлечение отношений из текстов на естественном языке

10.07.2012

Обновлен раздел Дипломы. Афанасьева А.С. Выбор вспомогательных оптимизируемых величин для ускорения процесса оптимизации с помощью машинного обучения

09.07.2012

От университетских работников в США мы ни разу не слышали о коммерческой ценности новых образовательных программ ("Поиск" - Массачусетский шифр. Россиянам открыли секреты подготовки инженеров в США)

09.07.2012

"Эксперт": 10 материалов, которые поменяют мир

09.07.2012

Как вернуть уважение к работе в университетах ("Известия" - Восстановление университетского этоса)

08.07.2012

Еще один тандем! Из письма А. Шмелева, бывшего сотрудника "НПО "Аврора", к А. Шалыто

08.07.2012

Из журнала АФК "Система". "Облачный" Omlet: чего только нет!

08.07.2012

У наших студентов и аспирантов приняли доклад на "Международную суперкомпьютерную конференцию "Научный сервис в сети интернет". Царев Ф.Н., Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Федотов П.В. Параллельный алгоритм de novo сборки генома с использованием технологии MapReduce

08.07.2012

"Время электроники": гендиректор Yota назначен замминистра связи

08.07.2012

Еще одна статья о Шене ("Троицкий вариант" - Саша Шень – человек и пароход)

08.07.2012

Денис Свердлов назначен заместителем министра связи и массовых коммуникаций! Поздравляем!

06.07.2012

Интервью с Виталием Клебаном - финалистом Всероссийского конкурса "Телеком Идея" ("Лифт в будущее" - "Главное – найти своего куратора")

06.07.2012

Максим Концевич стал лауреатом "азиатской" Нобелевской премии ("Поиск" - Узрел узлы. Выпускник мехмата МГУ стал лауреатом азиатской “нобелевки”)

06.07.2012

Расшифрован микробиом человека ("Поиск" - Микроб не страшен)

06.07.2012

"Поиск": расшифрован последний из геномов больших обезьян

02.07.2012

Безумие с оценкой стоимости футболистов продолжается (Lenta.ru - Агент оценил Балотелли в четверть миллиарда евро)

02.07.2012

Аспирант кафедры "Компьютерные технологии" Виталий Клебан с проектом "Коструктор систем телеметрии (М2М систем)" участвовал в финале Всероссийского конкурса "Телекомидея", проводимого компанией МТС и Высшей школой экономики

02.07.2012

Будет ли развиваться национальная программная платформа? ("Время электроники" - Российский Linux хотят заменить на Windows)

02.07.2012

Статья о Шене ("Троицкий вариант" - «Учеником Колмогорова я не был»)

01.07.2012

Как создавался "Транзас" ("Русский репортер" - Специалист по симуляции Николай)

01.07.2012

Безвременно скончался вице-президент компании "Транзас" Виктор Александрович Годунов. Прекрасный человек, который, в частности, помогал кафедре "Компьютерные технологии" СПбГУ ИТМО. Скорбим! ("Российская газета" - Виктор Годунов скончался в Санкт-Петербурге)

30.06.2012

Обновлен раздел Фотографии. 2004.02.16. Выступление на пленарном заседании на первой конференции молодых ученых университета университета ИТМО

30.06.2012

Яковис Л.М. Памяти учителя (Статья посвящена памяти выдающегося ученого в области автоматического управления А.А. Первозванского)

28.06.2012

Письмо из Российской национальной библиотеки о получении издания Шалыто А. "Мои счастливые годы жизни..."

28.06.2012

Программа семинара "Программные семантики, спецификации и верификация (PSSV)" (проводится с совместно с конференцией "Computer Science Simposium (Russia)" 1-2 июля 2012, Нижний Новгород)

28.06.2012

Forbes: Гришин инвестирует в роботы

28.06.2012

После "японской" нобелевской премии, появляется "еврейская" ("Forbes" - Фридман учредил «еврейскую Нобелевскую премию»)

28.06.2012

Как за кандидатскую диссертацию получить премию Киота ("Время электроники" - «Японскую Нобелевку» вручили за прототип САПР)

26.06.2012

Егор Суворов - добро пожаловать на кафедру КТ в НИУ ИТМО

26.06.2012

Указ «О мерах по реализации государственной политики в области образования и науки»

26.06.2012

Репортаж НИУ ИТМО о победе в чемпионате мира по программированию

26.06.2012

Фото - 2012.05.22. Президент Российской Федерации В.В.Путин и команда НИУ ИТМО

25.06.2012

К столетию Алена Тьюринга

25.06.2012

Геном, большие данные и облака («Открытые системы» - В авангарде Больших Данных)

23.06.2012

Обновлен раздел Дипломы. Николаев К.В. Методы оптимизации мобильных интерфейсов

23.06.2012

Команда ИТМО - чемпионы мира по программированию 2012 (Репортаж НТВ на Youtube)

22.06.2012

Рейтинг национальных исследовательских университетов

22.06.2012

Наши люди в журнале "Forbs" (Инна Шалыто - Новогодняя Пасха)

22.06.2012

В.Г. Парфернов на билбордах Санкт-Петербурга

18.06.2012

Обновлен раздел Фотографии. 2012.04.27. Конференция СПИСОК-2012. Мат-Мех СПбГУ

18.06.2012

Обновлен раздел Фотографии. 2012.04.11. I Всероссийский конгресс молодых ученых

09.06.2012

"Принцип максимума" - фильм о выдающемся ученом Леониде Витальевиче Канторовиче

09.06.2012

В.В. Путин на общем собрании Российской академии наук: "Кстати говоря, сегодня на нашем мероприятии присутствуют члены команды Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики, которые победили на студенческом чемпионате мира по программированию. Так что мы побеждаем не только в хоккее, но и в таких дисциплинах. Я их сердечно поздравляю с этим достижением."

09.06.2012

"Пятый канал": Американский космический корабль «Драгон» вернулся на Землю после шестидневной миссии на орбите

09.06.2012

Канал ACM-ICPC World Finals на YouTybe

09.06.2012

Страница ICPC News на Facebook

01.06.2012

"Metro" - Петербург станет IT-столицей. Студенты из ИТМО завоевали Кубок чемпионата мира по программированию. В следующем году финал престижных соревнований пройдет в Северной столице

01.06.2012

"Русский репортер" - Замкнутый код. Как российские программисты стали лучшими в мире

01.06.2012

"Московские новости" - «Прыгать или танцевать от радости не хочется». Двукратный чемпион мира по программированию Евгений Капун не понимает эмоции литературных персонажей

01.06.2012

"Московские новости" - Последние алгоритмы. Россия победила на чемпионате мира, но может потерять мировое лидерство в программировании из-за отсутствия системного подхода к подготовке IT-специалистов

28.05.2012

Президент Российской Федерации В.В.Путин встретился с командой Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики – победителями студенческого чемпионата мира по программированию

28.05.2012

Чемпионом мира по программированию в четвертый раз стала команда Национального исследовательского университета ИТМО из Петербурга. Это мировой рекорд. ("Санкт-Петербургские ведомости" - Какие умные нашлись!)

28.05.2012

НТВ: Петербургские программисты получили «золото» в Варшаве

22.05.2012

Богоугодные мотивации (Интервью с А.А. Шалыто) // Университет ИТМО. 2012. №141 (1646), с. 4-5

17.05.2012

Команда НИУ ИТМО впервые в истории в четвертый (!) раз стала чемпионом мира по программированию! Состав команды: Евгений Капун (двукратный чемпион мира), Михаил Кевер, Нияз Нигматуллин - все с кафедры "Компьютерные технологии"!

16.05.2012

Линус Торвальдс получил Премию тысячелетия в области технологий ("Поиск" - За качество жизни. Объявлены лауреаты технологической “нобелевки”)

16.05.2012

Шалыто А. А. А не придурок ли ты?

15.05.2012

Карпов Ю. Новая жизнь верификации

15.05.2012

У Андрея Клебанова приняли доклад "Distributed Atlas: a Rule-based System for Query Federation over Semantically Aligned Gene Expression Data Sources" на "8th International Conference on the Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2012)" Novosibirsk 25-29 June 2012

12.05.2012

Как живут в Норвегии: "Все хорошо, единственная проблема — я не понимаю, когда мы учимся, а когда у нас перемена" ("Огонек" - Фьорд фокус)

12.05.2012

Нанотехнологические проекты, которые могут стать успешными ("Эксперт" - Американская нанобаза в Химках)

12.05.2012

Новаторы и инноваторы из Apple ("Открытые системы" - Новатор и инноватор: две стороны медали)

11.05.2012

Компания, в который каждый делает, что ему нравится! ("Хабрахабр" - Valve: как я здесь оказался, на что это похоже и чем я здесь занимаюсь)

11.05.2012

"Время электроники": в Москве заработала сеть LTE оператора Yota

09.05.2012

О Российском индексе научного цитирования ("Поиск" - Авторская работа. Российский индекс научного цитирования поможет оценить деятельность ученого и организации)

09.05.2012

Доклад Zakonov A., Shalyto A. Towards automated high coverage test generation for Web applications using abstract syntax trees analysis приняли на семинар "Program Semantics, Specification and Verification: Theory and Application" (PSSV 2012)

09.05.2012

Доклад Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Ant Colony Optimization приняли на конференцию "Eight International Conference on Swarm Intelligence" (ANTS 2012), Брюссель

09.05.2012

Шалыто А. А. Мои счастливые годы жизни на кафедре "Компьютерные технологии" СПбГУ ИТМО (к двадцатилетию кафедры "Компьютерные технологии"). Редакция от 09.05.2012.

09.05.2012

Наши 24 часа решают задачи и побеждают (Challenge24 - 12th International 24-hour Programming Contest - 2012)

08.05.2012

Мир продолжает смотреть телевизор ("Время электроники" - Конец эпохи телевизоров отменен)

08.05.2012

"PCWEEK": Европейский суд постановил, что программы и языки программирования не могут быть интеллектуальной собственностью

08.05.2012

Академик К.Г. Скрябин рассказывает о своей семье и геноме

05.05.2012

"Инновационные тренды": Какой аналог DARPA нам нужен

05.05.2012

Программирование ждет научные методы, а пока работает как получается. ("PCWEEK" - Какой будет разработка ПО в будущем?)

05.05.2012

Объявлен старт второй ежегодной олимпиады по программированию Russian Code Cup 2012

05.05.2012

Анохин К.В. Мозг и разум. Лекция 1, лекция 2

03.05.2012

Два проекта наших аспирантов - "CloudGenomics - облачный интернет-сервис для обработки и хранения геномных данных" (руководитель - Ф. Царев) и "Конструктор M2M-систем - программа-конструктор систем телеметрии" (руководитель - В. Клебан) прошли в финал конкурса "Бизнес Инновационных Технологий 2012 - Северо-Запад" (БИТ 2012 - Северо-Запад) (http://bit-konkurs.ru/Severo-Zapad/Podrobno/Final_BIT-Severo-Zapad). Проект Виталия Клебана занял третье место и вышел в полуфинал Всероссийского конкурса "БИТ 2012". Поздравляем!

03.05.2012

Доклад Zakonov A., Shalyto A. Generating Test Cases With High Branch Coverage for Web Applications приняли на SYRCoSE 2012 (http://syrcose.ispras.ru/)

03.05.2012

Технологический бум в Сингапуре! ("Время электроники" - Почему полупроводниковым компаниям комфортно в Сингапуре?)

03.05.2012

Царев Ф.Н., Шалыто А.А. Построение конечных автоматов на основе генетических алгоритмов и генетического программирования // Труды Третьей российской конференции с международным участием "Технические и программные средства систем управления, контроля и измерения" (УКИ’12). М.: ИПУ РАН. 2012, c. 2017-2031.

03.05.2012

Не рой другому яму, сам в нее попадешь! И попал таки. ("Известия" - Главкома ВВС уволили за нежелание возглавить Академию им. Жуковского)

03.05.2012

Владимир Николаевич Васильев - член-корреспондент РАН ("Информационно-управляющие системы", №2, 2012)

02.05.2012

Оргкомитет рад сообщить, что доклад Григория Чикишева принят на школу-семинар SIBECRYPT'12

02.05.2012

У науки еще много не решенных проблем ("Время электроники" - Опасные микроорганизмы могут вывести из строя МКС)

02.05.2012

Успехи наших сотрудников на XII International 24 Hours Programming Contest, 2012 год

  • П. Митричев, Е. Куликов, П. Маврин (НИУ ИТМО) - 1-ое место
  • А. Станкевич (НИУ ИТМО), С. Поромов (НИУ ИТМО), Д. Гозман - 5-ое место

02.05.2012

Наши и Президент РФ Д.А. Медведев (Медиапортал ИТМО - СМИ о Университете)

28.04.2012

Частные полеты в космос в США ("Огонек" - Без NASA обойдутся)

28.04.2012

Трудно ли было придумать, что перед операцией надо мыть руки? ("Город 812" - Почему доктора не хотят мыть руки)

27.04.2012

Поиск в Mail.Ru развивается ("Computerworld Россия" - Поиск ближе к пользователям)

27.04.2012

Oracle: в Google заведомо «нарушили правила» ("Открытые системы")

27.04.2012

"PCWEEK": Свободна ли Java, оба Ларри не знают

26.04.2012

Беседа с бывшим акционером РКК "Энергия" С. Недорослевым ("Известия" - «Мне всегда была интересна эта компания»)

26.04.2012

Зачем тогда вообще нужны наши заводы электроприборов, если на них не получаются iPhone? ("Известия" - Возвращение цели)

26.04.2012

Один из создателей Microsoft финансирует детальное исследование головного мозга ("Поиск" - Умозрительный сигнал)

25.04.2012

Б. Мейер рассказал В. Суркову о работе в России ("Известия" - Владислав Сурков послушал про низкие зарплаты и нехватку кадров)

25.04.2012

ИТ-отрасль порождает все новых миллиардеров ("Огонек" - Майк Кригер и Кевин Систром, основатели Instagram)

24.04.2012

Царев Ф. Н., Шалыто А. А. Эволюционные вычисления и генерация конечных автоматов. Третья российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения». Институт проблем управления имени В. А. Трапезникова РАН (г. Москва, Россия), 17 апреля 2012 года. Пленарный доклад.

24.04.2012

Red Hat первой заработала миллиард долларов на открытом ПО ("Открытые системы" - Red Hat вступила в клуб «миллиардеров»)

24.04.2012

Эксафлопсные вычисления. Отчет по проблеме (Концепция по развитию технологии высокопроизводительных вычислений на базе суперэвм эксафлопного класса (2012-2020 гг.))

24.04.2012

Поздравляем студентов кафедры КТ - победителей студенческой математической олимпиаде Северо-Запада России! Особо - Е. Капуна, В. Аксенова и В. Кевера

23.04.2012

"Сети/network world": готовы ли Вы отказаться от крутого смартфона?

23.04.2012

"Время электроники": машинное зрение встраиваемых систем: накануне бума

23.04.2012

"Время электроники": Google показал свои секретные очки дополненной реальности

20.04.2012

Панорама Санкт-Петербурга

20.04.2012

Курс Ф. Царева "Эволюционные алгоритмы"

20.04.2012

У нас приняли стендовый доклад (Zakonov A., Shalyto A. Towards automated high coverage test generation for web applications using abstract syntax trees analysis) на конференцию "PSSV 2012 : Program Semantics, Specification and Verification: Theory and Applications"

17.04.2012

Кто из наших ребят попадет в Зал славы искусственного интеллекта Института инженеров по электротехнике и электронике (IEEE)? ("Поиск" - Искусственные мысли)

17.04.2012

Саратовский государственный университет им. Н.Г. Чернышевского проводит международную научную конференцию "Компьютерные науки и информационные технологии" им. А.М. Богомолова (http://knit2012.sgu.ru/). Шалыто А.А. - член программного комитета. По поводу подачи докладов обращаться к Ф. Цареву.

16.04.2012

Нобелевскую премию получить легко. Посмотрите рисунки! (Esquire - Ценные бумаги)

14.04.2012

На матмехе СПбГУ будет проходить конференция "Системы Программирования, Интеллектуальные Системы, Обеспечение Качества" (СПИСОК-2012). На сайте конференции приведен шаблон для подачи материалов на конференции. Мы успешно выступили на "Списке-2011" и приглашены участвовать на этой конференции. Наша секция "Автоматное управление, эволюционные алгоритмы, верификация на моделях" (руководитель - А.А. Шалыто), видимо, будет проходить 27.04.2012 г. с 10-00 на матмехе. Желательно, чтобы большинство докладов с III сессии научной школы "Технологии программирования и искусственный интеллект" с конференции молодых ученых НИУ ИТМО (I Всероссийский конгресс молодых ученых) были поданы на "Список".

12.04.2012

"Поиск": Точный ход. Главная математическая награда вручена выпускнику аспирантуры МГУ

12.04.2012

Живые публикации - это интересно. "Заметки о мотивации" - пример живой публикации ("Поиск" - Юбилей РФФИ: остаться в живых)

12.04.2012

Новый подход к секвенированию генома ("Эксперт" - Геном за десять долларов)

12.04.2012

Mail.ru выполняет работы по поиску ("Эксперт" - Mail.ru учится искать)

06.04.2012

Известный американский изобретатель и футуролог Рэймонд Курцвейл - обладатель крупнейшей в мире инноваций премии MIT-Lemelson и Национальной медали США в области технологий, утверждает, что к 2045 году биология перейдет в разряд информационных наук и за счет окончательной расшифровки геномов откроются неограниченные возможности воспроизводства клеток.

06.04.2012

11 апреля 2012 г. 14.20. III сессия научной школы «Технологии программирования и искусственный интеллект» на I Всероссийском конгрессе молодых ученых. Руководитель школы - А.А. Шалыто. Адрес: Кронверкский пр. д.49, ауд. 446, страницы программы - 33,34.

05.04.2012

Минобороны заказало "Транзасу" ударные беспилотники ("Военное обозрение" - Военные определились с беспилотниками)

05.04.2012

Почему все пользуются старыми языками программирования? ("PCWEEK" - Про идеальный язык программирования)

03.04.2012

Роботы с живыми нейронными сетями ("Итоги" - Мысленно с вами)

03.04.2012

"Центр информационной безопасности": японцы изобрели прибор, применение которого заставляет человека замолчать

03.04.2012

Кафедра КТ заняла призовое место на конкурсе кафедр университета

03.04.2012

Премию Тьюринга за 2011 г. дали за работы по искусственному интеллекту. Мы на правильном пути. ("Computerworld Россия" - Премия за интеллект)

02.04.2012

Обновлен раздел Дипломы. Решетников Е.О. Инструментальное средство для поддержки автоматного программирования в среде разработки Microsoft Visual Studio 2008

02.04.2012

Лев Хасис сделал феноменальную карьеру! ("Слон" - Русский в Wal-Mart: Лев Хасис сделал самую крутую карьеру)

02.04.2012

Интервью Льва Хасиса РБК daily

29.03.2012

Второй докладчик подтвердил, что на практике все, что написано в "Заметках о мотивации" осуществимо!

29.03.2012

Джекобсон A., Хyaн Ш., Кaйкo-Мэтсон M., МакМэхон П., Сeймyp Э. SЕMAT - взгляд на три года вперед // Программирование. 2012. № 1, с. 3 - 18

28.03.2012

Google уже похоже не дает 20% свободного времени. Остается только кафедра КТ :-) ("PCWEEK" - Google больше не интересуют инновации – только деньги)

28.03.2012

Дискуссия: "Как преподавать информатику в школе?" ("PCWEEK" - Перестали преподавать информатику...)

24.03.2012

Хабрахабр: алгоритмическая ошибка привела к аварии самолета из песочницы. Заметим, что по ссылке на наш сайт, находящейся в комментарии девятого уровня вложенности, прошло более 300 человек.

23.03.2012

21 марта 2012 года В.Н. Васильев выступил с докладом на двадцать девятом заседании Комиссии при Президенте РФ по модернизации. Скачать презентацию

22.03.2012

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2011 году

22.03.2012

Еще один основатель Mail.ru Group продает ее акции (Газета.ру - Mail.Ru доросла до выхода)

22.03.2012

Коммерсантъ: Юрий Мильнер ушел из Mail.ru Group

22.03.2012

Как создавать пограммные системы для ответственных приложений. ("PCWEEK" - США захватывают ключевые плацдармы компьютерных стандартов)

20.03.2012

"Аэрофлот" начинает акцию "Приведи друга в летчики"... и получи деньги

20.03.2012

В "Роскосмосе" должности "генеральный конструктор" и "генеральный директор" разделили

18.03.2012

Шалыто А. А. Заметки о мотивации. Редакция от 18.03.2012

15.03.2012

Даже студенты начали понимать, что пока высшее образование не станет платным толку не будет (Варвалюк И. К вопросу о введении студенческого самоуправления и студенческих советов в ВУЗах для повышения качества высшего образования)

15.03.2012

Шалыто А.А. Шаг в правильном направлении

15.03.2012

Как делают IPad ("Время электроники" - The new iPad: работник Foxconn поведал, почему он ненавидит делать айфоны)

14.03.2012

Построение визуализатора для начертательной геометрии (!) на основе автоматного программирования. Бобровских А.С. Разработка обучающей системы для алгоритмов начертательной геометрии с использованием технологии автоматного программирования // «Вестник компьютерных и информационных технологий». 2011. № 1, с.38 – 43.

14.03.2012

Планшеты - наше ближайшее будущее

11.03.2012

Наконец-то, и руководители страны начинают понимать, что бюджетное высшее образование – это не подарок, а взаимные обязательства государства и студента.

Д. МЕДВЕДЕВ: Задача государства состоит в том, чтобы сделать так, чтобы деньги, которые мы тратим на образование, тратились с умом, и чтобы люди, которые получают бесплатное образование, всё-таки это ценили.
Если студент бюджетного отделения, получивший бесплатное образование, после этого уезжает куда-то, например, за границу работать, это как минимум повод для того, чтобы поставить вопрос о том, на основании каких соглашений он получил это высшее образование. Если ты учишься за свои деньги – всё понятно, а если ты получаешь бюджетное образование… Конечно, невозможно запретить людям уехать в современной жизни, в современном мире, но, мы неоднократно об этом говорили, крайне важно оформлять такие отношения, может быть, соответствующими договорами, которые будут фиксировать взаимные обязательства сторон: государства в лице соответствующего университета, с одной стороны, и лица, которое получает бесплатное образование за счёт бюджетных средств. Понятно, он не крепостной, он не привязан к этим местам, но он должен понимать, что какую-то часть своих знаний он обязан отдать Отечеству своему.
http://blog.kremlin.ru/post/211/transcript

08.03.2012

Лекции из Стенфорда и МТИ

06.03.2012

Как это все начиналось ("Деловой Петербург" - Петербург плодовит на программистов)

06.03.2012

Гениальные кадры - играй до конца! (YouTube)

05.03.2012

Почему в нашей стране не надо бороться с коррупцией? ("Эксперт" - Как устроена Россия)

05.03.2012

Человек, прошедший путь от простого кодера к вершинам управленческой структуры софтверного гиганта ("PCWEEK" - Стивен Синофски. Многие видят в нем следующего главу Microsoft)

05.03.2012

Доколь... ("NoNetwork" - Наука по барабану)

02.03.2012

Обновлен раздел Курсовые проекты. Бочкарев А.И. Портирование генетических алгоритмов на платформу OpenCL на примере генерации автомата в задаче „Умный муравей“

02.03.2012

И. Шалыто: "Страна привыкает платить за контент" ("Стандарт" - Одиночество в Сети)

01.03.2012

Пока другие хотят, мы уже во второй раз делаем!

01.03.2012

Интервью газете "Ведомости" генерального директора Mail.ru Group Д. Гришина

29.02.2012

Мы работаем в очень хорошем вузе ("Известия" - Самые богатые вузы — в Петербурге)

29.02.2012

Отсутствие мотивации - это серьезно ("Итоги" - Как рабы на галерах)

28.02.2012

Интервью с Ильей Широковым - руководителем проекта "Одноклассники".

28.02.2012

Обновлен раздел Статьи. Выложено 17 наших статей журнала "Научно-технический вестник СПбГУ ИТМО". Выпуск 72(2), 2011.

27.02.2012

Обновлен раздел Книги. Миронов А.М. Теория функциональных программ

27.02.2012

Б.П. Кузнецов и А.А. Шалыто об автоматном программировании

24.02.2012

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

24.02.2012

Язык Cell - программирование иерархических автоматов

24.02.2012

Применение автоматов в промышленности (Разработка и исследование управляющего автомата электропривода технологического комплекса "Подъем")

24.02.2012

Почему в Германии все нормально с экономикой ("Русский репортер" - Вторая промышленная революция)

24.02.2012

Во второй раз стартовал Russian Code Cup

22.02.2012

"Скартел" запускает LTE в Москве ("Время электроники" - WiMAX в России умер? Да будет LTE!)

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [Все новости]




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com