A Calculus of Inheritance
该论文提出了一种以记录、定义和继承为三大原语、将继承建模为集合并集从而消除多重继承线性化问题的继承演算,该演算在语义上具有第一阶和不动点可计算性,且比λ演算具有更强的表达能力。
原作者已查阅我们通俗解释的论文。
本页收录的每篇论文,都有至少一位原作者阅读并参与了我们的通俗解释——或是确认其准确无误,或是提出修正意见并由我们随后采纳。作者的确认并不等同于对每一句话的正式背书,但说明该解释已经过论文作者的审视。
607 篇论文已由作者审阅 · 561–570 / 607
该论文提出了一种以记录、定义和继承为三大原语、将继承建模为集合并集从而消除多重继承线性化问题的继承演算,该演算在语义上具有第一阶和不动点可计算性,且比λ演算具有更强的表达能力。
本文通过端到端数值模拟研究了 SAXO+ 系统中基于金字塔波前传感器的非共路像差补偿与暗孔回路性能,发现非共路像差补偿可将残余星光降低 20 倍,而暗孔回路能将其降低 200 倍,并评估了金字塔光学增益校准在不同观测条件下的作用。
本文通过建立基于折纸与剪纸几何的弹出式结构离散曲面曲率定义,提出了一种能够根据预设形状设计折切图案并实现单一结构在展开过程中从负曲率向正曲率转变的设计流程,并展示了其在减阻、包装及建筑立面等领域的应用潜力。
本文介绍了 WeldAR 系统,这是一种将增强现实技术集成到焊接头盔中的在位指导工具,通过为新手提供实时反馈,显著提升了他们在实际焊接练习及独立测试中的表现,特别是旅行速度和工作角度等关键技能。
本文介绍了 ABD 基准,旨在评估前沿大语言模型在有限一阶世界中通过稀疏异常假设恢复可满足性的默认 - 异常归因能力,揭示了模型在有效性上的高表现与稀疏性差距及跨场景泛化失败模式。
该论文在假设黎曼猜想不成立的前提下,建立了一个渐近关系,将某些狄利克雷-函数非平凡零点处的留数与关于有理数的连续函数联系起来,并探讨了其对黎曼猜想的潜在启示。
本文通过提出“排水盆地模式”概念模型,结合从 10 Gbps 到 100 Gbps 的规模化生产部署验证,揭示了端到端数据传输的瓶颈往往位于网络核心之外,强调需通过软硬件协同设计来突破单纯依赖网络带宽的局限,以实现可预测的高性能数据移动。
GA-NIFS 项目利用 NIRSpec/IFU 对红移 的 MACS0647-JD 系统进行了首次空间分辨研究,揭示了该双星系统内存在由湍流金属贫乏气体流入驱动的合并诱发星暴现象。
该研究提出了一种对比学习框架,成功将 X 射线光谱与科学文献中的领域知识对齐,构建了共享的多模态表示,不仅显著提升了 20 个物理变量的估算精度,还通过异常检测有效识别了高优先级的天体物理目标。
该研究报告了红移 z=4.442 处迄今发现的最遥远莱曼连续谱(LyC)发射体 MXDFz4.4,其逃逸分数高达 50-100%,并通过首次在高红移下检验莱曼α形态特征,揭示了近期星爆活动对电离光子产生与逃逸的关键影响,从而支持了早期宇宙中随机恒星形成在宇宙再电离过程中的重要作用。