|
Total work:2121
1251. Мосиенко Максим Алексеевич. Автоматизированный перевод устаревших приложений на новые языки и платформы the year: 2006 1252. Нгуен Доан Куонг. Организация доступа, хранения и извлечения знаний в темпоральных базах данных the year: 2006 1253. Низамова Гузель Фанисовна. Математическое и программное обеспечение составления расписания учебных занятий на основе агрегативных генетических алгоритмов the year: 2006 1254. Омаров Омар Магадович. Методы и средства моделирования вычислительных процессов в многопроцессорных и распределенных системах на основе CF-сетей the year: 2006 1255. Пакулин Николай Витальевич. Формализация стандартов и тестовых наборов протоколов Интернета the year: 2006 1256. Плеханов Сергей Вадимович. Интеграция разнородных баз данных на основе многомерных моделей данных the year: 2006 1257. Плешачков Петр Олегович. Методы управления транзакциями в XML-ориентированных СУБД the year: 2006 1258. Полухин Александр Леонидович. Методы доступа к хронологическим данным в реляционных системах управления базами данных the year: 2006 1259. Пономарёв Денис Константинович. Синтаксическая однозначность при представлении знаний в логике первого порядка the year: 2006 1260. Приступа Андрей Викторович. Разработка программного комплекса имитационного моделирования СМО на основе объектно-ориентированной модели дискретно-событийного метода the year: 2006 1261. Протас Дмитрий Владимирович. Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем the year: 2006 1262. Расторгуев Иван Александрович. Решение задач фильтрации устойчивыми явными методами the year: 2006 1263. Ратников Сергей Владимирович. Доменно-ориентированная модель данных с учетом свойств упорядоченности the year: 2006 1264. Репьёв Алексей Владимирович. Программное обеспечение адаптивной системы дистанционного обучения the year: 2006 1265. Розинкин, Андрей Николаевич. Система защиты от массовых несанкционированных рассылок электронной почты на основе методов Data Mining the year: 2006 1266. Садчиков Сергей Михайлович. Модели, методы и инструментальные средства интерактивного контроля выполнения многошаговых учебных заданий the year: 2006 1267. Сальников Алексей Николаевич. Система разработки и поддержки исполнения параллельных программ the year: 2006 1268. Самохин Алексей Александрович. Исследование и реализация программного комплекса для решения задач большой размерности на примере рассеяния волн на сложных структурах the year: 2006 1269. Сафонов Константин Владимирович. Распознавание и синтаксический анализ контекстно-свободных языков программирования the year: 2006 1270. Сергеев Михаил Юрьевич. Разработка специального математического и программного обеспечения формирования многоуровневых контентов распределенных информационных систем the year: 2006 1271. Сидорова Елена Анатольевна. Методы и программные средства для анализа документов на основе модели предметной области the year: 2006 1272. Смирнов Виталий Валерьевич. Методы и средства верификации баз знаний в интегрированных экспертных системах the year: 2006 1273. Старцев Геннадий Владимирович. Программно-инструментальные средства для организации управления данными в учебно-методических процессах the year: 2006 1274. Стасенко Александр Павлович. Модели и реализация транслирующих компонентов системы функционального программирования the year: 2006 1275. Сыпин Алексей Александрович. Модель и методика обнаружения несанкционированных действий и атак в сетях ТСР/IP the year: 2006 1276. Тапкинов Батр Юрьевич. Структурно-предикативная система построения внутреннего представления программ, ориентированного на оптимизацию и распараллеливание the year: 2006 1277. Файбисович Михаил Львович. Исследование и реализация программных средств выбора альтернатив в среде Web the year: 2006 1278. Филатов Иван Юрьевич. Алгоритмы совместной обработки информации от бортовых источников летательного аппарата на основе логики взаимного расположения объектов the year: 2006 1279. Хорошилов, Алексей Владимирович. Спецификация и тестирование компонентов с асинхронным интерфейсом the year: 2006 1280. Худов Ким Андреевич. Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств the year: 2006 1281. Черемушкин Евгений Сергеевич. Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК the year: 2006 1282. Черных Игорь Геннадьевич. Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ the year: 2006 1283. Шапоренков, Дмитрий Александрович. Эффективные методы индексирования данных и выполнения запросов в системах управления базами данных в основной памяти the year: 2006 1284. Шаройко Олег Владимирович. Методы и средства учета и динамического регулирования уровня загрузки ресурсов телекоммуникационных сетей the year: 2006 1285. Шульженко Александр Михайлович. Исследование информационных зависимостей программ для распараллеливающих преобразований the year: 2006 1286. Ярных Андрей Валерьевич. Исследование и реализация методов построения корпоративных программных систем для поддержки изменяющихся бизнес-процессов the year: 2006 1287. Аджиев Алим Сапарович. Проектирование и реализация научных информационных систем на основе объектной модели данных. Информационная система Math-Net. RU the year: 2005 1288. Айман Мохамед Мофтах Кхамес Йоунес Бериша. Исследование и разработка методов извлечения знаний для создания интеллектуальных систем поддержки принятия решений the year: 2005 1289. Андрианов Игорь Александрович. Анализ и разработка способов индексирования текстов на основе обобщенных и неплотных суффиксных деревьев the year: 2005 1290. Балакин Александр Владимирович. Разработка архитектуры программного комплекса и методов информационной защиты мультимедиа-информации с использованием цифровых водяных знаков the year: 2005 1291. Баскаков Юрий Валерьевич. Обеспечение поддержки процесса повышения производительности компиляторов для архитектур с явно выраженной параллельностью при их совместной разработке the year: 2005 1292. Бебчик Алексей Михайлович. Разработка и исследование структурно-ориентированного редактора и компилятора запросов системы функционально-логического программирования the year: 2005 1293. Бебчик Антон Михайлович. Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования the year: 2005 1294. Бистерфельд Ольга Александровна. Методы представления категорированных отношений в реляционных базах данных территориально распределенных информационных систем the year: 2005 1295. Богданова Вера Геннадьевна. Методы и инструментальные средства программирования в булевых ограничениях the year: 2005 1296. Боровиков Сергей Николаевич. Метод построения нерегулярных тетраэдральных расчетных сеток в произвольных трехмерных областях с криволинейными границами the year: 2005 1297. Боханко, Андрей Сергеевич. Распределение регистров методом раскраски графа несовместимости для современных вычислительных систем the year: 2005 1298. Бурмистров Даниил Игоревич. Модели и методы для разработки инструментальных программных средств поддержки выполнения проектов в распределенном информационном пространстве the year: 2005 1299. Варшавский Павел Романович. Методы и программные средства поиска решения на основе аналогий в интеллектуальных системах поддержки принятия решений the year: 2005 1300. Васильев Иван Анатольевич. Методы и инструментальные средства построения семантических WEB-порталов the year: 2005 |