|
Total work:2062
601. Медведев, Роман Евгеньевич. Алгоритмы автоматизированного формирования баз знаний для систем дистанционного обучения
the year: 2013 602. Мельман, Сергей Владимирович. Разработка и исследование алгоритмов и программных средств визуализации объемов
the year: 2013 603. Мешков, Алексей Николаевич. Методы и средства программного моделирования для обеспечения процесса проектирования микропроцессорных систем
the year: 2013 604. Білоус Роман Володимирович. Метод створення автоматичної динамічної системи балансування навантаження в мережі на основі генетичних алгоритмів
the year: 2013 605. Ломов, Эдуард Олегович. Программное обеспечение процессов управления медиапотоками в условиях гетерогенности информационных систем реального времени
the year: 2012 606. Лопатин, Роман Сергеевич. Математическое и программное обеспечение планирования задач распределенной вычислительной системы на основе мультиагентного подхода
the year: 2012 607. Марьясов, Илья Владимирович. Верификация С-программ с помощью смешанной аксиоматической семантики
the year: 2012 608. Махнычев, Владимир Сергеевич. Распараллеливание алгоритмов ретроанализа для решения переборных задач в вычислительных системах без общей памяти
the year: 2012 609. Маштаков, Алексей Павлович. Математическое и программное обеспечение задач управления в робототехнике с приложением к машинной графике
the year: 2012 610. Мутилин, Вадим Сергеевич. Верификация драйверов операционной системы Linux при помощи предикатных абстракций
the year: 2012 611. Мьо Тант. Управление производительностью параллельной вычислительной системы при обработке запросов
the year: 2012 612. Нгуен Ба Нгок. Модели и методы поиска информационных ресурсов с использованием семантических технологий
the year: 2012 613. Нгуен Ван Доан. Разработка инструментов поддержки аспектно-ориентированного Web-программирования в системе Aspect.NET
the year: 2012 614. Недоводеев, Константин Владимирович. Методы построения пакетов прикладных программ для неоднородных многоядерных процессоров
the year: 2012 615. Никитина Галина Николаевна. Применение теории сетей петри-маркова в организации параллельных поисковых процессов
the year: 2012 616. Новиков, Александр Петрович. Организация сетевых структур знаний, поддерживающая их редактирование
the year: 2012 617. Новиков, Дмитрий Борисович. Метод и алгоритмы принятия решений при управлении сложными объектами на основе экспертных систем
the year: 2012 618. Ордынцев, Павел Анатольевич. Математическое и программное обеспечение интеграции независимых информационных систем образовательного учреждения в единый гетерогенный информационный комплекс
the year: 2012 619. Переславцева, Оксана Николаевна. Вычисление характеристических полиномов плотных матриц : последовательные и параллельные алгоритмы
the year: 2012 620. Пинчер, Денис Владимирович. Математическое и программное обеспечение систем управления базами знаний интеллектуальных систем прогнозирования
the year: 2012 621. Подкорытов, Дмитрий Игоревич. Разработка отказоустойчивых мульти-агентных средств имитационного моделирования систем с дискретными событиями
the year: 2012 622. Поляков, Станислав Петрович. Символьные алгоритмы, связанные с задачами суммирования
the year: 2012 623. Пыхалов, Александр Владимирович. Методы и средства интеграции независимых баз данных в распределенных сетях TCP/IP
the year: 2012 624. Романников, Дмитрий Олегович. Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием
the year: 2012 625. Самков, Евгений Юрьевич. Методы и алгоритмы интеллектуальной поддержки решений по созданию баз знаний в составе информационно-коммуникационных систем
the year: 2012 626. Сафронов, Виталий Владимирович. Математическое и программное обеспечение восстановления и визуализации 3D-моделей в составе интегрированных СУБД
the year: 2012 627. Селиванов, Павел Юрьевич. Специальное программное обеспечение распределенной адаптивной обработки временных серий данных дистанционного зондирования
the year: 2012 628. Сеньков, Алексей Викторович. Способы и программные средства интеллектуальной поддержки принятия решений на основе риск-ситуаций
the year: 2012 629. Сенюкова, Ольга Викторовна. Разработка алгоритмов семантической сегментации и классификации биомедицинских сигналов низкой размерности на основе машинного обучения
the year: 2012 630. Сергеев, Валерий Викторович. Алгоритмические и программные средства для подготовки данных и обработки результатов моделирования физико-механических процессов методами частиц
the year: 2012 631. Соляник, Андрей Анатольевич. Математическое и программное обеспечение проектирования Интранет-интерфейсов при конкурентной разработке информационных систем
the year: 2012 632. Сорокин, Дмитрий Анатольевич. Методы решения задач с переменной интенсивностью потоков данных на реконфигурируемых вычислительных системах
the year: 2012 633. Степанян, Карлен Багратович. Разработка и применение языка описания нотации графо-подобных диаграмм
the year: 2012 634. Талалаев, Александр Анатольевич. Модели, алгоритмы и программно-инструментальные средства для организации конвейерно-параллельных вычислений на мультипроцессорных системах
the year: 2012 635. Тебекин, Юрий Борисович. Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании
the year: 2012 636. Тюрин, Андрей Геннадиевич. Математическое и программное обеспечение семантического поиска в портально-сетевых комплексах учебного назначения
the year: 2012 637. Хисамутдинов, Максим Владимирович. Методы и алгоритмы обработки изображений в системе телевизионного контроля тепловыделяющих сборок водо-водяного энергетического реактора
the year: 2012 638. Царев, Федор Николаевич. Методы построения конечных автоматов на основе эволюционных алгоритмов
the year: 2012 639. Чан Конг Тан. Разработка математического и программного обеспечения национального удостоверяющего центра для "электронного правительства" Социалистической Республики Вьетнам
the year: 2012 640. Чернецов, Андрей Михайлович. Методы и программные средства организации эффективных вычислений для расчета электронной структуры больших молекулярных систем
the year: 2012 641. Чиркунов Кирилл Сергеевич. Мультиагентный подход и моделирование поведения взаимодействующих иерархических систем экономической природы
the year: 2012 642. Чупилко, Михаил Михайлович. Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
the year: 2012 643. Чусов, Андрей Александрович. Гибкая архитектура для параллельного анализа и визуализации физических полей
the year: 2012 644. Штейнберг Роман Борисович. Автоматическое отображение программ на конвейерные и многоконвейерные архитектуры
the year: 2012 645. Якубенко, Антон Анатольевич. Алгоритмы построения трехмерных моделей объектов с регулярной структурой по фотографиям при взаимодействии с пользователем для виртуальных сред
the year: 2012 646. Аветисян, Арутюн Ишханович. Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения
the year: 2012 647. Алымова, Елена Владимировна. Генерация наборов тестов для распараллеливающих и оптимизирующих преобразований в компиляторе
the year: 2012 648. Амелин, Константин Сергеевич. Математическое обеспечение микрокомпьютеров мобильных объектов с групповым взаимодействием
the year: 2012 649. Аникин, Николай Александрович. Управление параллельным выполнением транзакций в распределенных гетерогенных базах данных при доступе из мобильной среды
the year: 2012 650. Ардентов, Андрей Андреевич. Алгоритмическое и программное обеспечение задач управления и обработки изображений
the year: 2012 |
