The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

Abstract: A 3D-printed, dual-band, dual-polarized metasurface antenna is reported for high-capacity E-band and D-band communications. The aperture integrates a polarization converter with a dual-band ...

Abstract: 3D reconstructing surgical scenes for medical robotics is a desired capability to allow new visualization methods through mixed reality and enable a higher level of autonomy. A popular ...