Specifications to Enable Formal Verification for Hardware and Protocols Read more about Specifications to Enable Formal Verification for Hardware and Protocols
Quantum cascade laser frequency comb spectroscopy and its applications in environmental sensing Read more about Quantum cascade laser frequency comb spectroscopy and its applications in environmental sensing
Effectively learning from data and generating data in differentially private machine learning Read more about Effectively learning from data and generating data in differentially private machine learning
Unlocking Trustworthy Machine Learning with Sparsity Read more about Unlocking Trustworthy Machine Learning with Sparsity
Strongly Correlated Quantum States in Monolayer WTe2 and its Moiré Structure Read more about Strongly Correlated Quantum States in Monolayer WTe2 and its Moiré Structure
In-Memory Compute with Off-the-Shelf DRAMs and Efficient On-Chip Data Supply for Heterogeneous SoCs Read more about In-Memory Compute with Off-the-Shelf DRAMs and Efficient On-Chip Data Supply for Heterogeneous SoCs
Designing Efficient Clinical Randomized Controlled Trials with Limited Data using Artificial Intelligence Read more about Designing Efficient Clinical Randomized Controlled Trials with Limited Data using Artificial Intelligence
Photochemical and electro-optic devices for neuromorphic photonics in silicon Read more about Photochemical and electro-optic devices for neuromorphic photonics in silicon
Reconfigurable Hardware Acceleration with Synthesizable and Tightly Integrated FPGAs Read more about Reconfigurable Hardware Acceleration with Synthesizable and Tightly Integrated FPGAs
Fundamental bounds on electromagnetic phenomena Read more about Fundamental bounds on electromagnetic phenomena
