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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-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] [20] [Все новости]

16.02.2009

Broy M., Jonsson B., Katoen J., Leucker M., Pretschner A. Model-Based Testing of Reactive Systems

16.02.2009

Исповедь начинающего педагога: в школах травят молодых учителей!

16.02.2009

Почему ракета "Булава" не летает

15.02.2009

Это надо посмотреть всем!!!

15.02.2009

Сайт, посвященный автоматно-алгоритмическим схемам

10.02.2009

Yota ТВ - претендент на звание "Лучшего мобильного ТВ"

10.02.2009

Чем мы с А. Штучкиным занимались несколько лет назад

10.02.2009

Колтунцев А.В., Золотарев С.В. ISaGRAF - основа для создания распределенных приложений в среде программируемых контроллеров на базе стандарта IEC61499

10.02.2009

Где можно купить нашу книгу!
http://www.piter.com/book.phtml?978538800692
http://www.books.ru/shop/books/638620
http://www.bolero.ru/index.php?topic=181443&scurcat=1&cat=181443&stype=quick&sclass=all&level=5&fquery=%D8%E0%EB%FB%F2%EE
http://www.ozon.ru/context/detail/id/4259083/

10.02.2009

Что с нами происходит?

09.02.2009

Поликарпова Н.И., Шалыто А.А. Автоматное программирование. Книга в Word, формат PDF (авторская редакция).

06.02.2009

Модельно-ориентированное проектирование систем управления

03.02.2009

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

03.02.2009

Давыдов А.А., Поликарпова Н.И., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Разработка программного средства 3Genetic для генерации автоматов управления системами со сложным поведением

02.02.2009

Разработка требований на ПО ответственных систем

02.02.2009

Microsoft делает Oslo. Предисловие в журнал "Технология "Клиент-Сервер". Третий квартал 2008 года

31.01.2009

Microsoft полюбила визуальное программирование

31.01.2009

Шалыто А.А. Еще раз об автоматном программировании

31.01.2009

Как обратиться к душе ученика

31.01.2009

Шалыто А.А. Хроническая болезнь

31.01.2009

Поздравляем декана факультета ИТиП Парфенова Владимира Глебовича с 60-летием! Желаем ему счастья и здоровья!

28.01.2009

Первый блин комом - в книге Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2009 во во всех листингах при верстке исчезло форматирование и появились неточности в рисунках. Правильый вариант книги будет размещен по адресу http://is.ifmo.ru/books/

28.01.2009

Зачем нужна фундаментальная наука?

28.01.2009

Переписка в связи с получением премии

24.01.2009

Шалыто А.А. Не перестаю удивляться

24.01.2009

В продаже первая в мире книга по автоматному программированию

20.01.2009

Трудная работа мечтателя (Даг Энгельбарт)

20.01.2009

Поздравление с премией!

20.01.2009

19.01.2009 на сайте было просмотрено 944 страницы

19.01.2009

Поздравляем Федора Царева с назначением на стипендию Президента Российской Федерации!

18.01.2009

Друзья Yota

17.01.2009

За нами следят в Таллине!

17.01.2009

О Российском и Советском Военно-морском флоте

17.01.2009

Выпускник СПбГУ ИТМО Александр Штучкин вошел в семерку самых успешных молодых бизнесменов Санкт-Петербурга 2008 года!

16.01.2009

"Санкт-Петербургские" ведомости о нашей премии

16.01.2009

Тихонова У.Т. Определение языков программирования интерпретируемыми автоматами

15.01.2009

За что мы получили премию!

15.01.2009

Умер Михаил Донской - один из создателей "Каиссы" (первой программы - чемпиона мира по шахматам среди компьютеров, 1974 год)

13.01.2009

Шалыто А.А. Термин "автоматное программирование" на английском языке

13.01.2009

Шалыто А.А. Современная логика

13.01.2009

Yota Медиа Beta

13.01.2009

Запущена Yota Media

30.12.2008

На сайте создан новый раздел "Автоматное программирование в школе"

30.12.2008

Козлов В.А. Оптимальный поиск в длинных строках с использованием внешней памяти

30.12.2008

Hamming R. You and Your Research

30.12.2008

Федор и Михаил Царевы вошли в число лучших молодых инноваторов Санкт-Петербурга

29.12.2008

Выпускники кафедр "Компьютерные технологии" и "Технологии программирования" СПбГУ ИТМО разработали первый в мире коммуникатор, способный работать в сетях GSM и Mobile WiMAX, - HTC MAX 4G. Презентация этого устройства состоялась 12 ноября в Москве. Программное обеспечение для него разработали в компании <Скартел Стар Лаб>, генеральный директор которой Александр Штучкин стал в 2001 году чемпионом России, а в 2003-м - бронзовым призером чемпионата мира по программированию

