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



Главная

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

17.11.2006

TopCoder Collegiate Challenge - 2006 finalists

10.11.2006

О нас пишут

10.11.2006

Отзыв читателя на текст «О понимании жизни»

10.11.2006

Что-то не хочется таких успехов

10.11.2006

Это можно прочесть

10.11.2006

UniMod-проект: Моделирование работы «умного» светофора

10.11.2006

UniMod-проект: Моделирование работы автоматического путеукладчика на основе автоматного программирования

01.11.2006

UniMod-проект: Козлов В.А., Комалёва О.А. Моделирование работы банкомата

01.11.2006

Очередная польско-российская победа
Шалыто А.А. Кому нужны ИТ-таланты

01.11.2006

Корнеев Г.А., Шалыто А.А. Построение системы конечных автоматов по программному коду

31.10.2006

Надежда Поликарпова за работу «Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением» награждена дипломом первой степени на Всероссийском конкурсе инновационных проектов аспирантов и студентов по приоритетному направалению развития науки и техники «Информационно-телекоммуникационные системы», который проводился в 2006 г. Федеральным агентством по науке и инновациям.

http://ict.edu.ru/itkonkurs/
http://ict.edu.ru/itkonkurs/module.php?QP_From=40&a=itconc&c=getForm&r=itconcList&d=mod&id_conc=1&id_n_conc=2&s_fio=1&rows_on_page=10
http://www.ict.edu.ru/itkonkurs/1257/
http://www.ict.edu.ru/itkonkurs/photo/2006/p1020115.jpg

26.10.2006

Поздравляем Георгия Корнеева с успешной защитой кандидатской диссертации

23.10.2006

Шалыто А.А. О понимании жизни

17.10.2006

Шалыто А.А. Как правильно?

17.10.2006

Маврин П.Ю., Корнеев Г.А., Станкевич А.С., Шалыто А.А. Моделирование жизненного цикла компоненты программного комплекса с использованием диаграмм состояний

13.10.2006

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

13.10.2006

Алексей Герман-младший

13.10.2006

Программирование с явной реализацией моделей

13.10.2006

А.А. Шалыто. Лучше поздно, чем никогда

10.10.2006

Петрошенко П.А., Корнеев Г.А., Шалыто А.А. Реализация игры «Морской бой» на основе автоматного подхода

09.10.2006

Автореферат кандидатской диссертации Корнеева Г.А.

09.10.2006

У нас приняли доклады на 1-ю Российскую мультиконференцию по проблемам управления

29.09.2006

Исполняемый UML, UniMod, SWITCH-технология

29.09.2006

В. Гуров и А. Шалыто включены в программный комитет симпозиума The Second AIS SIGSAND European Symposium on Systems Analysis and Design. University of Gdansk, Poland, 2007

28.09.2006

У нас приняли доклады на конференцию "Software Engineering Conference (Russia) — 2006" (SECR-2006)

28.09.2006

Наш доклад приняли на «Девятую международную конференцию „Интеллектуальные системы и компьютерные науки”», которую проводит мехмат МГУ

28.09.2006

UniMod-проект: Яковлев А.В., Лукин М.А., Шалыто А.А. Реализация классической игры "Ним" на основе автоматного подхода

25.09.2006

Автоматное программирование заметили в очередной раз

23.09.2006

Бертран Мейер — почетный доктор Санкт-Петербургского государственного университета информационных технологий, механики и оптики

20.09.2006

UniMod-проект: Вокин А.В., Пименов И.А., Шалыто А.А. Имитация работы автоматической коробки передач

15.09.2006

Григорий Перельман, доказавший гипотезу Пуанкаре

08.09.2006

Шалыто А.А. Доброе слово не только кошке приятно

08.09.2006

Шалыто А.А. О цитируемости

31.08.2006

