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



Главная

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

19.09.2008

Cергей Брин в Москве

19.09.2008

Большинство людей просто не любит напрягаться. А Вы?

16.09.2008

Награждение чемпионов мира по программированию в исследовательской лаборатории IBM

14.09.2008

Организации, участвующие в Движении в ИТ-отрасли России "Сохраним в университетах лучших"

14.09.2008

А.А. Шалыто в полуфинале передачи "Игра ума" сезона 2007-2008 гг. на 5 канале

14.09.2008

А.А. Шалыто в ЗАКЛЮЧИТЕЛЬНОЙ (ее ЗАКРЫЛИ) передаче "Игра ума" на 5 канале

14.09.2008

Виртуальная лаборатория для первоначального обучения проектированию автоматных программ

14.09.2008

Главком СВ: танк будущего будет без танкистов

12.09.2008

Интернет взял высокую "Йоту"

11.09.2008

Прочтите эти статьи, и природа автоматного программирования станет яснее!

http://www.osp.ru/os/2008/06/5345473/
http://is.ifmo.ru/works/turing/

07.09.2008

Статья "Автоматное программирование" - один из победителей Всероссийского конкурса обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы".

05.09.2008

000 "Скартел" первой в России запустила сеть WiMax для предоставления услуг под брендом Yota (http://www.yota.ru/ru/)! Основной акционер - кипрская WiMax Holding Ltd. (http://www.rian.ru/economy/20080903/150913385.html), также контролирующая компании разработчик мобильных сервисов "Скартел стар лаб" (генеральный директор - выпускник кафедры "Компьютерных технологий" СПбГУ ИТМО А.А.Штучкин http://is.ifmo.ru/projects/calc/) и агрегатора медиаконтента "Моrе" (генеральный директор - И.А. Шалыто)!!!

05.09.2008

Лекция ИТМО и программирование по контракту Бертрана Мейра

31.08.2008

Стрюк Л.Е., Дахин О.А., Шалыто А.А. Решение задачи движения робота по линии с применением автоматного подхода (проект RoboChuck)

27.08.2008

Enterprise Java Community: Asynchronous Processes Modeled as Persistent Finite State Machines

27.08.2008

Фетисов уедет, а с чем останемся мы?

27.08.2008

Бедний Ю.Д. Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления

09.08.2008

Такие жены достаются только гениям? Или не только? И как известно из истории не всем!

09.08.2008

Как расстреливали генетику

06.08.2008

Разговоры о Model Checking

06.08.2008

В поисках надежного кода

04.08.2008

Молодой человек 1981 года рождения Шидловский Станислав Викторович, работающий в Томском государственном универоситете систем управления и радиолектроники, утвержден ВАК Минобрнауки РФ доктором технических наук.

По этому университету издали приказ (после его защиты кандидатской диссертации в 23 года), что людям защитившим кандидатскую диссертацию до 24 лет выплачивают 250 т. руб (!), а докторскую до 28 лет - 500 т. руб (!!!).

Поздравляем от всей души!

04.08.2008

Женщины Билла Гейтса

23.07.2008

Точилин В.Н. Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий на основе генетического программирования

23.07.2008

ICFP 2008 Programming Contest - Построение системы управления марсоходом

Условия задачи: http://smlnj.org/icfp08-contest/task.html
Пример решения: http://www.youtube.com/watch?v=Ee3Bnhm2eU4

23.07.2008

Hoffman L. In Search of Dependable Design

23.07.2008

Hoffman L. Q&A Talking Model-Checking Technology

23.07.2008

Одному из автором АВЛ-деревьев, на повторной защите которого я был, 85 лет. Поздравляем!

23.07.2008

Astafurov A.A., Shalyto A.A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages

13.07.2008

Котов А.Н. Моделирование дорожного движения на многополосной магистрали при помощи двумерного вероятностного клеточного автомата с тремя состояниями

13.07.2008

Егоров К.В. Разработка верификатора автоматных программ

13.07.2008

Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша

13.07.2008

Абдрашитов Д.С. Применение деревьев для представления строковой информации

13.07.2008

Акишев И.Р. Об опыте участия в командных соревнованиях по программированию формата ACM ICPC

11.07.2008

Шалыто А.А. Зачем нужны автоматы?

11.07.2008

Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики включен в перечень ВАК Минобранауки РФ

10.07.2008

Поздравляем Анатолия Никитина с наградой на Imagine Cup

http://www.cybersecurity.ru/prognoz/51221.html
http://imaginecup.com/about/news.aspx
http://imaginecup.com/about/news.aspx

09.07.2008

The Engineering Excellence Achievement Award, sponsored by Microsoft's Enterprise Engineering Center, is designed to recognize three outstanding teams from the Software Development category that have created solutions that demonstrate the potential to be developed to scale with focused guidance from a Microsoft engineer, was won by the following:

Bulgaria - Team Atlas
Team Members: Boryana Miloshevska, Dobromira Ivanova, Martin Damyanov, Yordan Pavlov

USA - Team Sparx
Team Members: Adam Risi, Zachery Shivers, Ziyan Zhou

Russia - Team Ignition
Team Members: Anatoly Nikitin, Roman Belov, Daria Elkina

07.07.2008

Хобби российских чемпионов мира последних лет - любят сниматься с Дональдом Кнутом (2006 год - http://ivanromanov.livejournal.com/788.html#cutid1, 2008 год - http://is.ifmo.ru/programming_competitions/champ&knuth)

07.07.2008

А.А.Шалыто в пятый раз в "Игре ума"

06.07.2008

Наши среди великих (страница 14)

06.07.2008

Kurbatsky E. Verification of automata-based programs

06.07.2008

Иринев А.В. Генерация вероятностных автоматов методами стимулирующего обучения

06.07.2008

Kulev V.A., Mandrikov E.A. Development of Software System for State Machine Generation Using Genetic Algorithm

06.07.2008

Михаил Царев и Евгений Мандриков вошли в состав победителей конкурса "Умник". Поздравляем!

05.07.2008

Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Третий этап.

04.07.2008

Чеботарева Ю.К. Визуальное редактирование автоматов в "Виртуальной лаборатории для первоначального обучения проектированию программ"

04.07.2008

Лагунов И.А. Разработка текстового языка автоматного программирования и его реализация для инструментального средства UniMod на основе автоматного подхода

04.07.2008

"Бог - это графический редактор для рисования конечных автоматов"

04.07.2008

Борисенко А.А., Пенкин Д.М. Моделирование работы электронной автомобильной сигнализационной системы

04.07.2008

За что дают технологического "нобеля"

04.07.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Применение островного генетического алгоритма для постороения автоматов Мура и систем взаимодействующих автомтаов Мили на примере задачи об "Умном муравье"

04.07.2008

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode

04.07.2008

Данилов В.Р., Шалыто А.А. Метод генетического программирования для генерации автоматов, представленных деревьями решений

04.07.2008

Поздравления от Бертрана Мейра

04.07.2008

Очень немногие люди на земле два раза получали ACM AWARDS. Это, например, Кнут, Дейкстра, Харел, Кларк, Хольцман, Парфенов и Станкевич. Двое последних - в номинации "ACM International Collegiate Programming Contest"

03.07.2008

По результатам защит на кафедре "Компьютерных технологий" лучшими признаны бакалаврская работа Михаила Дворкина и магистерская диссертация Надежды Поликарповой. Авторы награждены денежными призами. Поздравляем!

03.07.2008

Продолжение темы о родстве Балмера и Дворкина

03.07.2008

Являются ли Стив Балмер и Миша Дворкин родственниками?

01.07.2008

Халл Э., Джексон К., Дик Дж. Разработка и управление требованиями

01.07.2008

Работа, похожая на UniMod (только хуже)

01.07.2008

Поздравляем Виталия Клебана, Илью Колыхматова, Андрея Бреслава, Константина Рубинова, Дмитрия Суясова, Олега Степанова - студентов и аспирантов нашей кафедры с победой в конкурсе на предоставление в 2008 году грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга

01.07.2008

"Санкт-Петербургские ведомости" о победе на чемпионате мира и о сохранении в университетах лучших

28.06.2008

Юрий Владимирович Матиясевич и Виктор Петрович Иванников избраны академиками Российской академии наук. Поздравляем!

22.06.2008

Методическая разработка по применению верификатора Spin

17.06.2008

Видеолекции по верификации

17.06.2008

Очень интересные лекции по верификации

11.06.2008

О нас пишут

11.06.2008

Еще два доклада (Клебан В.О., Шалыто А.А. на темы "Автоматный подход к проектированию многоуровневых систем управления мобильными роботами" и "Компонентная архитектура программного обеспечения мобильного робота") приняты Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в промышленности, энергетике и на транспорте", на секции "Системы логического управления".

11.06.2008

Об "Игре ума" пишут

11.06.2008

Применение автоматного программирования при создании автоответчика

10.06.2008

Работы по визуальному программированию

09.06.2008

Фотографии А.А. Шалыто

09.06.2008

Доклад Ю.Д. Бедного и А.А. Шалыто на тему "Применение генетических алгоритмов для создания системы управления танком в игре "Robocode" принят Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в гибридных и других сложных моделях динамических и интеллектуальных систем", на секции "Искусственный интеллект в управлении".

09.06.2008

Обсуждение автоматного программирования

09.06.2008

Скаков П.С. Классификация поведения одномерных клеточных автоматов

09.06.2008

В.И.Варшавский в хорошей компании

09.06.2008

Журнал "Хакер" о победе на чемпионате мира по программированию

09.06.2008

Подарок А.А. Шалыто от передачи "Игра ума" - "Beloved Expert - Анатолий Абрамович Шалыто"

08.06.2008

Как написать 85000 книг?

08.06.2008

Сайт, посвященный научно-технических проблемам отечественного тактического ДПЛАстроения

08.06.2008

5 июня 2008 года сайт посетило 216 пользователей

08.06.2008

Вторая в истории человечества :-) конференция, на которой была секция "Автоматное программирование" ("Automata-Based Programming"). http://syrcose.ispras.ru/program.html.

Впервые такая секция была на конференции "The International Computer Science Symposium in Russia, CSR-2006" http://unimod.sourceforge.net/wiki/index.php/CSR2006_ABP_WORKSHOP

08.06.2008

А.А. Шалыто в передаче "Игра ума" на "Пятом канале". Передача 4

01.06.2008

Дональд Кнут (профессор Стэнфордского университета) избран в мае 2008 года иностранным членом РАН

28.05.2008

Поздравляем Анатолия Абрамовича Шалыто с шестидесятилетием!

Желаем ему здоровья, благополучия, успехов в научной и педагогической работе!

25.05.2008

Оружие должны делать молодые люди

23.05.2008

О нас помнят

22.05.2008

В Стокгольме вручена престижная премия Кроуфорда математику из Химок

22.05.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для генерации автоматов Мура и систем взаимодействующих автоматов Мили в задаче об "Умном муравье"

22.05.2008

На факультете "Информационных технологий и программирования" СПбГУ ИТМО организована научно-исследовательская лаборатория "Искусственный интеллект и роботы". Научные руководители - Игорь Широков и Анатолий Шалыто.

22.05.2008

Царев М.Н., Царев Ф.Н. Графический язык описания игровых эпизодов в футболе

22.05.2008

Автоматное программирование продолжает двигаться в народ

21.05.2008

Важно и интересно: cовременные языки программирования и computer science

21.05.2008

State Chart XML (SCXML): State Machine Notation for Control Abstraction

21.05.2008

IBM Modeling and Integration Tools for State Chart XML

17.05.2008

Automata-Based Programming

17.05.2008

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко (фотография)

17.05.2008

Награда за "Игру ума"

17.05.2008

Дворкин М.Э., Станкевич А.С., Шалыто А.А. О применении автоматов при реализации алгоритмов дискретной математики (на примере АВЛ-деревьев)

17.05.2008

Шалыто А.А. Ум должен быть с "кулаками"

17.05.2008

Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения систем управления мобильными роботами

15.05.2008

Маврин П., Шалыто А. Зачем нам чемпионы мира по программированию

15.05.2008

Шалыто А.А. Кому нужна игра ума?

14.05.2008

В.A. Королева - А.А. Шалыто

09.05.2008

Открылся сайт проекта GAAP (Genetics Algorithms for Automata-based Programming), выполняемого студентами кафедры КТ. Ведущие проекта - Евгений Мандриков (mandrikov@rain.ifmo.ru) и Владимир Кулев (kulev@rain.ifmo.ru).

Присоединяйтесь: http://gaap.net.ru:8080/

08.05.2008

Хотите иметь цифровую копию жизни?

06.05.2008

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко

06.05.2008

My baby, the finite state machine

05.05.2008

Третий семинар по программной инженерии с Бертраном Мейером

03.05.2008

Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора и кандидата наук (редакция апрель 2008 года)

03.05.2008

Как у нас любят чужие успехи

01.05.2008

В хорошей компании!

01.05.2008

Почему Паскаль?

01.05.2008

Berry G. Synchronous Programming Techniques for Embedded Systems

01.05.2008

Доклад Е.А.Мандрикова и В.А.Кулева на V Всероссийской межвузовской конференции молодых ученых "Разработка инструментального средства для автоматической генерации конечных автоматов с использованием генетических алгоритмов"

30.04.2008

А.А. Шалыто Зачем нам чемпионы по программированию? Пятнадцать аргументов в пользу программистских олимпиад

30.04.2008

Из обсуждения статьи "Сохраним в университетах лучших!" на сайте http://www.pcweek.ru/themes/detail.php?ID=108777

30.04.2008

Чем займутся чемпионы мира по программированию

30.04.2008

Еще одна победа наших студентов

30.04.2008

R. Breukelaar, Th. Back Использование генетических алгоритмов для прослеживания поведения в многомерных клеточных автоматах

29.04.2008

Шалыто А.А. в третьей передаче "Игра ума"

28.04.2008

В. Мошников - А. Шалыто

28.04.2008

В. Б. Яковлев - А. А. Шалыто

25.04.2008

На "Вторую молодежную Всероссийскую конференцию по программной инженерии", которая будет проходить 29-30 мая 2008 г. на матмехе СПбГУ у нас приняли восемь (!) докладов и сообщений (из них семь по автоматному программированию)

25.04.2008

Долматов А.Г., Петров А.С. Утилита разработки конечных автоматов StateCAD

24.04.2008

Поздравляем А.А. Шалыто, который за лекцию "Автоматное программирование" на научной школе "Технологии высокопроизводительных вычислений и систем" получил оценку слушателей 4,75. Выше оценка только у кофебрейка - 4,82.

24.04.2008

Поздравляем Анатолия Никитина студента кафедры КТ с грандиозной победой на полуфинальных (Всероссийских) соревнованиях ImagineCup, которые проходили в Москве. А за одно - "Знай наших".

24.04.2008

Поздравляем Михаила Царева с третьим местом на конкурсе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию), который проходил в рамках V Всероссийской межвузовской конференции молодых ученых

