A Two-Stage Power Converter Based on Switched Capacitors and Piezoelectric Resonators
Improving and Generalizing the T4 Compiler
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
Responsible Content Filtering of 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
Reverse Engineering the Intel Xeon Gold 5220R
Improving Camera Interfaces Using Conceptual Design Principles
User’s Perceptions of Fairness Definitions
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
Sancus: A Trustworthy Loan System for DeFi Banks
Gastrointestinal Drug Delivery
Prediction of Cardiac Health from Electrocardiograms (ECGs) using Machine Learning
TypeScript Praxis for Second-Programming-Language Learning
Expanding JavaTutor: A Code Translation Tool
Experimentation on Hydraulic Fracturing and Facture Flow
Predicting and Understanding C.Difficile Risk 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
Nonaqueous Fluid Filling of Carbon Nanotubes
Generating Adversarial Computer Programs Using Optimized Obfuscations
Multi-Behavioral Robust Autonomous Navigation of a Small Quadruped Robot
Constructing Human-Like Reinforcement Learning Policies Leveraging Model Uncertainty
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
Artificially Intelligent Fabric Computers
A Hardware Accelerator for Memory-Efficient Irregular Algorithms
Battery-Free Subsea IoT: Oceans & Climate
World in Color. Improving Colorization Using Location Metadata.
Linguistic Analysis of Wikipedia for Question Answering
Parallel and Local Algorithms for Generating Random Combinatorial Objects
Deformed Ellipsoids for Object Shape Estimation
LEXI Project Automatic Speech Recognition
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
Aligning Models for Clinical Time Series Analysis
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
Python Data Processing Framework with Native Execution Speed
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
