Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 19 results.

    1.
    No cover image available
    2.
    No cover image available
    Masking circuit faults and Trojan circuit injections using sat solvers A. Yu. Matrosova, V. А. Provkin, V. Z. Tychinskiy [et al.]

    by Matrosova, Anzhela Yu | Provkin, V. А | Tychinskiy, V. Z | Nikolaeva, Ekaterina A | Goshin, G. G.

    Source: Russian physics journalMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    Masking internal node logical faults and trojan circuits injections with using SAT solvers A. Y. Matrosova, V. Provkin

    by Matrosova, Anzhela Yu | Provkin, V. А.

    Source: 2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) : THETA 22nd edition, 21st -23rd May, Cluj-Napoca, Romania : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей В. З. Тычинский, В. В. Андреева

    by Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

    Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64 Е. А. Маро, О. С. Заикин

    by Маро, Екатерина Александровна | Заикин, Олег Сергеевич.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    SAT solvers application of deriving all test pairs detecting robust testable PDFs A. Y. Matrosova, V. V. Andreeva, V. Z. Tychinskiy

    by Matrosova, Anzhela Yu | Andreeva, V. V | Tychinskiy, V. Z.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ А. В. Ткачев, К. В. Калгин

    by Ткачев, Александр Витальевич | Калгин, Константин Викторович.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    8.
    Совершенный алгоритм алгоритмы для NP-трудных затрат Тим Рафгарден

    by Рафгарден, Тим.

    Series: Библиотека программистаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург [и др.] Питер 2021Other title: Algorithms Illuminated....Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем А. Ю. Матросова, В. А. Провкин, В. З. Тычинский [и др.]

    by Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Тычинский, Вячеслав Зиновьевич | Николаева, Екатерина Александровна | Гошин, Геннадий Георгиевич.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами А. Е. Доронин, К. В. Калгин

    by Доронин, Артемий Евгеньевич | Калгин, Константин Викторович.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора Д. И. Иванкин, В. В. Андреева

    by Иванкин, Дмитрий Ильич | Андреева, Валентина Валерьевна.

    Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Экспериментальное исследование решателя MiniSat Г. В. Кидярова

    by Кидярова, Галина Владимировна | Томский государственный университет Научное управление Лаборатории НУ.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Метод исключения переменной из КНФ Цейтина В. З. Тычинский

    by Тычинский, Вячеслав Зиновьевич.

    Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    15.
    No cover image available
    Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов А. В. Головин, В. А. Провкин

    by Головин, Артем Витальевич | Провкин, Виктор Алексеевич.

    Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    16.
    No cover image available
    Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах К. А. Серебренникова, В. В. Андреева

    by Серебренникова, Кристина Андреевна | Андреева, Валентина Валерьевна.

    Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей В. А. Провкин

    by Провкин, Виктор Алексеевич.

    Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    18.
    No cover image available
    Построение множества всех достижимых реакций комбинационных схем В. А. Провкин

    by Провкин, Виктор Алексеевич.

    Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    BDD and DNF based algorithms for constructing all testability functions of combinational circuit O. Golubeva

    by Golubeva, Olga.

    Source: International Siberian Conference on Control and Communications, May 13-15, 2021, Kazan, RussiaMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart