Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником

Бази даних


Електронна картотека аналітичного опису статей - результати пошуку

Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Знайдено у інших БД:Електронний каталог книг (8)
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>A=Анисимов, А. В.$<.>)
Загальна кількість знайдених документів : 3
Показані документи с 1 за 3
1.

Форма документа : Стаття із журналу
Шифр видання : 004.8:510.62:63
Автор(и) : Анисимов А. В., Джебелян Т., Лялецкий А. В., Попов Н.
Назва : Системы Theorema и автоматизация дедукции: сравнительный анализ
Місце публікування : Управляющие системы и машины. - 2011. - № 4 . - С. 59-63, 77. - ISSN 0130-5395 (Шифр У692668/2011/4). - ISSN 0130-5395
Примітки : Библиогр.: с. 63
УДК : 004.8:510.62:63
Предметні рубрики: Вища математика
Ключові слова (''Вільн.індекс.''): математичні знання--система theorema--порівняльний аналіз
Примірники :ВДЕТПСГН(1)
Вільні : ВДЕТПСГН(1)
Знайти схожі
2.

Форма документа : Стаття із журналу
Шифр видання : 519.72, 003.26
Автор(и) : Анисимов А. В., Новокшонов А. К.
Назва : Доверительные вычисления с использованием складывающей машины. I
Місце публікування : Кибернетика и системный анализ/ НАН Украины. - Киев, 2017. - № 5. - С. 3-13. - ISSN 0023-1274 (Шифр К909092/2017/5). - ISSN 0023-1274
Примітки : Библиогр.: с. 12-13
УДК : 519.72, 003.26
Предметні рубрики: Інформаційно-комунікаційні технології
Арифметика-- Програми
Ключові слова (''Вільн.індекс.''): цифровий підпис--гомоморфна криптографія--додавальна машина--обчислювальний ресурс
Анотація: В статье предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, процедурами складывающей машины, введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамической цифровой подписью, гомоморфной по сложению/вычитанию.
Знайти схожі
3.

Форма документа : Стаття із журналу
Шифр видання : 519.7
Автор(и) : Анисимов А. В.
Назва : Кодирование деревьев с помощью линейнх рекуррентных последовательностей
Місце публікування : Кибернетика и системный анализ/ НАН Украины. - Киев, 2017. - № 6. - С. 20-32: рис. - ISSN 0023-1274 (Шифр К909092/2017/6). - ISSN 0023-1274
Примітки : Библиогр.: с. 31-32
УДК : 519.7
Предметні рубрики: Кодування-- Обробка інформації-- Інформаційно-комунікаційні технології
Ключові слова (''Вільн.індекс.''): алгоритми--числа фібоначчі--обчислювальні пристрої
Анотація: В статье предлагается унифицированное кодирование упорядоченных бинарных деревьев с числовыми метками в вершинах с помощью линейных форм соседних членов линейных рекуррентных последовательностей - натуральных чисел. Дан краткий обзор возможных применений такого кодирования для задач обработки деревьев и криптографических преобразований.
Знайти схожі
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)