awards grant
- An Algorithmic Study of Optimal Multiresolution Quantization and Joint Source-Channel Coding
- CAREER: Controlling Space Properties of Higher-Order Typed Programs
- CAREER: Controlling Space Properties of Higher-Order Typed Programs
- CAREER: Data Dissemination in Multihop Wireless Networks: Theory and System Design
- CRI: IAD: Acquisition of Research Infrastructure for Knowledge-enhanced, Large-scale Learning of Multimodality Visual Data
- CSR-PSCE, SM: Collaborative Research: VOLPEX: A Framework for Parallel Execution on Volatile Nodes
- Denotational Semantics of Programming Languages
- Denotational Semantics of Programming Languages (Computer Research)
- NeTS-NECO: A Framework for Cooperative Active Sensing in Wireless Structure Health Monitoring
- NeTS-NEDG: Toward Service Predictability under Uncertain Resource Availability in 802.11 Like Networks
- NeTS: Small: Toward Wireless Co-existence For Safety-critical Applications
- SHF: Small: Effectful Software Contracts
- SHF: Small: Information Effects
- SHF: Small: Reversible Concurrency
- SaTC: CORE: Medium: Self-Adaptive Cyber Risk Management via Machine to Machine Economy Supported by Blockchain and Smart Contracts Technology
- Symposium 2000 on Adaptive Systems for Signal Processing, Communications and Control
- Syntactic Theories: Their Automation and Logical Foundation
- Workshop on New Directions for Signal Processing in the 21st Century