Search Results - Peterson’s algorithm :: Harvester open publications of NAS Ukraine

1

Peterson’s Algorithm total correctness proof in IPCL by Zhygallo, A.A.

Published in Проблеми програмування (2016)

Get full text

Article

2

Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

Published 2018

Get full text

Article

3

Peterson&#039;s Algorithm total correctness proof in IPCL by A. A. Zhygallo

Published 2016

Get full text

Article

4

Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация by Фейзиев, Ф.Г.

Published in Электронное моделирование (2015)

Get full text

Article

5

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду by Фейзиев, Ф.Г., Мехтиева, М.Р.

Published in Электронное моделирование (2018)

Get full text

Article

6

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду (двоичный случай)... by Фейзиев, Ф.Г., Мехтиева, М.Р., Самедова, З.А.

Published in Электронное моделирование (2016)

Get full text

Article

7

Алгоритм сегментации слов на основе поиска кратчайшего пути в графе by Ландэ, Д.В., Березин, Б.А., Павленко, О.Ю.

Published in Реєстрація, зберігання і обробка даних (2017)

Get full text

Article

8

Просторовий аналіз та моделювання поширення Aconitum moldavicum в Українських Карпатах та на прилеглих територіях з наголосом на використані алгоритми... by Novikov, A., Mitka, J.

Published 2020

Get full text

Article

9

Data analysis and anomalies detection in cattle behavior by Stetsyuk, P., Stovba, V., Shevchuk, V.

Published in Проблеми керування та інформатики (2025)

Get full text

Article

10

Energy dissipation in helicon plasma at the near field of an antenna by Olshansky, V.

Published in Вопросы атомной науки и техники (2018)

Get full text

Article

11

Кодирование и восстановление последовательностей by Антоненко, А.О.

Published 2006

Get full text

12

Вплив кліматичних і топографічних чинників на поширення лелеки чорного (Ciconia nigra (Linnaeus, 1758) в Україні... by Фесенко, Г.В., Калюжна, М.О., Хоменко, С.В.

Published in Бранта: Cборник научных трудов Азово-Черноморской орнитологической станции (2012)

Get full text

Article

13

Об экспоненциальной устойчивости комплекснозначной нейронной сети на временной шкале by Мартынюк, А.А., Лукьянова, Т.А.

Published in Доповіді НАН України (2011)

Get full text

Article

14

Quantum Symmetries for Exceptional SU(4) Modular Invariants Associated with Conformal Embeddings by Coquereaux, R., Schieber, G.

Published in Symmetry, Integrability and Geometry: Methods and Applications (2009)

Get full text

Article

15

Simple flexible polymers in a spherical cage by Marenz, M., Zierenberg, J., Arkın, H., Janke, W.

Published in Condensed Matter Physics (2012)

Get full text

Article

16

Задача параметричної оптимізації грейдів в нетарифних системах оплати праці by Заріцький, О.В.

Published in Проблемы управления и информатики (2022)

Get full text

Article

17

23-й Міжнародний день архівів та 7-а осіння архівна школа Міжнародного інституту архівної справи міст Трієста та Марібору... by Ус, О.М.

Published in Архіви України (2014)

Get full text

Article

18

Influence of the continuum determination method on the mean transmission in the Lyα forest by Torbaniuk, O.

Published in Advances in Astronomy and Space Physics (2016)

Get full text

Article

19

Оптимизация параметров и режимов управления движением двуногого шагающего робота by Демыдюк, М.В., Литвин, Б.А.

Published in Проблемы управления и информатики (2016)

Get full text

Article

20

Сравнительный анализ методов определения оптических параметров вод Черного моря по данным спутниковых измерений... by Суетин, В.С., Королев, С.Н., Суслин, В.В., Кучерявый, А.А.

Published in Морской гидрофизический журнал (2011)

Get full text

Article

Search Results - Peterson’s algorithm

Peterson’s Algorithm total correctness proof in IPCL by Zhygallo, A.A.

Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

Peterson&amp;#039;s Algorithm total correctness proof in IPCL by A. A. Zhygallo

Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация by Фейзиев, Ф.Г.

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду by Фейзиев, Ф.Г., Мехтиева, М.Р.

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду (двоичный случай)... by Фейзиев, Ф.Г., Мехтиева, М.Р., Самедова, З.А.

Алгоритм сегментации слов на основе поиска кратчайшего пути в графе by Ландэ, Д.В., Березин, Б.А., Павленко, О.Ю.

Просторовий аналіз та моделювання поширення Aconitum moldavicum в Українських Карпатах та на прилеглих територіях з наголосом на використані алгоритми... by Novikov, A., Mitka, J.

Data analysis and anomalies detection in cattle behavior by Stetsyuk, P., Stovba, V., Shevchuk, V.

Energy dissipation in helicon plasma at the near field of an antenna by Olshansky, V.

Кодирование и восстановление последовательностей by Антоненко, А.О.

Вплив кліматичних і топографічних чинників на поширення лелеки чорного (Ciconia nigra (Linnaeus, 1758) в Україні... by Фесенко, Г.В., Калюжна, М.О., Хоменко, С.В.

Об экспоненциальной устойчивости комплекснозначной нейронной сети на временной шкале by Мартынюк, А.А., Лукьянова, Т.А.

Quantum Symmetries for Exceptional SU(4) Modular Invariants Associated with Conformal Embeddings by Coquereaux, R., Schieber, G.

Simple flexible polymers in a spherical cage by Marenz, M., Zierenberg, J., Arkın, H., Janke, W.

Задача параметричної оптимізації грейдів в нетарифних системах оплати праці by Заріцький, О.В.

23-й Міжнародний день архівів та 7-а осіння архівна школа Міжнародного інституту архівної справи міст Трієста та Марібору... by Ус, О.М.

Influence of the continuum determination method on the mean transmission in the Lyα forest by Torbaniuk, O.

Оптимизация параметров и режимов управления движением двуногого шагающего робота by Демыдюк, М.В., Литвин, Б.А.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication

Peterson's Algorithm total correctness proof in IPCL by A. A. Zhygallo