?
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
Главы книги
Ломазова И. А., 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 г.
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 г.
Язык:
английский
M.: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд), 2025.
«Программирование и компьютерное программное обеспечение» (Programming and Computer Software) — рецензируемый научный журнал, посвященный широкому спектру проблем в различных областях компьютерных наук: операционным системам, технологии компиляции, программной инженерии, искусственному интеллекту и т. д. В журнале публикуются как оригинальные статьи на английском языке, так и материалы, переведенные из других изданий. Источник каждого материала указывается непосредственно в ...
Добавлено: 30 октября 2026 г.
Timur Teregulov, Elena R. Loubenets, / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
Медведев В. О., / Series arXiv "math". 2026.
We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...
Добавлено: 19 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Добавлено: 31 августа 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Учебное пособие предназначено для обучения академическим навыкам чтения, говорения и письма на основе статей из научно-популярных журналов по различным профилям: образование, программирование, лексика гейм-дизайна, продуктовые исследования, создание цифровых продуктов для различных сфер жизни, UX-исследования и юзабилити-тестирование, маркетинг игр и цифровых продуктов. Упражнения, разработанные для каждого урока, ориентированы на развитие профессионального вокабуляра, написание обобщений (summary) и ...
Добавлено: 3 июля 2026 г.
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 г.
В современных исследованиях вовлеченность учащихся в изучение предмета рассматривается в качестве неотъемлемой части обучения. Была показана положительная связь вовлеченности с рядом важных аспектов обучения, причем, как в офлайн, так и в онлайн-среде. Однако сохраняется лакуна, связанная с исследованием вовлеченности в условиях неформального обучения.
В данной работе изучается вовлеченность подростков в изучение STEM и ее связь с ...
Добавлено: 20 ноября 2025 г.
Вишнеков А. В., Иванова Е. М., Ладовир А. А. и др., Информационные технологии 2025 Т. 31 № 11 С. 587–595
Рассматривается вопрос возможности применения методов теории принятия решений для решения задачи балансировки нагрузки в распределенных информационных системах. Выполнены обзор и анализ методов оценки и сравнения многокритериальных альтернатив, показаны их достоинства и недостатки в контексте решаемой задачи. Выбраны наиболее эффективные методы. Предложена методика решения задачи балансировки на основе интеграции методов принятия решений и методов машинного обучения. ...
Добавлено: 11 ноября 2025 г.
Учебное пособие предназначено для изучения информатики на базовом уровне в 9 классе общеобразовательных организаций. Учебное по собие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде пред ставлена система основных понятий этой главы. Учебное пособие является частью завершённой предметной линии учебных пособий по информатике (базовый уровень) для ...
Добавлено: 7 июля 2025 г.
Смит С., М.: ДМК Пресс, 2025.
Данная книга продолжает серию «Книжная полка Истового инженера»,
которая издается при поддержке компании YADRO. Издание подготовлено к
публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс».
Перед вами переведенная и адаптированная для русскоязычного читателя книга С. Смита «RISC-V Assembly Language Programming», вышедшая
в издательстве Apress в серии Maker Innovations в 2024 ...
Добавлено: 25 мая 2025 г.
Попова А. В., Тюменева Ю. А., Мир психологии. Научно-методический журнал 2024 № 2(117) С. 268–285
Алгоритмическое мышление в основном оценивается через стандартизированные тесты и профессиональные задачи, что сужает возможности выявления специфики алгоритмизации решения у людей с разным опытом программирования. С целью уточнить гипотезу о такой специфике мы предложили альтернативный метод оценки, требующий алгоритмизации, но не специальных знаний в программировании. По протоколам решений разработанной нами задачи выделены параметры качества алгоритмизации, допускающие ...
Добавлено: 16 августа 2024 г.
Варнавский А. Н., Информационные технологии 2024 Т. 30 № 7 С. 372–381
Рассматривается задача оценки показателей восприятия студентами игрового чат-бота c головоломками по типу Wordle для обучения программированию. Проведен эксперимент, обработка результатов которого позволила построить 3 регрессионные модели, описывающие влияние факторов на интерес, сложность и воспринимаемую полезность игрового чат-бота. Сформулированы рекомендации по использованию игрового чат-бота. ...
Добавлено: 10 ноября 2023 г.
Смирнов И. А., КРАВЧЕНКО В. О., Разумов П. В. и др., ГНИИ "НацРазвитие", 2019.
в данной статье будут рассмотрены различные методы обмена данными
между процессами, с последующим выводом о быстродействии каждого. Тесты будут
проводиться на разных процессорах и разных версиях операционных систем. Это
исследование проводилось с целью узнать самый быстрый способ передачи данных между
процессами на суперкомпьютере Jetson TX2 по сравнению с другими платформами. ...
Добавлено: 11 мая 2023 г.