2.4k citations
- Center for Astrophysics Harvard & SmithsonianUS54 papers
- Massachusetts Institute of TechnologyUS33 papers
- University of California, BerkeleyUS28 papers
- Harvard UniversityUS27 papers
- Goddard Space Flight CenterUS26 papers
- University of ArizonaUS22 papers
- Argonne National LaboratoryUS19 papers
- Michigan State UniversityUS16 papers
- Centre National de la Recherche ScientifiqueFR15 papers
- University of Maryland, College ParkUS14 papers
- National Superconducting Cyclotron LaboratoryUS13 papers
- University of Massachusetts AmherstUS13 papers
497 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…