Verification, Type-level Programming, Safety Proofs, Linear Types
Interactive Adversarial Testing of Autonomous Vehicles with Adjustable Confrontation Intensity
arxiv.orgยท2h
SWIFT: A General Sensitive Weight Identification Framework for Fast Sensor-Transfer Pansharpening
arxiv.orgยท1d
Research Challenges and Progress in the End-to-End V2X Cooperative Autonomous Driving Competition
arxiv.orgยท2h
Speed up suspend/resume for FreeBSD
eugene-andrienko.comยท2d
DeepJIVE: Learning Joint and Individual Variation Explained from Multimodal Data Using Deep Learning
arxiv.orgยท1d
APPLE-SA-07-29-2025-5 macOS Ventura 13.7.7
seclists.orgยท3h
Loading...Loading more...