|
Загалом робіт:2089
551. Якименко Александр Александрович. АЛГОРИТМЫ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ГИБРИДНЫХ СУПЕР-ЭВМ В ЗАДАЧАХ ОБНАРУЖЕНИЯ ПОДЗЕМНЫХ ПОЛОСТЕЙ И АНАЛИЗА ГЕНЕТИЧЕСКИХ ДАННЫХ
Рік: 2014 552. Логачева Варвара Константиновна. Исследование и разработка методов автоматизации процессов практической транскрипции имен собственных
Рік: 2013 553. Лукинова, Ольга Васильевна. Компьютерные модели и алгоритмы управления безопасностью информационных систем
Рік: 2013 554. Мизгулин Вячеслав Владимирович. Разработка математического, алгоритмического и программного обеспечения для имитационного моделирования микроструктуры керна
Рік: 2013 555. Минашкин, Сергей Александрович. Математическое и программное обеспечение интеллектуальных поисковых систем на основе использования мультиагентной архитектуры
Рік: 2013 556. Мозгачев, Алексей Васильевич. Исследование и разработка моделей, методов и программных средств темпорального вывода в динамических интегрированных экспертных системах
Рік: 2013 557. Моросанова, Наталья Александровна. Методы вычисления оценок уверенности формально построенных выводов
Рік: 2013 558. Нгуен Тин Чунг. МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ БЕЗОПАСНОГО ФУНКЦИОНИРОВАНИЯ СРЕДСТВ ПЕРЕВОЗКИ ПРИ ЭКСПЛУАТАЦИИ ВО ВЬЕТНАМЕ
Рік: 2013 559. Никифоров, Игорь Валерьевич. Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций
Рік: 2013 560. Новиков, Евгений Михайлович. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX
Рік: 2013 561. Новоселов, Юрий Владимирович. Методы и программные средства когнитивной графики для интеллектуальных систем поддержки принятия решений
Рік: 2013 562. Нураев, Имангазали Юнусович. Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования
Рік: 2013 563. Павлов, Евгений Геннадьевич. Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
Рік: 2013 564. Пан, Константин Сергеевич. Методы внедрения фрагментного параллелизма в последовательную СУБД с открытым исходным кодом
Рік: 2013 565. Потапов, Кирилл Борисович. Построение системы поддержки регламентов на базе языка запросов GSQL
Рік: 2013 566. Притула Михаил Николаевич. Отображение DVMH-программ на кластеры с графическими процессорами
Рік: 2013 567. Прищепа, Мария Викторовна. Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания
Рік: 2013 568. Речистов, Григорий Сергеевич. Разработка методов моделирования для оценки производительности суперкомпьютерных систем для параллельных приложений с однородным характером поведения
Рік: 2013 569. Ронжин Александр Леонидович. МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА АВТОМАТИЗАЦИИ АУДИОВИЗУАЛЬНОГО МОНИТОРИНГА УЧАСТНИКОВ МЕРОПРИЯТИЙ В ИНТЕЛЛЕКТУАЛЬНОМ ЗАЛЕ
Рік: 2013 570. Рубина, Ирина Семеновна. Разработка и исследование методов и алгоритмов устранения избыточности видеопоследовательностей на основе сегментации видеоданных
Рік: 2013 571. Рыбаков, Алексей Анатольевич. Методы и алгоритмы оптимизации переходов в компиляторе базового уровня системы двоичной трансляции для архитектуры "Эльбрус"
Рік: 2013 572. Рябенко, Анна Андреевна. Символьное решение линейных обыкновенных дифференциальных уравнений с помощью степенных рядов
Рік: 2013 573. Сивов, Анатолий Александрович. Разработка, реализация и анализ производительности модифицированного транспортного протокола
Рік: 2013 574. Синдеев Михаил Сергеевич. Исследование и разработка алгоритмов матирования видеопоследовательности
Рік: 2013 575. Соловьев, Михаил Александрович. Восстановление алгоритма по набору бинарных трасс
Рік: 2013 576. Старичкова, Юлия Викторовна. Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем
Рік: 2013 577. Сухов, Александр Олегович. Разработка инструментальных средств создания визуальных предметно-ориентированных языков
Рік: 2013 578. Тетерев, Михаил Александрович. Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения
Рік: 2013 579. Трифанов, Виталий Юрьевич. Динамическое обнаружение состояний гонки в многопоточных JAVA-программах
Рік: 2013 580. Тютин, Борис Викторович. Методы автоматизации распределённого тестирования реактивных систем
Рік: 2013 581. Федорищев, Леонид Александрович. Модели, методы и инструментальные сервисы для создания профессиональных виртуальных облачных сред
Рік: 2013 582. Хатько, Евгений Евгеньевич. Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств
Рік: 2013 583. Четвёркин, Илья Игоревич. Автоматизированное формирование базы знаний для задачи анализа мнений
Рік: 2013 584. Чибисов, Петр Александрович. Встречное тестирование высокопроизводительных микропроцессоров
Рік: 2013 585. Чистиков, Павел Геннадьевич. Методы и алгоритмы гибридного синтеза естественной русской речи на основе скрытых марковских моделей и метода Unit Selection
Рік: 2013 586. Чуров, Тимофей Николаевич. Технология построения проблемно-ориентированных сред для научных исследований в рамках модели персонального облака
Рік: 2013 587. Шахворостов, Георгий Ильич. Специальное математическое и программное обеспечение управления кэшированием данных на основе временных меток транзакций
Рік: 2013 588. Шестов, Пётр Евгеньевич. Совместное планирование вычислений и обменов в информационно-управляющих системах реального времени
Рік: 2013 589. Якушев, Андрей Владимирович. Математическое и программное обеспечение распределенной обработки больших объемов данных из социальных медиа
Рік: 2013 590. Абрамов, Николай Александрович. Программная система выявления нелегитимной активности на промышленных площадках
Рік: 2013 591. Антонов Дмитрий Вячеславович. Программный инструментарий для организации распределенной обработки данных в компьютерных сетях на основе семантической модели
Рік: 2013 592. Антонов, Алексей Евгеньевич. Способы и программные средства сравнения исполняемых файлов для их оперативной кластеризации
Рік: 2013 593. Аунг Аунг Хейн. Моделирование и разработка сервис-ориентированных приложений
Рік: 2013 594. Балашов, Иван Васильевич. Разработка архитектуры, алгоритмов и программного обеспечения для создания картографических интерфейсов, обеспечивающих распределенную обработку и анализ спутниковых данных
Рік: 2013 595. Будков, Виктор Юрьевич. Методы и программные средства аудиовизуальной обработки сигналов при сопровождении распределенных совещаний
Рік: 2013 596. Бычков, Иван Алексеевич. Планирование обменов в сетях с топологией кольца с арбитражем для систем реального времени
Рік: 2013 597. Васильев Антон Игоревич. ПРОГРАММНОЕ И АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМ КОМПЬЮТЕРНОГО ВИДЕНИЯ С НЕСКОЛЬКИМИ ПОЛЯМИ ЗРЕНИЯ
Рік: 2013 598. Васильев, Алексей Владимирович. Разработка методов и программных средств реализации компонентной вычислительной среды для параллельного и распределённого моделирования режимов систем газоснабжения
Рік: 2013 599. Галушка, Василий Викторович. Метод и средства верификации баз данных на основе нейросетевых технологий
Рік: 2013 600. Гетьман, Александр Игоревич. Восстановление форматов сетевых сообщений и файлов по бинарным трассам программ
Рік: 2013 |
