A Two-Stage Power Converter Based on Switched Capacitors and Piezoelectric Resonators
Improving and Generalizing the T4 Compiler
Semantic Code Search with Types
Protein Modification for AAV Delivery with DNA Origami Nanoparticles
Certified Control for Autonomous Vehicles
Sublinear Time Algorithms for “Real World Graphs”
Compressed Screening: High throughput screening of small molecules 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
Statistical Models of Computer Programs
Investigation of Kinetic Inductance in Van Der Waals Superconductors
Training Autonomous Vehicles Within World Models
Deep Learning for Crop Yield Prediction
Cost of Regulating Social Media
Magnetically Steerable Neurovascular Guidewire with Integrated Shape Sensing Capabilities
Task Similarity in 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
Generating Models To Predict Pediatric Cancer Diagnosis and Prognosis
Investigating Cache Prefetching for T4-Compiled Swarm Programs
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
Prediction of Clinical Outcomes from Electrocardiograms (ECGs) Using Machine Learning
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
Estimating Differences in Causal Graphs Using 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
Formal Verification for Concurrency in Distributed Computing
Action Grounding with Primitive Predicates and Logic Inference
Composite Curiosity-Driven Exploration for Q-Learning
Social Mechanisms of Cultural Evolution
Nanoscale Transport Phenomena in Carbon Nanotubes
Automated Vulnerability and Malware Detection in Source Code
Irregular Gaits and Contact Sequence Control Models for Rough Terrain Locomotion
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
Characterization of the Quantum Optical Receiver
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
Switching Dynamical Systems for Informed Physiological State Discovery
Acoustic Cue Detection and Processing
Transformation Tolerance of Machine-based Face Recognition Systems
Quantum Time Series Forecasting
Acoustic Cue Labeling and Analysis
Efficient Computing for Robotics on an FPGA
Efficient Splitting Methods for Rare Event Simulation Using Ornstein-Uhlenbeck Eigen Functions
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
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
