登录
下载

Skill UI

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

形式化验证实验评估指南

tacas-experiments
brycewang-stanford/Awesome-Journal-Skills
280
本指南提供了形式化验证工具和算法实验评估的最佳实践。它强调使用共享的社区基准，确保与最强的基线进行公平比较，详细报告所有指标，验证结果的可靠性，并保证所有实验结果在干净环境中可复现，以指导撰写高质量的工具论文。
查看详情

可验证系统相关工作撰写指南

tacas-related-work
brycewang-stanford/Awesome-Journal-Skills
154
本指南专门指导作者如何撰写形式化验证领域（如TACAS）的“相关工作”部分。它强调不能简单地罗列文献，而是必须采用“增量（Delta-first）”视角，要求作者明确指出自己的工具或算法与最近的现有工作在哪些理论或实现上实现了突破，并覆盖整个形式化验证的知识图谱。
查看详情

TACAS会议评审流程指南

tacas-review-process
brycewang-stanford/Awesome-Journal-Skills
313
本指南详细介绍了TACAS（科学应用工具与算法）的复杂投稿和评审流程。它涵盖了按类别进行的匿名评审、工具论文强制的并行产物评估，以及单轮会议的决策机制。帮助作者理解从准备到最终接受的每一个关键步骤，制定投稿策略。
查看详情

TACAS投稿审核指南

tacas-submission
brycewang-stanford/Awesome-Journal-Skills
412
本指南是一份全面的预提交审核清单，用于作者准备投稿至TACAS/ETAPS。它指导用户选择正确的论文类别、遵守Springer LNCS的页数限制、处理双盲与单盲评审规则，并正确准备强制性的工具成果物（Artifact），确保投稿符合学术会议的全部规范。
查看详情

TACAS会议主题与投稿指南

tacas-topic-selection
brycewang-stanford/Awesome-Journal-Skills
493
本指南旨在帮助研究人员确定其形式化验证项目（工具或算法）最合适的投稿平台。它指导用户决定项目应投递至TACAS，还是其他相关会议（如CAV、VMCAI等），并帮助选择最符合其贡献类型的投稿类别。
查看详情

TACAS论文投稿流程规划

tacas-workflow
brycewang-stanford/Awesome-Journal-Skills
323
本指南提供了一份详尽的TACAS会议投稿项目管理时间线和工作流。它从项目初期的选题和证据锁定，到后续的强制性工具工件提交、审稿意见反驳和最终的终稿准备，全面覆盖了学术论文投稿的完整生命周期，特别适应其单年度评审周期和工具/论文并行评审的特殊流程。
查看详情

TACAS学术论文撰写规范

tacas-writing-style
brycewang-stanford/Awesome-Journal-Skills
321
这是一份为提交给验证领域专家的学术论文提供的综合撰写指南。它强调必须在第一页明确阐述核心贡献，必须明确提出正确性保证（soundness claim），并要求所有实证证据都必须配有公平、可复现的基准测试。指导作者根据论文类型匹配正确的结构和规范。
查看详情

高级计量估计与稳健性报告

tar-data-analysis
brycewang-stanford/Awesome-Journal-Skills
450
本指南旨在指导学术研究人员进行严谨的实证分析报告。内容涵盖了从选择合适的计量模型（如双重差分、2SLS、RDD）到处理固定效应、进行稳健性检验（如安慰剂检验、替代样本）的全部流程，并特别强调了顶级期刊所要求的数据可追溯性和代码可复现性，确保研究结果的可靠性。
查看详情

会计研究文献定位指南

tar-literature-positioning
brycewang-stanford/Awesome-Journal-Skills
214
本指南用于指导学术作者如何为顶级会计期刊撰写文献综述。它强调的重点不是指出知识空白，而是进行“问题化”（Problematization）：即识别并解决现有学术文献中的核心争议点和未解释的张力。这有助于将研究成果定位在一个持续、活跃的学术对话中，提升论文的创新性和学术深度。
查看详情

研究设计与因果识别方法

tar-methods
brycewang-stanford/Awesome-Journal-Skills
300
本指南是一份全面的学术研究设计方法论工具箱，旨在帮助用户构建具备高可信度因果识别性的研究。它详细介绍了一系列高级计量经济学模型，包括双重差分（DiD）、工具变量（IV）、回归不连续设计（RDD）和实验设计，核心目的是解决变量间的内生性问题，从而准确推断因果关系。
查看详情

理解学术期刊审稿流程

tar-review-process
brycewang-stanford/Awesome-Journal-Skills
314
本指南详细介绍了顶级学术期刊的完整审稿流程。它解释了多层级的编辑结构、双盲评审模式，并指导作者如何解读审稿决定信（如初审拒绝、大修等）。帮助作者了解投稿全过程的期望、最佳学术实践和学术诚信要求。
查看详情

学术论文投稿前检查指南

tar-submission
brycewang-stanford/Awesome-Journal-Skills
332
本指南为提交学术期刊稿件（如《会计评论》）提供的全面预审清单。它确保稿件符合严格的学术投稿标准，涵盖双盲匿名化、AI披露声明、ORCID关联、特定的格式要求（如芝加哥格式、页数限制）以及数据可溯源性要求，以维护研究的完整性。
查看详情
上一页123...264265266267268269270...278279280下一页
语言
简体中文
English