Add to Quick Collection
All 20 Results
Showing items 1 - 15 of 20.
Add All Items to Quick Collection
Source: Прикладная дискретная математика. 2023. № 62. С. 71-82
Type: статьи в журналах
Date: 2023
Description:
Доказано, что для любого натурального k любую булеву функцию можно реализовать двухполюсной контактной схемой, k-неизбыточной и допускающей k-проверяющий тест длины не более 3 относительно произвольны
... More
Source: Прикладная дискретная математика. 2019. № 43. С. 78-100
Type: статьи в журналах
Date: 2019
Description:
Доказаны следующие утверждения: для любого натурального k существует базис из булевых функций от не более чем 2k + 2 переменных (от не более чем 4k + 2 переменных), в котором любую булеву функцию, кро
... More
Source: Труды Института системного программирования РАН. 2018. Vol. 30, № 1. С. 41-54
Type: статьи в журналах
Date: 2018
Description:
In this paper, we tell about a web-service we would like to develop. There are two goals we aim at, when developing this service. The first one is to give researchers a platform, where they could cond
... More
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 85-86
Type: статьи в сборниках
Date: 2018
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 11-13
Type: статьи в сборниках
Date: 2018
Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.. Томск, 2017. С. 8-10
Type: статьи в сборниках
Date: 2017
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description:
Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например
... More
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description:
В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м
... More
Source: Новые информационные технологии в исследовании сложных структур : материалы 11-й международной конференции, 6–10 июня 2016 г.. Томск, 2016. С. 55-56
Type: статьи в сборниках
Date: 2016
Source: Proceedings 2015 IEEE : 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2015), 22-24 April 2015, Belgrade, Serbia. Los Alamitos [et.al.], 2015. P. 267-270
Type: статьи в сборниках
Date: 2015
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 107-110
Type: статьи в журналах
Date: 2015
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 59-60
Type: статьи в сборниках
Date: 2014
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 53-54
Type: статьи в сборниках
Date: 2014
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 82-89
Type: статьи в журналах
Date: 2014
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 151-155
Type: статьи в журналах
Date: 2013
