登录
下载

Skill UI

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

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

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

验证工作相关性撰写指南

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

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

科学论文修改与回复指南

cc-peer-review-revision
brycewang-stanford/Awesome-Journal-Skills
413
本指南为作者提供了针对期刊同行评审意见的全面修改和回复流程。它详细指导作者如何系统化地处理审稿意见，计划进行严谨的体内或临床实验，构建逐点回复结构，并在提升科学严谨性的同时，恰当地缩小论文结论，适用于生物医学和学术出版领域。
查看详情

癌症细胞期刊投稿范围评估

cc-scope-fit
brycewang-stanford/Awesome-Journal-Skills
258
本指南用于评估分子或转化肿瘤学研究是否达到顶级期刊《Cancer Cell》的发表标准。它帮助研究人员系统性地判断研究是否具备足够的机制深度和临床转化相关性，从而在投入大量精力撰写稿件前，优化研究设计和定位。
查看详情

生物学统计学报告指南

cc-statistics
brycewang-stanford/Awesome-Journal-Skills
81
本指南提供了生物医学论文的统计学分析和报告的全面指导。它教会研究人员如何正确定义样本量（n），区分生物学重复与技术重复，选择合适的统计检验方法（如方差分析、生存分析等），并处理多重比较校正，旨在确保科学报告的高度严谨性和可重复性。
查看详情

癌症科学前沿摘要撰写指南

cc-structured-abstract
brycewang-stanford/Awesome-Journal-Skills
198
本指南为作者提供了撰写顶级癌症期刊（如Cancer Cell）高影响力前言部分的详细要求。内容涵盖摘要、亮点、eTOC小标题和图文摘要等，旨在指导撰写者确保文章在机制描述、科学严谨性和学术影响力上达到最高出版标准。
查看详情
上一页123...396397398399400401402...616617618下一页
语言
简体中文
English