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