Вы здесь

Главная

Технологии Microsoft в теории и практике программирования

Связанные издания:

GraphCut: задача минимального разреза графа в проблеме генерации текстур
REFAL-подобные конструкции и обработка поисковых запросов на естественном языке
Автоматическая верификация программ линейной алгебры
Автоматическая верификация программ на языке C-LIGHT
Адаптивная система поддержки дистанционного обучения программированию: вводный курс и методы тестирования
Алгоритмы проверки мультиагентных моделей, основанные на теории хорошо структурированных систем
Анализ зависимостей по данным для многомерных массивов с учетом векторов направлений
Биоуправление с визуальной и звуковой обратной связью
Визуализация данных радиоактивного каротажа (C/O-каротажа) и расчет коэффициента нефтенасы енности
Графическое представление результатов анализа в пакете программ по поиску регуляторных фрагментов в ДНК
Диалог на естественном языке и базы данных
Задача разложимости элементарных теорий и проблематика минимализации их аксиом
Интегральная система анализа генетической информации Explain
Использование автоматного подхода для построения компилятора переднего плана
Использование уровней детализации при визуализации объемных данных
Исследование деструктивных информационных воздействий
Исследование методов визуализации в процессах биоуправления
Исследование последовательностей ДНК с помо ью некоторых совершенных кодов
Исследовательская система анализа текстов на естественном языке
Корректное упорядочение бизнес-правил на основе информационных зависимостей
Методические и программные средства поддержки дистанционного обучения программированию
Методы логического анализа и представления смысла текста на естественном языке
Моделирование знаний студента в адаптивной системе дистанционного обучения
Моделирование и верификация взаимодействия функциональностей в телефонных сетях
Моделирование и верификация распределенных систем, представленных на языке SDL
Модифицированный генетический алгоритм для оптимизации цепочки поставок и транспортной логистики
Нечеткий решаю ий алгоритм
Обоб енные сигналы Фрэнка в применении к анализу последовательностей ДНК
Обработка данных, полученных с GPS-приемников
О задаче позиционирования мобильного устройства в пространстве на основе изображений, получаемых от его видеокамеры
Особенности интеграции данных из разных источников
Повышение надежности предсказания сайтов связывания транскрипционных факторов с помо ью экспериментов CHIP-ON-CHIP
Поиск по образцу для валидации бизнес-правил
Политики распределения задач в распределенной тестирую ей системе
Программное обеспечение интерпретации прибора индукционного каротажа
Проектирование и разработка программной системы ExPlain для анализа регуляции генной экспрессии
Разработка автоматической системы проверки торговых стратегий на фондовом рынке
Разработка и реализация транслятора с языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Разработка универсальной системы построения и администрирования лабораторных Web-сайтов
Распределенная система хранения и поиска информации для Интернет-приложений
Реализация преобразования неупорядоченного набора отрезков в набор связных контуров
Реализация универсальной версии системы "Discovery"
Ретрансляция внутреннего представления в системе функционального программирования SFP
Сжатие битовых линий и интерполяционный подход к сжатию видео
Симулятор иерархических временных типизированных сетей
Система анализа документооборота финансовых организаций с целью минимизации кредитного риска и противодействия легализации доходов, полученных преступным путем
Система отладки и визуализации моделей коммуникационных протоколов, представленных иерархическими временными типизированными сетями Петри
Системы дистанционного обучения и контроля знаний в области программирования и информатиик (Интернет-Университет) на базе ИСИ СО РАН
Словарный компонент в технологии конструирования информационных систем
Среда визуального функционального программирования