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

Skill UI

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

自动化软件工程实验评估规范

ase-experiments
brycewang-stanford/Awesome-Journal-Skills
90
这是一份为研究人员和审稿人设计的自动化软件工程（ASE）评估指南。它详细说明了进行科学、严谨和可复现的评估所需的各项规范，包括使用真实的软件系统、搭建公平的工具基线、进行组件隔离的消融研究（Ablation），并要求明确定义验证机制和完整的数据溯源记录，确保评估结果的可靠性。
查看详情

严谨数据分析与证据报告

asq-data-analysis
brycewang-stanford/Awesome-Journal-Skills
491
本指南帮助研究人员为顶级学术期刊（如ASQ）构建严谨的学术证据链。它涵盖定性和定量分析的最佳实践，确保所有理论主张都可追溯、可验证。重点在于建立数据到理论的透明路径，并进行全面的机制和稳健性检验，以应对审稿人的质疑。
查看详情

社会学论文数据与透明度规范

asr-data-and-transparency
brycewang-stanford/Awesome-Journal-Skills
164
本指南旨在帮助用户遵循社会科学领域（如ASR/ASA）的学术数据共享与透明度规范。它指导用户如何系统性地记录研究数据的来源、构建和处理过程（数据溯源），同时明确处理保密性约束和伦理问题。适用于撰写学术论文、准备数据补充材料或应对审稿人关于数据验证的咨询。
查看详情

顶级会议论文回应与修改指南

atc-author-response
brycewang-stanford/Awesome-Journal-Skills
82
本指南详细介绍了顶级学术会议（如ATC）论文投稿后的两类正式回应写作方法：用于修正事实误读和提供缺失数据的“反驳”（rebuttal），以及在条件接受后，逐点记录所有已完成修订的“修改说明”。核心原则强调回应必须基于可验证的证据、精准且非争论性，确保每一次修改都能被清晰追溯，以推动论文最终接受。
查看详情

系统论文可复现性指南

atc-reproducibility
brycewang-stanford/Awesome-Journal-Skills
156
本指南为系统类学术论文提供全流程可复现性构建指导。涵盖了从锁定硬件、操作系统、工具链到代码版本的环境记录，要求构建一键运行的匿名化评估包，确保论文结果能够被同行独立验证和重现，是学术成果严谨性的关键要求。
查看详情

《癌细胞》投稿指南

cancer-cell
brycewang-stanford/Awesome-Journal-Skills
54
这是一份针对顶级癌症生物学期刊《Cancer Cell》的详细投稿指南。它深入阐述了文章必须具备的机制深度、明确的临床转化意义以及严格的实验证据标准（如正交扰动和体内模型）。用于帮助作者在投稿前系统性地审视和重构手稿，确保达到期刊的最高学术门槛。
查看详情

CAV工件评估指南

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

作者回复稿撰写指南

cav-author-response
brycewang-stanford/Awesome-Journal-Skills
407
这是一份关于撰写学术论文作者回复（Rebuttal）的专业指南。它指导作者如何针对同行评审中提出的关于证明可靠性、基准公平性、新颖性或适用范围等质疑，有条不紊地进行回应，核心原则是必须使用可验证的现有证据，而非承诺未完成的实验。
查看详情

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

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）领域论文的结构和科学严谨性要求。它指导作者将研究工作从简单的系统演示或基准测试报告，提升为具有形式化保证、数学精确的学术贡献，重点强调明确的适用范围、定理陈述和证明思路。
查看详情
上一页123...109110111112113114115...137138139下一页
语言
简体中文
English