Всего работ: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 |