?
Software Engineering Perspectives in Intelligent Systems: Proceedings of 4th Computational Methods in Systems and Software 2020
Vol. 1.
Springer, 2020.
Ответственный редактор: R. Silhavy, P. Silhavy, Z. Prokopova
Главы книги
Руцкий В. Н., Javed S., Azizam S. H. и др., , in: Software Engineering Perspectives in Intelligent Systems: Proceedings of 4th Computational Methods in Systems and Software 2020Vol. 1.: Springer, 2020. P. 784–792.
Добавлено: 11 октября 2021 г.
Руцкий В. Н., Solodova M., Tsarev R. и др., , in: Software Engineering Perspectives in Intelligent Systems: Proceedings of 4th Computational Methods in Systems and Software 2020Vol. 1.: Springer, 2020. P. 1011–1022.
Добавлено: 11 октября 2021 г.
Руцкий В. Н., Konovalova E., El Amrani Y. и др., , in: Software Engineering Perspectives in Intelligent Systems: Proceedings of 4th Computational Methods in Systems and Software 2020Vol. 1.: Springer, 2020. P. 836–843.
Добавлено: 11 октября 2021 г.
Язык:
английский
УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
В научном докладе цифровые платформы впервые рассмотрены не как частный сегмент цифрового рынка, а как новый институциональный механизм организации экономики. В одной исследовательской рамке соединены экономика, право, социология, компьютерные науки, информационная безопасность, данные бизнеса и регуляторная практика — все то, что позволяет взглянуть на платформы как на институт со своими правилами игры. Особую ценность работе ...
Добавлено: 6 октября 2026 г.
Томск: Издательство Томского государственного университета, 2026.
Материалы сборника Шестнадцатой Международной конференции «Новые информационные
технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на
широкий круг специалистов, работающих на стыке теории информации, системного анализа и
прикладных предметных областей. В издание вошли результаты исследований, посвящённые
моделированию дискретных и стохастических структур управления и связи, разработке
высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам
цифровой трансформации образования, архитектурно-градостроительного проектирования,
экологического ...
Добавлено: 6 октября 2026 г.
Центр конъюнктурных исследований Института статистических исследований и экономики знаний НИУ ВШЭ представляет информационно-аналитический материал «Потребительские настроения населения в III квартале 2026 г.», подготовленный в рамках Программы фундаментальных исследований НИУ ВШЭ.
В основу обзора положены ежеквартальные опросы более 5 тыс. человек в возрасте от 16 лет и старше. Такие опросы Федеральная служба государственной статистики (Росстат) проводит во всех субъектах ...
Добавлено: 6 октября 2026 г.
Растворцева С. Н., Тюшкевич Ю. А., Salushkina Z. S., Journal of regional and international competitiveness 2026 Vol. 7 No. 2 P. 38–49
Добавлено: 5 октября 2026 г.
М.: Национальный исследовательский университет "Высшая школа экономики", 2026.
В шестнадцатом выпуске электронного издания «Вестник Российского мониторинга экономического положения и здоровья населения НИУ ВШЭ (RLMSHSE)» представлены работы, подготовленные на основании данных лонгитюдного обследования домохозяйств «Российский мониторинг экономического положения и здоровья населения НИУ ВШЭ» (РМЭЗ НИУ ВШЭ) за 1992–2024 гг. В выпуске рассматриваются динамика доходов и расходов российских домохозяйств, тенденции развития рынка труда, социальное самочувствие ...
Добавлено: 5 октября 2026 г.
Серебренников Д. А., Белов А. В., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169
В условиях роста стоимости энергоресурсов и необходимости повышения энергоэффективности производственных процессов особую актуальность приобретает задача оптимизации энергопотребления промышленных предприятий. В данной работе рассматривается подход к управлению энергозатратами машиностроительного предприятия на основе методов многокритериальной оптимизации. Постановка задачи включает несколько целевых функций: минимизацию энергопотребления, минимизацию стоимости электроэнергии с учётом тарифных ограничений и максимизацию производственной эффективности. Для решения ...
Добавлено: 5 октября 2026 г.
Привлечение и удержание молодых педагогов в школах является одним из важнейших вопросов для преодоления проблемы кадрового дефицита в системе образования. В статье анализируются особенности трудоустройства выпускников российских вузов педагогических специальностей выпуска 2021–2022 гг. На основе тотальных административных данных выявлены факторы, влияющие на вероятность их первоначального трудоустройства в школу и последующего закрепления в профессии. Результаты показывают, ...
Добавлено: 5 октября 2026 г.
Автухова Е. Э., Ларионов А. В., Плачинда К. Д., М.: Экономический факультет МГУ им. М.В. Ломоносова, 2026.
Данное методическое пособие разработано в соответствии с рабочей программой курса «Банковское дело», реализуемого на Экономическом факультете МГУ имени М. В. Ломоносова по специальности «Экономика» (бакалавриат), и может быть рекомендовано для подготовки к семинарским занятиям и самостоятельной работе студентов. ...
Добавлено: 4 октября 2026 г.
Зыков С. В., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13
Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...
Добавлено: 2 октября 2026 г.
Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds
Chebotarev V., Andreyuk D., Elizarova Anastasiya и др., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601
Добавлено: 2 октября 2026 г.
Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25
Деревья решений и их ансамблевые расширения, такие как случайные леса, широко используются в качестве моделей классификации благодаря своей простоте и интерпретируемости. Однако во многих реальных задачах, где метки классов перекрываются в пространстве признаков, стандартные деревья решений полагаются на жесткие разбиения, которые создают слабые границы принятия решений. В этих областях небольшие возмущения входных значений могут привести ...
Добавлено: 2 октября 2026 г.
Prokhorov A., Burda M., Journal of Computational and Graphical Statistics 2026 P. 1–13
Добавлено: 2 октября 2026 г.
M.: Russian State University for the Humanitie, 2026.
Добавлено: 2 сентября 2026 г.
Springer, 2027.
Добавлено: 8 июля 2026 г.
Switzerland: Springer, 2024.
Добавлено: 28 июня 2026 г.
Курск: Курский государственный университет, 2024.
В сборнике публикуются научные статьи по материалам V Международной научно-технической конференции «Интеллектуальные информационные системы: Теория и практика».
Издание адресовано студентам, аспирантам, преподавателям вузов, кандидатам и докторам наук, практикующим специалистам, всем, кто проявляет интерес к проектированию и разработке интеллектуальных информационных систем, их практическим приложениям, а также методам и алгоритмам интеллектуального анализа и обработки. ...
Добавлено: 17 февраля 2025 г.
Плаксин М. А., Информатика в школе 2024 Т. 23 № 4 С. 44–57
В статье обсуждаются три базовые момента работы генеративных нейросетевых моделей (генеративного искусственного интеллекта): понятие «токен», вероятностный характер генерируемого ответа и понятие «большая модель», размер которой обеспечивает псевдоразумное поведение нейросетевых чат-ботов. Принципиально не обсуждаются вопросы реализации генеративных моделей, области и способы их применения.
Приводятся материалы конкурса «ТРИЗформашка-2024», который был посвящен нейросетевым моделям. Демонстрируется факт псевдоразумности генеративных моделей. Оказывается, модель, обученная на ...
Добавлено: 17 февраля 2025 г.