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

Skill UI

浏览并发现 15857+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索 EOR ，共找到 14 条记录

默认排序最新上传最多下载

TACAS会议主题与投稿指南

tacas-topic-selection

brycewang-stanford/Awesome-Journal-Skills

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

交通研究B：方法论投稿指南

transportation-research-part-b-methodological

brycewang-stanford/Awesome-Journal-Skills

本指南帮助作者判断其研究是否适合投稿到《交通研究B：方法论》。核心要求是贡献必须是方法论或理论上的普遍性突破（如新的模型、算法或定理），而不是简单的应用案例。它指导作者如何重构和定位文章，以满足期刊对数学和理论的严谨性要求。

语言