登录
下载

Skill UI

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

理论论文形式化证明提交指南

pods-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
303
本指南详细介绍了理论计算机科学论文的投稿标准，核心是构建“形式化声明包”。它强调论文的成果不是系统原型，而是包含完整、自洽的证明附录、详细的声明到证明映射，以及完整的arXiv版本，以确保提交内容的学术严谨性。
查看详情

形式化证明产物评估指南

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

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

PPoPP论文投稿审核指南

ppopp-submission
brycewang-stanford/Awesome-Journal-Skills
369
本指南是PPoPP学术会议论文投稿的详细审核清单。它涵盖了从格式规范（双栏ACM模板）、篇幅限制（10页）、摘要撰写到核心的匿名化处理（去除集群名、机构信息）等所有关键环节。使用本指南确保论文符合会议要求，避免因格式或匿名性问题被直接拒稿。
查看详情

并行系统论文写作指南

ppopp-writing-style
brycewang-stanford/Awesome-Journal-Skills
82
这份指南详细介绍了向顶级学术会议提交并行编程研究论文所需的严格规范。内容涵盖了证明并发正确性、使用加速曲线展示可扩展性、遵守严格的篇幅限制（10页，双栏布局）以及如何组织技术贡献，以满足专家审稿人的要求。
查看详情

物理评论快报论文投稿前检查

prl-submission
brycewang-stanford/Awesome-Journal-Skills
159
这是一份用于Physical Review Letters (PRL)论文的终极预检清单。它指导作者完成投稿前的最后自检流程，涵盖了LaTeX格式、文章类型、补充材料、元数据、作者信息和APS指南的合规性。使用本清单作为最终关卡，确保稿件万无一失，避免因格式或细节问题被编辑退回。
查看详情

PRX Quantum稿件投稿指南

prx-quantum
brycewang-stanford/Awesome-Journal-Skills
357
本指南专为目标投稿至PRX Quantum的作者设计。它帮助判断量子信息科学、量子计算或量子技术手稿的适用性，详细阐述了期刊的科学范围、显著性标准、文章结构和开放获取的投稿规范。
查看详情

理论范围与边界设定方法

psychrev-boundary-conditions
brycewang-stanford/Awesome-Journal-Skills
438
本指南旨在帮助研究者系统性地界定理论的适用范围、限制条件和模型的可识别性。它指导如何清晰阐述理论解释的现象（in scope）和无法解释的现象（out of scope），尤其强调了对形式模型（formal models）进行结构可识别性分析，以提升理论的科学严谨性和可证伪性。
查看详情
上一页123...161162163164165166167168下一页
语言
简体中文
English