29.12.2008

Они обсуждают меня и автоматное программирование (январь 2008 года), а караван идет

29.12.2008

Чемпионат мира по программированию, СПбГУ ИТМО и разработка первого в мире коммуникатора, способного работать в сетях GSM и Mobil WiMAX

29.12.2008

Стив Меллор - модели должны работать

26.12.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов

26.12.2008

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

26.12.2008

Перелом в парадигме обучения

26.12.2008

Проект EiffelState

26.12.2008

Надя Поликарпова в одном из лучших университетов мира

26.12.2008

Евгений Мандриков и Михаил Царев на IV Петербургском международном инновационном форуме

26.12.2008

Инновационные успехи молодых людей, прошедших через олимпиады

26.12.2008

Сколько хотят зарабатывать молодые ученые - как я и предполагал около 40 тысяч рублей

26.12.2008

Министр энергетики США - нобелевский лауреат

26.12.2008

Как заработать деньги, выкладывая книгу в свободный доступ в Интернете

26.12.2008

Кулямин В.В. Методы верификации программного обеспечения. 117с.

26.12.2008

23 декабря новый рекорд - на сайте зарегистрировано 267 хостов. 724 визита было зарегистрировано 15.12.2008

26.12.2008

Домашний электронный музей живописи

24.12.2008

Шалыто А.А. Не так учим

22.12.2008

На сайте зарегистрирован рекорд посещаемости - 255 хостов!

19.12.2008

А.А. Шалыто на Mobile Software Forum. "Настоящих буйных мало - вот и нету вожаков" В.В. Высоцкий

19.12.2008

16 декабря на сайте зарегистрирован рекорд посещаемости - 244 хоста!

19.12.2008

Новый российский автомобиль не может без Yota

18.12.2008

Начали о Шалыто - кончили про Microsoft

18.12.2008

Президент Российской Федерации Д.А. Медведев и генеральный директор компании "Скартел Стар Лаб" А. Штучкин на 1 канале

12.12.2008

Что такое WiMax?

12.12.2008

Создатель транзистора

12.12.2008

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

12.12.2008

Новые интерфейсы

12.12.2008

Про нанотехнологии

12.12.2008

Анатолий Чубайс и нанотехнологии

12.12.2008

У каждого своя Мона Лиза

http://rogeralsing.com/2008/12/07/genetic-programming-evolution-of-mona-lisa/
http://is.ifmo.ru/works/cellaut.pdf

12.12.2008

Сайт Виталия Клебана включен в top20 российских сайтов по робототехнике

12.12.2008

Создание беспилотного автомобиля

08.12.2008

Царев М.Н., Царев Ф.Н. Школа информационных технологий и футбола

05.12.2008

О том, как российская наука не хочет и не умеет рекламировать собственные достижения

05.12.2008

Доклад "Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов" на конференции III международной научно-практической конференции "Современные информационные технологии и ИТ-образование" на двух секциях сразу
http://2008.it-edu.ru/pages/day3-sec2
http://2008.it-edu.ru/pages/sec-3-2

04.12.2008

Владимир Глебович Парфенов об олимпиадах по программированию и не только

04.12.2008

Разработка кода происходит путем внесения в него изменений и дополнений, - сказал один опытный программист. Какое уж там проектирование программ?

04.12.2008

Статья о "Транзасе"

29.11.2008

Sun уволит 18% сотрудников

29.11.2008

Open Source, наступит ли момент истины?

29.11.2008

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

29.11.2008

Какие статьи могут пройти в рецензируемыйй журнал

29.11.2008

Русский интернет

29.11.2008

В следующие 25 лет роботы изменят нашу жизнь так же сильно, как изменили ее компьютеры за последние 25 лет. Родни Брукс

29.11.2008

Дополненная реальность

29.11.2008

Нас включили в программный комитет конференции "47th International Conference Objects, Models, Components, Patterns" (TOOLS-EUROPE 2009). И больше никого из России

29.11.2008

Об объективной невозможности удержаться, чтобы не сказать гадость!

29.11.2008

Википедия как она есть!

29.11.2008

Диплом за активное участие во II международной выставке "Перспективные технологии"

29.11.2008

Медаль "За успехи в научно-техническом творчестве"

29.11.2008

"Скартел": коррекция развития?

29.11.2008

WiMAX-телефон - эксклюзивно для российских пользователей

29.11.2008

Давно ничего не писали о Федоре Цареве!