24.04.2008

Поздравляем студентов кафедры КТ Михаила Царева и Евгения Мандрикова с награждением дипломами I степени за лучшие доклады на соответствующих секциях на V Всероссийской межвузовской конференции молодых ученых.

24.04.2008

Триумф российской школы программирования

24.04.2008

"Сохраним в университетах лучших" на сайте еженедельника PCWEEK/RE

20.04.2008

В Цюрихском политехническом институте новый ректор - женщина

20.04.2008

О национальной капитуляции

20.04.2008

Наша История

16.04.2008

Какие компьютеры делали в СССР!

15.04.2008

Новое движение для ИТ-отрасли России «Сохраним в университетах лучших»

15.04.2008

Наши студенты - Дмитрий Абдрашитов, Дмитрий Паращенко и Федор Царев (тренер - Андрей Станкевич) стали чемпионами мира и Европы по программированию! Поздравляем!

15.04.2008

Новые специалисты новой России

11.04.2008

Лучшие программисты теперь живут в Питере

11.04.2008

Д.А.Медведев, триумф российской школы программирования и сохраним в университетах лучших

11.04.2008

Еще одна российская инициатива

09.04.2008

Финал чемпионата по программированию 2008 года.

По информации из Канады, команда СПбГУ ИТМО сдала 8 задач (A,B,E,F,G,I,J,K) и стала чемпионом мира 2008 года. Команды MIT, ИжГТУ, Львовского НУ, МГУ, Stanford U, Tsinghua U, U of Zagreb, Waterloo U - 7 задач. Возможно, этот список неполон. Среди команд, решивших по 6 задач - СПбГУ, ПетрГУ, БГУ, МФТИ, Орловский ГТУ, Ставропольский ГУ, Warsaw U. У команд НГУ и УрГУ 5 задач, у команды Алтайского ГТУ 4 задачи.