Четыре новые статьи в разделе «Визуализаторы»:
Корнеев Г.А., Шалыто А.А. Vizi — язык описания логики визуализаторов алгоритмов
Корнеев Г.А. Технология разработки визуализаторов алгоритмов
Корнеев Г.А., Шалыто А.А. Построение визуализаторов алгоритмов дискретной математики
Корнеев Г.А. Метод преобразования программ в систему взаимодействующих автоматов

29.08.2006

Майя Плисецкая, балерина. Объяснение в любви

29.08.2006

Владимир Евтушенков. Председатель совета директоров АФК «Система»

25.08.2006

Как работает Google

25.08.2006

Шутки

23.08.2006

Применение конечных автоматов при программировании мобильных устройств

23.08.2006

Автоматное описание живописи (А. Матисс)

23.08.2006

Шалыто А.А. Об оценке профессионалами

23.08.2006

UniMod-проект: Реализация алгоритма Лампорта на основе автоматного подхода

16.08.2006

UniMod-проект: Технология моделирования одного класса мультиагентных систем на основе автоматного программирования на примере игры «Соревнование летающих тарелок»

06.08.2006

Эхо Москвы: Россиянин решил знаменитую математическую задачу

06.08.2006

Долой ОС, даешь автоматы

04.08.2006

Нам пишут

04.08.2006

Шалыто А.А. Не люблю, когда унижают!

04.08.2006

У нас приняли доклад на конференцию в МГУ

01.08.2006

Академия Борланд приглашает студентов третьих курсов ВУЗов СПб на вступительные испытания для поступления на первый курс Академии.

24.07.2006

На хорошем сайте заметили

24.07.2006

Правильная библиотека :-)

24.07.2006

Классное (!) чтение

24.07.2006

Победители живут рядом

24.07.2006

Автоматы — это очень просто

24.07.2006

Игорь Горынин, академик РАН

24.07.2006

Егор Кончаловский, кинорежиссер

24.07.2006

Сергей Минаев

24.07.2006

Нобелевский лауреат о российской науке

12.07.2006

Switch-технология в Wikipedia

12.07.2006

Очередная польско-российская победа

12.07.2006

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

12.07.2006

.NET Technologies 2006. Short communication papers proceedings

12.07.2006

У нас приняли доклад на семинар «Наукоемкое программное обеспечение»

12.07.2006

Опубликована магистерская работа Корниенко А.А. Автоматный подход к реализации элементов графического пользовательского интерфейса

06.07.2006

Благодарственные письма Бертрана Мейера

06.07.2006

Опубликован новый рассказ А.А. Шалыто «О благотворительности»

06.07.2006

Участие в конференции CIMSA 2006

06.07.2006

10 people who don't matter — 10 людей, которые не играют роли

06.07.2006

Абдрашитов Д.С. Система управления персонажем в многопользовательской ролевой игре

06.07.2006

Опубликована магистерская работа А.А. Корниенко Автоматный подход к реализации элементов графического пользовательского интерфейса

06.07.2006

Опубликована статья-программа Д. Павлова «Автоматный серпентарий»

05.07.2006

Жданов А.Д., Коломейцева Т.М., Шалыто А.А. Реализация надежного протокола передачи данных

22.06.2006

Опубликован проект «Бодрое Утро»

22.06.2006

Опубликована статья М. Мазина и А. Шалыто Анимация. Flash-технология. Автоматы

21.06.2006

Опубликован новый проект «Мультиагентная система дорожного движения»

10.06.2006

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

10.06.2006

А. Шалыто. Почему у нас трудности с инновациями?

10.06.2006

А. Шалыто. Должен ли народ знать своих героев?

10.06.2006

Новый проект: Система управления моделью аудиопроигрывателя. Вариант 2

02.06.2006

Это должны прочесть толковые молодые люди
Это тоже стоит читать молодым толковым людям

02.06.2006

У нас приняты два доклада на «Третью международную конференцию по проблемам управления».
М.: Институт проблем управления, 20-22.06.2006. http://www.ipu.ru/semin/pu2006/prog.htm#D41

