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

Skill UI

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

学术研究成果件包评估指南

nsdi-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
435
本指南是为作者准备已接受的学术论文的成果件包评估流程。它详细指导如何打包代码、数据追踪和测试平台配方，确保成果件具备永久公开可访问性，从而争取获得功能性、可用性和可复现性等荣誉徽章。内容涵盖了从结构化打包到撰写README的完整流程，确保研究成果的高标准可复现性。
查看详情

OOPSLA论文成果物评估指南

oopsla-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
50
本指南概述了投递至OOPSLA的学术论文成果物（Artifact）的严格多阶段评估流程。它指导研究人员如何创建健壮、可复现和可重用的软件成果物，以获取Functional、Reusable和Available等徽章。内容涵盖如何构建代码库结构、明确映射论文声明和如何通过“开机测试”环节，确保成果物在任何环境下都能运行。
查看详情

OOPSLA论文选题指南

oopsla-topic-selection
brycewang-stanford/Awesome-Journal-Skills
187
本指南用于为编程语言研究提供全面的学术评审和投稿指导。它通过“质心测试”框架，帮助判断一篇论文的核心贡献点是偏向理论形式化、编译器性能、函数式编程，还是需要OOPSLA的广度视野，从而指导作者选择最合适的SIGPLAN系列会议或期刊。
查看详情

OSDI系统产物评估与准备指南

osdi-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
298
本指南为研究人员准备顶级系统会议（如OSDI）系统产物提供指导。详细介绍了系统产物的最佳组织结构、如何确保永久且可解析的存档（如使用Zenodo/DOI），以及如何最大化结果的可复现性。重点指导遵循当前学术界对可验证、可运行的系统提交要求。
查看详情

系统论文相关工作撰写指南

osdi-related-work
brycewang-stanford/Awesome-Journal-Skills
478
本指南为顶级系统会议（如OSDI, SOSP）的论文撰写提供了专业指导。它强调“相关工作”部分不应是综述，而必须是一个“差异账本”，要求作者在机制层面详细阐述自身系统与现有所有工作的区别。内容涵盖如何分类竞争对手、引用历史前身、维护学术匿名性及验证引用。
查看详情

Pester断言从V5迁移到V6

pester-should-migration
github/awesome-copilot
295
该技能旨在帮助用户将Pester测试套件从旧的V5断言语法（如 `Should -Be`）现代化迁移到新的Pester V6的`Should-*`连字符断言运算符。适用于将现有测试用例升级到Pester v6或需要手动重写断言逻辑的场景，确保测试功能不变的同时采纳现代标准。
查看详情

学术综述文章风格润色

phg-writing-style
brycewang-stanford/Awesome-Journal-Skills
258
本技能用于润色学术综述文章，将其提升至顶级期刊要求的权威、论点驱动的写作风格。它确保文章的每一部分都在推进核心论点，而不是简单地总结文献。核心功能包括强制执行期刊格式限制（如SAGE Harvard引用、不结构化的摘要），严格控制字数上限，并将描述性的文本转化为批判性、综合性的学术介入。
查看详情

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

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

论证发展：文学研究论辩构建

pmla-argument-development
brycewang-stanford/Awesome-Journal-Skills
412
本技能旨在指导学术作者将丰富的文本解读提升为具有深远意义、能改变学科视角的论证。它帮助用户系统构建论点，包括提出可争议的中心论点、阐明支持论点的论证路径（warrant）、确定文本的介入点（move）以及推导出其对整个学术领域的深层影响（stakes）。适用场景是：论述深度足够，但“所以呢？”的意义点不清晰时。
查看详情

形式化证明产物评估指南

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

PPoPP论文产物评估指南

ppopp-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
425
本指南详细介绍了PPoPP会议的产物（Artifact）提交和评估要求。它涵盖了PPoPP独特的徽章政策（功能性、可重用性、结果复现），特别强调了在不同硬件上保证实验结果可复现性的方法。文章提供了完整的打包计划，指导作者如何构建结构化、高度可复现的科研产物。
查看详情

宏观经济量化展示最佳实践

red-tables-figures
brycewang-stanford/Awesome-Journal-Skills
430
本指南提供了撰写宏观动态经济学论文量化展示的最佳实践。涵盖了脉冲响应函数（IRFs）、参数校准表、矩匹配结果和政策反事实等关键组件。核心在于确保模型的机制和量化拟合度清晰、易读、自包含，以满足学术期刊的高标准要求。
查看详情
上一页123...51525354555657...656667下一页
语言
简体中文
English