29.11.2008

Алан Гринспэн: в кризисе виноваты роботы, торгующие на бирже?

29.11.2008

Отчет по контракту о верификации автоматных программ. Четвертый этап.

29.11.2008

Отчет по контракту о верификации автоматных программ. Третий этап.

29.11.2008

Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Четвертый этап.

28.11.2008

Шалыто А.А. Сокращение человеческого фактора

28.11.2008

СПбГУ ИТМО, СКАРТЕЛ, WiMAX и олимпиады по программированию

28.11.2008

Школа программирования и футбола братьев Царевых. "Мой брат стал чемпионом мира по программированию. Я вас сделаю чемпионами мира по футболу" - Михаил Царев.

28.11.2008

Разработка технологии генетического программирования для генерации автоматов управления системами со сложным поведением

28.11.2008

Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода

26.11.2008

На сайте зарегистрировано 232 хоста

25.11.2008

Наше выступление на конкурсе "Молодые. Дерзкие. Перспективные"

23.11.2008

Грустная история

23.11.2008

Выпуск iPhone 3G сократят - Computerworld Россия

23.11.2008

Intel вложится в WiMAX и Atom - Computerworld Россия

23.11.2008

Motorola выбирает Android

23.11.2008

Из корпорации SUN ушел один из ее основателей

23.11.2008

Первый WiMAX-коммуникатор создали специально для России

19.11.2008

На сайте зарегистрировано 224 хоста

19.11.2008

Монолог о жизни и смерти

19.11.2008

О победе на чемпионате мира по программированию

14.11.2008

Презентация компании "Скартел" - мобильный WiMAX из России!

14.11.2008

Еще о "Скартел"

12.11.2008

Презентация HTC MAX 4G и мобильных WiMAX сервисов Yota

11.11.2008

Госкорпорация "Ростехнологии" купила 25,1% WiMax-оператора "Скартел"

11.11.2008

Побеждаем не только на чемпионатах мира по программированию. Беседа с Анатолием Никитиным

10.11.2008

О работе Института междисциплинарных проектов в Санта-Фе (оттуда родом брат умного муравья!)

10.11.2008

Михаил Прохоров. Мода на инновации

10.11.2008

Является ли менеджмент наукой?

10.11.2008

Поздравляем команду СПбГУ ИТМО в составе Максим Буздалов, Владислав Исенбаев Евгений Капун, которая стала победителем IX Открытой Всесибирской олимпиады по информатике

07.11.2008

Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование

07.11.2008

Вручены Шнобелевские премии за 2008 год

07.11.2008

Наше участие в "Итоговой конференции ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 г."

07.11.2008

Чемпион мира по шахматам среди программ. Победитель давно обыгравает людей

07.11.2008

Как американцы создавали боевые информационно-управляющие системы для советских подводных лодок

30.10.2008

Даже с великой идей неудачники не преуспеют

30.10.2008

Бизнес должен давать деньги не милиции, а школам

30.10.2008

Как за 4,5 тысячи рублей в журнале опубликовали заведомую галиматью

29.10.2008

Что требуется для успеха в жизни?

29.10.2008

Владимир Борисович Яковлев - ученый, педагог и организатор. К 75-летию со дня рождения

29.10.2008

А у Вас еще не задрожали ложечки?

28.10.2008

Кубасов С.В. Диссертация на тему «Верификация автоматных программ в контексте синхронного программирования»

27.10.2008

Поздравляем Вадима Гурова и Павла Лобанова с успешными защитами кандидатских диссертаций!

26.10.2008

Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной модели во входной язык верификатора SMV"

26.10.2008

Свидетельство о государственной регистрации программы для ЭВМ "Система преобразования автоматной модели в модель Крипке и верификация CTL-свойств на ней"

26.10.2008

Роберт Нойс. Первый президент компании Intel

26.10.2008

Как Дейв Паккард и Билл Хьюлетт весь мир покорили

22.10.2008

Лекции Д. Павлова

19.10.2008

Успехи студентов и выпускников кафедры "Компьютерные технологии" СПбГУ ИТМО на соревнованиях различного уровня по программированию

18.10.2008

Статья Бертрана Мейра "Семь принципов тестирования программ"

17.10.2008

Model-Checking Real-Time Control Programs

17.10.2008

Вот какие бывают программисты!

17.10.2008

Можете предложить как изменить мир, а вам за это дадут много денег!

17.10.2008

Каширин В.В. Метод модификации оценочных функций для оптимизации работы генетических алгоритмов, генерирующих конечные автоматы

15.10.2008

Существует ли профессия программного инженера?

