• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
13 августа 2026 г.
Социальная интеграция: на перекрестках знаний и ценностей
Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.
12 августа 2026 г.
Студенты Вышки, вероятно, обнаружили новый вид медузы во время практики на Сахалине
Учащиеся факультета биологии и биотехнологии НИУ ВШЭ стали первыми студентами, которые приехали в экспедицию на биостанцию «Анива» на острове Сахалин. Их целью было изучение морских полипов и медуз. Молодым ученым удалось получить неожиданные результаты: возможно, во время полевых работ они обнаружили новые для региона виды. Теперь часть находок привезут в Москву для детального изучения. Об экспедиции студентки рассказали «Вышке.Главное».
12 августа 2026 г.
«Я бы назвал атмосферу в лаборатории и в университете творческой и стимулирующей»
Научный сотрудник Международной лаборатории стохастического анализа и его приложений НИУ ВШЭ французский ученый Жан-Франсуа Жабир работает в НИУ ВШЭ с 2017 года. Его привлекла возможность вести исследования совместно с ведущими зарубежными и российскими учеными, свобода академических дискуссий и открытость университета. Своими впечатлениями о Вышке и Москве Жан-Франсуа Жабир поделился с новостной службой «Вышка.Главное».

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings

Vol. 2. University of Rzeszow, 2015.
Под общей редакцией: S. Zbigniew, L. Czaja
Главы книги
An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements
Vladislav Podymov, , in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. ProceedingsVol. 2.: University of Rzeszow, 2015. P. 85–96.
Добавлено: 11 октября 2015 г.
Controlling Petri Net Behavior Using Time Constraints
Ломазова И. А., Popova-Zeugmann L., , in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. ProceedingsVol. 2.: University of Rzeszow, 2015. P. 19–35.
Добавлено: 12 октября 2015 г.
Приоритетные направления: компьютерно-математическое математика
Язык: английский
Ключевые слова: concurrencyformal specificationsprogramming distributed systems
Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings
Похожие публикации
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.
Добавлено: 30 июля 2026 г.
New bound on S1× S2-setting Bell locality of a nonseparable Werner state
Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.
Добавлено: 21 июля 2026 г.
On functional equations for Chow polylogarithms
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
On Goncharov’s conjecture in next to Milnor degree
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
English for Specific Purposes: Digital Design and Programming
Великая Е. В., Баранова Т. А., Джахангирова В. С. и др., M.: Национальный книжный центр, 2026.
Учебное пособие предназначено для обучения академическим навыкам чтения, говорения и письма на основе статей из научно-популярных журналов по различным профилям: образование, программирование, лексика гейм-дизайна, продуктовые исследования, создание цифровых продуктов для различных сфер жизни, UX-исследования и юзабилити-тестирование, маркетинг игр и цифровых продуктов. Упражнения, разработанные для каждого урока, ориентированы на развитие профессионального вокабуляра, написание обобщений (summary) и ...
Добавлено: 3 июля 2026 г.
Growth in noncommutative algebras and entropy in derived categories
Пионтковский Д. И., / Series arXiv "math". 2026.
Добавлено: 23 июня 2026 г.
Multilinear nilalgebras and the Jacobian theorem
Пионтковский Д. И., / Series arXiv "math". 2025.
Добавлено: 23 июня 2026 г.
Strong Approximations for Markov Chains Weakly Converging to Diffusions
Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
Добавлено: 11 июня 2026 г.
ML-based Fast Simulation of FARICH Responses
Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.
Добавлено: 19 мая 2026 г.
A High-Level Framework for Distributed Systems with Simulation-Based Testing Support
Yakovlev S., Oleg S., , in: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891)Vol. 2891.: Springer, 2026. P. 80–97.
Добавлено: 19 мая 2026 г.
Bifurcations and Structural Stability of Generic PC-HC Families
Доровский А. А., / Series arXiv "math". 2026.
Добавлено: 14 мая 2026 г.
On the minimum number of maximal distance-k independent sets in trees
Талецкий Д. С., / Series arXiv "math". 2026.
Добавлено: 1 мая 2026 г.
On Arithmetic Mirror Symmetry for smooth Fano fourfolds
Овчаренко М. А., / Series arXiv "math". 2026.
Добавлено: 30 апреля 2026 г.
Natural hazard database from Internet publications: text mining with a large language model
Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.
Добавлено: 28 апреля 2026 г.
Вовлеченность учащихся в изучение программирования: использование мобильных игр в дополнительном образовании
Гетман А. В., Адамович К. А., Гуляева А. Р. и др., Вопросы образования 2026 № 2 С. 99–124
В современных исследованиях вовлеченность учащихся в изучение предмета рассматривается в качестве неотъемлемой части обучения. Была показана положительная связь вовлеченности с рядом важных аспектов обучения, причем, как в офлайн, так и в онлайн-среде. Однако сохраняется лакуна, связанная с исследованием вовлеченности в условиях неформального обучения.  В данной работе изучается вовлеченность подростков в изучение STEM и ее связь с ...
Добавлено: 20 ноября 2025 г.
Интегрированный алгоритм балансировки нагрузки в распределенных информационных системах на основе методов теории принятия решений
Вишнеков А. В., Иванова Е. М., Ладовир А. А. и др., Информационные технологии 2025 Т. 31 № 11 С. 587–595
Рассматривается вопрос возможности применения методов теории принятия решений для решения задачи балансировки нагрузки в распределенных информационных системах. Выполнены обзор и анализ методов оценки и сравнения многокритериальных альтернатив, показаны их достоинства и недостатки в контексте решаемой задачи. Выбраны наиболее эффективные методы. Предложена методика решения задачи балансировки на основе интеграции методов принятия решений и методов машинного обучения. ...
Добавлено: 11 ноября 2025 г.
Информатика : 9-й класс : базовый уровень: учебное пособие
Шестакова Л. В., Семакин И. Г., Залогова Л. А. и др., М.: Просвещение, 2024.
Учебное пособие предназначено для изучения информатики на базовом уровне в 9 классе общеобразовательных организаций. Учебное по собие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде пред ставлена система основных понятий этой главы. Учебное пособие является частью завершённой предметной линии учебных пособий по информатике (базовый уровень) для ...
Добавлено: 7 июля 2025 г.
Программирование на языке ассемблера RISC-V
Смит С., М.: ДМК Пресс, 2025.
Данная книга продолжает серию «Книжная полка Истового инженера», которая издается при поддержке компании YADRO. Издание подготовлено к публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс». Перед вами переведенная и адаптированная для русскоязычного читателя книга С. Смита «RISC-V Assembly Language Programming», вышедшая в издательстве Apress в серии Maker Innovations в 2024 ...
Добавлено: 25 мая 2025 г.
Новый метод оценки алгоритмического мышления на непрограммистских задачах: разведывательное исследование
Попова А. В., Тюменева Ю. А., Мир психологии. Научно-методический журнал 2024 № 2(117) С. 268–285
Алгоритмическое мышление в основном оценивается через стандартизированные тесты и профессиональные задачи, что сужает возможности выявления специфики алгоритмизации решения у людей с разным опытом программирования. С целью уточнить гипотезу о такой специфике мы предложили альтернативный метод оценки, требующий алгоритмизации, но не специальных знаний в программировании. По протоколам решений разработанной нами задачи выделены параметры качества алгоритмизации, допускающие ...
Добавлено: 16 августа 2024 г.
Модели интереса, сложности и воспринимаемой полезности игрового чат-бота c головоломками по типу Wordle для обучения программированию
Варнавский А. Н., Информационные технологии 2024 Т. 30 № 7 С. 372–381
Рассматривается задача оценки показателей восприятия студентами игрового чат-бота c головоломками по типу Wordle для обучения программированию. Проведен эксперимент, обработка результатов которого позволила построить 3 регрессионные модели, описывающие влияние факторов на интерес, сложность и воспринимаемую полезность игрового чат-бота. Сформулированы рекомендации по использованию игрового чат-бота. ...
Добавлено: 10 ноября 2023 г.
Тестирование методов обмена данными между процессами на суперкомпьютере JETSON TX2 в сравнении с другими платформами
Смирнов И. А., КРАВЧЕНКО В. О., Разумов П. В. и др., ГНИИ "НацРазвитие", 2019.
в данной статье будут рассмотрены различные методы обмена данными между процессами, с последующим выводом о быстродействии каждого. Тесты будут проводиться на разных процессорах и разных версиях операционных систем. Это исследование проводилось с целью узнать самый быстрый способ передачи данных между процессами на суперкомпьютере Jetson TX2 по сравнению с другими платформами. ...
Добавлено: 11 мая 2023 г.
22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14–17, 2022, Revised Selected Papers
Springer, 2022.
Добавлено: 26 декабря 2022 г.
Towards a General Framework for Studying Resource Management in Large Scale Distributed Systems
Oleg Sukhoroslov, Maxim Gorokhovskii, Roman Ilgovskiy и др., , in: Материалы IV Международного семинара по информационным, вычислительным и управляющим системам для распределенных сред (ICCS-DE 2022).: Иркутск: ИДСТУ СО РАН, 2022. P. 79–96.
Добавлено: 30 октября 2022 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору