Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2013, № 1 за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2013, № 1 за назвою

Сортувати за: Порядок: Результатів:

  • Побудова секвенційних числень мультимодальних композиційно-номінативних логік 
    Шкільняк, О.С. (Проблеми програмування, 2013)
    Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти.
  • Программный симулятор поджелудочной железы 
    Григорян, Р.Д.; Аксенова, Т.В.; Маркевич, Р.А.; Дериев, И.И. (Проблеми програмування, 2013)
    Разработан автономный программный симулятор (ПС) для имитации динамики инсулин-глюкоза отношений (ИГО) в организме здорового человека. Основой ПС является количественная математическая модель (ММ) ИГО. Тестовые исследования ...
  • Реалізація концепції адаптивного мовлення та системи автоматичної підготовки контенту 
    Провотар, О.І.; Заміховський, А.А.; Галкін, О.В.; Верес, М.М.; Катеринич, Л.О. (Проблеми програмування, 2013)
    Запропоновано реалізацію концепції адаптивного мовлення за допомогою сервера потокового медіа для вирішення проблеми «Останньої милі» – забезпечення достатньої швидкості передачі даних користувачу при використанні сервісів ...
  • Рольова функціональність суб'єктів експертизи програмного забезпечення інформаційно-телекомунікаційних систем 
    Алексеєв, В.А.; Терещенко, В.С. (Проблеми програмування, 2013)
    Розглядаються варіанти рольової функціональності суб'єктів наукової та науково-технічної експертизи програмного забезпечення інформаційно-телекомунікаційних систем під час проведення експертних випробувань різними складами ...
  • Семантическая паутина и Wiki-системы 
    Глибовец, А.Н.; Глибовец, Н.Н.; Покопцев, Д.Е.; Сидоренко, М.О. (Проблеми програмування, 2013)
    Представлен аналитический обзор современных результатов, связанных с созданием семантического Webа и целого ряда проблем, систем, технологий, активно разрабатываемых в общем направлении развития Интернета. Особое внимание ...
  • Титульні сторінки та зміст 
    Автор відсутній (Проблеми програмування, 2013)

Пошук


Розширений пошук

Перегляд

Мій обліковий запис