| 16.02.2009
| Broy M., Jonsson B., Katoen J., Leucker M., Pretschner A. Model-Based Testing of Reactive Systems
|
| 16.02.2009
| Исповедь начинающего педагога: в школах травят молодых учителей!
|
| 16.02.2009
| Почему ракета "Булава" не летает
|
| 15.02.2009
| Это надо посмотреть всем!!!
|
| 15.02.2009
| Сайт, посвященный автоматно-алгоритмическим схемам
|
| 10.02.2009
| Yota ТВ - претендент на звание "Лучшего мобильного ТВ"
|
| 10.02.2009
| Чем мы с А. Штучкиным занимались несколько лет назад
|
| 10.02.2009
| Колтунцев А.В., Золотарев С.В. ISaGRAF - основа для создания распределенных приложений в среде программируемых контроллеров на базе стандарта IEC61499
|
| 10.02.2009
| Где можно купить нашу книгу!
http://www.piter.com/book.phtml?978538800692
http://www.books.ru/shop/books/638620
http://www.bolero.ru/index.php?topic=181443&scurcat=1&cat=181443&stype=quick&sclass=all&level=5&fquery=%D8%E0%EB%FB%F2%EE
http://www.ozon.ru/context/detail/id/4259083/
|
| 10.02.2009
| Что с нами происходит?
|
| 09.02.2009
| Поликарпова Н.И., Шалыто А.А. Автоматное программирование. Книга в Word, формат PDF (авторская редакция).
|
| 06.02.2009
| Модельно-ориентированное проектирование систем управления
|
| 03.02.2009
| Преподаватель информатики "Вторая гимназия" (Москва) Илья Дединский и его отличные ученики (седьмой, восьмой, девятый и десятый классы) докладывают на семинаре по программной инженерии на кафедре "Компьютерные технологии" СПбГУ ИТМО
|
| 03.02.2009
| Давыдов А.А., Поликарпова Н.И., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Разработка программного средства 3Genetic для генерации автоматов управления системами со сложным поведением
|
| 02.02.2009
| Разработка требований на ПО ответственных систем
|
| 02.02.2009
| Microsoft делает Oslo. Предисловие в журнал "Технология "Клиент-Сервер". Третий квартал 2008 года
|
| 31.01.2009
| Microsoft полюбила визуальное программирование
|
| 31.01.2009
| Шалыто А.А. Еще раз об автоматном программировании
|
| 31.01.2009
| Как обратиться к душе ученика
|
| 31.01.2009
| Шалыто А.А. Хроническая болезнь
|
| 31.01.2009
| Поздравляем декана факультета ИТиП Парфенова Владимира Глебовича с 60-летием! Желаем ему счастья и здоровья!
|
| 28.01.2009
| Первый блин комом - в книге Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2009 во во всех листингах при верстке исчезло форматирование и появились неточности в рисунках. Правильый вариант книги будет размещен по адресу http://is.ifmo.ru/books/
|
| 28.01.2009
| Зачем нужна фундаментальная наука?
|
| 28.01.2009
| Переписка в связи с получением премии
|
| 24.01.2009
| Шалыто А.А. Не перестаю удивляться
|
| 24.01.2009
| В продаже первая в мире книга по автоматному программированию
|
| 20.01.2009
| Трудная работа мечтателя (Даг Энгельбарт)
|
| 20.01.2009
| Поздравление с премией!
|
| 20.01.2009
| 19.01.2009 на сайте было просмотрено 944 страницы
|
| 19.01.2009
| Поздравляем Федора Царева с назначением на стипендию Президента Российской Федерации!
|
| 18.01.2009
| Друзья Yota
|
| 17.01.2009
| За нами следят в Таллине!
|
| 17.01.2009
| О Российском и Советском Военно-морском флоте
|
| 17.01.2009
| Выпускник СПбГУ ИТМО Александр Штучкин вошел в семерку самых успешных молодых бизнесменов Санкт-Петербурга 2008 года!
|
| 16.01.2009
| "Санкт-Петербургские" ведомости о нашей премии
|
| 16.01.2009
| Тихонова У.Т. Определение языков программирования интерпретируемыми автоматами
|
| 15.01.2009
| За что мы получили премию!
|
| 15.01.2009
| Умер Михаил Донской - один из создателей "Каиссы" (первой программы - чемпиона мира по шахматам среди компьютеров, 1974 год)
|
| 13.01.2009
| Шалыто А.А. Термин "автоматное программирование" на английском языке
|
| 13.01.2009
| Шалыто А.А. Современная логика
|
| 13.01.2009
| Yota Медиа Beta
|
| 13.01.2009
| Запущена Yota Media
|
| 30.12.2008
| На сайте создан новый раздел "Автоматное программирование в школе"
|
| 30.12.2008
| Козлов В.А. Оптимальный поиск в длинных строках с использованием внешней памяти
|
| 30.12.2008
| Hamming R. You and Your Research
|
| 30.12.2008
| Федор и Михаил Царевы вошли в число лучших молодых инноваторов Санкт-Петербурга
|
| 29.12.2008
| Выпускники кафедр "Компьютерные технологии" и "Технологии программирования" СПбГУ ИТМО разработали первый в мире коммуникатор, способный работать в сетях GSM и Mobile WiMAX, - HTC MAX 4G. Презентация этого устройства состоялась 12 ноября в Москве. Программное обеспечение для него разработали в компании <Скартел Стар Лаб>, генеральный директор которой Александр Штучкин стал в 2001 году чемпионом России, а в 2003-м - бронзовым призером чемпионата мира по программированию
|
| 29.12.2008
| Они обсуждают меня и автоматное программирование (январь 2008 года), а караван идет
|
| 29.12.2008
| Чемпионат мира по программированию, СПбГУ ИТМО и разработка первого в мире коммуникатора, способного работать в сетях GSM и Mobil WiMAX
|
| 29.12.2008
| Стив Меллор - модели должны работать
|
| 26.12.2008
| Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов
|
| 26.12.2008
| Шалыто А.А. Автоматное программирование
|
| 26.12.2008
| Перелом в парадигме обучения
|
| 26.12.2008
| Проект EiffelState
|
| 26.12.2008
| Надя Поликарпова в одном из лучших университетов мира
|
| 26.12.2008
| Евгений Мандриков и Михаил Царев на IV Петербургском международном инновационном форуме
|
| 26.12.2008
| Инновационные успехи молодых людей, прошедших через олимпиады
|
| 26.12.2008
| Сколько хотят зарабатывать молодые ученые - как я и предполагал около 40 тысяч рублей
|
| 26.12.2008
| Министр энергетики США - нобелевский лауреат
|
| 26.12.2008
| Как заработать деньги, выкладывая книгу в свободный доступ в Интернете
|
| 26.12.2008
| Кулямин В.В. Методы верификации программного обеспечения. 117с.
|
| 26.12.2008
| 23 декабря новый рекорд - на сайте зарегистрировано 267 хостов. 724 визита было зарегистрировано 15.12.2008
|
| 26.12.2008
| Домашний электронный музей живописи
|
| 24.12.2008
| Шалыто А.А. Не так учим
|
| 22.12.2008
| На сайте зарегистрирован рекорд посещаемости - 255 хостов!
|
| 19.12.2008
| А.А. Шалыто на Mobile Software Forum. "Настоящих буйных мало - вот и нету вожаков" В.В. Высоцкий
|
| 19.12.2008
| 16 декабря на сайте зарегистрирован рекорд посещаемости - 244 хоста!
|
| 19.12.2008
| Новый российский автомобиль не может без Yota
|
| 18.12.2008
| Начали о Шалыто - кончили про Microsoft
|
| 18.12.2008
| Президент Российской Федерации Д.А. Медведев и генеральный директор компании "Скартел Стар Лаб" А. Штучкин на 1 канале
|
| 12.12.2008
| Что такое WiMax?
|
| 12.12.2008
| Создатель транзистора
|
| 12.12.2008
| Президент Российской Федерации Д. А. Медведев и генеральный директор компании "Скартел Стар Лаб" А. Штучкин
|
| 12.12.2008
| Новые интерфейсы
|
| 12.12.2008
| Про нанотехнологии
|
| 12.12.2008
| Анатолий Чубайс и нанотехнологии
|
| 12.12.2008
| У каждого своя Мона Лиза
http://rogeralsing.com/2008/12/07/genetic-programming-evolution-of-mona-lisa/
http://is.ifmo.ru/works/cellaut.pdf
|
| 12.12.2008
| Сайт Виталия Клебана включен в top20 российских сайтов по робототехнике
|
| 12.12.2008
| Создание беспилотного автомобиля
|
| 08.12.2008
| Царев М.Н., Царев Ф.Н. Школа информационных технологий и футбола
|
| 05.12.2008
| О том, как российская наука не хочет и не умеет рекламировать собственные достижения
|
| 05.12.2008
| Доклад "Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов" на конференции III международной научно-практической конференции "Современные информационные технологии и ИТ-образование" на двух секциях сразу
http://2008.it-edu.ru/pages/day3-sec2
http://2008.it-edu.ru/pages/sec-3-2
|
| 04.12.2008
| Владимир Глебович Парфенов об олимпиадах по программированию и не только
|
| 04.12.2008
| Разработка кода происходит путем внесения в него изменений и дополнений, - сказал один опытный программист. Какое уж там проектирование программ?
|
| 04.12.2008
| Статья о "Транзасе"
|
| 29.11.2008
| Sun уволит 18% сотрудников
|
| 29.11.2008
| Open Source, наступит ли момент истины?
|
| 29.11.2008
| Закрытое финансового ПО не позволяет убедиться в корретности используемых моделей оценки рисков
|
| 29.11.2008
| Какие статьи могут пройти в рецензируемыйй журнал
|
| 29.11.2008
| Русский интернет
|
| 29.11.2008
| В следующие 25 лет роботы изменят нашу жизнь так же сильно, как изменили ее компьютеры за последние 25 лет. Родни Брукс
|
| 29.11.2008
| Дополненная реальность
|
| 29.11.2008
| Нас включили в программный комитет конференции "47th International Conference Objects, Models, Components, Patterns" (TOOLS-EUROPE 2009). И больше никого из России
|
| 29.11.2008
| Об объективной невозможности удержаться, чтобы не сказать гадость!
|
| 29.11.2008
| Википедия как она есть!
|
| 29.11.2008
| Диплом за активное участие во II международной выставке "Перспективные технологии"
|
| 29.11.2008
| Медаль "За успехи в научно-техническом творчестве"
|
| 29.11.2008
| "Скартел": коррекция развития?
|
| 29.11.2008
| WiMAX-телефон - эксклюзивно для российских пользователей
|
| 29.11.2008
| Давно ничего не писали о Федоре Цареве!
|
| 29.11.2008
| Алан Гринспэн: в кризисе виноваты роботы, торгующие на бирже?
|
| 29.11.2008
| Отчет по контракту о верификации автоматных программ. Четвертый этап.
|
| 29.11.2008
| Отчет по контракту о верификации автоматных программ. Третий этап.
|
| 29.11.2008
| Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Четвертый этап.
|
| 28.11.2008
| Шалыто А.А. Сокращение человеческого фактора
|
| 28.11.2008
| СПбГУ ИТМО, СКАРТЕЛ, WiMAX и олимпиады по программированию
|
| 28.11.2008
| Школа программирования и футбола братьев Царевых. "Мой брат стал чемпионом мира по программированию. Я вас сделаю чемпионами мира по футболу" - Михаил Царев.
|
| 28.11.2008
| Разработка технологии генетического программирования для генерации автоматов управления системами со сложным поведением
|
| 28.11.2008
| Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода
|
| 26.11.2008
| На сайте зарегистрировано 232 хоста
|
| 25.11.2008
| Наше выступление на конкурсе "Молодые. Дерзкие. Перспективные"
|
| 23.11.2008
| Грустная история
|
| 23.11.2008
| Выпуск iPhone 3G сократят - Computerworld Россия
|
| 23.11.2008
| Intel вложится в WiMAX и Atom - Computerworld Россия
|
| 23.11.2008
| Motorola выбирает Android
|
| 23.11.2008
| Из корпорации SUN ушел один из ее основателей
|
| 23.11.2008
| Первый WiMAX-коммуникатор создали специально для России
|
| 19.11.2008
| На сайте зарегистрировано 224 хоста
|
| 19.11.2008
| Монолог о жизни и смерти
|
| 19.11.2008
| О победе на чемпионате мира по программированию
|
| 14.11.2008
| Презентация компании "Скартел" - мобильный WiMAX из России!
|
| 14.11.2008
| Еще о "Скартел"
|
| 12.11.2008
| Презентация HTC MAX 4G и мобильных WiMAX сервисов Yota
|
| 11.11.2008
| Госкорпорация "Ростехнологии" купила 25,1% WiMax-оператора "Скартел"
|
| 11.11.2008
| Побеждаем не только на чемпионатах мира по программированию. Беседа с Анатолием Никитиным
|
| 10.11.2008
| О работе Института междисциплинарных проектов в Санта-Фе (оттуда родом брат умного муравья!)
|
| 10.11.2008
| Михаил Прохоров. Мода на инновации
|
| 10.11.2008
| Является ли менеджмент наукой?
|
| 10.11.2008
| Поздравляем команду СПбГУ ИТМО в составе Максим Буздалов, Владислав Исенбаев Евгений Капун, которая стала победителем IX Открытой Всесибирской олимпиады по информатике
|
| 07.11.2008
| Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование
|
| 07.11.2008
| Вручены Шнобелевские премии за 2008 год
|
| 07.11.2008
| Наше участие в "Итоговой конференции ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 г."
|
| 07.11.2008
| Чемпион мира по шахматам среди программ. Победитель давно обыгравает людей
|
| 07.11.2008
| Как американцы создавали боевые информационно-управляющие системы для советских подводных лодок
|
| 30.10.2008
| Даже с великой идей неудачники не преуспеют
|
| 30.10.2008
| Бизнес должен давать деньги не милиции, а школам
|
| 30.10.2008
| Как за 4,5 тысячи рублей в журнале опубликовали заведомую галиматью
|
| 29.10.2008
| Что требуется для успеха в жизни?
|
| 29.10.2008
| Владимир Борисович Яковлев - ученый, педагог и организатор. К 75-летию со дня рождения
|
| 29.10.2008
| А у Вас еще не задрожали ложечки?
|
| 28.10.2008
| Кубасов С.В. Диссертация на тему «Верификация автоматных программ в контексте синхронного программирования»
|
| 27.10.2008
| Поздравляем Вадима Гурова и Павла Лобанова с успешными защитами кандидатских диссертаций!
|
| 26.10.2008
| Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной модели во входной язык верификатора SMV"
|
| 26.10.2008
| Свидетельство о государственной регистрации программы для ЭВМ "Система преобразования автоматной модели в модель Крипке и верификация CTL-свойств на ней"
|
| 26.10.2008
| Роберт Нойс. Первый президент компании Intel
|
| 26.10.2008
| Как Дейв Паккард и Билл Хьюлетт весь мир покорили
|
| 22.10.2008
| Лекции Д. Павлова
|
| 19.10.2008
| Успехи студентов и выпускников кафедры "Компьютерные технологии" СПбГУ ИТМО на соревнованиях различного уровня по программированию
|
| 18.10.2008
| Статья Бертрана Мейра "Семь принципов тестирования программ"
|
| 17.10.2008
| Model-Checking Real-Time Control Programs
|
| 17.10.2008
| Вот какие бывают программисты!
|
| 17.10.2008
| Можете предложить как изменить мир, а вам за это дадут много денег!
|
| 17.10.2008
| Каширин В.В. Метод модификации оценочных функций для оптимизации работы генетических алгоритмов, генерирующих конечные автоматы
|
| 15.10.2008
| Существует ли профессия программного инженера?
|
| 14.10.2008
| Главный секрет создания качественного программного кода
|
| 14.10.2008
| Джеймс Уотсон - отец современной генетики
|
| 14.10.2008
| Перечень критических технологий Российской Федерации
|
| 14.10.2008
| Через 33 года обнаружена ошибка в генераторе грамматического разбора yacc
|
| 14.10.2008
| Проектный подход к программированию в школах!
http://ded32.net.ru/
http://store.ded32.net.ru/Lib/Doc/ExperimentPres2007.ppt
|
| 14.10.2008
| Модификация UML для мехатронных систем
http://nbp-www.upb.de/index.php?id=57&L=1
http://ag-schaefer.uni-paderborn.de/PaperReader/PaperReader
http://wwwcs.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/MARTES05.pdf
http://ag-schaefer.upb.de/PaperReader/PaperReader?xmlfile=./ag-documents.xml&priority&name=Sch%E4fer
|
| 14.10.2008
| Microsoft полюбил UML
|
| 13.10.2008
| В новости "новый Третьяков" Игорь Маркин рассказывает о выдающемся художнике Дмитрии Краснопевцеве
|
| 08.10.2008
| Миша Дворкин с детства любил автоматы
|
| 07.10.2008
| Читайте - Дмитрий Горчев!
|
| 07.10.2008
| "Сохраним в университетах лучших" на сайте СПбГУ ИТМО
|
| 07.10.2008
| Художник Илья Кабаков о том как мы жили
|
| 07.10.2008
| Музей актуального искусства
|
| 04.10.2008
| Сохраним в университетах лучших!
|
| 03.10.2008
| Миронов А.М. Теория процессов
|
| 03.10.2008
| Гуров В.С. Диссертация на тему «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)»
|
| 03.10.2008
| Российский научный журнал опубликовал бессмысленный текст, созданный компьютером
|
| 03.10.2008
| Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?
|
| 03.10.2008
| На конференции SECR-2008 будет докладывать не только Эрих Гамма, но и Артем Астафуров!
|
| 03.10.2008
| Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО
|
| 30.09.2008
| Русский аристократ и его коллекция, которую сейчас купили для России и показывают в Санкт-Петербурге в театральном музее
http://www.kommersant.ru/doc.aspx?DocsID=20191
http://www.kommersant.ru/doc-rss.aspx?DocsID=221707
http://www.kommersant.ru/doc.aspx?DocsID=9015733
|
| 26.09.2008
| Лобанов П.Г. Диссертация на тему «Использование генетических алгоритмов для генерации конечных автоматов»
|
| 26.09.2008
| Так в Америке сохраняют в университах лучших:
http://en.wiktionary.org/wiki/endowed_chair,
http://www2.creighton.edu/about/endowedchair/,
http://paradise.caltech.edu/bruck.html
|
| 26.09.2008
| Вот к чему приводит автоматное программирование - Надежда Поликарпова и Бертран Мейер в Италии!
|
| 26.09.2008
| Требования к выполнению курсовых работ
|
| 25.09.2008
| Когда люди не жмотничают!
|
| 25.09.2008
| Наш сайт кому-то нужен: все вставки с этого сайта
|
| 23.09.2008
| И вам желаю того же!
|
| 23.09.2008
| WebTV было предложено в СССР 36 лет назад!
|
| 23.09.2008
| Кто способен попасть на эту конференцию?
|
| 22.09.2008
| Компании DataArt и DevExpert, в руководство которых входят наши выпускники, среди лидеров по разработке экспортных программных продуктов
|
| 22.09.2008
| Высшее образование и российское общество, или куда зашло высшее образование
|
| 21.09.2008
| Очень интересный блог про программирование
|
| 20.09.2008
| У нас может просто не остаться специалистов, которые хоть что-то будут понимать в термоядерных реакторах
|
| 20.09.2008
| Мы смогли что-то сделать в жизни, потому что нас учили замечательные люди
|
| 20.09.2008
| Еще раз о российском высшем образовании
|
| 20.09.2008
| Жизнь против часовой стрелки!
|
| 19.09.2008
| Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?
|
| 19.09.2008
| WiMax как минимум
|
| 19.09.2008
| Юрий Лифшиц - инноватор
|
| 19.09.2008
| Российские математики В.Арнольд и Л.Фаддеев получили в Гонконге "Азиатскую Нобелевскую премию"
|
| 19.09.2008
| Мобильный WiMAX в действии
|
| 19.09.2008
| "Программный продукт, полностью созданный в России, по словам Чемезова (генерального директора госкорпорации "Ростехнологии"), прекрасно с непревзойденным качеством передает мобильную картинку, ее можно использовать и в деле обеспечения безопасности при установке сколь угодно сложных сетей видеонаблюдения с большой разрешающей способностью на улицах и в общественных местах... Если этот проект будет реализован, "это будет первый случай, когда Россия внедряет в Западном полушарии столь высокую технологию, даже еще в США этого нет"
|
| 19.09.2008
| Создан робот с биологическим мозгом
|
| 19.09.2008
| Обама против аутсорсинга
|
| 19.09.2008
| Высота газпромовской "башни" после грузинской агрессии
|
