Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Robotic Construction Using Intelligent Scaffolding

Convergence of a Numerical Method for Reconstructing Faults from Boundary Measurements

Development of an Open Source Quadrupedal Robot Platform for Education: SmallKat

Design, Development and Characterization of a Wrap Spring Clutch/Brake Mechanism as a Knee Joint for a Hybrid Exoskeleton

Wu: A Cultural Export Game with Dynamic Difficulty

Wu: A Cultural Export Game with Dynamic Difficulty

The effect of prompted self-revision on student performance in the context of open-ended problems using Randomized Control Trials

Compact and Low-Cost Acoustic-Resolution Photoacoustic Microscopy Based on Delta Configuration Actuator

Let there be light... Characterizing the Effects of Adverse Lighting on Semantic Segmentation of Wound Images and Mitigation using a Deep Retinex Model

Towards Automated Suturing of Soft Tissue: Automating Suturing Hand-off Task for da Vinci Research Kit Arm using Reinforcement Learning

Motion Segmentation for Autonomous Robots Using 3D Point Cloud Data

Chemical Recycling of Poly(ethylene terephthalate): Effects of Mechanical Stress and Radiation Damage on Hydrolysis

Shared Complex Event Trend Aggregation

Age of Information in Multi-Hop Status Update Systems: Fundamental Bounds and Scheduling Policy Design

Development of a Data-Grounded Theory of Program Design in HTDP

In Silico Edgetic Profiling and Network Analysis of Human Genetic Variants, with an Application to Disease Module Detection

Effects of the Edges of 2D Materials on Photoelectrochemical Solar Energy Conversion

Contextual Outlier Detection from Heterogeneous Data Sources