?
Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012
Камкин А., Петренко А., Терехов А.
Сборник содержит статьи, представленные на 6-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии (SYRCoSE 2012), проводимом в Перми 30 и 31 мая 2012 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: технологии разработки программ; языки программирования, тестирование и верификация компьютерных систем; анализ программ; информационные системы, обработка изображений и видео и др.
Главы книги
Дворянский Л. В., Фрумин Д. И., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 122–127.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. Temporal logics, such as CTL, are used to state requirements of software systems behaviour. However, in the case of nested Petri nets models, CTL is not expressive enough for specification of system behaviour. In ...
Добавлено: 20 сентября 2012 г.
Сухов А. О., Лядова Л. Н., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 42–53.
Технологии, основанные на применении метамоделирования и предметно-ориентированных языков широко используются при разработке информационных систем. Существует множество средств для создания редакторов графических предметно-ориентированных языков с возможностями определения пользовательских графических нотаций. Однако они имеют ограничения. Система MetaLanguage разрабатывается для того, чтобы снять часть этих ограничений. MetaLanguage является языковым инструментарием, который обеспечивает создание визуальных динамически адаптируемых предметно-ориентированных языков ...
Добавлено: 9 декабря 2012 г.
Соколов Г., Ланин В. В., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 182–185.
Задача повышения пертинентности поиска при сохранении низкой временной сложности – широко распространенная проблема в CS. Семантический поиск как вариант решения данной проблемы обладает большой временной сложностью. В работе рассматривается использование агентного подхода для уменьшения временной сложности построения семантических индексов используемых для поиска. ...
Добавлено: 18 января 2013 г.
Бессонов В. А., Ланин В. В., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 186–190.
Статья посвящена описанию подхода к включению метаданных в документы форматов Open XML и ODF. Включаемые метаданные могут быть использованы для реализации семантического индексирования содержимого электронных документов. Предлагаемые подходы реализованы в программной библиотеке, обеспечивающей работу с указанными форматами документов. ...
Добавлено: 18 января 2013 г.
Шершаков С. А., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 79–84.
Добавлено: 14 марта 2013 г.
Sergey Shershakov, Irina Lomazova, , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 79–84.
Добавлено: 14 марта 2013 г.
Татарников А. Д., Камкин А. С., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 64–69.
Добавлено: 13 декабря 2017 г.
Научное направление:
Компьютерные науки
Философия, этика, религиоведение
Филология и лингвистика
Математика
Электроника и электротехника
Язык:
английский
Ключевые слова: базы данныхинформатикаматематическая логикавычислительная техникакибернетикатеоретические основы прикладного программного обеспеченияинформационные системы с базами знанийпроцессы информационного поискаинформационно-поисковые массивыманипулирование данными и файламимоделирование логических структуртехнология программированияавтоматизация программированияпрограммотехникаавтоматикаязыки программированияабстрактные машины
Небольсин Д. И., Логос 2026 Т. 36 № 1 С. 113–134
В статье затрагивается проблема теоретизации отношений звука и визуальности на материале более частных практик создания аудиозаписей и образов. Текст организован по принципу плейлиста: на восьми звуковых примерах выявляется, какие из понятий актуальных исследований образа релевантны для теоретической работы со звуком. В большинстве своем выбранные примеры фиксируют и обрабатывают окружающее звуковое пространство, но делают это разными ...
Добавлено: 23 мая 2026 г.
Бочаров Е. В., M.: -, 2025.
Учебник предназначен для студентов, совершенствующихся во владении испанским языком на уровне В1-В2. Состоит из пяти тем и подборки текстов для их закрепления. Первая тема представлена морфологией четырех времен (presente, pret&ito perfecto, imperfecto, pluscuamperfecto de subjuntivo) и упражнениями на образование форм. Остальные темы посвящены изучению различных значений в oraciones independientes (deseo, duda y probabilidad), oraciones sustantivas ...
Добавлено: 23 мая 2026 г.
Добавлено: 23 мая 2026 г.
Zaikin A., Sviridov I., Sosedka A. и др., Technologies 2026 Vol. 14 No. 2 Article 84
Добавлено: 23 мая 2026 г.
Добавлено: 22 мая 2026 г.
Лошкарева М. Е., Матвеева Н. Н., Вестник Томского государственного университета. История 2026 № 100 С. 112–118
Предпринята попытка применения сетевого анализа в изучении средневекового нарративного источ ника. Цель исследования – проверка гипотезы о политической фрагментарности как основной причины завоевания Уэльса Англией. Построены сети взаимодействий исторических лиц на основе данных валлийской Хроники принцев с 1193 по 1282 г. Построение сетей демонстрирует, что завоевано Англией было формально объеди ненное княжество, ослабляемое не столько ...
Добавлено: 22 мая 2026 г.
Эстетика журналистики получает обоснование как необходимая составляющая в профессиональной подготовке специалистов для аудиовизуальных медиа. Представлены факторы и тенденции исторических и актуальных изменений в эстетике журналистики, охарактеризованы эстетические практики аудиовизуальной журналистики в аспекте ее социального функционирования. Системно изложены критерии эстетической оценки. Соответствует ФГОС ВО последнего поколения. Для студентов бакалавриата, обучающихся по направлению «Журналистика». ...
Добавлено: 22 мая 2026 г.
Селянин Ф. И., Journal of Dynamical and Control Systems 2026 Vol. 32 No. 2 P. 1–16
Добавлено: 21 мая 2026 г.
Ausubel L., Баранов О. В., Journal of Economic Theory 2026 Vol. 235 No. 106192
Добавлено: 20 мая 2026 г.
Кильдюшов О. В., Мир России: Социология, этнология 2026 Т. 35 № 2 С. 6–21
В статье обсуждается эвристическая схема анализа значимости русской проблематики в корпусе текстов Макса Вебера в связи с завершением издания источниковой базы – Полного собрания сочинений М. Вебера. Указывается на амбивалентное место русских сюжетов в творческом наследии классика: с одной стороны, Россия не являлась центральной темой его размышлений, но с другой – проблематика русской модернизации была тесно связана ...
Добавлено: 20 мая 2026 г.
Поликарпова Д. А., М.: Новое литературное обозрение, 2025.
Может ли кино быть субъектом, а не объектом особой чувственности? В своей книге Дарина Поликарпова утверждает, что да; более того, идея эта не нова и восходит к опытам Дзиги Вертова, Жана Эпштейна и других ранних практиков и теоретиков кино. Увлекшееся в последние десятилетия антропоцентрическими подходами, киноведение перестало учитывать уникальную природу кинематографа, сводя его к тексту, ...
Добавлено: 19 мая 2026 г.
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
Добавлено: 19 мая 2026 г.
Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.
Наночастицы полностью неорганических перовскитов CsPbBr3 и Cs4PbBr6 интенсивно изучаются благодаря их уникальным свойствам и широкому спектру применений; однако природа их оптических свойств до сих пор полностью не изучена из-за сложности синтеза однофазных наночастиц. В данной статье мы описываем особенности синтеза однофазных частиц и результаты их химического и фазового анализа. Используя данные о концентрациях наночастиц, мы ...
Добавлено: 14 мая 2026 г.
Добавлено: 20 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Донников Ю. Е., Юрист 2021 № 6 С. 68–74
В статье рассматривается правовой статус действий пользователей сайта, в результате осуществления которых базы данных таких сайтов наполняются содержанием, исследуется вопрос, возникают ли какие-либо права пользователей сайта на базу данных, которая наполняется материалами в результате действий самих пользователей сайта. ...
Добавлено: 5 апреля 2026 г.
Медведев В. О., / Series arXiv "math". 2026.
We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...
Добавлено: 3 апреля 2026 г.