|
Загалом робіт:2062
801. Игнацкая, Ирина Владимировна. Методология моделирования на основе графа взаимодействия при сопровождении программной системы
Рік: 2010 802. Идрисов Ренат Искандерович. Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов
Рік: 2010 803. Карташев, Всеволод Владимирович. Алгоритмическое и программное обеспечение комплексов для зондовой микроскопии
Рік: 2010 804. Кичигин Дмитрий Юрьевич. Метод редукции тестового набора для интеграционного тестирования
Рік: 2010 805. Ключников, Илья Григорьевич (1983-). Выявление и доказательство свойств функциональных программ методами суперкомпиляции
Рік: 2010 806. Коваленко, Дмитрий Сергеевич. Методы и программные средства обучения алгоритмов распознавания участков фазовых траекторий
Рік: 2010 807. Козырева Алина Владимировна. Алгоритмы и программный инструментарий для задачи позиционирования мобильных устройств на основе данных от встроенной фотокамеры
Рік: 2010 808. Кокорин Павел Петрович. Исследование и разработка инфологического подхода для построения тематических антологий при мониторинге интернет-среды
Рік: 2010 809. Копылов, Михаил Васильевич. Разработка специального математического и программного обеспечения многозвенных интранет-ориентированных систем обработки транзакций
Рік: 2010 810. Корныхин, Евгений Валерьевич. Построение тестовых программ для проверки подсистем управления памяти микропроцессоров
Рік: 2010 811. Кравцов, Александр Васильевич. Математическое и программное обеспечение формирования окружающей обстановки тренажерных комплексов
Рік: 2010 812. Кривцов, Олег Александрович. Методы, алгоритмы и программная система трекинга головы человека на видеокадрах, основанные на геометрических текстурных моделях
Рік: 2010 813. Кружилов Иван Сергеевич. Методы и программные средства повышения эффективности распознавания групп звезд в автономной астронавигации
Рік: 2010 814. Кручинин, Владимир Викторович. Методы, алгоритмы и программное обеспечение комбинаторной генерации
Рік: 2010 815. Лаврухин Виталий Сергеевич. Методы и программные средства поддержки принятия решений на основе нечёткого обратного вывода
Рік: 2010 816. Лапин Виталий Александрович. Исследование и разработка методов контроля качества образования на основе планов
Рік: 2010 817. Мазин, Максим Александрович. Автоматное программирование для среды языково-ориентированного программирования
Рік: 2010 818. Марьин, Сергей Владимирович. Интеллектуальная платформа управления композитными приложениями в распределённых вычислительных средах
Рік: 2010 819. Мигинский Денис Сергеевич. Методы и средства реконструкции сетевых моделей сложных биологических систем
Рік: 2010 820. Муханов, Руслан Салаватович. Разработка и реализация инструментария аспектно-ориентированного программирования для академической версии .NET
Рік: 2010 821. Нгуен Ван Хунг. Исследование и разработка алгоритмов и программ автоматического распознавания ограниченного набора команд вьетнамской речи
Рік: 2010 822. Немсцверидзе Зураб Шамильевич. Модели и методы проектирования программных систем анализа и контроля знаний
Рік: 2010 823. Никонов Вячеслав Викторович. Методика и информационно-вычислительный комплекс интеллектуальной поддержки принятия решений на основе механизма немонотонного логического вывода и нейросетевых технологий
Рік: 2010 824. Овчинников Андрей Михайлович. РАЗРАБОТКА АЛГОРИТМИЧЕСКИХ И ПРОГРАММНЫХ СРЕДСТВ РЕГИСТРАЦИИ И ВИЗУАЛИЗАЦИИ ЛОКАЛЬНЫХ ГИПЕРСПЕКТРАЛЬНЫХ ДАННЫХ
Рік: 2010 825. Орлов Сергей Владимирович. Инструментальное средство разработки интеллектуальных систем поддержки решений задач диагностики
Рік: 2010 826. Пачковская Светлана Валерьевна. Формирование контента реферата при автоматическом реформировании научного текста
Рік: 2010 827. Попов, Сергей Геннадьевич. Построение оптимального репозитория атрибутов и отношений для интеграции реляционных баз данных
Рік: 2010 828. Прошин, Евгений Николаевич. Комплексная технология модификации программных систем обработки и хранения данных с использованием индексирования
Рік: 2010 829. Раевский, Алексей Викторович. Построение многопоточного криптоядра в операционных системах с вытесняющей многозадачностью
Рік: 2010 830. Раскладкин, Максим Константинович. Методы и средства автоматизированного сопряжения функциональных узлов и блоков в приложениях для реконфигурируемых вычислителей
Рік: 2010 831. Рачинский Евгений Станиславович. Анализ производительности распределенных информационных систем
Рік: 2010 832. Редькина Александра Васильевна. Программные средства построения систем поддержки обучения решению задач
Рік: 2010 833. Романовский Константин Юрьевич. Метод повторного использования документации семейств программных продуктов
Рік: 2010 834. Ронжин, Андрей Леонидович. Методы и программные средства многоканальной дистанционной обработки речи и их применение в интерактивных многомодальных приложениях
Рік: 2010 835. Сай Кхин Аунг Тинт. Адаптивное управление настройками в контуре аспектно-ориентированной архитектуры средств обучения
Рік: 2010 836. Семченков Сергей Юрьевич. Алгоритмы проектирования систем многомерного анализа данных, основанных на OLAP технологии
Рік: 2010 837. Силаков Денис Владимирович. Методы информационно-аналитической поддержки разработки и использования стандартов на интерфейсы операционной системы Linux
Рік: 2010 838. Сонькин, Дмитрий Михайлович. Математическое и программное обеспечение системы диспетчерского управления таксопарком на базе мультиканальных навигационных терминалов
Рік: 2010 839. Сутырин Павел Георгиевич. Алгоритмы обработки графовых описаний бесконтекстных языков
Рік: 2010 840. Сухов, Антон Александрович. Программное обеспечение системы повышения качества интерфейса компьютерных тренажерных систем
Рік: 2010 841. Тарабухина Надежда Константиновна. Методы извлечения бизнес-логики на основе семантических свойств программ
Рік: 2010 842. Тарасов Евгений Борисович. Математическое и программное обеспечение многоролевых человеко-машинных интерфейсов для ситуационного управления сложными организационно-техническими объектами : на примере грузовой железнодорожной станции
Рік: 2010 843. Терентьев, Сергей Валерьевич. Разработка и реализация основанных на интервальной арифметике алгоритмов компьютерного исследования динамических систем
Рік: 2010 844. Тимченко, Вадим Андреевич. Преобразование классов семантических сетей
Рік: 2010 845. Титков Антон Вячеславович. Система построения генераторов комбинаторных множеств на основе деревьев и/или
Рік: 2010 846. Томилов Иван Николаевич. Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем
Рік: 2010 847. Трошин Сергей Владимирович. Мониторинг работы пользователей корпоративных сетей
Рік: 2010 848. Турдаков Денис Юрьевич. Методы и программные средства разрешения лексической многозначности терминов на основе сетей документов
Рік: 2010 849. Тютюнник, Михаил Борисович. Разработка и исследование продукционной системы параллельного программирования
Рік: 2010 850. Усов, Тимофей Михайлович. Методы преобразования клиент-серверного программного обеспечения в сервис-ориентированное : на примере геоинформационных систем
Рік: 2010 |
