Apr, 2024

快速摘要和学生论坛论文集 -- EDCC 2024 -- 第 19 届欧洲可靠计算大会

PDF
TL;DR该研究论文介绍了关于可靠计算的快速摘要，包括学术界和工业界的贡献以及学生论坛的目标，旨在提供学生初步研究结果的反馈，帮助他们的未来研究方向。
发现论文，激发创造
  • 第十届定理证明组件教育软件国际研讨会论文集

    ThEdu'21 workshop proceedings focused on promoting a more formal approach to mathematics in STEM education through software support using theorem-proving technologies.

    Feb, 2022

  • 第 11 届定理证明教育软件组件国际研讨会

    本文介绍了 ThEdu 系列以及本卷在 STEM 教育中应用定理证明技术的自动演绎和应用于教育软件的方法和工具在教育方面的应用。

    Mar, 2023

  • 第五届自主系统形式化方法国际研讨会论文集

    这篇研究论文总结了第五届自主系统形式方法国际研讨会的会议情况和论文接收结果，展示了该会议作为自主系统的形式建模和验证研究领域的知名出版场所的发展趋势。

    Nov, 2023

  • Evo* 2023 -- 摘要迟至卷

    应用不同的生物启发方法（主要是进化计算）研究不同问题中的正在进行的研究和初步结果，主要集中在 Evo* 2023 会议的拟态论文中。

    Mar, 2024

  • 第 14 届国际自动几何推理会议论文集

    ADG 是一个关于几何和自动推理交叉领域的论坛，每两年举办一次，为交流思想、展示研究成果和进展，以及展示软件工具提供了平台，2023 年的 ADG 会议在塞尔维亚贝尔格莱德举办，并且特别关注于教育中的推理问题。

    Jan, 2024

  • Evo* 2022 -- 晚期提交的摘要

    该研究介绍了生物启发式方法（主要是演化计算）在不同真实世界问题中的应用及其初步研究结果。

    Aug, 2022

  • 加速科学：计算研究议程

    大数据和算法处理促进科学进步，但需要研究算法处理和认知工具的发展，以及如何在科学领域中进行有效的数据分析和模拟，以推进科学发现的速度和准确性。

    Apr, 2016

  • 第 12 届国际定理证明组件教育软件研讨会论文集

    该研究论文通过探索定理证明技术在 STEM 教育中的软件支持，以实现从中学的直观数学方式到更正式学科的平滑过渡，并促进计算机科学家、数学家和教育者之间的相互理解。

    Apr, 2024

  • ICALEPCS 和 IPAC 会议论文的文本分析：揭示未来洞见和高级搜索的研究趋势、主题和合作

    本文通过对过去的 ICALEPCS 和 IPAC 会议论文进行文本分析，提取有意义的信息并可视化展示研究趋势，分析其发展以识别新兴研究方向，并基于内容分析网络突出有趣的出版物。另外，我们将提供一个高级搜索工具，以便更好地搜索现有论文，避免重复和便于参考结果。我们的分析全面概述了该领域的研究现状，帮助研究人员更好地理解最新技术并识别未来研究领域。

    Oct, 2023

  • ACL2 定理证明器及其应用国际研讨会第十七届会议论文集

    该论文集收录了 ACL2 定理证明器及其应用方面的研究和经验，讨论 ACL2 定理证明器在技术论坛和应用方面的作用。

    May, 2022