Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 32 results.

    1.
    No cover image available
    Применение фреймворка TensorFlow для реализации клеточных автоматов Н. А. Матолыгина, М. Л. Громов, А. К. Матолыгин, С. Н. Торгаев

    by Матолыгина, Наталия Андреевна | Громов, Максим Леонидович | Матолыгин, Арсений Константинович | Торгаев, Станислав Николаевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Using the TensorFlow framework for the implementation of cellular automata.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Проверка свойства реактивности в Dart-реализации SMTP-клиента А. П. Сотников, М. Л. Громов, С. А. Прокопенко, Н. В. Шабалдина

    by Сотников, Александр Павлович | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Checking input-output behaviour of the SMPT-client Dart implementation.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов А. В. Лапутенко, Е. М. Винарский, А. С. Твардовский

    by Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович | Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Experimental comparison of equivalence checking methods for extended automata.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Solving analysis and synthesis problems for timed finite state machines based on their fsm abstractions.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    MM estimation of distribution parameter of the duration of unextendable random dead time in the recurrent semi-synchronous event flow A. M. Gortsev, A. V. Vetkina

    by Gortsev, Alexander M | Vetkina, A. V.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 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
    6.
    No cover image available
    Применение модели расширенного автомата для обучения алгоритму поиска фиктивных переменных булевой функции В. И. Тишкова, С. А. Прокопенко

    by Тишкова, Валерия Ивановна | Прокопенко, Светлана Анатольевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Application of the extended fsm for learning the algorithm for finding dummy variables of a Boolean function.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Уравнения моментов для оценки длительности мертвого времени в коррелированном и рекуррентном обобщенных MAP-потоках событий А. В. Кеба, Л. А. Нежельская

    by Кеба, Анастасия Владимировна | Нежельская, Людмила Алексеевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Equations of moments for estimation of dead time in correlated and recurrent generalized MAP.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    Непараметрическое оценивание функции надежности с учетом информации о моментах времени безотказной работы невосстанавливаемого элемента Ю. Г. Дмитриев, Г. М. Кошкин

    by Дмитриев, Юрий Глебович | Кошкин, Геннадий Михайлович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Nonparametric estimation of the reliability function using information on the moments of failure-free operation time for non-restorable element.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    Непараметрические полурекуррентные алгоритмы идентификации и управления в ARX-моделях Г. М. Кошкин, И. Г. Пивен

    by Кошкин, Геннадий Михайлович | Пивен, Иосиф Годулович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Nonparametric semi-recursive identification and control algorithms in ARX-models.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Разработка программного обеспечения для управления макетом установки квантовой связи С. Н. Торгаев, Д. Е. Каширский, М. Л. Громов, А. Е. Иванов

    by Торгаев, Станислав Николаевич | Каширский, Данила Евгеньевич | Громов, Максим Леонидович | Иванов, Андрей Евгеньевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Development of software to control the layout of a quantum communication installation.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Проверка разрешимости уравнений относительно конкатенации для полуавтоматов с таймаутами Е. В. Широкова, Н. В. Евтушенко

    by Широкова, Екатерина Владимировна | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Checking the solvability of equations over the concatenation for automata with timeouts.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Устройство автоматизации процесса исследования метода ИК-спектроскопии для диагностики внутричерепных гематом Е. А. Юрченко

    by Юрченко, Екатерина Алексеевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Device for automation of the process of investigation of ir spectroscopy method for diagnostics of ecncranial hematoma.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: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Correction of errors in cryptographic keys obtained by quantum cryptography methods using tree parity machines.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером А. П. Сотников, Н. В. Шабалдина, М. Л. Громов [и др.]

    by Сотников, Александр Павлович | Шабалдина, Наталия Владимировна | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Redundant interaction experimental identification of the Dart-implementation of the SMTP client with the server.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: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Iterative algorithm for determining the optimal volume of a batch of goods with a limited implementation period.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    16.
    No cover image available
    Моделирование поля отраженной солнечной радиации для безоблачной атмосферы И. Ю. Гендрина

    by Гендрина, Ирина Юрьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Simulation of reflected solar radiation through the cloudless atmosphere.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Применение информационно-измерительной системы УСКД-АКВА для мониторинга водных акваторий беспилотными автоматизированными аппаратами БАСПИ-1 Е. В. Ланин, В. А. Казанин, Д. А. Пидотова [и др.]

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Application of the USCD-AQUA information and measurement system for monitoring water areas by unmanned automated BASPI-1 devices.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: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Low complexity algorithm for identification of behavioral patterns.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    Проблемы жизненного цикла проектных сущностей в стандарте OMG Essence Д. О. Змеев, Л. С. Иванова

    by Змеев, Денис Олегович | Иванова, Лидия Сергеевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Project entities lifecycle issues in OMG Essence standart.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    Пространственный анализ потока данных спектрометрического гамма-каротажа методом выявления структур С. С. Катаева, С. Г. Катаев, Н. П. Сенчина [и др.]

    by Катаева, София Семеновна | Катаев, Сергей Григорьевич | Сенчина, Наталия Петровна | Миллер, Андрей Аскольдович | Ермолин, Евгений Юрьевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Spatial analysis of the data flow of spectrometric gamma-ray logging by the method of revealing structure.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    21.
    No cover image available
    Обзор образовательных игр И. Д. Шульга

    by Шульга, Ирина Дмитриевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Overview of educational games.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    22.
    No cover image available
    Быстродействие транспортного соединения в условиях соперничества за полосу пропускания П. Х. К. Карим, П. А. Михеев, П. В. Приступа, С. П. Сущенко

    by Карим, Пешанг Хасан Карим | Михеев, Павел Андреевич | Приступа, Павел Викторович | Сущенко, Сергей Петрович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Performance of a transport connection in conditions of competition for bandwidth.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    23.
    No cover image available
    Непарное преобразование изображения в изображение с использованием CycleGAN на основе трансформера Ч. Гу, М. Л. Громов

    by Гу, Чунюй | Громов, Максим Леонидович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Unpaired image-to-image conversion using cyclegan based transformer.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    24.
    No cover image available
    Робастная экстраполяция в дискретных системах с мультипликативными возмущениями и интервальными параметрами К. С. Ким, В. И. Смагин

    by Ким, Константин Станиславович | Смагин, Валерий Иванович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Robust extrapolation in discrete systems with multiplicative perturbations and interval parameters.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    25.
    No cover image available
    Оценивание нетто-резервов в непрерывных актуарных моделях Г. М. Кошкин

    by Кошкин, Геннадий Михайлович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Estimation of the net premium reserves in comtinuous actuarial models.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    Однолинейная система массового обслуживания с входящим MAP-потоком событий А. М. Горцев, Л. А. Нежельская

    by Горцев, Александр Михайлович | Нежельская, Людмила Алексеевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Single-line queuing system with an incoming map event flows.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    27.
    No cover image available
    Моделирование электромагнитного рассеяния на структурах, составленных из тонких идеально проводящих и диэлектрических цилиндров А. Г. Дмитренко, О. М. Балашова

    by Дмитренко, Анатолий Григорьевич | Балашова, Ольга Михайловна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Simulating of electromagnetic scattering by structures cosisting of thin perfectly conducting and dielectric cylinders.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    28.
    No cover image available
    Реализация простейших алгоритмов квантовой обработки изображений М. А. Олейник

    by Олейник, Марина Алексеевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Implementation of the simple algorithms for quantum image processing.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    29.
    No cover image available
    Реализация телекоммуникационной системы на базе методов квантовой криптографии С. Н. Торгаев, Д. Е. Каширский, М. Л. Громов, Л. Г. Евтушенко

    by Торгаев, Станислав Николаевич | Каширский, Данила Евгеньевич | Громов, Максим Леонидович | Евтушенко, Лариса Геннадьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Implementation of a telecommunication system based on quantum cryptography methods.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    30.
    No cover image available
    Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы В. А. Провкин, А. Ю. Матросова

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Algorithm of building a ROBDD graph representing the set of all reacheable reactions of a combinational circuit.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    31.
    No cover image available
    Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул А. Ю. Матросова, В. З. Тычинский, В. В. Андреева

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    32.
    No cover image available
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования С. А. Останин, А. Ю. Матросова, В. В. Андреева

    by Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Construction of approximate logic circuits for synchronous automates within technology of triple modular redundancy.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart