| 28.02.2008
| Клеточные автоматы и транспортные потоки
|
| 28.02.2008
| Гуров В.С., Мазин М.А., Шалыто А.А. Автоматическое завершение ввода условий в диаграммах состояний
|
| 28.02.2008
| Акира Накашима и его вклад в науку и технику дискретных схем
|
| 24.02.2008
| Курбацкий Е.А., Шалыто А.А. Верификация программ, построенных на основе автоматного подхода
|
| 24.02.2008
| Смолов В.Б., Пузанков Д.В. Шесть поколений вычислительной техники (из истории кафедры ВТ) (djvu)
|
| 23.02.2008
| Наумов Р.В., Якушев А.В., Шалыто А.А. "Устройство" для карточной игры Блэкджек"
|
| 23.02.2008
| Федор Царев - лауреат Молодежной премии Санкт-Петербурга за 2007 год в области информационных технологий
|
| 23.02.2008
| СПбГУ ИТМО занимает четвертое место в командном зачете по спортивному программированию среди университетов мира
|
| 21.02.2008
| Важнейшие ссылки по Computer Science
|
| 15.02.2008
| Авдошин С.М., Белкин С.А. Фабрики приложений (djvu)
|
| 14.02.2008
| 13 международная конференция по реализации и применению автоматов
|
| 14.02.2008
| Конференция по различным аспектам визулизации
|
| 11.02.2008
| Поздравление А.А. Шалыто с Днем Российской Науки
|
| 11.02.2008
| Хасянзянов Б.З. Метод создания отладчиков для доменно-ориентированных языков программирования на основе технологии Eclipse Modeling
|
| 10.02.2008
| Массачусетский технологический институт предоставляет в открытом доступе лекции и материалы по Electrical Engineering and Computer Science
|
| 10.02.2008
| Чем отличается автоматное программирование от программирования с применением автоматов?
|
| 10.02.2008
| Свидетельство о государственной регистрации программы для ЭВМ (программная система "Генетический генератор автоматов")
|
| 09.02.2008
| Статья в журнале ACM Queue о необходимости применения автоматов при построении пользовательских интерфейсов
|
| 09.02.2008
| Академик А.Т. Фоменко о настоящем образовании
|
| 05.02.2008
| Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования
|
| 03.02.2008
| А.А. Шалыто и Ф.Н. Царев в "Игре ума" на 5 канале
|
| 02.02.2008
| Двое против Google
|
| 31.01.2008
| Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ
|
| 31.01.2008
| Наумов А.С. Виртуальная машина автоматного программирования
|
| 31.01.2008
| Мозги есть. Думать лень
|
| 29.01.2008
| Поликарпова Н.И., Шалыто А.А. Учебно-методическое пособие по дисциплине "Автоматное программирование"
|
| 27.01.2008
| Никитин А.С., Чураков М.Ю., Шалыто А.А. Применение автоматного программирования для имитационного моделирования разъезда машин на нерегулируемом перекрестке равнозначных дорог
|
| 27.01.2008
| Гейтс Б. Роботы в каждый дом
|
| 27.01.2008
| Отчет по контракту о верификации автоматных программ. Второй этап.
|
| 27.01.2008
| Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Второй этап.
|
| 27.01.2008
| Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Применение проектного подхода на основе автоматного программирования при подготовке разработчиков программного обеспечения
|
| 27.01.2008
| Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Инновационная система поиска и подготовки высококвалифицированных разработчиков программного обеспечения на основе проектного и соревновательного подходов
|
| 26.01.2008
| Шалыто А.А. Балет
|
| 26.01.2008
| Мордвинцев А.С. Использование графического ускорителя вычислений для моделирования динамики жидкости методом Lattice-Boltzman
|
| 26.01.2008
| Красильников Н.Н. Реализация одного класса мультиагентных систем на текстовых языках автоматного программирования (на примере системы дорожного движения)
|
| 26.01.2008
| Научная конференция по программированию
|
| 26.01.2008
| Призеры чемпионата мира по программированию на приеме у первого вице-премьера Правительства России Д.А. Медведева
|
| 26.01.2008
| Ректор СПбГУ ИТМО В.Н. Васильев и "Игра ума"
|
| 25.01.2008
| Мы против закрытия телепередачи "Игра ума"
|
| 18.01.2008
| Рекорд посещаемости - 226 человек
|
| 14.01.2008
| Встреча Президента РФ В.В. Путина с руководством и командой СПбГУ ИТМО - победителями студенческого командного чемпионата мира по программированию 2004 года
|
| 14.01.2008
| Шалыто А.А. О милосердии
|
| 14.01.2008
| Классики и русский язык
|
| 10.01.2008
| Виктория Токарева. О семье
|
| 09.01.2008
| Смолов В.Б., Пузанков Д.В. Шесть поколений вычислительной техники (из истории кафедры ВТ)
|
| 20.12.2007
| Шалыто А.А. Что нам ждать в будущем?
|
| 19.12.2007
| Сегодня исполняется 75 лет Дмитрию Александровичу Поспелову, который внес неоценимый вклад в развитие информатики в России. Дай Вам Бог здоровья, Дмитрий Александрович!
|
| 16.12.2007
| Богданов М.С., Шалыто А.А. Сравнение "Sequence Diagram" и диаграмм "State Chart"
|
| 15.12.2007
| Татарчевский В.А. Инструментальное средство проектирования ПО встроенных систем MicroSWITCH на основе модифицированной нотации UML
|
| 10.12.2007
| Автоматы в программировании - не только мне одному они нужны!
|
| 09.12.2007
| Визуальное моделирование: теория и практика
|
| 06.12.2007
| Еще один наш выпускник заканчивает диссертацию по программированию
|
| 05.12.2007
| Интервью с Андреем Станкевичем
|
| 03.12.2007
| Доклады Шалыто А.А. и Корнеева Г.А. на конференции "Информационно-телекоммуникационные технологии - положение на сегодняшний день и пути дальнейшего развития"
|
| 02.12.2007
| Шалыто А.А. Адекватны ли наши дети?
|
| 02.12.2007
| Российские (советские) золотые призеры международных олимпиад по информатике
|
| 01.12.2007
| Меньше народа - больше кислорода
|
| 29.11.2007
| Царев Федор Николаевич стал одним из победителей открытого конкурса на предоставление грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга
|
| 28.11.2007
| Три команды ИТМО стали победителями NEERC-2007 и командного студенческого чемпионата России по программированию:
1 место - Чемпионы России Дмитрий Абдрашитов, Дмитрий Паращенко, Федор Царёв;
4 место - Максим Буздалов, Всеволод Опарин, Владислав Исенбаев
6 место - Игорь Ахметов, Владимир Данилов, Игорь Синев,
http://www.snarknews.info/trial.cgi?datanewstape&menutco07&headindex&classtco07
Поздравляем и гордимся!
|
| 26.11.2007
| О нас пишут
|
| 25.11.2007
| Автоматное программирование как парадигма програмирования
|
| 24.11.2007
| Автоматное программирование движется по странам СНГ
|
| 23.11.2007
| 08.11.2007 В. Г. Парфенов и А. А. Шалыто обсуждали тему подготовки IT-специалистов в прямом эфире радио "Петербург" 1 час 35 минут вместо запланированных 50 минут
|
| 21.11.2007
| Михаил Дворкин стал победителем V Всероссийской студенческой олимпиады "Информатика. Программирование. Информационные технологии"
|
| 21.11.2007
| Гунич И.С., Иринев А.В., Шалыто А.А. Автоматный подход к моделированию эволюции микроорганизмов с использованием генетических алгоритмов
|
| 20.11.2007
| Университет Калифорнии Berkley начал публиковать видеозаписи лекций в YouTube
|
| 20.11.2007
| Лекция Сергея Брина: SIMS 141 - Search, Google, and Life: Sergey Brin - Google
|
| 19.11.2007
| Это же гугль-бум!
|
| 18.11.2007
| Россия: HP переманила главного разработчика Motorola
|
| 18.11.2007
| Команда SPb IFMO 1 в составе Дмитрия Абдрашитова, Дмитрия Паращенко и Федора Царева заняла второе место на VIII Открытой Всесибирской олимпиаде по программированию им. И.В.Поттосина
|
| 18.11.2007
| Астафуров А.А., Шалыто А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования
|
| 18.11.2007
| Образование и наука. 2002 год
|
| 18.11.2007
| Это стоит прочесть всем
|
| 17.11.2007
| DataArt рассказал на SEC(R) об автоматном программировании
|
| 15.11.2007
| Убить Билла
|
| 15.11.2007
| 30.10.2007 Президент РФ В. В. Путин и Патриарх Алексий II посетили бутовский полигон, где похоронены жертвы массовых репрессий
|
| 13.11.2007
| Красильников Н.Н. Простенький набор классов для описания автоматов
|
| 09.11.2007
| 09.11.2007 А.А. Шалыто и Ф.Н. Царев принимали участие в программе "Игра ума" (5 канал, Санкт-Петербург)
|
| 09.11.2007
| И в Германии проблем хватает
|
| 09.11.2007
| Это стоит читать
|
| 08.11.2007
| 23 октября на сайте было 218 хостов и 743 хита
|
| 08.11.2007
| A UML Profile for Modeling Complex Real-Time Architectures
|
| 08.11.2007
| Using UML for Modeling Complex Real-Time System
|
| 08.11.2007
| Нас ввели в программный комитет конференции TOOLS-EUROPE 2008
|
| 07.11.2007
| Первый проект, реализованный на текстовом языке автоматного программирования в среде MPS
|
| 03.11.2007
| Мы попали в хорошую компанию!
|
| 02.11.2007
| Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя
|
| 02.11.2007
| Наши студенты Клебанов А.А. и Законов А.Ю. допущены для участия в конкурсе SIMagine 2008
|
| 02.11.2007
| Интересное применение автоматного программирования
|
| 02.11.2007
| Бывают же правильные списки литературы
|
| 02.11.2007
| Шалыто А.А. Уникальные женщины
|
| 02.11.2007
| Шалыто А.А. Гражданская позиция
|
| 02.11.2007
| Гуров В.С., Шалыто А.А., Яминов Б.Р. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора
|
| 31.10.2007
| Стихи моей знакомой - Елены Булановой
|
| 28.10.2007
| Команда SPb IFMO 1 в составе Дмитрия Абдрашитова, Дмитрия Паращенко и Федора Царева заняла второе место в четвертьфинале чемпионата мира по программированию
|
| 28.10.2007
| Кнут Д. Искусство программирования. Т.3
|
| 28.10.2007
| Шалыто А.А. Долг платежом красен
|
| 25.10.2007
| Презентации лекций по верификации
|
| 25.10.2007
| Редкие книги
|
| 25.10.2007
| Признание комиссара полиции прокурору республики
|
| 24.10.2007
| Статьи по продуктам IBM Rational
|
| 24.10.2007
| О преподавании программной инженерии
|
| 24.10.2007
| Наше самое высшее образование
|
| 23.10.2007
| Клепиков В.И. Подчиненные сети Петри в задачах логического управления
|
| 23.10.2007
| Автоматное программирование как составляющая Software Cybernetics
|
| 23.10.2007
| Использование UML при моделировании сложных систем реального времени
|
| 23.10.2007
| Прекрасный сайт по имитационному моделированию
|
| 21.10.2007
| Доклад на конференции «Имитационное моделирование. Теория и практика» ИММОД-2007
|
| 20.10.2007
| Кларк Э., Грамберг О., Пелед Д. Верификация моделей программ. М.:МЦНМО, 2002. В формате djvu
|
| 20.10.2007
| Наше участие в Первом Санкт-Петербургском конгрессе "Профессиональное образование, наука, инновации в XXI веке"
|
| 20.10.2007
| Наши доклады на конференции sioft SEC(R) 2007
|
| 12.10.2007
| Кочелаев Д.Ю. Методы динамической проверки непротиворечивости автоматной модели
|
| 12.10.2007
| Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка Ruby
|
| 12.10.2007
| Шалыто А.А. Сказка о бабле
|
| 09.10.2007
| Музыка в России. Вчера и сегодня
|
| 09.10.2007
| Книга, как факт культуры, а не литературы
|
| 09.10.2007
| Детский инфантилизм влияет на дальнейшую жизнь
|
| 06.10.2007
| Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы - Построение и Анализ. Первое издание
|
| 06.10.2007
| Кнут Д. Искусство программирования. Т.2
|
| 06.10.2007
| Кнут Д. Искусство программирования. Т.1
|
| 06.10.2007
| Книга Хопкрофт Д., Мотвани Р., Ульман Д. "Введение в теорию автоматов, языков и вычислений. 2-е издание"
|
| 06.10.2007
| Применение клеточных автоматов и мультиагентных систем
|
| 06.10.2007
| Чем ученые отличаются от программистов
|
| 03.10.2007
| Блог Виталия Клебана "Разработка конструктора для создании мобильных роботов"
|
| 01.10.2007
| Сколько нужно платить профессорам исследовательских университетов, чтобы они оставались в них?
|
| 01.10.2007
| Новые специалисты по IT
|
| 01.10.2007
| Новости СПбГУ ИТМО
|
| 01.10.2007
| Это, видимо, стоит читать
|
| 01.10.2007
| Это стоит читать
|
| 30.09.2007
| В ПОМИ начал работать компьютерный клуб. 21.10.2007 г. там начнут читать лекции про верификацию
|
| 30.09.2007
| Российский индекс научного цитирования
|
| 30.09.2007
| Федор Царев попал в состав 48 участников финала TopCoder Collegiate Challenge 2007 в номинации "Алгоритмы"
|
| 30.09.2007
| Моя третья книга выложена не только у меня на сайте
|
| 30.09.2007
| Почитайте Гришковца - он умница, а еще посмотрите его спектакли, хотя бы на DVD
|
| 30.09.2007
| Джуринский К. Как написать научную статью?
|
| 30.09.2007
| Джексон Д. Программы проверяют программы
|
| 30.09.2007
| Вудкок Дж. Первые шаги к решению проблемы верификации программ
|
| 27.09.2007
| Шалыто А.А. Парадигма автоматного программирования
|
| 27.09.2007
| Опубликованы материалы по I этапу государственного контракта "Технология генетического программирования для генерации автоматов управления системами со сложным поведением"
|
| 27.09.2007
| Опубликованы материалы по I этапу государственного контракта "Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода"
|
| 26.09.2007
| Мини-рейтинг "Худшие профессии в науке"
|
| 26.09.2007
| Яковлев В.Б. От автоматики и телемеханики к управлению и информатике. Воспоминания
|
| 22.09.2007
| Виталий Клебан, студент факультета информационных технологий и программирования один из победителй конкурса УМНИК. Тема "Разработка универсальных методов построения робототехнических систем на основе IP-сетей"
|
| 18.09.2007
| В мире сегодня 181 человек, которые в соревнованиях TopCoder по спортивному программированию имеют рейтинг более 2200 - "мастерский" рубеж для этих соревнований. 15.09.2007 г. Федор Царев превысил эту норму - набрал 2259 очков и занял 156 место
|
| 18.09.2007
| У нас приняли пять докладов на конференцию "Многопроцессорные управляющие и вычислительные системы(МВУС-2007)", которая проводится в рамках международной научно-технической конференции "Проблемы информационно-компьютерных технологий и мехатроника" (ИКТМ-2007)
|
| 18.09.2007
| 11 писателей, которые определили ум и душу современности
|
| 16.09.2007
| Классный бизнес
|
| 16.09.2007
| Автоматное программирование и многоядерные процессоры
|
| 16.09.2007
| Поздравляем Федора Царева с назначением ему стипендии правительства РФ
|
| 13.09.2007
| Огромная полость во Вселенной
|
| 13.09.2007
| При обучении вместо передачи готовой информации должны создаваться новые знания
|
| 13.09.2007
| Конечные автоматы будут использоваться при создании отечественной ОС
|
| 12.09.2007
| Заметили нашу деятельность
|
| 12.09.2007
| Это обязательно необходимо прочесть
|
| 12.09.2007
| Это целесообразно прочесть
|
| 12.09.2007
| Высшее образование сегодня
|
| 12.09.2007
| Успехи генетики
|
| 10.09.2007
| Сергей Блюмин - художник, картины которого стоит обязательно посмотреть
|
| 10.09.2007
| Оршанский С.А., Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах
|
| 10.09.2007
| В кругу друзей!
|
| 10.09.2007
| Российско-европейская платформа компетенций экспертов и специалистов в области информационно-коммуникационных технологий
|
| 10.09.2007
| Статьи этого блога по программированию очень целесообразно читать
|
| 10.09.2007
| Европейский центр программирования
|
| 07.09.2007
| Мартин Фаулер и JetBrains
|
| 05.09.2007
| В разделе "Мысли" создан подраздел "Воспитание"
|
| 03.09.2007
| Полезная книга - Успенский В.А., Семенов А.Л. Теория алгоритмов. Основные открытия и приложения. Наука, 1987.
|
| 03.09.2007
| Непейвода Н.Н. О позитивном и негативном мышлении. Предисловие редактора перевода книги Mitchell J. Foundations for Programming Languages. Cambridge: MIT Press, 1996.
|
| 03.09.2007
| Хорошая шутка
|
| 03.09.2007
| Можно ли научиться программированию за короткий срок?
|
| 03.09.2007
| Что требуется для того, чтобы создать двигатель для истребителя пятого поколения
|
| 03.09.2007
| Что такое американское искусство
|
| 03.09.2007
| Докторская диссертация в 26 лет. А что мешает Вам?
|
| 03.09.2007
| Технологии программирования
|
| 03.09.2007
| Непейвода Н.Н. Что не могут вычислительные машины. Любителям квантовых компьютеров
|
| 09.08.2007
| Любителям Мураками будет интересно
|
| 05.08.2007
| Попал в хорошую компанию!
|
| 05.08.2007
| Академик РАН Гинзбург В.Л. Биография
|
| 05.08.2007
| Академик РАН Гельфанд И.М. Биография
|
| 04.08.2007
| Автоматное программирование двинулось в белорусские школы
|
| 04.08.2007
| Понятно о недетерминированных конечных автоматах
|
| 28.07.2007
| Часть отзывов на докторскую диссертацию А.А. Шалыто
|
| 27.07.2007
| Об Open Research Programming и Open Project Documentation (OPD)
|
| 12.07.2007
| Царев Ф.Н. стал одним из победителей конкурса грантов 2007 г. для студентов и аспирантов ВУЗов Санкт-Петербурга
|
| 12.07.2007
| О России и не только о ней
|
| 12.07.2007
| Новый раздел в тексте про Open Source
|
| 11.07.2007
| Фогель Л., Оуэнс А., Уолш М. Искусственный интеллект и эволюционное моделирование
|
| 10.07.2007
| Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования
|
| 09.07.2007
| Вавилов К.В. Автоматная форма представления сложных алгоритмов
|
| 09.07.2007
| О нас пишут
|
| 09.07.2007
| National Instruments, правда в России, познакомился со SWITCH-технологией
|
| 08.07.2007
| В хорошей компании
|
| 07.07.2007
| Первые в мире конференции по Software Engineering (1968)
|
| 07.07.2007
| Первые в мире конференции по Software Engineering (1969)
|
| 07.07.2007
| Дейкстра о науке и образовании
|
| 07.07.2007
| Нужна ли России своя операционная система?
|
| 07.07.2007
| Это должны прочесть все студенты кафедры "Компьютерные технологии" и все остальные программисты
|
| 07.07.2007
| Шалыто А.А. Русский язык. Шутки в сторону
|
| 07.07.2007
| OpenSource: нас упоминают в хорошей компании
|
| 04.07.2007
| Гниломёдов И.И., Шалыто А.А. Моделирование работы стиральной машины
|
| 02.07.2007
| Международные соревнования по спортивному программированию TopCoder 2007. 12 из 48 участников финальной части соревнования в Лас-Вегасе из России
|