登录
下载

Skill UI

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

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

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

学术研究可复现性指南

tacas-reproducibility
brycewang-stanford/Awesome-Journal-Skills
307
本文档指导作者如何构建具有高度可复现性的技术论文和配套成果。它详细阐述了从环境打包（如Docker）、构建“声称-脚本”映射，到定义可复现性级别（如一键式），确保审稿人能够在干净的虚拟机上重建所有实验结果，这是顶级会议的强制性要求。
查看详情

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-supplementary
brycewang-stanford/Awesome-Journal-Skills
365
本指南详细阐述了学术技术论文的结构化撰写规范，指导作者如何科学划分主文、附录、补充网站和强制性工件。核心原则是：所有判断决定性内容必须留在主文部分，确保审稿人仅凭主文就能全面评估论文的科学性，提高论文的可评审性和完整性。
查看详情

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-contribution-framing
brycewang-stanford/Awesome-Journal-Skills
122
本指南旨在指导学术作者，将研究发现转化为清晰、明确且具有高度意义的知识陈述。它教会作者如何有效地构建和定位研究的贡献点，无论是新的理论、改进的衡量指标，还是政策含义。核心目标是让论文明确地回答：“该领域现在知道了什么？”从而满足期刊要求和审稿人的质疑。
查看详情

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

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）和实验设计，核心目的是解决变量间的内生性问题，从而准确推断因果关系。
查看详情
上一页123...931932933934935936937...962963964下一页
语言
简体中文
English