2 papers
math.CT2026
Intensional semantics for comparison problems in arithmetic geometry
R. Laniewski
This work proposes a semantic environment for arithmetic geometry in which the passage between two presentations of one object carries a measurable weight, rather than dissolving i…
eess.SY2026
SafeSABR: Risk-Calibrated Adaptive Bitrate Streaming over Starlink Networks
Hongjun Xie, Jiahang Zhu, Zhiming Shao +4
Starlink, as a representative low Earth orbit (LEO) satellite broadband system, makes high-bitrate video streaming possible in regions where terrestrial broadband is unavailable. H…