Plasmonic nanostructure based on silver and gold that produces LSPR to withstand ultrahigh temperatures without damage remains a great challenge for future ultra-compact integrated circuits, and high-power enabled photonic devices. […]
ABSTRACT: Throughout the COVID-19 pandemic, countries relied on a variety of ad-hoc border control protocols to allow for non-essential travel while safeguarding public health: from quarantining all travellers to restricting […]
ABSTRACT: "A.I. has an explainability crisis"---Fortune Magazine. If you ask an ML researcher about explainability, you'll find that there are a large number of interpretability methods with no clear consensus […]
ABSTRACT: We present three approaches to combine formal methods, control theory, and machine learning for safe and performant autonomous systems. Safe control for learning-enabled systems: We present our recent progress […]
ABSTRACT: It is immensely empowering to delegate information processing and automation work to machines and have them carry out difficult tasks on our behalf. But programming computers is hard. The […]
Organizers: Rajeev Alur (Penn Engineering), John Holmes (PSOM), Insup Lee (Penn Engineering), Qi Long (PSOM), Marylyn Richie (PSOM) Event Description: Artificial intelligence and machine learning promise to revolutionize nearly every field, […]
ABSTRACT: The past decade has seen unprecedented growth in Software Engineering— developers spend enormous time and effort to create new products. With such enormous growth comes the responsibility of producing […]
ABSTRACT: Research in lifelong or continual machine learning has advanced rapidly over the past few years, primarily focusing on enabling learned models to acquire new tasks over time while avoiding […]
ABSTRACT: Verified artificial intelligence (AI) is the goal of designing AI-based systems that have strong, ideally provable, assurances of correctness with respect to formally specified requirements. This talk will review […]
