| 02.07.2007
| На сайте создан новый раздел "Соревнования по программированию"
|
| 02.07.2007
| Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Разработка библиотеки для генерации управляющих автоматов методом генетического программирования
|
| 01.07.2007
| На сайте создан новый раздел "Тестирование"
|
| 30.06.2007
| 27 июня 2007 года студент группы 4538 нашего университета Царев Ф.Н. занял второе место в конкурсе претендентов на получение государственного контракта по программе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию) в СПбГЭТУ "ЛЭТИ" им. В.И. Ульянова (Ленина) в рамках X Международной конференции по мягким вычислениям и измерениям. Тема работы: "Применение генетического программирования для построения автоматов, управляющих системами со сложным поведением".
|
| 30.06.2007
| О верификации простых автоматных программ на основе метода Model Checking
|
| 29.06.2007
| "Знаменитые" IT-профессора отвечают на вопросы журнала "Компьютерра"
|
| 29.06.2007
| Одного из этих знаменитых IT-профессоров я знаю
|
| 29.06.2007
| 25000$ и автоматы
|
| 27.06.2007
| На сайте создан новый раздел "Роботы и агенты"
|
| 21.06.2007
| Столбов С.А. Автоматизированное построение клеточного автомата на основе описания логики игры
|
| 19.06.2007
| Мысли: Кирилл Серебренников, режиссер
|
| 19.06.2007
| Мысли: Борис Гребенщиков
|
| 19.06.2007
| Мысли: Михаил Барщевский
|
| 19.06.2007
| Где находится источник жизненной энергии?
|
| 19.06.2007
| Новые люди
|
| 19.06.2007
| Шалыто А.А. Ну, какой же Вы программист
|
| 19.06.2007
| Мысли: Памяти Ильи Кормильцева, автора почти всех текстов «Наутилуса»
|
| 19.06.2007
| Мысли: Роман Виктюк, режиссер
|
| 19.06.2007
| Общекультурное значение автоматных понятий
|
| 19.06.2007
| Мысли: К экономике знаний
|
| 19.06.2007
| Мысли: Моцарт
|
| 11.06.2007
| Интервью с Вадимом Гуровым об инструментальном средстве UniMod
|
| 09.06.2007
| Опубликована презентация Korneev G., Shalyto A. State-Driven Programming for Computer Games
|
| 29.05.2007
| Победа в двух конкурсах по лотам в рамках Федеральной целевой программы «Исследования и разработкипо приоритетным направлениям развития научно-технологического комплекса России на 2007—2012 годы»
|
| 29.05.2007
| Switch-технология движется вперед. Статья. Части 5 и 6
|
| 26.05.2007
| Данилов В.Р., Варвалюк И.О. Автоматизированная система оплаты мобильного телефона
|
| 26.05.2007
| Ларионов А.В. Визуальный язык автоматного программирования для Microsoft Visual Studio 2005
|
| 26.05.2007
| Конечные автоматы в JavaScript: Часть 2: Реализация виджета
|
| 26.05.2007
| Конечные автоматы в JavaScript, Часть 1: Разработаем виджет
|
| 23.05.2007
| На сайте опубликованы статьи о верификации автоматных программ
|
| 22.05.2007
| Поздравляем Льва Александровича Наумова с успешной защитой кандидатской диссертации
|
| 05.05.2007
| Инструментальное средство UniMod отмечено на Javakonkurs-2006
|
| 05.05.2007
| Открытие XIX Всероссийской олимпиады школьников по информатике
|
| 15.04.2007
| Санкт-Петербургские Ведомости - Социальные проблемы - Ракетостроители – люди мобильные
|
| 15.04.2007
| Призеры чемпионата мира по программированию на приеме у первого вице-премьера Правительства России Д.А. Медведева
|
| 15.04.2007
| Администрацией Санкт-Петербурга определены победители конкурса научно-педагогических и научных школ 2006 года, в том числе и наша
|
| 15.04.2007
| Известия.Ру: Дмитрия Медведева заставили написать объяснительную
|
| 15.04.2007
| Нам пишут
|
| 15.04.2007
| Еще одна статья про SWITCH-технологию
|
| 15.04.2007
| Нам пишут
|
| 07.04.2007
| Умер поэт Геннадий Григорьев. Читайте.
|
| 02.04.2007
| Татарчевский В.А. Применение SWITCH- технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 4
|
| 02.04.2007
| Призеры чемпионата мира по программированию (СПбГУ ИТМО) на приеме у губернатора Санкт-Петербурга В.И. Матвиенко
|
| 02.04.2007
| Программирование как спорт
|
| 02.04.2007
| Промышленность,образование и наука. Ситуация с кадрами. 1
Промышленность,образование и наука. Ситуация с кадрами. 2
|
| 02.04.2007
| О нас пишут
|
| 26.03.2007
| Нас включили в оргкомитет международной конференции «Компьютерные науки и информационные технологии» Саратовский государственный университет им. Н.Г. Чернышевского, 2—4 июля 2007 года
|
| 21.03.2007
| Сайт посетило 211 человек
|
| 19.03.2007
| Поздравлем студентов кафедры "Компьютерные технологии" в СПбГУ ИТМО Искандера Акишева, Михаила Дворкина, Романа Сатюкова с третьим местом (золотая медаль) в финале студенческого командного чемпионата мира по программированию (март 2007 года, Токио)
|
| 13.03.2007
| И такое бывает. Алексей Зуев: Из милиции меня вытащили Ковалевски и Быстров
|
| 13.03.2007
| Миронов А.М. Математическая теория программных систем
Лифшиц Ю. Верификация программ и темпоральные логики. Лекция №3 курса «Современные задачи теоретической информатики»
Верификация программ и темпоральные логики — конспект лекции
Лифшиц Ю. Символьная верификация программ. Лекция №4 курса «Современные задачи теоретической информатики»
Символьная верификация программ — конспект лекции
|
| 28.02.2007
| Что можно успеть в 25 лет
|
| 28.02.2007
| «ВАК уполномочен заявить»
|
| 28.02.2007
| Образование 2.0
|
| 28.02.2007
| Шалыто А.А. Что останется после игры?
|
| 28.02.2007
| Поликарпова Н.И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением
|
| 28.02.2007
| Канжелев С.Ю., Шалыто А.А. Автоматическая генерация программного кода
|
| 28.02.2007
| Калугин Е.В. Система управления существом Yeti для игры Electric Jungle
|
| 28.02.2007
| Вельдер С.Э. Введение в верификацию автоматных программ на основе метода Model checking
|
| 28.02.2007
| Ткачев Ф.В. Система образования как фактор национального суверенитета в сфере информационных технологий
|
| 28.02.2007
| Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 2
Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 3
|
| 19.02.2007
| Еще один подход к применению автоматов в программировании
|
| 19.02.2007
| Евгений Гришковец о жизни
|
| 19.02.2007
| В разделе Работы опубликованы бакалаврские работы П. Маврина и Ю. Бедного
|
| 19.02.2007
| Электрические Джунгли: Цымбалюк Е.А., Шалыто А.А. Система управления существами «Хрюшки» для игры Electric Jungle
|
| 19.02.2007
| Адаптация принципов автоматно-ориентированного программирования к технологии CORBA
|
| 19.02.2007
| Непейвода Н.Н. Какая информатика нам нужна?
|
| 19.02.2007
| Журнал «Наука и жизнь» и автоматное программирование
|
| 19.02.2007
| DataArt об успехах использования Автоматного программирования на пресс конференции в СПбГУ ИТМО
|
| 19.02.2007
| Откуда появилось понятие «автоматное программирования»?
|
| 19.02.2007
| Вавилов К.В., Шалыто А.А. Что плохого в неавтоматном подходе к программированию контроллеров?
|
| 19.02.2007
| UniMod как любимый инструмент
|
| 19.02.2007
| Гуров В.С., Мазин М.А., Шалыто А.А. UniMod — Инструментальное средство для автоматного программирования
|
| 13.02.2007
| Котов А.Н., Шалыто А.А. Сравнение различных вариантов реализации на примере задачи о декодировании файлов формата GIF
|
| 10.02.2007
| Шалыто А.А. Победы и проблемы российской школы программирования
|
| 10.02.2007
| Е. Гришковец. Новые позитивные
|
| 10.02.2007
| Е. Гришковец. Хам в партере
|
| 10.02.2007
| Вице-президент РАН о состоянии Российской науки и Петре Митричеве
|
| 10.02.2007
| Пример одной диссертации
|
| 10.02.2007
| Шалыто А.А. Как получать научные результаты
|
| 10.02.2007
| Фаулер М. и Скотт К. о применении диаграмм взаимодействия для описания поведения
|
| 09.02.2007
| Президиум Высшей аттестационной комиссии Министерства образования и науки решил выдать диплом кандидата технических наук Корнееву Георгию Александровичу. Поздравляем!
|
| 05.02.2007
| Парфенов В.Г, Шалыто А.А. Финал командного чемпионата мира по программированию ACM 2005/06 гг. в Сан-Хосе (США)
|
| 05.02.2007
| Электрические Джунгли — новый раздел сайта
|
| 05.02.2007
| UniMod проект: Моделирование цифрового фотоаппарата на основе автоматного подхода к программированию
|
| 05.02.2007
| Как добиться успеха в науке
|
| 29.01.2007
| SWITCH-технология развивается
|
| 29.01.2007
| Сайт «Информатика в России»
|
| 29.01.2007
| Мне нужны постдоки для того, чтобы они были буфером между мною и аспирантами, я ведь не такой герой как Шалыто.
Из разговора Бертрана Мейера в СПбГУ ИТМО
|
| 29.01.2007
| Сколько должен получать профессор
|
| 29.01.2007
| Наш первый студент, который научился профессионально писать
|
| 29.01.2007
| Какая шахматная программа самая сильная?
|
| 29.01.2007
| Российское настоящее кино: «Возвращение» Звягинцева, «Итальянец» А.Кравчука, «Четыре» И. Хржановского, «Изображая жертву» К. Серебренникова, «Эйфория» И. Вырыпаева, «Остров» П. Лунгина. А еще были «Хрусталев, в машину» А. Германа, «Настройщик» К. Муратовой, «Гарпастум» А.Герман-младшего и т.д.
|
| 29.01.2007
| Шалыто А.А. Победы и проблемы российской школы программирования
|
| 19.01.2007
| СПбГУ ИТМО ввели в программный комитет конференции Tools-Europe 2007
|
| 12.01.2007
| Прошел второй семинар по теме «Технологии программирования» с участием почетного доктора СПбГУ ИТМО Бертрана Мейера (Высшая Политехническая Школа в Цюрихе)
|
| 03.01.2007
| Новые гренадеры
|
| 03.01.2007
| Рецензия на статью Шалыто А.А. Писать по-русски
|
| 15.12.2006
| Шалыто А.А. Писать по-русски
|
| 09.12.2006
| В разделе «Статьи» введен подраздел «Встроенные системы» (программирование встроенных систем на основе автоматного программирования).
|
| 09.12.2006
| Государственный контракт:
Часть 3. Мобильные системы
Часть 4. Клиент-серверные системы
Часть 5. Интернет-системы
|
| 09.12.2006
| Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология
|
| 09.12.2006
| Свидетельство о регистрации программы для ЭВМ (встраиваемый модуль UniMod для Eclipse)
|
| 09.12.2006
| Ярцев Б.М., Шалыто А.А. Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)
|
| 06.12.2006
| О нас пишут
|
| 06.12.1006
| Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения
|
| 02.12.2006
| Презентация PowerPoint: Паращенко Д.А., Царев Ф.Н., Шалыто А.А. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летательных объектов
|
| 02.12.2006
| Поздравляем Федора Царева с присуждением специальной стипенции Правительства Санкт-Петербурга
|
| 30.11.2006
| UniMod-проект Решетников Е.О., Смачных М.В. Система управления пассажирским лифтом
|
| 30.11.2006
| UniMod-проект Киракозов А.Х., Шалыто А.А., Яминов Б.Р. Система управления автомобильной сигнализацией
|
| 30.11.2006
| Shopyrin D.G., Shalyto A.A. A Graphical Notion of State-Based Classes' Inheritance
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний
|
| 27.11.2006
| Шалыто А.А. Боль
|
| 26.11.2006
| Курс Юрия Лифшица "Современные задачи теоретической информатики", читавшийся на кафедре "Компьютерные технологии" СПбГУ ИТМО, признан компанией "Яндекс" одним из восьми лучших курсов России по информационному поиску и смежным областям.
http://company.yandex.ru/class/courses/lifshits.xml
|
| 26.11.2006
| Новый проект: Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)
|
| 26.11.2006
| Студент МГУ выиграл три из трёх крупнейших турниров по программированию 2006 года
|
| 26.11.2006
| Студент МГУ стал лидером мирового рейтинга по программированию
|
| 26.11.2006
| И это стоит прочесть
|
| 22.11.2006
| Это стоит прочесть
|
| 22.11.2006
| Корнеев Г.А. Диссертация на тему Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода
|
| 22.11.2006
| Дмитриев С. Языково-ориентированное программирование: следующая парадигма
|
| 22.11.2006
| Татарческий В. Некоторые мысли по поводу программирования встроенных систем
|
| 22.11.2006
| Новая книга: Шидловский С.В. Автоматическое управление. Перестраиваемые структуры.
|
| 18.11.2006
| Победители TopCoder Collegiate Challenge-2006
|
| 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
| А. Шалыто. Почему у нас трудности с инновациями?
|
