2.4k citations
- Center for Astrophysics Harvard & SmithsonianUS32 papers
- University of ArizonaUS17 papers
- Massachusetts Institute of TechnologyUS16 papers
- Argonne National LaboratoryUS13 papers
- Centre National de la Recherche ScientifiqueFR13 papers
- Harvard UniversityUS12 papers
- University of Maryland, College ParkUS11 papers
- Goddard Space Flight CenterUS10 papers
- Planetary Science InstituteUS10 papers
- Duke UniversityUS9 papers
- Michigan State UniversityUS9 papers
- University of California, BerkeleyUS9 papers
298 papers
Securing Contrastive mmWave-based Human Activity Recognition against Adversarial Label Flipping
Amit Singha, Ziqian Bi, Tao Li +2
Wireless Human Activity Recognition (HAR), leveraging their non-intrusive nature, has the potential to revolutionize various sectors, including healthcare, virtual reality, and sur…
Segment-level thermal sensitivity analysis for exo-Earth coronagraphy with segmented space telescopes
Ananya Sahoo, Laurent Pueyo, Iva Laginja +5
Direct imaging and characterization of Earth-like planets require ultra-stable wavefronts to achieve a starlight suppression level of 100 parts per trillion (ppt) in the coronagrap…
A Typestate Approach to Purpose-aware Programming
Joan Montas, Samuel Dodson, Anitha Gollamudi +1
Real-world applications often require verification that sensitive data is being used for their intended purpose. However, existing literature offers limited results regarding compi…
A Self-Evolving Agentic Framework for Metasurface Inverse Design
Yi Huang, Bowen Zheng, Yunxi Dong +4
Metasurface inverse design can realize complex optical functionality, but turning a target optical response into executable optimization code still requires substantial expertise i…
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
Zena M. Ariola, Paul Downen, Hugo Herbelin
Structural recursion is a common technique used by programmers in modern languages and is taught to introductory computer science students. But what about its dual, structural core…
A Mechanistic Perspective and Circuit-Guided Difficulty Metric for Unlearning
Jiali Cheng, Ziheng Chen, Chirag Agarwal +1
Machine unlearning is becoming essential for building trustworthy and compliant language models. Yet unlearning success varies considerably across individual samples: some are reli…