https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 К синтезу тестов по мутационному автомату https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378796 Wed 31 May 2017 09:52:44 KRAT ]]> Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием 4-8 июня 2018 г. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000631597 Wed 25 Jul 2018 14:54:49 KRAT ]]> Реализация и тестирование системы сигнализации на базе микроконтроллера STM32F407VG https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000617432 Wed 20 Dec 2017 09:20:48 KRAT ]]> Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000375414 Wed 15 Mar 2017 14:43:52 KRAT ]]> Различающие эксперименты с неинициальными недетерминированными автоматами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457847 Wed 13 Sep 2017 09:45:28 KRAT ]]> Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001000555 Wed 03 May 2023 15:09:17 KRAT ]]> К аппаратной реализации нейрона на ПЛИС https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651192 Wed 03 Apr 2019 15:00:00 KRAT ]]> Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа" https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651184 Wed 03 Apr 2019 14:59:57 KRAT ]]> Создание системы управления на основе нейронных сетей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651190 Wed 03 Apr 2019 14:59:56 KRAT ]]> Тестирование JAVA программ с использованием инструмента FSMTest2JUnit https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651175 Wed 03 Apr 2019 14:59:52 KRAT ]]> Синтез условных различающих экспериментов для автоматов с недетерминированным поведением https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000467451 Tue 29 Aug 2017 11:16:13 KRAT ]]> Реализация телекоммуникационной системы на базе методов квантовой криптографии https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926974 Tue 24 Jan 2023 10:06:21 KRAT ]]> Проверка свойства реактивности в Dart-реализации SMTP-клиента https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926979 Tue 24 Jan 2023 10:06:18 KRAT ]]> Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926977 Tue 24 Jan 2023 10:06:16 KRAT ]]> Разработка программного обеспечения для управления макетом установки квантовой связи https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926975 Tue 24 Jan 2023 10:06:15 KRAT ]]> Применение фреймворка TensorFlow для реализации клеточных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926971 Tue 24 Jan 2023 09:24:20 KRAT ]]> Синтез и оптимизация цифровых схем : учебно-методическое пособие. Ч. 1 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483279 Tue 21 Mar 2017 10:40:01 KRAT ]]> Система имитационного моделирования сети https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000479050 Tue 13 Jun 2017 09:37:22 KRAT ]]> Метод построения полного проверяющего теста для входо-выходных полуавтоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565125 Tue 01 Jun 2021 15:05:59 KRAT ]]> Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472831 Thu 21 Sep 2017 13:10:21 KRAT ]]> Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621830 Thu 15 Mar 2018 09:33:55 KRAT ]]> Поиск простой цепи ограниченной длины в условиях динамически изменяющихся весов дуг https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472677 Thu 14 Sep 2017 15:44:10 KRAT ]]> Синтез и оптимизация цифровых схем : учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика. Ч. 3 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000649180 Thu 04 Jul 2019 16:59:51 KRAT ]]> Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524767 Mon 30 Sep 2019 13:27:18 KRAT ]]> О трех эвристиках исключения неоднозначности при доопределении булевых функций https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000650637 Mon 25 Mar 2019 11:00:16 KRAT ]]> Непарное преобразование изображения в изображение с использованием CycleGAN на основе трансформера https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926842 Mon 23 Jan 2023 10:16:12 KRAT ]]> Программный комплекс моделирования телекоммуникационной сети https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472836 Mon 18 Sep 2017 11:40:04 KRAT ]]> Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000901533 Mon 17 Oct 2022 14:38:18 KRAT ]]> Тензорный подход к реализации случайных блочных клеточных автоматов: реализация в рамках TensorFlow https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926195 Mon 09 Jan 2023 11:14:37 KRAT ]]> К упрощению сколемовых функций в булевых формулах с кванторами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000449453 Mon 02 Sep 2019 10:39:22 KRAT ]]> Минимизация автоматов с таймаутами и временными ограничениями https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963 Mon 02 Apr 2018 17:24:17 KRAT ]]> Расширение словаря phpMorphy диалектными словами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000792185 Fri 29 Jan 2021 09:41:07 KRAT ]]> Дискретная математика : электронное учебное пособие https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243500 Fri 27 Mar 2020 16:46:03 KRAT ]]> Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой международной конференции, 7-9 сентября 2020 г https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000724158 Fri 25 Sep 2020 12:38:19 KRAT ]]> Синтез и оптимизация цифровых схем : учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика. Ч. 2 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000627838 Fri 25 May 2018 12:11:24 KRAT ]]> Автоматизация составления расписания для учебных заведений https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791474 Fri 15 Jan 2021 11:42:41 KRAT ]]> Тензорный подход к программной реализации клеточно-автоматной модели диффузии https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791479 Fri 15 Jan 2021 11:42:40 KRAT ]]> Применение методов обработки изображений для построения моделей активных оптических систем https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791481 Fri 15 Jan 2021 11:42:38 KRAT ]]> Система автоматизации трассировки печатных плат на основе нейронных сетей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791475 Fri 15 Jan 2021 11:42:35 KRAT ]]> Графический интерфейс системы автоматизированного составления расписания: доступ к БД и модуль ограничения ресурсов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791473 Fri 15 Jan 2021 11:42:33 KRAT ]]>