会员服务
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Arxiv
0+阅读 · 2024年12月26日
Pre-trained Vision-Language Models Learn Discoverable Visual Concepts
Arxiv
0+阅读 · 1月13日
Geometric Variants of the Gale--Berlekamp Switching Game
Arxiv
1+阅读 · 2024年12月22日
Incompressibility and spectral gaps of random circuits
Arxiv
0+阅读 · 2024年12月2日
Physics aware machine learning for micromagnetic energy minimization: recent algorithmic developments
Arxiv
0+阅读 · 2024年9月19日
Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
Arxiv
0+阅读 · 2024年7月9日
Fault-tolerance of the [[8,1,3]] non-CSS code
Arxiv
0+阅读 · 2024年7月4日
Fault-tolerance of the [[8,1,4]] non-CSS code
Arxiv
0+阅读 · 2024年7月2日
Kuroda's Translation for Higher-Order Logic
Arxiv
0+阅读 · 2024年4月30日
Penn & Slavery Project's Augmented Reality Tour: Augmenting a Campus to Reveal a Hidden History
Arxiv
0+阅读 · 2024年4月22日
PD-L1 Classification of Weakly-Labeled Whole Slide Images of Breast Cancer
Arxiv
0+阅读 · 2024年4月15日
From Seaweed to Security: The Emergence of Alginate in Compromising IoT Fingerprint Sensors
Arxiv
0+阅读 · 2024年4月2日
Cross-linguistically Consistent Semantic and Syntactic Annotation of Child-directed Speech
Arxiv
0+阅读 · 2024年3月14日
New topological subsystem codes from semi-regular tessellations
Arxiv
0+阅读 · 2024年2月29日
On the Costs and Benefits of Adopting Lifelong Learning for Software Analytics -- Empirical Study on Brown Build and Risk Prediction
Arxiv
0+阅读 · 2024年2月12日
参考链接
微信扫码咨询专知VIP会员
Top