14.10.2008

Главный секрет создания качественного программного кода

14.10.2008

Джеймс Уотсон - отец современной генетики

14.10.2008

Перечень критических технологий Российской Федерации

14.10.2008

Через 33 года обнаружена ошибка в генераторе грамматического разбора yacc

14.10.2008

Проектный подход к программированию в школах!
http://ded32.net.ru/
http://store.ded32.net.ru/Lib/Doc/ExperimentPres2007.ppt

14.10.2008

Модификация UML для мехатронных систем
http://nbp-www.upb.de/index.php?id=57&L=1
http://ag-schaefer.uni-paderborn.de/PaperReader/PaperReader
http://wwwcs.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/MARTES05.pdf
http://ag-schaefer.upb.de/PaperReader/PaperReader?xmlfile=./ag-documents.xml&priority&name=Sch%E4fer

14.10.2008

Microsoft полюбил UML

13.10.2008

В новости "новый Третьяков" Игорь Маркин рассказывает о выдающемся художнике Дмитрии Краснопевцеве

08.10.2008

Миша Дворкин с детства любил автоматы

07.10.2008

Читайте - Дмитрий Горчев!

07.10.2008

"Сохраним в университетах лучших" на сайте СПбГУ ИТМО

07.10.2008

Художник Илья Кабаков о том как мы жили

07.10.2008

Музей актуального искусства

04.10.2008

Сохраним в университетах лучших!

03.10.2008

Миронов А.М. Теория процессов

03.10.2008

Гуров В.С. Диссертация на тему «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)»

03.10.2008

Российский научный журнал опубликовал бессмысленный текст, созданный компьютером

03.10.2008

Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?

03.10.2008

На конференции SECR-2008 будет докладывать не только Эрих Гамма, но и Артем Астафуров!

03.10.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО

30.09.2008

Русский аристократ и его коллекция, которую сейчас купили для России и показывают в Санкт-Петербурге в театральном музее
http://www.kommersant.ru/doc.aspx?DocsID=20191
http://www.kommersant.ru/doc-rss.aspx?DocsID=221707
http://www.kommersant.ru/doc.aspx?DocsID=9015733

26.09.2008

Лобанов П.Г. Диссертация на тему «Использование генетических алгоритмов для генерации конечных автоматов»

26.09.2008

Так в Америке сохраняют в университах лучших:
http://en.wiktionary.org/wiki/endowed_chair,
http://www2.creighton.edu/about/endowedchair/,
http://paradise.caltech.edu/bruck.html

26.09.2008

Вот к чему приводит автоматное программирование - Надежда Поликарпова и Бертран Мейер в Италии!

26.09.2008

Требования к выполнению курсовых работ

25.09.2008

Когда люди не жмотничают!

25.09.2008

Наш сайт кому-то нужен: все вставки с этого сайта

23.09.2008

И вам желаю того же!

23.09.2008

WebTV было предложено в СССР 36 лет назад!

23.09.2008

Кто способен попасть на эту конференцию?

22.09.2008

Компании DataArt и DevExpert, в руководство которых входят наши выпускники, среди лидеров по разработке экспортных программных продуктов

22.09.2008

Высшее образование и российское общество, или куда зашло высшее образование

21.09.2008

Очень интересный блог про программирование

20.09.2008

У нас может просто не остаться специалистов, которые хоть что-то будут понимать в термоядерных реакторах

20.09.2008

Мы смогли что-то сделать в жизни, потому что нас учили замечательные люди

20.09.2008

Еще раз о российском высшем образовании

20.09.2008

Жизнь против часовой стрелки!

19.09.2008

Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?

19.09.2008

WiMax как минимум

19.09.2008

Юрий Лифшиц - инноватор

19.09.2008

Российские математики В.Арнольд и Л.Фаддеев получили в Гонконге "Азиатскую Нобелевскую премию"

19.09.2008

Мобильный WiMAX в действии

19.09.2008

"Программный продукт, полностью созданный в России, по словам Чемезова (генерального директора госкорпорации "Ростехнологии"), прекрасно с непревзойденным качеством передает мобильную картинку, ее можно использовать и в деле обеспечения безопасности при установке сколь угодно сложных сетей видеонаблюдения с большой разрешающей способностью на улицах и в общественных местах... Если этот проект будет реализован, "это будет первый случай, когда Россия внедряет в Западном полушарии столь высокую технологию, даже еще в США этого нет"

19.09.2008

Создан робот с биологическим мозгом

19.09.2008

Обама против аутсорсинга

19.09.2008

Высота газпромовской "башни" после грузинской агрессии

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




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