Авторефераты

Предлагаем вашему вниманию авторефераты диссертаций, защищенных в Диссертационном совете ИСИ СО РАН.

Арапбаев Русланбек Нурмаматович
Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Арыков Сергей Борисович
Язык и система фрагментированного параллельного программирования задач численного моделирования
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Батура Татьяна Викторовна
Машинно-ориентированные логические методы представления смысла текста на естественном языке
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Боженкова Елена Николаевна
Анализ свойств параллельных процессов и процессов реального времени, представленных моделями структур событий
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Быстров Александр Васильевич
Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Валеев Тагир Фаридович
Алгоритмы и программный инструментарий для исследования процессов генной регуляции
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Вирбицкайте Ирина Бонавентуровна
Формальные модели и анализ корректности параллельных систем и систем реального времени
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Гаранина Наталья Олеговна
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Грибовская Наталия Сергеевна
Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Дубцов Роман Сергеевич
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Епрев Антон Сергеевич
Исследование влияния разрешения лексической многозначности с помощью контекстных векторов на эффективность категоризации текстовых документов
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Ершов Алексей Геннадьевич
Алгоритмы и программные системы для геометрических задач параметрического проектирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Касьянова Елена Викторовна
Адаптивные методы и средства поддержки дистанционного обучения программированию
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Козырева Алина Владимировна
Алгоритмы и программный инструментарий для позиционирования мобильных устройств на основе данных от встроенной фотокамеры
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Козюра Виталий Ефимович
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Лобив Игорь Васильевич
Программные системы для идентификации и локализации объектов в изображениях
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Макошенко Денис Валентинович
Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Малюх Владимир Николаевич
Методы организации функционального взаимодействия приложений в расширяемых графических САПР
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Марьясов Илья Владимирович
Верификация C-программ с помощью смешанной аксиоматической семантики
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Михеева Анна Владленовна
Программно-аналитический инструментарий подготовки и анализа сейсмологических данных в информационно-вычислительном комплексе EEDB
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Окунишникова Елена Валерьевна
Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Петров Евгений Сергеевич
Методы интеграции логического программирования и программирования в ограничениях
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Покозий Екатерина Александровна
Методы спецификации и верификации параллельных моделей с непрерывным временем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Пономарёв Денис Константинович
Синтаксическая однозначность при представлении знаний в логике первого порядка
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Промский Алексей Владимирович
Формальная семантика C-light программ и их верификация методом Хоара
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Ратушняк Олег Александрович
Методы сжатия данных без потерь с помощью сортировки параллельных блоков
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Семич Дмитрий Фёдорович
Алгоритмы и программное обеспечение интерпретации данных радиоактивного каротажа нефтянных скважин
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Сидоров Владимир Анатольевич
Методы и средства программирования в ограничениях для систем автоматизации проектирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Сидорова Елена Анатольевна
Методы и программные средства для анализа документов на основе модели предметной области
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Старолетов Сергей Михайлович
Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Стасенко Александр Павлович
Модели и реализация транслирующих компонентов системы функционального программирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Турсунбай кызы Ырысгуль
Локальные и динамические алгоритмы для анализа граф-моделей систем
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Ушаков Дмитрий Михайлович
Объектно-ориентированная среда для недоопределенных вычислений
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Черемушкин Евгений Сергеевич
Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Черноножкин Сергей Константинович
Методы и инструменты метрической поддержки разработки качественных программ
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Черных Игорь Геннадьевич
Программный пакет ChemPAK для численного решения прямых задач химической кинетики в сетевой среде из последовательных и параллельных ЭВМ
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Чиркунов Кирилл Сергеевич
Мультиагентный подход и моделирование поведения взаимодействующих иерархических систем экономической природы
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Чурина Татьяна Геннадьевна
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шаталин Евгений Викторович
Эмпирический мост и задачи тестирования адекватности регрессионных моделей анализа данных
05.13.17 — Теоретические основы информатики



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).