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



Главная

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

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

10.11.2005

А.А. Шалыто. Две встречи с Айваром Якобсоном

08.11.2005

Статья И.З. Альтермана и А.А. Шалыто «Формальные методы программирования логических контроллеров»

08.11.2005

Опубликована статья: Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Ракеты. Автоматы. Нейронные сети

08.11.2005

Майкл Харт. Всегда ли первый влияет на ход истории?

08.11.2005

Рената Литвинова, кинорежиссер

08.11.2005

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

02.11.2005

Выложена статья «Использование нейросетевых конечных автоматов для моделирования функционирования агрегатов жидкостного ракетного двигателя»

02.11.2005

Выложен текст статьи О. Пестова «Сапер, мины и автоматы»

01.11.2005

На кафедре начинает работу общегородской семинар «Визуальное конструирование программ»

27.10.2005

Два доклада на конференции "Software Engineering Conferernce (Russis) 2005". М.: Руссофт.

24.10.2005

Леонид Десятников, композитор

24.10.2005

Как достигается настоящий успех

24.10.2005

А.А. Шалыто. Ты в зоопарке?

24.10.2005

А.А. Шалыто. Как уберечься от взятки?

18.10.2005

Шопырин Данил Геннадьевич защитил диссертацию на соискание ученой степени кандидата технических наук

18.10.2005

Президиум ВАК России (решение от 13.05.2005 г. N22к/164) решил выдать диплом кандидата технических наук Шамгунову Никите Назимовичу (диссертация Н.Н. Шамгунова)

17.10.2005

«Никлаус Вирт — почетный доктор СПбГУИТМО»

17.10.2005

Опубликована статья: Классификация структур, порождаемых одномерными двоичными клеточными автоматами из точечного зародыша

17.10.2005

«Математика, интересная для меня»: интересные книги по математике

06.10.2005

Два доклада на конференции "Методы и средства обработки информации". МГУ. 2005. (Презентация 1, Презентация 2)

26.09.2005

Два доклада на конференции "Интеллектуальные и многопроцессорные системы - 2005". Институт проблем искусственного интеллекта. Донецк.

21.09.2005

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

21.09.2005

«Визит патриарха»

21.09.2005

Виктор Лещиков предсказывает бессмертие автоматному программированию

21.09.2005

Докторская мантия для Никлауса Вирта

08.09.2005

Шопырин Д.Г. Метод проектирования и реализации конечных автоматов на основе виртуальных вложенных классов

08.09.2005

Ваганов С. Ускоритель разработки приложений

08.09.2005

Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России

06.09.2005

Шопырин Д.Г. Объектно-ориентированная реализация конечных автоматов на основе виртуальных методов

03.09.2005

Опубликована статья А.А. Шалыто «Триединая задача одного педагогического эксперимента в области ИТ-образования»

02.09.2005

Валентин Черных, киносценарист

02.09.2005

Филипп Мак Гро: О людях, которые побеждают

02.09.2005

Филипп Мак Гро

15.08.2005

Опубликована бакалаврская работа С.А. Столбова Разработка метода реализации игр на тетрагональном поле, в которых преобладают локальные взаимодействия

15.08.2005

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

15.08.2005

С.А. Оршанский О решении олимпиадных задач по программированию формата ACM ICPC

15.08.2005

Опубликованы воспоминания В.И. Варшавского «Поток сознания»

15.08.2005

Опубликована бакалаврская работа М.А. Короткова Разработка и реализация алгоритма укладки диаграмм состояний

15.08.2005

А.А. Шалыто. Ночь будет жаркой!

15.08.2005

Павел Любимцев, телеведущий

15.08.2005

Даниил Борисович Дондурей, кинокритик

15.08.2005

Николай Петрович Шмелев, экономист, литератор

29.07.2005

Галина Вишневская. Если говорить правду — легче жить

28.07.2005

«Успешные люди. Какие они?»

28.07.2005

Израиль — исследования и образование в ИТ-области

28.07.2005

Билл Гейтс о научных исследованиях, аутсорсинге и образовании

28.07.2005

Микельанджело Антониони, великий кинорежиссер

28.07.2005

Константин Райкин. О преподавании и театре

27.07.2005

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

27.07.2005

В.В. Клименко, А.Ю. Хазановский, А.А. Шалыто Система управления автомобилем на шоссе

19.07.2005

Виктор Ильич Варшавский. Высказывания, истории, байки. (Фрагменты воспоминаний «Поток сознания»)

08.07.2005

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

08.07.2005

Что происходит, когда приходит искусство

08.07.2005

Энди Гроув — один из создателей корпорации «Intel»

08.07.2005

Михаил Шишкин — лауреат премии «Национальный бестселлер»

08.07.2005

Эймунтас Някрошюс — великий театральный режиссер

07.07.2005

Дополнение в разделе Об автоматном программировании, инструментальном средстве UniMod и движении за открытую проектную документацию

04.07.2005

СПбГУ ИТМО и корпорация «Borland» организовали научную лабораторию «Технологии программирования»

02.07.2005

Елизаров Р. Билет в жизнь

24.06.2005

Опубликована бакалаврская работа А.С. Наумова Объектно-ориентированное программирование с явным выделением состояний

24.06.2005

Опубликованы рассказы А.А. Шалыто «А по существу?» и «Лед и камень». Изменен рассказ «О защите диссертаций».

20.06.2005

Выложены визуализаторы С.Ю. Пименова алгоритма генерации всех простых строк и цикла де Брюина и И.Р. Ахметова алгоритма Укконена на базе технологии Vizi

18.06.2005

Выложен проект «Морской Бой»

06.06.2005

Два доклада на XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. (http://tm.ifmo.ru)

03.06.2005

Генрих Альтшуллер, создатель ТРИЗ — Теории Решения Изобретательских Задач

03.06.2005

Иосиф Бродский

28.05.2005

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

28.05.2005

Ганс Христиан Андерсен

28.05.2005

Пауло Коэльо. Искусство покорять вершины

28.05.2005

Борис Жутовский. Куда может уйти человеческий труд

28.05.2005

Опубликованы визуализаторы Алгоритма Чу Йонджина и Лю Цзенхонга построения кратчайшего корневого дерева в ориентированном графе, алгоритма поиска порядковых статистик и квантилей и алгоритма Винограда вычисления коротких сверток.

28.05.2005

Опубликована статья А.А. Шалыто «Кому нужны ИТ-таланты?»

21.05.2005

Опубликованы Воспоминания о Викторе Варшавском

20.05.2005

Опубликована статья UniMod: Method and Tool for Development of Reactive Object-Oriented Programs with Explicit States Emphasis (на английском)

20.05.2005

В разделе Articles публикованы статьи для KIMAS 2005 (на английком языке)

20.05.2005

Опубликован нравоучительный рассказ А.А. Шалыто: «Расставим точки над „i“»

19.05.2005

Доклад на "2005 of St. Petersburg IEEE Chapters. International Conference "110 Anniversary of Radio Invention" SPb ETU "LETI". 2005. (статья)

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