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

Skill UI

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

理论论文可复现性与严谨性检查

focs-reproducibility
brycewang-stanford/Awesome-Journal-Skills
418
本指南提供了一套针对理论计算机科学论文的严谨化方法论，旨在确保论文的最高可检查性。它详细介绍了五个关键实践：建立假设记录表、冻结定理陈述以防止版本漂移、审计外部引用定理、为计算步骤提供证书，以及规范错误更正（errata）流程。确保证明在最严格的学术审阅中通过。
查看详情

证明策略与计算严谨性

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

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

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

计算理论会议投稿指南

icalp-topic-selection
brycewang-stanford/Awesome-Journal-Skills
482
本指南旨在帮助研究人员判断其理论计算机科学研究成果是否适合投递ICALP。它详细介绍了投稿的两个关键决策点：一是选择合适的学术会议（如ICALP、STOC、FOCS等）；二是判断成果应归类为Track A（算法与复杂性）还是Track B（自动机与逻辑）。
查看详情

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

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

自动化软件工程会议投稿指南

ieee-acm-international-conference-on-automated-software-engineering
brycewang-stanford/Awesome-Journal-Skills
361
本指南旨在帮助作者评估其学术论文与IEEE/ACM自动化软件工程国际会议（ASE）的契合度。它指导撰写者如何重构和定位论文，强调必须具备的自动化贡献、运行工件和真实软件基准。适用于需要将普通计算机科学论文提升为顶级自动化软件工程会议投稿的场景。
查看详情

ICSME会议投稿策略指南

ieee-international-conference-on-software-maintenance-and-evolution
brycewang-stanford/Awesome-Journal-Skills
240
本指南旨在帮助作者定位其计算机科学稿件是否适合投稿至IEEE软件维护与演化国际会议（ICSME）。它详细阐述了软件维护、演化、重构和技术债务等核心范围，并提供了结构化投稿的最佳实践。核心要求包括提供真实的代码库证据和可操作的工程洞察，确保论文定位精准。
查看详情

ISMAR论文撰写与投稿指南

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

FOCS学术会议投稿定位指南

ieee-symposium-on-foundations-of-computer-science
brycewang-stanford/Awesome-Journal-Skills
500
本技能为作者提供了科学的指导，用于评估和定位其理论计算机科学论文是否适合投稿IEEE FOCS。它帮助用户分析论文的核心贡献类型、理论深度（如算法、复杂性、密码学）和证据链的完整性，确保文章符合顶会的高学术标准，特别适用于会议投稿策略制定。
查看详情

IEEE S&P顶级安全会议投稿指南

ieee-symposium-on-security-and-privacy
brycewang-stanford/Awesome-Journal-Skills
293
这是一个针对目标IEEE S&P会议的全面战略投稿指南。它帮助作者评估一篇计算机科学论文是否适合该顶级安全会议，涵盖了严谨的威胁模型构建、伦理处理、证据链展示，以及如何从学术角度优化论文的定位和贡献，确保符合S&P社区的学术标准。
查看详情

计算算法的理论与模型构建

ijoc-theory-development
brycewang-stanford/Awesome-Journal-Skills
296
本指南指导作者如何为计算优化和算法模型提供严格的理论支持。它要求作者不仅展示实验结果，还必须形式化地证明模型的有效性、算法的收敛性、复杂度和理论保证（如近似比、有限终止性）。内容覆盖了精确方法、启发式算法以及机器学习赋能的优化问题，确保理论和实验结论的高度一致性。
查看详情

国际计算机辅助验证会议投稿指南

international-conference-on-computer-aided-verification
brycewang-stanford/Awesome-Journal-Skills
341
本指南旨在帮助作者评估和优化其计算机科学论文的投稿策略，使其符合国际计算机辅助验证会议（CAV）的学术标准。它提供了一个系统化的框架，涵盖了从确定论文焦点、增强形式验证证据到调整论述框架的全过程，确保提交的作品满足该领域社区对形式正确性和工具方法的严格要求。
查看详情
上一页123...1112131415161718下一页
语言
简体中文
English