开课单位--迈阿密大学
1 1/1

1
Autodidactic Neurosurgeon: Collaborative Deep Inference for Mobile Edge Intelligence via Online Learning[自动教育神经外科医生：通过在线学习进行移动边缘智能的协作深度推理]
  Letian Zhang(迈阿密大学) Autodidactic Neurosurgeon: Collaborative Deep Inference for Mobile Edge Intelligence via Online Learning
热度：38

2
Theorem proving competition overview and results[定理证明的竞争概述和结果]
  Geoff Sutcliffe(迈阿密大学) Theorem proving competition overview and results
热度：45

3
Interactive derivation viewer[推导的观众互动]
  Steven Trac(迈阿密大学) This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language...
热度：58

4
Workshop: OntoCAT: An Ontology Consumer Analysis Tool and Its Use on Product Services Categorization Standards[工作坊：Ontocat：本体消费者分析工具和产品服务分类标准的使用]
  Valerie Cross(迈阿密大学)
热度：38

5
Perceiving Nanoscale Phenomena: Interpreting and Disseminating Nanoscale Images[感知纳米级现象：解读和传播纳米级图像]
  Otávio Bueno(迈阿密大学) Scientific imaging techniques have played an increasingly significant role in nanoscale research. But how should the resulting images be interpreted? ...
热度：53
1 1/1