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

Skill UI

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

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

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

计算机辅助验证可复现性指南

cav-reproducibility
brycewang-stanford/Awesome-Journal-Skills
147
本指南提供了在计算机辅助验证（CAV）研究中确保实验结果和证明过程可重复性的详细协议。它强调固定基准测试集、记录精确的工具版本、记录资源限制（时间和内存），并提供可验证的证明见证，确保所有的评估结论都可以被独立验证。
查看详情

形式化验证论文写作规范

cav-writing-style
brycewang-stanford/Awesome-Journal-Skills
167
本指南详细阐述了计算机辅助验证（CAV）领域论文的结构和科学严谨性要求。它指导作者将研究工作从简单的系统演示或基准测试报告，提升为具有形式化保证、数学精确的学术贡献，重点强调明确的适用范围、定理陈述和证明思路。
查看详情

学术期刊投稿就绪审计

cjc-submission
brycewang-stanford/Awesome-Journal-Skills
223
本工具提供了一份针对顶级学术期刊（如《计算机学报》）的投稿就绪审计清单。它帮助作者系统性地检查和打磨长篇原创学术论文，涵盖了从官方模板使用、参考文献标准（GB/T 7714）到学术伦理（查重、一稿多投）等多个关键环节，确保稿件格式、内容和规范均达到高标准的学术出版要求。
查看详情

期刊选题与定位指南

cjc-topic-selection
brycewang-stanford/Awesome-Journal-Skills
482
本技能提供了一份全面的投稿前自查清单，指导用户判断计算机科学选题是否符合顶级学术期刊（如《计算机学报》）的综合性、原创长文定位。它帮助用户明确选题契合度、创新增量和稿件类型，避免因定位错误而导致初审退稿。
查看详情

计算机科学论文写作体例指南

csj-writing-style
brycewang-stanford/Awesome-Journal-Skills
391
本指南为撰写投递至高质量计算机科学期刊的学术论文提供全流程体例指导。内容涵盖报道性摘要（四要素）、中英文关键词、参考文献格式（GB/T 7714-2015）、图表规范、计量单位使用及科技写作风格，确保您的稿件结构和格式完全符合学术期刊的严苛要求。
查看详情

CVPR论文投稿全流程指南

cvpr-submission
brycewang-stanford/Awesome-Journal-Skills
136
本指南是CVPR论文投稿的审计清单，覆盖了从摘要注册到最终提交的所有关键环节。内容详细讲解了8页篇幅限制、计算报告表（CRF）的要求、如何保持论文的匿名性，以及避免任何可能导致“桌面拒绝”（desk-reject）的失误，是作者准备顶级学术论文投稿的必备参考。
查看详情

欧洲图形学会议投稿定位指南

eurographics
brycewang-stanford/Awesome-Journal-Skills
465
这是一个用于调整计算机图形学论文以适应Eurographics会议要求的专业工具。它指导作者如何构建论文的论点、组织技术证据，并将研究内容与欧洲图形学（如渲染、可视化、几何处理）的专业关注点高度契合，以提高投稿成功率。
查看详情

ESORICS会议论文定位指南

european-symposium-on-research-in-computer-security
brycewang-stanford/Awesome-Journal-Skills
176
本指南帮助作者评估其计算机安全论文是否符合欧洲安全研究会议ESORICS的定位。它详细指导了论文的撰写框架、研究范围（包括隐私、系统和密码学）以及所需的严格证据标准，确保投稿作品达到顶级学术会议的发表要求。
查看详情

EuroSys系统论文投稿决策指南

eurosys-topic-selection
brycewang-stanford/Awesome-Journal-Skills
255
本指南旨在帮助研究人员评估其计算机系统项目（涵盖操作系统、分布式架构、云原生和机器学习系统等领域）的最佳投稿目标。它提供了一套严谨的评估标准，包括系统实现、可迁移的理论洞察、实验证据的充分性以及投稿时机，帮助研究人员科学地选择顶级学术会议，提升论文的成功率。
查看详情

金融密码学与数据安全会议指南

financial-cryptography-and-data-security
brycewang-stanford/Awesome-Journal-Skills
314
本技能为作者提供了一个全面的指南，帮助判断论文是否适合投递到金融密码学与数据安全（FC）会议。内容涵盖了详细的适用范围、必须提供的证据标准（如威胁模型、经济背景），并指导如何将一般的计算机科学研究重新定位和重构，使其完美匹配金融安全领域的专业审稿人期望。
查看详情

顶级会议论文可复现性指南

focs-artifact-evaluation
brycewang-stanford/Awesome-Journal-Skills
393
本指南提供了在顶级理论计算机科学会议上撰写论文时，构建长期、可信赖的学术证据（Artifacts）的最佳实践。它详细指导如何管理证明证书、检查代码和版本控制，确保论文的理论声明具备高度的可复现性和学术持久性。
查看详情
上一页123...101112131415161718下一页
语言
简体中文
English