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