DSpace Repository

Browsing Вестник НГУ. Серия: Информационные технологии by Author "A. P. Ershov Institute of Informatics Systems SB RAS"

Browsing Вестник НГУ. Серия: Информационные технологии by Author "A. P. Ershov Institute of Informatics Systems SB RAS"

Sort by: Order: Results:

  • Лях, Татьяна Викторовна; Зюбин, Владимир Евгеньевич; Гаранина, Наталья Олеговна; Liakh, Tatiana Viktorovna; Zyubin, Vladimir Evgenievich; Garanina, Natalia Olegovna (2018-12)
    Статья посвящена проблеме проверки алгоритмов управления, созданных в рамках процесс-ориентированного подхода, на соответствие входным спецификациям. Представлена общая схема верификации алгоритма управления, приведены ее ...
  • Боженкова, Елена Николаевна; Иртегов, Дмитрий Валентинович; Киров, Александр Владимирович; Нестеренко, Татьяна Викторовна; Чурина, Татьяна Геннадьевна (Новосибирский государственный университет, 2013-03-02)
    В статье рассматриваются требования к построению автоматизированной системы тестирования, описывается прототип такой системы, предназначенной для проведения олимпиад по программированию и обеспечению процесса подготовки ...
  • Бакиева, Айгерим Муратовна; Батура, Татьяна Викторовна; Еримбетова, Айгерим Сембековна; Митьковская, Мария Владимировна; Семенова, Наталья Александровна; Bakiyeva, Aigerim Muratovna; Batura, Tatiana Victorovna; Yerimbetova, Aigerim Sembekovna; Mitkovskaya, Maria Vladimirovna (Новосибирский государственный университет, 2016-09)
    Целью данной работы являлось исследование применимости грамматики связей и создание инструмента для автоматического разбора предложений на казахском и турецком языках. Такой выбор языков обусловлен активным распространением ...
  • Апанович, З. В.; Винокуров, П. С.; Кислицина, Т. А. (Новосибирский государственный университет, 2011)
    Due to the fast development of Semantic Web and its new branch of Linked Open Data, large amounts of structured information on various scientific areas become available. Digital libraries, information systems and portals ...
  • Непомнящий, Валерий Александрович; Попова, Наталья Сергеевна; Чурина, Татьяна Геннадьевна (Новосибирский государственный университет, 2013-03-02)
    Рассматриваются спецификации распределенных систем на языке Dynamic-REAL (dREAL) с динамическим по-рождением и уничтожением экземпляров процессов. В качестве сетевой модели выбраны модифицированные рас-крашенные сети Петри ...
  • Пальянов, Андрей Юрьевич; Пальянова, Наталья Валерьевна; Хайрулин, Сергей Сергеевич; S. S. Khairulin; N. V. Paliyanova; A. Yu. Paliyanov (Новосибирский государственный университет, 2013-02-26)
    На сегодняшний день в мире ведется огромное количество исследований в области нейробиологии, в том числе нейробиологии человека, с использованием новейших технологий и оборудования, однако пока ученые единогласно сходятся ...
  • Батура, Татьяна Викторовна; Стрекалова, Светлана Евгеньевна; Batura, Tatiana Viktorovna; Strekalova, Svetlana Evgenievna (Новосибирский государственный университет, 2018-06)
    Представлен новый подход для получения расширенных тематических моделей текстов научных статей на русском языке. Под расширенной моделью понимается тематическая модель, содержащая кроме однословных терминов термины, состоящие ...
  • Ахмадеева, Ирина Равильевна; Загорулько, Юрий Алексеевич; Саломатина, Наталья Васильевна; Серый, Алексей Сергеевич; Сидорова, Елена Анатольевна; Шестаков, Владимир Константинович (2014-04-20)
    Рассматривается задача автоматического формирования коллекций текстов, соответствующих заданным тематикам. Для ее решения предложен подход и разработана система, использующая для сбора текстов механизмы метапоиска и ...
  • Исаченко, Владимир Викторович; Апанович, Зинаида Владимировна; Isachenko, Vladimir Viktorovich; Apanovich, Zinaida Vladimirovna (2018-06)
    Представлена система разрешения неоднозначности авторства статей на английском языке с использованием русскоязычных источников данных. Система позволяет находить и исправлять ошибки в определении авторства научных публикаций, ...
  • Батура, Татьяна Викторовна; Бакиева, Айгерим Муратовна; Batura, Tatiana Viktorovna; Bakiyeva, Aigerim Muratovna (Новосибирский государственный университет, 2018-09)
    Описан новый метод автоматического реферирования текстов. На основе предложенного метода создана система, позволяющая получать краткие аннотации научно-технических текстов и определять их темы. Процесс реферирования состоит ...

Search DSpace


Advanced Search

Browse

My Account