登录
软件下载 帮助文档 新闻资讯

Skill UI

浏览并发现 15857+ 精选技能
全部 编程开发 人工智能 设计创意 产品商业 数据科学 市场营销 职场通用 效率工具 硬件工程 语言学习
搜索 验证 ，共找到 961 条记录
默认排序 最新上传 最多下载

EuroSys系统论文投稿决策指南

eurosys-topic-selection
brycewang-stanford/Awesome-Journal-Skills
255
本指南旨在帮助研究人员评估其计算机系统项目（涵盖操作系统、分布式架构、云原生和机器学习系统等领域）的最佳投稿目标。它提供了一套严谨的评估标准，包括系统实现、可迁移的理论洞察、实验证据的充分性以及投稿时机，帮助研究人员科学地选择顶级学术会议，提升论文的成功率。
查看详情

GitHub Actions运行时升级规范

github-actions-runtime-upgrade-conventions
github/awesome-copilot
93
当GitHub Actions工作流报告运行时弃用警告时使用此指南。它提供了安全升级工作流和依赖项的最佳实践，包括一次只升级一个动作，并使用不可变的SHA锁定版本。核心目标是在现代化依赖的同时，确保工作流的行为和输出完全不变，并指导验证流程。
查看详情

证明策略与计算严谨性

icalp-experiments
brycewang-stanford/Awesome-Journal-Skills
308
本指南帮助作者撰写理论计算机科学论文，详细说明了如何构建严谨的证明结构。它指导作者精确匹配论证与定理形状，强调了计算证据（如SAT/SMT验证或穷举案例）必须是可复现、可验证的，确保计算仅用于辅助证明，而非替代核心理论结论，保持论文的理论纯粹性。
查看详情

理论论文证明可验证性指南

icalp-reproducibility
brycewang-stanford/Awesome-Journal-Skills
500
本指南旨在指导作者提升理论计算机科学论文的证明可验证性。由于缺乏系统产物评估，可复现性核心在于让审稿人能独立验证所有证明步骤。关键要求包括：撰写自包含的完整证明；提供可验证的计算证书；确保提交与公开版本的统一性；以及可选地使用Coq/Lean等工具进行形式化验证。
查看详情

ICDT论文成果与证明指南

icdt-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
253
本指南用于指导撰写提交给ICDT（国际数据库理论会议）的论文成果。它明确指出ICDT是一个纯理论会议，核心成果并非代码包或系统徽章，而是完整的、可验证的数学证明。重点在于如何构建审稿人阅读的“带标记附录”和最终存档的“全版证明”。
查看详情

理论论文可验证性审计指南

icdt-reproducibility
brycewang-stanford/Awesome-Journal-Skills
95
本指南旨在指导如何提升理论计算机科学论文的严谨性和可验证性。它详细阐述了学术论文必须具备的标准，包括提供完整的证明、精确固定模型和假设、匹配上界和下界、以及确保论文各个部分在逻辑和结论上的高度一致性。适用于提交前进行自我审核。
查看详情

ICSE会议论文投稿流程指南

icse-review-process
brycewang-stanford/Awesome-Journal-Skills
411
本指南详细解析了ICSE学术会议论文的完整评审流程，包括双盲审机制、四个核心评分标准（新颖性、严谨性、相关性、可验证性）以及从提交到最终决策的完整时间表。它帮助作者理解学术评审背后的策略，指导如何进行修改，提高论文被接受的概率。
查看详情

学术会议论文补充材料组织规范

icse-supplementary
brycewang-stanford/Awesome-Journal-Skills
248
本指南为投稿至顶级学术会议（如ICSE）的作者提供详尽的补充材料组织规范。它详细描述了如何区分核心内容（10页限制）与支持证据（如扩展证明、脚本、原始数据），指导作者将这些材料放入匿名补充包。核心原则是“总结并指出”：确保所有证据可验证，维护审稿人的信任。
查看详情

ICSE学术论文写作风格指南

icse-writing-style
brycewang-stanford/Awesome-Journal-Skills
223
本指南为撰写顶会（如ICSE）的实证软件工程（SE）研究论文提供详细的结构化指导。重点在于掌握学术论文所需的严谨性，包括以研究问题（RQs）为核心骨架，撰写高质量的“威胁至有效性”部分，以及校准论点确保可验证性。学习如何构建摘要、在10页内压缩内容，并满足SE社区审稿人的专业要求。
查看详情

IEEE需求工程会议投稿策略指南

ieee-international-requirements-engineering-conference
brycewang-stanford/Awesome-Journal-Skills
453
本指南用于评估和优化目标IEEE国际需求工程会议（RE）的学术论文投稿。它帮助作者判断手稿是否符合需求工程领域的标准，重点指导如何构建需求获取、模型构建、可追溯性及利益相关者验证的证据链，从而提高论文被接收的概率。
查看详情

ISMAR论文撰写与投稿指南

ieee-international-symposium-on-mixed-and-augmented-reality
brycewang-stanford/Awesome-Journal-Skills
434
本指南为作者提供了一套专业的学术论文撰写和投稿框架，旨在帮助将计算机科学手稿定位到IEEE ISMAR（混合/增强现实）会议。内容涵盖了会议适配性评估、所需的证据（系统、用户、感知验证）构建、如何重新定义论文叙事，以及应对审稿人质疑的投稿策略。
查看详情

顶会安全实验审计指南

ieeesp-experiments
brycewang-stanford/Awesome-Journal-Skills
328
本指南提供了针对顶级学术会议（如IEEE S&P）的安全研究设计、验证和报告的严格标准。内容涵盖自适应对抗模型、测量有效性（抽样、伦理）、统计报告、建立强基线和消融实验，确保研究证据具备高度鲁棒性和可复现性。
查看详情
上一页123...72737475767778798081下一页
语言
简体中文
English