Новости



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

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

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 участников финальной части соревнования в Лас-Вегасе из России

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