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