Секция Д3. Системы логического управления.
Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod - инструментальное средство для автоматного программирования.
Секция Е5. Нейронные сети и нейроподобные сети.
Аничкин И.М. Применение нейронной сети для управления мотоциклом.

02.06.2006

Шалыто А.А. Почему холопы плохо работают?

29.05.2006

Какие материальные проблемы могут быть у авторов открытых кодов

29.05.2006

У нас приняли доклад на конференцию 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications — CIMSA 2006 (Испания): Paraschenko D., Shalyto A., Tsarev F. Modeling Technology of One Class of Multi-Agent Systems with Automata Based Programming.

29.05.2006

У нас принят доклад на конференцию "NET Technologies 2006" (Чехия)

29.05.2006

О нас пишут

21.05.2006

Марис Янсонс. О культуре

20.05.2006

Программа семинара с Бертраном Мейром на тему: «Работы по программной инженерии, проводимые на кафедре „Технологии программирования“ СПбГУ ИТМО»

19.05.2006

Ученые, объединенные научным интересом «программная инженерия»
Ученые, объединенные научным интересом «теория автоматов»

19.05.2006

Встреча с Бертраном Мейером

19.05.2006

Нам пишут

17.05.2006

На русскоязычном сайте Стива Кинга в среднем бывает 200 человек в день. Сегодня на нашем сайте было 219 человек!

15.05.2006

В журнале IEEE Software опубликована статья Шопырина Д.Г. "Multimethods Implementation in C++ Using Recursive Deferred Dispatching"

15.05.2006

kp.ru: Настоящие мужчины. Какие они?

15.05.2006

Опубликован второй UniMod-проект: Моделирование устройства для продажи газированной воды на инструментальном средстве UniMod

15.05.2006

Горшкова Е.А., Новиков Б.А. Использование диаграмм состояний переходов для моделирования гипертекста

15.05.2006

Опубликована статья «Моделирование контроллера WEB-приложений с использованием UML»

15.05.2006

SWITCH-технологию применяют в программируемых логических контроллерах

15.05.2006

Идеи, аналогичные с предлагаемыми нами

11.05.2006

Обновлена проектная документация UniMod-проекта «Устройство» для карточной игры Покер: заменены диаграммы

07.05.2006

Switch-технология продолжает внедряться

06.05.2006

А.А. Шалыто. ИТ-образование: острых проблем еще очень много

06.05.2006

А.А. Шалыто. Зачем ссылки в тексте?

06.05.2006

В рассказе «Прикольно, гламурно, пафосно» появилось существенное дополнение

27.04.2006

Дает ли современный российский университет современные знания?

27.04.2006

«Не зря пишу»

26.04.2006

Опубликован UniMod проект Вишнякова С.М.,Кочелаева Д.Ю., Шалыто А.А. «Устройство» для карточной игры Покер

26.04.2006

Создан новый раздел — Unimod-проекты

25.04.2006

Опубликован проект А.Д. Руднева и А.А. Шалыто «Управление контроллером привода гибкого диска (на примере контроллера I8272A)»

24.04.2006

Работа: смысл жизни или неизбежное зло?

21.04.2006

В Польше вышла книга про UML 2.0, в которой среди инструментальных средств для платформы Eclipse упомянут UniMod. Открытый проект UniMod опубликован на диске — приложении к этой книге.

20.04.2006

В нашем Университете открыта аспирантура по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

18.04.2006

У сайта появился эпиграф

17.04.2006

О нас пишут

10.04.2006

Workshop по автоматному программированию

10.04.2006

ИТМО: Образование и наука - фундамент университета

10.04.2006

Артем Астафуров уверен, что работа в западных IT-компаниях идеальна для карьеристов. В одной из них он к 22 годам стал директором направления международных проектов

10.04.2006

