会员服务
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日
The free bifibration on a functor
Arxiv
0+阅读 · 1月15日
Hofmann-Streicher lifting of fibred categories
Arxiv
0+阅读 · 1月5日
Unveiling the Impact of Social and Environmental Determinants of Health on Lung Function Decline in Cystic Fibrosis through Data Integration using the US Registry
Arxiv
0+阅读 · 2025年12月29日
Liver Fibrosis Quantification and Analysis: The LiQA Dataset and Baseline Method
Arxiv
0+阅读 · 2025年12月22日
The free bifibration on a functor
Arxiv
0+阅读 · 2025年12月24日
参考链接
微信扫码咨询专知VIP会员
Top