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

Skill UI

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

STOC论文证据与产物评估指南

stoc-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
97
这是一份针对理论计算科学论文的详细指南，指导作者如何准备和提交论文的证据物（包括证明、证书和代码）。它详细说明了在顶级学术会议（如STOC）发表论文时，应如何规划和呈现论文的完整版本，确保论证的严谨性和可追溯性。
查看详情

学术论文投稿与定稿流程

stoc-camera-ready
brycewang-stanford/Awesome-Journal-Skills
136
这是一份针对理论计算机科学作者的深度指南，指导如何将一篇已接受的论文转化为两种不同的公开版本：用于会议记录的精简摘要版和用于预印本服务器（如ArXiv）的完整版。详细涵盖了格式化、版权处理、版本控制和后续发表的全部流程，确保学术成果的完整性。
查看详情

理论论文证明可复现性标准

stoc-reproducibility
brycewang-stanford/Awesome-Journal-Skills
337
本指南提供了确保学术论文证明可复现性的严格标准，尤其针对证明内容分散到多个文档（如摘要和完整版）的场景。核心在于使用单源构建方法，防止定理表述漂移，确保所有数学声明具备最高的独立可验证性，是理论计算机科学研究的必备流程。
查看详情

系统工程投稿定位与指南

systems-engineering-theory-and-practice
brycewang-stanford/Awesome-Journal-Skills
388
本技能提供了一套系统性的投稿评估框架，用于判断稿件是否适合投递到《系统工程理论与实践》期刊。它帮助研究人员从期刊定位、模型贡献、结构要求、方法论深度等方面进行自我审视，确保文章满足系统工程领域的严谨学术标准，并给出潜在的修改和调整建议。
查看详情

成果物提交与评估指南

tacas-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
352
本指南详细介绍了学术会议（TACAS/ETAPS）的成果物（Artifact）提交和评估流程。它阐述了包含工具演示和研究案例的强制性两轮评估机制。作者必须确保成果物具备高度的可复现性，并按照标准打包，以获取“可用”、“功能”、“可重用”等徽章，确保在清洁虚拟机环境下的兼容性。
查看详情

学术论文定稿与出版指南

tacas-camera-ready
brycewang-stanford/Awesome-Journal-Skills
454
本指南详细介绍了论文被Springer LNCS接收后必须完成的定稿准备流程。核心任务包括：恢复去匿名化的作者信息、应用LNCS特定格式，完善ORCID等元数据，整合审稿人反馈，将研究成果链接永久化（使用DOI），并完成开放获取的版权许可流程。
查看详情

形式化验证实验评估指南

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

TACAS学术论文撰写规范

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