登录
下载

Skill UI

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

论文终稿准备与出版指南

cav-camera-ready
brycewang-stanford/Awesome-Journal-Skills
437
本指南详细介绍论文在接受发表后的终稿（Camera-Ready）准备全流程。内容涵盖去除匿名化处理、完善Springer LNCS格式和元数据（如ORCID、作者顺序），妥善整合审稿意见，并使用DOI等方式永久化所有研究成果链接，确保论文符合出版标准。
查看详情

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

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学术论文评审流程指南

cav-review-process
brycewang-stanford/Awesome-Journal-Skills
80
本指南详细建模了CAV会议论文的复杂两阶段筛选流程。它解释了部分双重匿名机制、核心评审指标（如可靠性、健全性、新颖性），并为作者提供了战略建议，指导其如何构建论文以通过初筛，以及如何有效地使用反驳（rebuttal）阶段进行回应。
查看详情

CAV论文投稿预审指南

cav-submission
brycewang-stanford/Awesome-Journal-Skills
126
这份全面的审核指南旨在帮助作者为CAV会议撰写论文做好投稿准备。内容涵盖了稿件的四个投稿类别选择、LNCS格式要求、页面限制核查，以及关键的双盲匿名化流程。使用此清单预先进行排查，确保稿件在最终提交前达到所有技术和流程标准，避免提交失误。
查看详情

CAV论文补充材料结构指南

cav-supplementary
brycewang-stanford/Awesome-Journal-Skills
426
本指南详细介绍了CAV论文补充材料的组织结构。核心原则是：必须将决定性的、关键的论点和主定理保留在正文，而将完整的证明、巨型表格等细节内容移至可选的附录或附件，确保审稿人仅阅读正文就能判断论文的有效性和创新性。
查看详情

形式化方法论文投稿指南

cav-topic-selection
brycewang-stanford/Awesome-Journal-Skills
314
本指南帮助研究人员确定形式化方法研究的最佳学术投稿平台（如CAV、TACAS等）和论文类别（常规、工具、应用或工业经验）。它提供了详细的分类标准，指导作者根据贡献是基于理论保证、可用工具还是实际案例，从而确保论文与目标会议的最佳匹配度。
查看详情

CAV论文投稿工作流规划

cav-workflow
brycewang-stanford/Awesome-Journal-Skills
52
这是一份全面的项目管理指南，用于规划CAV会议论文的整个投稿生命周期。它提供了一个逆向计划时间线，涵盖了从确定研究主题、锁定证据到经历两阶段审稿、可选的文物评估，直至最终定稿的全流程时间管理，帮助用户规避常见的学术投稿风险。
查看详情

形式化验证论文写作规范

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

科学论文投稿信撰写指南

cc-cover-letter
brycewang-stanford/Awesome-Journal-Skills
81
本指南提供了撰写高影响力学术杂志（如Cancer Cell）投稿信和预审问询的完整结构和最佳实践。内容涵盖阐述核心研究进展、论证期刊匹配度、展示证据强度、设置审稿人建议，帮助作者遵循专业流程，确保稿件能吸引编辑的关注。
查看详情

稿件伦理及数据合规注册

cc-ethics-registration
brycewang-stanford/Awesome-Journal-Skills
291
本指南帮助研究人员汇总和记录高影响力科学论文所需的全部伦理批准、生物安全声明以及数据和代码可用性声明。它确保了论文在动物实验（IACUC）、人体研究（IRB/知情同意）和数据共享标准（GEO, Zenodo）等方面的合规性。
查看详情
上一页123...704705706707708709710...101810191020下一页
语言
简体中文
English