Указ Президента РФ «О мерах государственной поддержки работников организаций оборонно-промышленного комплекса РФ»
Постановление Правительства Российской Федерации от 24 июня 2004 г. N 309 г. Москва О стипендии работникам организаций оборонно-промышленного комплекса Российской Федерации

06.04.2006

В NASA разрабытывается программное обеспечение на основе подхода, близкого к автоматному программированию, который базируется на анализе состояний

06.04.2006

Бабаев А. Автоматный интерфейс. Новый метод создание логики интерфейса

06.04.2006

Шалыто А.А. Информация или дух?

31.03.2006

На русскоязычном сайте Стива Кинга в среднем бывает 200 человек в день. Сегодня на нашем сайте было 205 человек!

29.03.2006

Шалыто А.А. «Прикольно, гламурно, пафосно»

28.03.2006

Профессор Бертран Мейер Ученым советом Санкт-Петербургского государственного университета информационных технологий, механики и оптики избран Почетным доктором университета.

27.03.2006

Умер Станислав Лем

24.03.2006

Проект «Наглядная система сборки Кубика Рубика»

18.03.2006

Нам пишут

16.03.2006

Создатель языка Eiffel Бертран Мейер и Никита Шамгунов

13.03.2006

Президиум ВАК России (решение от 10.02.2006 г. № 5к/89) решил выдать диплом кандидата технических наук Шопырину Данилу Геннадьевичу. Поздравляем!

11.03.2006

Книги М.А. Гаврилова в Политехническом музее в Москве

11.03.2006

Шалыто А.А. Кое-что об этике научных публикаций

05.03.2006

Поздравляем с 70-летием Леонида Яковлевича Розенблюма — одного из пионеров технической кибернетики в СССР

04.03.2006

В Туринском политехническом институте на UniMod обратили внимание как на многообещающий проект

04.03.2006

Журнал «Информационные технологии» об автоматном программировании

04.03.2006

Tutorial on Automata Based Programming (ABP). Events. Outsourcing-Russia.Com

04.03.2006

А.А. Шалыто. Продажа диплома

04.03.2006

Д. Завалишин. Экстремальное проектирование?

04.03.2006

С. Голубицкий. Жизненная позиция

04.03.2006

Схемная эмуляция и автоматное програмирование

04.03.2006

Памяти Валерия Николаевича Захарова посвящается

04.03.2006

Учитель, ученик и шанс для России

04.03.2006

Разноцветные штаны — статья о кризисе мотивации

04.03.2006

Так наука дальше жить не может

04.03.2006

А.А. Шалыто. О науке

04.03.2006

А.А. Шалыто. Осторожно, текст!

01.03.2006

Опубликован «маразматический» рассказ А.А. Шалыто «Лимоны»

28.02.2006

Скончался директор Института проблем управления им. В.А. Трапезникова РАН, академик АН Грузии Ивери Варламович Прангишвили — дображелательный, обаятельный и остроумный Человек.

28.02.2006

Еще в одной книге рассказывается об автоматном программировании

27.02.2006

Теперь новости доступны в формате RSS Feed.

08.02.2006

В оглавлении раздела «Мысли» указывается сколько записей добавлено в последний раз

08.02.2006

Опубликована статья А.А. Шалыто “Multifunctional Logic Modules Consisting of Elements with Bilateral Conductance”

07.02.2006

В разделе «Статьи» выложено 23 статьи в формате DjVu (раздел «Статьи не о программировании, опубликованные в журналах академии наук»).

06.02.2006

О мате

06.02.2006

А.А. Шалыто. Стоит ли просить прощения у минного поля?

06.02.2006

А.А. Шалыто. В каком смысле?

30.01.2006

Казаков М.А., Шалыто А.А. Методы построения логики визуализаторов алгоритмов

30.01.2006

Новиков Ф.А. Визуальное конструирование программ

30.01.2006

В Microsoft (Россия) автоматное программирование заметили еще раз

26.01.2006

Новый подраздел «Мыслей» — Информационные технологии

