Диссертации и авторефераты – Архив
Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (591.55 КБ)
Язык и система фрагментированного параллельного программирования задач численного моделирования
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (264.55 КБ)
Алгоритмы и программный инструментарий для исследования процессов генной регуляции
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (287.91 КБ)
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (247.67 КБ)
Исследование влияния разрешения лексической многозначности с помощью контекстных векторов на эффективность категоризации текстовых документов
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (261.5 КБ)
Алгоритмы и программные системы для геометрических задач параметрического проектирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (376.94 КБ)
Алгоритмы и программный инструментарий для позиционирования мобильных устройств на основе данных от встроенной фотокамеры
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (330.05 КБ)
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (275.66 КБ)
Программные системы для идентификации и локализации объектов в изображениях
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (340.17 КБ)
Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (290.24 КБ)
Методы организации функционального взаимодействия приложений в расширяемых графических САПР
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (683.48 КБ)
Программно-аналитический инструментарий подготовки и анализа сейсмологических данных в информационно-вычислительном комплексе EEDB
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (988.57 КБ)
Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (167.17 КБ)
Методы интеграции логического программирования и программирования в ограничениях
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (174.73 КБ)
Методы спецификации и верификации параллельных моделей с непрерывным временем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (140.87 КБ)
Методы сжатия данных без потерь с помощью сортировки параллельных блоков
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (360.36 КБ)
Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (246.02 КБ)
Модели и реализация транслирующих компонентов системы функционального программирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (417.94 КБ)
Локальные и динамические алгоритмы для анализа граф-моделей систем
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (482.17 КБ)
Объектно-ориентированная среда для недоопределенных вычислений
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (155.99 КБ)
Методы и инструменты метрической поддержки разработки качественных программ
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (175.12 КБ)
Программный пакет ChemPAK для численного решения прямых задач химической кинетики в сетевой среде из последовательных и параллельных ЭВМ
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (260.05 КБ)
Мультиагентный подход и моделирование поведения взаимодействующих иерархических систем экономической природы
05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (477.72 КБ)
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (156.95 КБ)
Эмпирический мост и задачи тестирования адекватности регрессионных моделей анализа данных
05.13.17 — Теоретические основы информатики
Автореферат в формате PDF (462.71 КБ)