最新资讯

言栖资讯收录 191692 篇 AI、开发与建站文章,按发布时间排序,支持搜索与按语言筛选。

Typed Knowledge over Constructive Institutions

Typed Knowledge over Constructive Institutions

arXiv:2611.07432v1 Announce Type: cross Abstract: Type theories designed for mathematics or program verification need only that a proposition holds; proof irrel…

EnglisharXiv cs.DB
Monus vs. Interpretations in Semiring Semantics

Monus vs. Interpretations in Semiring Semantics

arXiv:2611.08474v1 Announce Type: new Abstract: Interpretations have been widely used in the study of provenance of queries on semiring-annotated databases. Her…

EnglisharXiv cs.DB
Invariant Discovery for Networked Systems

Invariant Discovery for Networked Systems

arXiv:2607.22944v2 Announce Type: replace Abstract: Invariants, the relations expected to hold among measured signals of a network, underpin applications from v…

EnglisharXiv cs.NI
BBR's Sharing Behavior with CUBIC and Reno

BBR's Sharing Behavior with CUBIC and Reno

arXiv:2505.07741v2 Announce Type: replace Abstract: TCP BBR's behavior has been explained by various theoretical models, and in particular those that describe h…

EnglisharXiv cs.NI