Предварительный подсчёт даёт следующее распределение медалей. Золото - у СПбГУ ИТМО, и скорее всего - у МИТ, Ижевского ГТУ и Львовского НУ. Серебро - у МГУ и скорее всего, у Stanford U, Tsinghua U, U of Zagreb. Распределение бронзовых медалей зависит от "скрытых семёрок". По 6 задачам лучшее время у команды ПетрГУ, за ними следует команда СПбГУ. В случае, если приведённый список команд, решивших 7 задач, полный, бронзовые медали получит ещё одна команда, решившая 6 задач.

08.04.2008

У старшего преподавателя кафедры КТ Андрея Станкевича восьмой рейтинг в мире по спортивному программированию, у студента группы 4539 Михаила Дворкина - 27, у студента группы 6539 Павла Маврина - 37-ой. Первое место из 7238 участников, имеющих мировой рейтинг, с большим отрывом занимает другой российский программист - Петр Митричев, который в прошлом году закончил МГУ. http://www.topcoder.com/tc?module=AlgoRank

08.04.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник. Вып. 42. Фундаментальные и прикладные исследования информационных систем и технологий. СПбГУ ИТМО. 2007, с. 29-32

08.04.2008

Терехов А. Российская индустрия программирования

08.04.2008

Верификация моделей как основа новых методологий разработки ПО, способных гарантировать работу программ в точном соответствии с требованиями к ним

