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

Skill UI

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

学术论文投稿预检清单

popdevr-submission
brycewang-stanford/Awesome-Journal-Skills
492
这是一个用于指导作者进行学术期刊投稿前流程的全面预检工具。它详细涵盖了投稿流程中的关键环节，包括确保稿件的“双重匿名性”、遵循“自由格式”要求，以及检查是否遗漏了ORCID、数据可用性声明等必需的元数据，帮助作者避免因格式或流程错误而导致投稿失败。
查看详情

形式化证明产物评估指南

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

顶级会议作者回复写作指南

popl-author-response
brycewang-stanford/Awesome-Journal-Skills
52
本指南提供了顶级学术会议（如POPL）作者回复的结构化框架。它教会作者如何将审稿意见系统地分类（如可靠性质疑、形式化误读等），从而撰写出高度精炼、极具针对性的反驳。核心目标是在不重新论证的前提下，彻底消除审稿人的疑虑，稳固论文的录用前景。
查看详情

POPL论文终稿提交与修订流程

popl-camera-ready
brycewang-stanford/Awesome-Journal-Skills
193
本指南为作者提供了处理POPL条件接受阶段的完整流程指引。它详细阐述了“双关卡”机制：首先完成委员会要求的强制性修订，然后进行去匿名化和格式化，以准备最终的PACMPL期刊刊物。内容涵盖元数据管理、ORCID、开放获取权利以及最终会议演讲的物流规划。
查看详情

POPL论文实证证据撰写指南

popl-experiments
brycewang-stanford/Awesome-Journal-Skills
147
本指南详细介绍了在POPL会议上撰写实验性论文的规范。它指导作者如何根据不同的技术声明（如类型系统健全性）选择合适的实证证据类型（如案例研究、证明难度分析），强调证据用于证明可行性和相关性，但绝不能取代形式证明本身。
查看详情

POPL论文相关工作撰写指南

popl-related-work
brycewang-stanford/Awesome-Journal-Skills
255
本文档为撰写顶级程序语言理论会议（如POPL）论文的“相关工作”部分提供了严格指南。核心要求是不能进行泛泛综述，而必须提出精确的“技术差异点”（delta sentences），证明本文形式系统相对于所有邻近工作（如LICS, CAV等）的独特性和创新性。同时指导了正确的引用格式和历史查证方法。
查看详情

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

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

POPL论文投稿审计指南

popl-submission
brycewang-stanford/Awesome-Journal-Skills
205
这是一份为顶级学术会议（如POPL）准备投稿的综合指南和检查清单。它指导研究人员遵守严格的格式要求（如25页限额、acmsmall格式），维护完全双盲匿名性，防止作者身份泄露，并帮助管理复杂的学术投稿流程和截止日期。
查看详情

正式语言理论论文写作指南

popl-writing-style
brycewang-stanford/Awesome-Journal-Skills
170
这是一份针对理论计算机科学和编程语言研究的论文写作指南。它指导作者如何构建从初步代码示例到正式定理的逻辑“坡度”，确保文章既有直观的动机，又具备严密的数学证明，避免过度形式化和符号模糊等常见学术写作问题。
查看详情

学术数据透明与复制标准指南

poq-transparency-and-data-policy
brycewang-stanford/Awesome-Journal-Skills
475
本指南详细阐述了学术期刊提交稿件的严格数据透明和可复现性要求。它指导作者完成两大核心任务：一是系统性地提供方法学披露要素（Appendix A），二是构建完整的复制包。作者必须确保所有发表的表格和图表都能通过在永久数据仓库中提交的数据和代码进行准确重现，这必须在排版前完成。
查看详情

POQ学术稿件润色指南

poq-writing-style
brycewang-stanford/Awesome-Journal-Skills
351
本指南用于润色和撰写提交给《公共意见季刊》（POQ）的学术稿件。它帮助作者确保文章的表述既能让学科专家理解，也能满足严谨的调查方法论要求，同时严格遵守期刊规定的字数限制、双盲格式和方法论披露标准。
查看详情

ACM论文终稿准备指南

ppopp-camera-ready
brycewang-stanford/Awesome-Journal-Skills
103
这是一份全面的指南，指导用户如何将匿名学论文转换成最终的、符合标准的ACM会议论文集终稿。内容涵盖了系统性的去匿名化处理、ACM权利和元数据填写（如eRights、CCS概念），以及为成果物添加永久DOI链接等关键生产检查，确保符合双栏acmart格式要求。
查看详情
上一页123...198199200201202203204...218219220下一页
语言
简体中文
English