18.01.2006

В предыдущий текст внесены изменения.

16.01.2006

А.А. Шалыто. Любителям говорить и писать обо мне хрень

09.01.2006

Грамотное программирование

09.01.2006

Визуальное программирование

09.01.2006

Алан Кокс (ведущий разработчик Linux-ядра в Великобритании): «Потоковое программирование нужно тем, кто не умеет использовать конечные автоматы»

09.01.2006

Отличима ли истина от лжи? Академик А.Мигдал

09.01.2006

Лауреаты премии Тьюринга за период с 1966 по 2004 гг.

28.12.2005

Сайт приобрел название «Сайт по автоматному программированию и мотивации к творчеству»

27.12.2005

Вице-президент компании Borland об инструментальном средстве UniMod

26.12.2005

Кто еще не читал «Чайку по имени Джонатан Ливингстон»?

23.12.2005

«Switch-технология. Алгоритмизация и программирование задач логического управления» выложена еще раз — теперь по-человечески

16.12.2005

Вавилов К.В. Контроллеры SIMATIC S7-300 (SIEMENS). Организация взаимодействия независимых локальных систем управления на основе автоматного подхода и функционального разделения автоматов управления

16.12.2005

В разделе Диссертации размещены диссертация и автореферат Д.Г. Шопырина

16.12.2005

А.А. Шалыто. Как это было или почему раньше хорошо учили вычислительной технике

16.12.2005

Форум проектировщиков и разработчиков технической документации; Все для разработчиков технической документации

16.12.2005

Теоретический минимум по информатике

10.12.2005

Автоматное программирование заметили в Microsoft (Россия)

09.12.2005

Сайт по дискретной математике

08.12.2005

Новый раздел «Мотивация»

08.12.2005

Роб Пайк. Крах Иллюзий

05.12.2005

Новый проект: Преобразование графов переходов, представленных в формате MS Visio, в исходные коды программ для различных языков программирования (инструментальное средство MetaAuto)

05.12.2005

А.А. Шалыто. Будут ли в России ИТ-ученые в XXI веке?

05.12.2005

Российская академическая наука погибает под ударами «реформаторов»

02.12.2005

Незнание или неумение — не преграда!

02.12.2005

Стив Джобс и три его истории

26.11.2005

КоммерсантЪ: Инновации — это легко!

26.11.2005

Проект: Поиск подстрок с помощью конечных автоматов

25.11.2005

Черномырдин А. Автоматное программирование для микроконтроллеров. Switch-технология и интерпретаторы

25.11.2005

Вавилов К.В. LabVIEW и SWITCH-технология. Методика алгоритмизации и программирования задач логического управления

25.11.2005

Вавилов К.В. Программируемые логические контроллеры SIMATIC S7-200 (SIEMENS). Методика алгоритмизации и программирования задач логического управления

21.11.2005

А.А. Шалыто «Вы их не бьете?»

21.11.2005

А.А. Шалыто «Как мотивировать студента»

21.11.2005

Егор Яковлев. Памяти выдающегося журналиста посвящается

21.11.2005

А.А. Шалыто «Так пишут не только студенты»

21.11.2005

Нравоучительный рассказ А.А. Шалыто «Не надо думать за меня»

20.11.2005

Юбилеи выдающихся актрис России Майи Михайловны Плисецкой и Людмилы Марковны Гурченко

18.11.2005

Казаков М.А., Шалыто А.А. Автоматный подход к реализации анимации в визуализаторах алгоритмов

18.11.2005

Sec(R) 2005 — Программа конференции

18.11.2005

«Наука и инновации»: Выбраны лучшие инновационные проекты России

18.11.2005

КоммерсантЪ: Волшебный сундучок Роснауки

10.11.2005

Книга А.А. Шалыто «Switch-технология. Алгоритмизация и программирование задач логического управления» теперь доступна для скачивания в формате DjVu

Страницы: [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