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

Skill UI

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

CAV工件评估指南

cav-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
51
本指南详细介绍了计算机辅助验证（CAV）研究工件的提交与评估流程。它涵盖了获取三个徽章（可用、功能、可重用）的标准，包括两阶段的评审结构和最佳实践。用户需学习如何打包科学工具，包括容器化、固定基准、资源限制和证明证人，以确保学术研究的严谨性和可复现性。
查看详情

计算机辅助验证实验评估指南

cav-experiments
brycewang-stanford/Awesome-Journal-Skills
477
本指南为计算机辅助验证（CAV）研究人员提供一套严谨的实验评估框架。它详细指导如何构建公平、可重复的基准测试，包括使用标准数据集、设定资源限制、进行可靠性交叉检查，并采用专业的绘图和报告格式，确保实验证据与研究声明相匹配，从而提高研究的可信度和学术价值。
查看详情

验证工作相关性撰写指南

cav-related-work
brycewang-stanford/Awesome-Journal-Skills
113
该指南详细指导作者如何在复杂的形式化验证领域中定位自身研究的创新点。核心是采用“差异化对比”（delta-first）而非简单的引用罗列，要求作者清晰阐述自身工作与现有技术、工具或基准测试之间的技术差异，确保学术定位的严谨性和完整性。
查看详情

计算机辅助验证可复现性指南

cav-reproducibility
brycewang-stanford/Awesome-Journal-Skills
147
本指南提供了在计算机辅助验证（CAV）研究中确保实验结果和证明过程可重复性的详细协议。它强调固定基准测试集、记录精确的工具版本、记录资源限制（时间和内存），并提供可验证的证明见证，确保所有的评估结论都可以被独立验证。
查看详情

形式化验证论文写作规范

cav-writing-style
brycewang-stanford/Awesome-Journal-Skills
167
本指南详细阐述了计算机辅助验证（CAV）领域论文的结构和科学严谨性要求。它指导作者将研究工作从简单的系统演示或基准测试报告，提升为具有形式化保证、数学精确的学术贡献，重点强调明确的适用范围、定理陈述和证明思路。
查看详情

安全研究可复现性指南

ccs-reproducibility
brycewang-stanford/Awesome-Journal-Skills
170
本指南为研究人员提供了提升安全研究可复现性的方法论，指导用户将每一个安全主张（如攻击、防御、测量结果）与可验证的证据进行映射。它详细阐述了在无法分享所有证据时（如法律限制或安全顾虑）的替代方案，并定义了从“一键式”到“描述性”的复现等级，以确保研究的严谨性和透明度。
查看详情

代码库内存代码发现工具

codebase-memory-mcp
github/awesome-copilot
179
该工具利用代码库内存图谱，提供加速的代码发现、架构分析和依赖追踪能力，帮助用户理解大型代码库的模块关系和依赖结构。它适用于进行符号查找、影响分析和架构探索，但所有结论都需结合本地源文件进行验证。
查看详情

CPS复现与透明度指南

cps-transparency-and-data
brycewang-stanford/Awesome-Journal-Skills
468
本指南详细介绍了《比较政治学》（CPS）期刊对稿件的严格复现和透明度标准。它指导作者如何准备完整的可复现性包，包括数据、代码、日志文件和数据可用性声明，确保研究的严谨性和可验证性，是稿件顺利发表的关键步骤。
查看详情

代码库架构文档与现代化规划

doc-and-modernize
github/awesome-copilot
237
本技能为本地代码库提供双重工作流：文档模式生成可验证、引用的架构文档，适用于新员工入职和系统研究。现代化模式则基于此文档，制定分阶段、安全的升级或重写计划，确保系统平稳过渡，强调本地文件分析以确保准确性。
查看详情

工程期刊稿件投稿工作流

en-engtech-journal-workflow
brycewang-stanford/Awesome-Journal-Skills
497
这是一个用于工程和科技文稿的中央路由技能。它不直接完成投稿，而是通过深度分析稿件的工程子学科、贡献类型、验证形式和受众范围，指导作者进行内容重构和优化，从而将其准确匹配到最合适的专业期刊，为后续的专业投稿做准备。
查看详情

EuroSys会议论文定位指南

eurosys
brycewang-stanford/Awesome-Journal-Skills
290
本指南为提交给EuroSys会议的系统研究论文提供全方位的定位指导。它帮助作者判断论文的适用性，构建合适的叙事框架，并明确所需的实验证据深度（如实现细节和真实工作负载）。内容涵盖操作系统、分布式系统、云和安全等欧洲系统研究领域，并对比了SOSP和OSDI等顶级会议的投稿差异。
查看详情

欧洲系统会议产物评估指南

eurosys-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
416
本指南详细指导研究人员如何为学术论文准备高质量、可验证的系统产物（代码、数据、硬件）。它重点阐述了如何达到“可获取”、“功能完备”和“可复现”等多个评估徽章的标准，确保产物对外部评估者是自包含、可移植且可验证的。
查看详情
上一页123...71727374757677...798081下一页
语言
简体中文
English