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