Total work:2087
1201. Кудрявцев Максим Владимирович. Автоматизация отладки параллельных программ the year: 2006 1202. Курочкин Игорь Анатольевич. Развитие программного обеспечения для моделирования переноса низкоэнергетических частиц в комплексе программ MARS the year: 2006 1203. Кутарба Анна Юрьевна. Построение семантического словаря для обработки англоязычных текстов the year: 2006 1204. Липатов Алексей Андреевич. Методы и программные средства интеллектуализации пользовательского интерфейса систем недоопределенных вычислений the year: 2006 1205. Лисс Владимир Александрович. Разработка математических и имитационных моделей надежности программного обеспечения систем реального времени the year: 2006 1206. Лопатникова Вера Борисовна. Совершенствование гибридных абдуктивных методов для создания интеллектуальных систем поддержки принятия решений the year: 2006 1207. Лукичев Александр Сергеевич. Реализация атрибутных грамматик в технологии SYNTAX the year: 2006 1208. Лю Юн. Компьютерная обучающая система китайской письменности the year: 2006 1209. Макеев Григорий Анатольевич. Математическое и программное обеспечение систем распределенной совместной фильтрации информации the year: 2006 1210. Максимов Сергей Владимирович. Модели и алгоритмы контекстно-словарного сжатия текстовых данных the year: 2006 1211. Маликов Олег Рустэмович. Исследование и разработка методики автоматического обнаружения уязвимостей в исходном коде программ на языке Си the year: 2006 1212. Малюх Владимир Николаевич. Методы организации функционального взаимодействия приложений в расширяемых графических САПР the year: 2006 1213. Меламед Александр Яковлевич. Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем the year: 2006 1214. Минасова Наталья Сергеевна. Создание программируемых учебных модулей на основе объектно-ориентированного подхода к хранению учебно-методической информации : применительно к самостоятельной работе студентов the year: 2006 1215. Мирза Наталия Сергеевна. Разработка алгоритмов построения, анализа и визуализации сверхбольших моделей поверхностей на основе мультитриангуляции the year: 2006 1216. Мозговой Максим Владимирович. Машинный семантический анализ русского языка и его применения the year: 2006 1217. Мосиенко Максим Алексеевич. Автоматизированный перевод устаревших приложений на новые языки и платформы the year: 2006 1218. Нгуен Доан Куонг. Организация доступа, хранения и извлечения знаний в темпоральных базах данных the year: 2006 1219. Низамова Гузель Фанисовна. Математическое и программное обеспечение составления расписания учебных занятий на основе агрегативных генетических алгоритмов the year: 2006 1220. Омаров Омар Магадович. Методы и средства моделирования вычислительных процессов в многопроцессорных и распределенных системах на основе CF-сетей the year: 2006 1221. Пакулин Николай Витальевич. Формализация стандартов и тестовых наборов протоколов Интернета the year: 2006 1222. Плеханов Сергей Вадимович. Интеграция разнородных баз данных на основе многомерных моделей данных the year: 2006 1223. Плешачков Петр Олегович. Методы управления транзакциями в XML-ориентированных СУБД the year: 2006 1224. Полухин Александр Леонидович. Методы доступа к хронологическим данным в реляционных системах управления базами данных the year: 2006 1225. Пономарёв Денис Константинович. Синтаксическая однозначность при представлении знаний в логике первого порядка the year: 2006 1226. Приступа Андрей Викторович. Разработка программного комплекса имитационного моделирования СМО на основе объектно-ориентированной модели дискретно-событийного метода the year: 2006 1227. Протас Дмитрий Владимирович. Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем the year: 2006 1228. Расторгуев Иван Александрович. Решение задач фильтрации устойчивыми явными методами the year: 2006 1229. Ратников Сергей Владимирович. Доменно-ориентированная модель данных с учетом свойств упорядоченности the year: 2006 1230. Репьёв Алексей Владимирович. Программное обеспечение адаптивной системы дистанционного обучения the year: 2006 1231. Розинкин, Андрей Николаевич. Система защиты от массовых несанкционированных рассылок электронной почты на основе методов Data Mining the year: 2006 1232. Садчиков Сергей Михайлович. Модели, методы и инструментальные средства интерактивного контроля выполнения многошаговых учебных заданий the year: 2006 1233. Сальников Алексей Николаевич. Система разработки и поддержки исполнения параллельных программ the year: 2006 1234. Самохин Алексей Александрович. Исследование и реализация программного комплекса для решения задач большой размерности на примере рассеяния волн на сложных структурах the year: 2006 1235. Сафонов Константин Владимирович. Распознавание и синтаксический анализ контекстно-свободных языков программирования the year: 2006 1236. Сергеев Михаил Юрьевич. Разработка специального математического и программного обеспечения формирования многоуровневых контентов распределенных информационных систем the year: 2006 1237. Сидорова Елена Анатольевна. Методы и программные средства для анализа документов на основе модели предметной области the year: 2006 1238. Смирнов Виталий Валерьевич. Методы и средства верификации баз знаний в интегрированных экспертных системах the year: 2006 1239. Старцев Геннадий Владимирович. Программно-инструментальные средства для организации управления данными в учебно-методических процессах the year: 2006 1240. Стасенко Александр Павлович. Модели и реализация транслирующих компонентов системы функционального программирования the year: 2006 1241. Сыпин Алексей Александрович. Модель и методика обнаружения несанкционированных действий и атак в сетях ТСР/IP the year: 2006 1242. Тапкинов Батр Юрьевич. Структурно-предикативная система построения внутреннего представления программ, ориентированного на оптимизацию и распараллеливание the year: 2006 1243. Файбисович Михаил Львович. Исследование и реализация программных средств выбора альтернатив в среде Web the year: 2006 1244. Филатов Иван Юрьевич. Алгоритмы совместной обработки информации от бортовых источников летательного аппарата на основе логики взаимного расположения объектов the year: 2006 1245. Хорошилов, Алексей Владимирович. Спецификация и тестирование компонентов с асинхронным интерфейсом the year: 2006 1246. Худов Ким Андреевич. Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств the year: 2006 1247. Черемушкин Евгений Сергеевич. Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК the year: 2006 1248. Черных Игорь Геннадьевич. Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ the year: 2006 1249. Шапоренков, Дмитрий Александрович. Эффективные методы индексирования данных и выполнения запросов в системах управления базами данных в основной памяти the year: 2006 1250. Шаройко Олег Владимирович. Методы и средства учета и динамического регулирования уровня загрузки ресурсов телекоммуникационных сетей the year: 2006 |