会员服务
Andromeda 是Google在2016年10月4日发布的融合了Android与ChromeOS的操作系统。
An extensible equality checking algorithm for dependent type theories
Arxiv
0+阅读 · 2022年1月18日
An extensible equality checking algorithm for dependent type theories
Arxiv
0+阅读 · 2021年12月15日
Finitary type theories with and without contexts
Arxiv
0+阅读 · 2021年12月1日
Weighing the Milky Way and Andromeda with Artificial Intelligence
Arxiv
0+阅读 · 2021年11月29日
An extensible equality checking algorithm for dependent type theories
Arxiv
0+阅读 · 2021年9月22日
ANDROMEDA: An FPGA Based RISC-V MPSoC Exploration Framework
ANDROMEDA: An FPGA Based RISC-V MPSoC Exploration Framework
Arxiv
0+阅读 · 2021年1月14日
Gravitational octree code performance evaluation on Volta GPU
Arxiv
0+阅读 · 2018年11月7日
Architecture of the Andromeda: a quantitative analysis of clustering in the inner stellar halo
Arxiv
0+阅读 · 2016年10月19日
The Need for Speed: Escape velocity and dynamical mass measurements of the Andromeda galaxy
Arxiv
0+阅读 · 2018年1月11日
Comparing the observable properties of dwarf galaxies on and off the Andromeda plane
Arxiv
0+阅读 · 2014年11月12日
Spectroscopy of the three distant Andromedan satellites Cassiopeia III, Lacerta I, and Perseus I
Arxiv
0+阅读 · 2014年8月21日
Accretion in action: phase space coherence of stellar debris and globular clusters in Andromeda's South-West Cloud
Arxiv
0+阅读 · 2014年8月26日
Substructure and Tidal Streams in the Andromeda Galaxy and its Satellites
Arxiv
0+阅读 · 2016年3月7日
A remarkable recurrent nova in M31: Discovery and optical/UV observations of the predicted 2014 eruption
Arxiv
0+阅读 · 2015年6月13日
Seen and unseen tidal caustics in the Andromeda galaxy
Arxiv
0+阅读 · 2010年10月19日
参考链接
父主题
Google 产品和服务
移动操作系统
操作系统
微信扫码咨询专知VIP会员
Top