会员服务
Optimization under uncertainty: understanding orders and testing programs with specifications
Arxiv
0+阅读 · 2月13日
Numerical exploration of the range of shape functionals using neural networks
Arxiv
0+阅读 · 2月16日
On semidefinite-representable sets over valued fields
Arxiv
0+阅读 · 2月10日
On the logical structure of choice and bar induction principles
Arxiv
0+阅读 · 1月23日
Interpreting Lambda Calculus in Domain-Valued Random Variables
Arxiv
0+阅读 · 1月5日
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Arxiv
0+阅读 · 2025年12月15日
Coco: Corecursion with Compositional Heterogeneous Productivity
Arxiv
0+阅读 · 2025年11月26日
Evo* 2025 -- Late-Breaking Abstracts Volume
Arxiv
0+阅读 · 2025年11月9日
Open Data, Privacy, and Fair Information Principles: Towards a Balancing Framework
Arxiv
0+阅读 · 2025年12月5日
Novel Concepts for Agent-Based Population Modelling and Simulation: Updates from GEPOC ABM
Arxiv
0+阅读 · 2025年11月7日
DetectiumFire: A Comprehensive Multi-modal Dataset Bridging Vision and Language for Fire Understanding
Arxiv
0+阅读 · 2025年11月4日
Investigation of a Bit-Sequence Reconciliation Protocol Based on Neural TPM Networks in Secure Quantum Communications
Arxiv
0+阅读 · 2025年12月15日
Ultralow-power standoff acoustic leak detection
Arxiv
0+阅读 · 2025年11月1日
CoT4Det: A Chain-of-Thought Framework for Perception-Oriented Vision-Language Tasks
Arxiv
0+阅读 · 2025年12月7日
SimuFreeMark: A Noise-Simulation-Free Robust Watermarking Against Image Editing
Arxiv
0+阅读 · 2025年11月14日
参考链接
微信扫码咨询专知VIP会员
Top