会员服务
Simulation-Based Multi-Fillet Evaluation of Woody Breast Poultry Fillets
Arxiv
0+阅读 · 6月15日
Gödel coding on fibrations and geminal categories
Arxiv
0+阅读 · 5月31日
A Fibrational Perspective on Differential Linear Logic
Arxiv
0+阅读 · 5月8日
A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
Arxiv
0+阅读 · 4月1日
Layered Monoidal Theories II: Fibrational Semantics
Arxiv
0+阅读 · 2月25日
Directed type theory, with a twist
Arxiv
0+阅读 · 2月19日
A type theory for invertibility in weak $ω$-categories
Arxiv
0+阅读 · 2月18日
Semi-supervised Liver Segmentation and Patch-based Fibrosis Staging with Registration-aided Multi-parametric MRI
Arxiv
0+阅读 · 2月10日
Synthesis of Late Gadolinium Enhancement Images via Implicit Neural Representations for Cardiac Scar Segmentation
Arxiv
0+阅读 · 2月12日
The very dependent recursive structure of iterated parametricity in indexed form
Arxiv
0+阅读 · 2月13日
Profunctorial algebras
Arxiv
0+阅读 · 1月30日
Hierarchical Locally Recoverable Codes on surfaces
Arxiv
0+阅读 · 2月1日
Reflexive graph lenses in univalent foundations
Arxiv
0+阅读 · 1月19日
Problems with fixpoints of polynomials of polynomials
Arxiv
0+阅读 · 1月21日
A cartesian closed fibration of higher-order regular languages
Arxiv
0+阅读 · 1月25日
参考链接
微信扫码咨询专知VIP会员
Top