08.04.2008

Microsoft избавит программирование от написания кода

03.04.2008

Поздравляем студента группы 4539 Анатолия Никитина и возглавляемую им команду с победой в полуфинале (Северо-Западный Федеральный округ) ежегодного технологического конкурса "Кубок Технологий" ("Imagine Cup"), проводимого корпорацией Microsoft http://corp.cnews.ru/news/line/index.shtml?2008/03/18/292536

Тема работы: "Система поддержки принятия решений при борьбе с лесными пожарами "Арина" http://qd.ifmo.ru/view/projects?page=1

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной Unimod-модели во входной язык верификатора Spin"

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Расширение верификатора Bagor для верификации автоматных Unimod-моделей"

01.04.2008

Technology of Automata-based programming

01.04.2008

Попали в библиографию Вольфрама

01.04.2008

22 результата по Switch-технологии

23.03.2008

Microsoft и автоматы

22.03.2008

Нашествие безграмотности

22.03.2008

Когда у наших студентов есть потребность души, то они могут писать и такое! Статья признана хорошей! http://ru.wikipedia.org/wiki/Manowar

А на все связанное с программированием, особенно автоматным, надо загонять силой!

19.03.2008

Не всем нравится как люди программируют сегодня

19.03.2008

Программная инженерия в Высшей школе экономики

