A Two-Stage Power Converter Based on Switched Capacitors and Piezoelectric Resonators
Improving and Generalizing the T4 Compiler
The Frame Problem in Code Search
Protein Modification for AAV Delivery with DNA Origami Nanoparticles
Certified Control for Autonomous Vehicles
Sublinear Time Algorithms for “Real World Graphs”
Improving the Readout of Superconducting Quantum Circuits
Compressed Screening: High-Throughput Phenotypic Screening of Biological Ligands in Organoid Models
Designing Innovating Weather Insurance for Crop Farmers
Optimization of Agricultural Kelp Production
Application of Performance Engineering for START
Hunting for Prime Exoplanets with TESS & SPECULOOS
Investigation of Kinetic Inductance in van der Waals Superconductors
Deep Learning for Crop Yield Prediction
Cost of Regulating Social Media
Intuitive Control Interface for Soft-Robotic Magnetic Guidewires
Learning Symmetries from Data with Optimization-Based Meta Learning
Computational Modeling of Child Language Acquisition
Fundamental Chemistry of Graphene CVD Growth: Material Design at Atomic Resolution
Benchmarks and Comparisons of Physics Based Finite Element Methods
Exploring Security Vulnerabilities in Modern Processors
Improving Camera Interfaces Using Conceptual Design Principles
Preserving Privacy for Unstructured Data
Effects of Coastal Ocean Acidification on Commercially Important Organisms
Optimizing Parallel Loops in Cilk Using Loop Frames
Understanding the Optimization and Iteration Complexity of Polyak-Lojasiewicz Functions
Ultra-Small-Scale THz Circuits
Building CNNs to Classify Dysplastic Nevi vs. Melanoma
Prefetching in the Swarm Processor
Using Machine Learning to Predict South African Education Outcomes
Right for Right Reasons: Interpretably Robust NLP Models
Phrasal Hierarchical Tree Data Structure for the Representation of Speech Information
Leveraging Machine Learning to Transform Climate Modeling
A Hardware Accelerator for Memory-Efficient Irregular Algorithms
Using Blockchain Smart Contracts for Automating Legal Agreements
Gastrointestinal Drug Delivery
Predicting Clinical Outcomes with Echocardiogram
Dojo Tutor for Second-Programming-Language Learning
Expanding JavaTutor: A Code Translation Tool
Experimentation on Hydraulic Fracturing and Facture Flow
Investigating C. Difficile and COVID-19 Using Computational Models
Learning Bayesian Networks with Observational and Interventional Data
Flame Synthesis of Nanomaterials for Biomedical Sensing
A Geospatial Analysis of Energy Consumption and Production in the United States
Planning dashboard for integrating autonomy into urban systems
Simulating Artificial Spiking Neural Networks Made from Superconducting Nanowires
Understanding the Limits of Machine and Human Vision
Action Grounding with Primitive Predicates and Logic Inference
Dynamic Abstraction for Efficient Planning in Large MDPs
Social Mechanisms of Cultural Evolution
Single-File Fluid Filling in Carbon Nanotubes
Automated Vulnerability and Malware Detection in Source Code
Multi-Behavioral Robust Autonomous Navigation of a Small Quadruped Robot
Constructing Hierarchical Reinforcement Learning Policies via Skill Embeddings
Parallel Pruning for Faster Discovery of Neural Network Lottery Tickets
Problems in Anonymous Peer-to-Peer File Sharing
Dynamical Aspects of Retinal Neural Coding for a Moving Object
Improving the Quality of Automatically Generated Domain-Flexible Semantic Parsers
Static Linking Optimization
Optimizing Parameterizations of Turbulent Planetary Flows for Climate Modeling with Machine Learning
Privatizing split learning with high communication efficiency for distributed ML
Artificially Intelligent Fabric Computers
A Hardware Accelerator for Memory-Efficient Irregular Algorithms
Battery-Free Subsea IoT: Oceans & Climate
Photographic Analysis of Political Leanings
Linguistic Analysis of Wikipedia for Question Answering
Parallel and Local Algorithms for Generating Random Combinatorial Objects
Particle Filtering for Dynamic Ellipsoid Object Tracking
LEXI Project Automatic Speech Recognition
AI-Based Approaches for Precision Indoor Agriculture
Optical Receiver Optimization for Quantum States
Symmetry with Deep Neural Networks
Shape-Aware Representation Learning for Category-Level Manipulation Skills
Cost of Regulating Social Media
Synthesizing programs with evolutionary algorithms and formal methods
Constrained Inference on Clinical Time Series for Model Alignment
Acoustic Cue Detection and Processing
Transformation Tolerance of Machine-Based Face Recognition Systems
Quantum Time Series Forecasting
Evaluating Acoustic Cue Labeling
Register Transfer Level Design in a Kotlin Embedded Language
Efficient Splitting Methods for Rare Event Simulation Using Ornstein-Uhlenbeck Eigen Functions
A Network Analysis of the Chemical Industry
Modeling and Prediction of Ocean Plastic Pollution
Differentially Private Federated Learning
Construction of an Algorithm to Take Spare CT Data and Return a Full 2-D/3-D CT Reconstruction
Improving Distance Preservers and Additive Spanners
Leveraging Computer Vision to Identify Viable Livers for Transplant
Learned Components for Data Systems
Hydrothermal Processing (HTP) and Computational Modeling for Turning Waste Into Useful Materials
Understanding the Capnogram Through Simple Models for Exhaled CO2
Small Ants with Big Wisdom: Consensus in Collective Decision-Making Algorithms in Ant Colonies
Building Robust Neural Architectures to Defend against Adversarial Attacks