PulseAugur
中
实时 08:56:14
实体 Function Skills

Function Skills

PulseAugur coverage of Function Skills — every cluster mentioning Function Skills across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_235387 ·

    新框架支持机器人实验室中可验证的科学工作流

    一篇新论文提出了一种物理实验室的可计算表示，以实现可验证的科学工作流。该表示使用类型化的研究对象和组合式工作流代数来弥合机器可读知识与物理世界之间的差距。该系统在机器人实验室中实现，通过将形式化操作绑定到可执行的“函数技能”，从而在调度操作之前对实验室约束进行有状态的模拟和验证。该框架旨在为自主科学发现提供通用的计算接口。