登录
下载

Skill UI

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

计量经济学论文风格检查

joe-writing-style
brycewang-stanford/Awesome-Journal-Skills
162
这是一个用于学术论文的润色和结构检查工具，旨在帮助作者将稿件提升至顶级计量经济学期刊（如JoE）的发表标准。它重点检查摘要的字数和贡献点、确保引言采用贡献优先结构、提升数学证明的逻辑可读性，并校验对专业格式（如Elsevier/elsarticle）的遵循度。
查看详情

开放经济政策含义撰写指南

jwe-policy-implication
brycewang-stanford/Awesome-Journal-Skills
62
本指南指导作者为顶级学术期刊撰写开放经济的政策含义部分。核心要求是将政策建议从泛化的国内操作清单，转移到基于研究发现的国际化、系统性建议。重点覆盖贸易、汇率、资本账户和全球价值链等外开放政策工具，确保政策推论有明确的证据和边界条件。
查看详情

学术论文严谨实验设计与评估

oopsla-experiments
brycewang-stanford/Awesome-Journal-Skills
265
本指南旨在为撰写和评估学术论文提供一套严谨的实验框架。它强调了“声称类型”与“证据类型”之间的匹配关系（例如，声称性能提升时，必须提供基准测试证据）。内容涵盖如何建立可靠的基线、定义工作负载规则以及进行统计学上的细节核查，确保论文达到顶级学术会议的要求。
查看详情

PLDI论文成果物提交与评估指南

pldi-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
219
本指南为作者提供了在PLDI会议提交研究成果物（如编译器、基准测试、证明）的最佳实践。它详细指导了如何构建可复现、结构化的提交包，包括版本锁定、Dockerfile使用和撰写清晰的README，以确保成果物能在任何环境下顺利并通过评审。
查看详情

顶级会议补充材料投稿指南

pldi-supplementary
brycewang-stanford/Awesome-Journal-Skills
110
本指南详细介绍了顶级学术会议（如PLDI）的补充材料提交规范。它指导作者如何合理放置完整的证明、大型基准数据和源代码，确保补充材料既能增强研究深度，同时严格遵守双盲审稿的匿名性要求和主论文的关键论点一致性。
查看详情

PODC论文：证明与模型严谨性指南

podc-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
170
本指南为准备投稿至PODC（纯粹的基于证明的会议）的作者提供关键指导。它纠正了作者误认为需要提供可运行代码或徽章的错误认知，而是指导作者将精力集中于提升定理的证明完整性、模型假设的严谨性以及模拟结果的透明度，确保论文的学术严密性。
查看详情

ACM会议终稿准备与同步

podc-camera-ready
brycewang-stanford/Awesome-Journal-Skills
192
本指南详细指导作者如何将已接受的学术论文，从匿名提交版本转化为符合ACM要求的、压缩至10页的会议终稿。流程包括去匿名化、将完整证明移动至arXiv，并完成ACM版权、概念术语等所有生产元数据。
查看详情

分布式系统理论论文撰写指南

podc-writing-style
brycewang-stanford/Awesome-Journal-Skills
393
本指南详细介绍了撰写分布式系统理论论文的严格结构要求。它指导作者如何在前10页内呈现完整的模型、核心定理、与现有工作的差异点和关键证明思路，确保论文能够通过审稿人的初步筛选，要求论文逻辑严密、论证完整。
查看详情

理论论文可复现性验证

pods-reproducibility
brycewang-stanford/Awesome-Journal-Skills
143
本指南阐述了学术论文，尤其是理论计算机科学领域的论文，提交前的严格可复现性标准。它要求作者提供完整的“主张到证明”映射，确保所有定理和边界都在提交的文档中提供完整、自洽的证明，杜绝依赖外部或推迟阐述的材料。
查看详情

形式化证明产物评估指南

popl-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
311
本指南详细介绍了为学术会议准备和评估机制化证明（如Coq, Isabelle, Lean）的严格流程。它阐述了实现“功能性、可重用性、可用性”三个徽章的标准，重点在于完成形式化证明、审计公理，并通过固定工具链和映射定理与源代码文件，确保最高的可复现性和完整性。
查看详情

POPL可重现性：学术论证验证指南

popl-reproducibility
brycewang-stanford/Awesome-Journal-Skills
187
本指南阐述了在理论计算机科学论文中实现严格可重现性的标准。它指导研究者如何系统性地管理机械化定理、手写证明、形式语义和实验结果，确保独立读者能够复证所有研究主张。核心在于维护中央对应表和良好的假设管理，避免理论断裂点，确保学术严谨性。
查看详情

程序语言论文投稿指南

popl-topic-selection
brycewang-stanford/Awesome-Journal-Skills
500
本指南帮助研究人员确定关于程序语言的学术论文的最佳投稿会议（如POPL、PLDI、OOPSLA）。它指导作者根据其核心贡献的性质（理论证明、实现优化或实证研究）来选择目标会议，确保论文能进入最合适的专业审稿群体。
查看详情
上一页12345678下一页
语言
简体中文
English