The Non-Deterministic Strategy of Rewriting
Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций. The Algebraic Programming System is described – the first term rewri...
Збережено в:
| Опубліковано в: : | Управляющие системы и машины |
|---|---|
| Дата: | 2013 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/83220 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
The Non-Deterministic Strategy of Rewriting
за авторством: A. A. Letichevsky, та інші
Опубліковано: (2013)
за авторством: A. A. Letichevsky, та інші
Опубліковано: (2013)
Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)
Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
Micromechanics as a testbed for evaluation of artificial Intelligence methods in manufacturing
за авторством: Kussul, E.M., та інші
Опубліковано: (2013)
за авторством: Kussul, E.M., та інші
Опубліковано: (2013)
Нейросетевые распределенные представления для интеллектуальных информационных технологий и моделирования мышления
за авторством: Гриценко, В.И., та інші
Опубліковано: (2013)
за авторством: Гриценко, В.И., та інші
Опубліковано: (2013)
Адаптивное управление обучением на основе синергетического подхода
за авторством: Мазурок, Т.Л.
Опубліковано: (2013)
за авторством: Мазурок, Т.Л.
Опубліковано: (2013)
Моделирование инверсионно-хронопотенциометрического процесса совместного измерения массовой концентрации двух тяжелых металлов
за авторством: Татаринов, А.Э., та інші
Опубліковано: (2013)
за авторством: Татаринов, А.Э., та інші
Опубліковано: (2013)
Алгоритм последовательного определения текстурных признаков, характеризующих однородные текстурные области, для задачи сегментации зображений
за авторством: Гольцев, А.Д., та інші
Опубліковано: (2013)
за авторством: Гольцев, А.Д., та інші
Опубліковано: (2013)
Простая архитектура нейронной сети для распознавания рукописных цифр
за авторством: Лукович, В.В.
Опубліковано: (2013)
за авторством: Лукович, В.В.
Опубліковано: (2013)
Cloud computing и облачная модель предоставления ИТ-услуг
за авторством: Гриценко, В.И., та інші
Опубліковано: (2013)
за авторством: Гриценко, В.И., та інші
Опубліковано: (2013)
Методика построения и применения вероятностных сетевых моделей
за авторством: Бидюк, П.И., та інші
Опубліковано: (2013)
за авторством: Бидюк, П.И., та інші
Опубліковано: (2013)
Информационная технология улучшения качества самоконтроля сахарного диабета
за авторством: Ефимов, А.С., та інші
Опубліковано: (2013)
за авторством: Ефимов, А.С., та інші
Опубліковано: (2013)
Модели когнитивных архитектур и процессов на основе парадигмы предельных обобщений
за авторством: Прокопчук, Ю.А.
Опубліковано: (2013)
за авторством: Прокопчук, Ю.А.
Опубліковано: (2013)
Формальная модель базовых сущностей "орграф значений" и "структурная энергия"
за авторством: Прокопчук, Ю.А.
Опубліковано: (2013)
за авторством: Прокопчук, Ю.А.
Опубліковано: (2013)
Подход рандомизации в задачах восстановления сигналов по результатам непрямых измерений
за авторством: Ревунова, Е.Г.
Опубліковано: (2013)
за авторством: Ревунова, Е.Г.
Опубліковано: (2013)
Распознавание именованных сущностей с использованием контекстных векторов
за авторством: Слипченко, С.В.
Опубліковано: (2013)
за авторством: Слипченко, С.В.
Опубліковано: (2013)
Применение метода группового учета аргументов для построения системы управления автономным мобильным роботом
за авторством: Тырышкин, А.В., та інші
Опубліковано: (2009)
за авторством: Тырышкин, А.В., та інші
Опубліковано: (2009)
Некоторые аспекты разработки социальных приложений, адаптированных к социальным сетям в задачах Интернет-зависимости
за авторством: Дубовенко, М.Н., та інші
Опубліковано: (2012)
за авторством: Дубовенко, М.Н., та інші
Опубліковано: (2012)
Конструирование системы информационной поддержки управленческих решений
за авторством: Самойленко, А.А.
Опубліковано: (2014)
за авторством: Самойленко, А.А.
Опубліковано: (2014)
Технология разметки звуковых файлов с использованием неточного текстового сопровождения
за авторством: Пилипенко, В.В.
Опубліковано: (2012)
за авторством: Пилипенко, В.В.
Опубліковано: (2012)
Имитационный эксперимент как средство исследования эффективности методов моделирования по данным наблюдений
за авторством: Ефименко, С.Н., та інші
Опубліковано: (2009)
за авторством: Ефименко, С.Н., та інші
Опубліковано: (2009)
Регистрация и анализ слабых магнитных полей, созданных в воздухе физическими и биологическими объектами с наночастицами железа и других материалов
за авторством: Войтович, И.Д., та інші
Опубліковано: (2012)
за авторством: Войтович, И.Д., та інші
Опубліковано: (2012)
Моделирование особенностей спонтанной украинской речи в системах автоматического распознавания речевого сигнала
за авторством: Робейко, В.В.
Опубліковано: (2012)
за авторством: Робейко, В.В.
Опубліковано: (2012)
Компьютерная технология проведения социопсихофизиологических исследований
за авторством: Кузьмина, К.И., та інші
Опубліковано: (2010)
за авторством: Кузьмина, К.И., та інші
Опубліковано: (2010)
СКВИД-магнитометрическая система контроля за магнитными контрастирующими агентами и управляемым транспортом лекарств на магнитных носителях: особенности технологии преобразования информации и ее программная реализация
за авторством: Войтович, И.Д., та інші
Опубліковано: (2009)
за авторством: Войтович, И.Д., та інші
Опубліковано: (2009)
Методы и модели для анализа корпуса документов нормативных актов в задачах электронного управления
за авторством: Помилуйко, П.А., та інші
Опубліковано: (2012)
за авторством: Помилуйко, П.А., та інші
Опубліковано: (2012)
Побудова інтерактивного електронного навчального посібника в системі управління контентом E107
за авторством: Конюшенко, О.В., та інші
Опубліковано: (2014)
за авторством: Конюшенко, О.В., та інші
Опубліковано: (2014)
АНТИСТРЕСС – новая информационная технология управления регуляторными системами организма человека на основе биологической обратной связи
за авторством: Файнзильберг, Л.С., та інші
Опубліковано: (2011)
за авторством: Файнзильберг, Л.С., та інші
Опубліковано: (2011)
Моделирование результатов квантово-химических вычислений в системе Visual Quantum
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
Информационные технологии исследования и управления физическим здоровьем человека
за авторством: Пустовойт, О.Г., та інші
Опубліковано: (2010)
за авторством: Пустовойт, О.Г., та інші
Опубліковано: (2010)
Метод построения информационной технологии диагностики состояния сложного технологического процесса
за авторством: Левыкин, В.М., та інші
Опубліковано: (2014)
за авторством: Левыкин, В.М., та інші
Опубліковано: (2014)
Математическое моделирование динамики геохимических процессов загрязнения водных горизонтов
за авторством: Богаенко, В.А., та інші
Опубліковано: (2009)
за авторством: Богаенко, В.А., та інші
Опубліковано: (2009)
Розробка комп'ютерного модуля для оцінки і прогнозування економічної ефективності стратегій діагностики респіраторних вірусних інфекцій людини
за авторством: Соловйов, С.О., та інші
Опубліковано: (2014)
за авторством: Соловйов, С.О., та інші
Опубліковано: (2014)
Кластеризация слов при построении лингвистической модели для автоматического распознавания речевого сигнала
за авторством: Сажок, Н.Н.
Опубліковано: (2012)
за авторством: Сажок, Н.Н.
Опубліковано: (2012)
Алгоритм управления потоком в аэродинамической трубе
за авторством: Ли Вэй, та інші
Опубліковано: (2014)
за авторством: Ли Вэй, та інші
Опубліковано: (2014)
Оптимизация технологии магнитокардиографического картирования
за авторством: Сосницкий, В.Н., та інші
Опубліковано: (2010)
за авторством: Сосницкий, В.Н., та інші
Опубліковано: (2010)
Информационный профиль психического статуса здоровья
за авторством: Козловская, В.А., та інші
Опубліковано: (2014)
за авторством: Козловская, В.А., та інші
Опубліковано: (2014)
Каналы связи как средство интеграции территориально распределенных структур
за авторством: Лисецкий, Ю.М.
Опубліковано: (2014)
за авторством: Лисецкий, Ю.М.
Опубліковано: (2014)
Информационные технологии исследования и управления физическим здоровьем человека
за авторством: Пустовойт, О.Г., та інші
Опубліковано: (2010)
за авторством: Пустовойт, О.Г., та інші
Опубліковано: (2010)
Информационная технология ускоренной разработки информационных систем
за авторством: Евланов, М.В., та інші
Опубліковано: (2014)
за авторством: Евланов, М.В., та інші
Опубліковано: (2014)