19.03.2008

Дети могут успешно руководить ИТ-компаниями

17.03.2008

Шалыто А.А. Автоматное программирование, водка и буква Ё

17.03.2008

Решетников О.Е. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain-Specific Language Tools

16.03.2008

Конечные автоматы в JavaScript. Часть 3: Тестируем виджет (исходники)

14.03.2008

Пишем!

14.03.2008

Данилов В.Р. Технология генетического программирования для генерации автоматов управления системами со сложным поведением

14.03.2008

У нас на кафедре учится много очень способных людей, которые любят и умеют решать задачи, но задач должно быть много - 10-11 и таких, чтобы их все можно было решить часов за пять. Одной задачи, которую быть может можно решить за большее время им мало! Некоторое время Роман Анатольевич Елизаров (новость на сайте от 29.06.2007 г.) сказал многим из нaших любителей решать задачи, что ему стала известна задачка на 25 тысяч долларов в очень простой формулировке - существует ли универсальная машина Тьюринга с двумя состояниями и тремя входными символами. Никому из наших любителей решать задачи, видимо, деньги были не нужны, или одной задачи было мало, или она имела слишком простую формулировку или ... В общем, ее решил студент третьего курса Бирмингемского университета Алекс Смит, изучающий электротехнику (http://www.lenta.ru/news/2007/10/24/math/), и посмотрите как он оформил доказательство (http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf). Видимо, по собственной инициативе, без насилия и понуканий!

14.03.2008

Приняли доклад "Рубинова К.В., Веденеева В.В., Шалыто А.А. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования" на конференцию "Технологии Microsoft в теории и практике программирования". Южно-Уральский государственный университет. 11-13.03.2008

14.03.2008

Гарри Львиное Сердце, или Приключения титулованной особы

14.03.2008

Между Фоменко и обезьяной

14.03.2008

Математика, которую нельзя запретить

14.03.2008

Уравнение злого духа

14.03.2008

Пикирующее крыло Нортропа

14.03.2008

Осталось пять лет

13.03.2008

Организованная лженаука

13.03.2008

Индустрия недоверия

13.03.2008

Умер Егор Летов

12.03.2008

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

12.03.2008

Дело автоматного программирования живет и медленно побеждает

12.03.2008

И вы можете сделать что-то подобное...

11.03.2008

Еще раз о поиске в раскрашенных лабиринтах

11.03.2008

Автоматы не спят!

10.03.2008

Паша Маврин и Рома Сатюков вышли в финал соревнования 2008 TopCoder Open, который пройдет Лас Вегасе. Поздравляем!

10.03.2008

А.А. Шалыто в "Игре ума" на Пятом канале. Часть 2

10.03.2008

А.А. Шалыто и Ф.Н. Царев в передаче "Игра ума" на Пятом канале

08.03.2008

В СПбГУ ИТМО появился совет, на котором можно защищать диссертации по программированию. Паспорт на каждую научную специальность один на страну

07.03.2008

Наука - дело непростое!

07.03.2008

Модели с переключением режимов (regime switching models) - это применение конечных автоматов в экономике (см. начиная со стр. 34)

05.03.2008

Переучить людей практически невозможно - их сразу надо учить создавать программы по-человечески. Сколько не убеждай народ, что программу сначала необходимо спроектировать, создав диаграммы, а потом их, по возможности, формально реализовать, большинство людей из народа поступает прямо наоборот. Этот народ может и дальше так создавать программы, только ко мне с этим не приходите!

03.03.2008

Наумов Л., Трофимов Д. Реализация клеточного автомата WireWorld с помощью инструментального средства CAME&L и его зональная оптимизация

01.03.2008

2007 год - урожайный для автоматов. Microsoft делает Windows Workflow, ACM дает премию за Statemate, а премию Тьюринга - за верификацию программ на основе моделей

01.03.2008

Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ

01.03.2008

Царев Ф.Н., Шалыто А.А. Применение генетических алгоритмов для построения автоматов с минимальным числом состояний для задачи об "Умном муравье"

29.02.2008

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

29.02.2008

Образование, несовместимое с жизнью

29.02.2008

Второй раз присудили премию Тьюринга по верификации. В первый раз в 1996 году - за темпоральную логику, в 2007 году - за model-checking.

29.02.2008

Shalyto A.A. Logic Control and "Reactive" Systems: Algorithmization and Programming

28.02.2008

Старость излечима

28.02.2008

Классная шутка!

28.02.2008

Рыбаков Г.М., Шалыто А.А. Моделирование работы системы интеллектуального здания

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