Проекты

Проекты

Открытый архив
Перейти на сайт проекта
Разработка и верификация систем управления методом автоматного программирования на базе системы моделирования Event-B
О проекте в формате PDF
Исследование закономерностей и тенденций развития самоорганизующихся систем на примере веб-пространства и биологических сообществ
Перейти на сайт проекта
Фотоархив Сибирского отделения Российской академии наук
Перейти на сайт проекта
Электронный архив академика А.П. Ершова
Перейти на сайт проекта
Каталог математических интернет-ресурсов MathTree
Архив сопровождения программных проектов и документов (АСПИД)
Хроника Сибирского отделения АН
Перейти на сайт проекта
Global MMF - исторический портал ММФ НГУ
Перейти на сайт проекта
Веб-представительство музея СО РАН
Перейти на сайт проекта
Язык программирования C-Light
О проекте в формате PDF
Логические методы и верификация распределенных систем
О проекте в формате PDF
Виртуальный музей истории информатики в Сибири
О проекте в формате PDF
Web-портал знаний
О проекте в формате PDF
Реализация полной кросс-системы программирования для платформы БЦВМ OBC-1750
О проекте в формате PDF
Алгоритмы и программный комплекс анализа и предсказания процессов функционирования регуляторной системы в клетке
О проекте в формате PDF
Программное средство PromExtra для выделения промоторов из микроаррейных файлов
Программа "Детектор трещин"
Программное средство Cissearch для анализа данных генной экспрессии: Поиск регуляторных факторов, зависящих от генной экспрессии
Пакет программ ExPlain для обработки генетической информации и поиска ключевых молекул-мишеней с целью разработки новых лекарственных средств
Электромагнитный каротаж нефтяных скважин
Электроэнцефалограммы мозга и их компьютерная обработка
Исследования по математической лингвистике
Исследования по оптике
Организация памяти ЭВМ с параллельным доступом к информации
Исследования по распараллеливанию численных методов
Алгоритмы и программный комплекс для обработки данных, получаемых в процессе радиоактивного каротажа нефтяных скважин
Анализ генетических последовательностей
Исследования по обработке одномерных сигналов
Компрессия видео
Исследования по обработке изображений