Grace Hopper Annual Conference Schedule


Artificial Intelligence: Presentations

October 15 4:00 pm-5:00 pm
362 A Level Three GRBCC
TRACK: Artificial Intelligence
Presentation / Lightning Talk
From Planes to UAS: Safe, Automated Air Traffic Control
4:00 PM - 4:30 PM
LEVEL: Beginner

NASA is designing a new, automated, air-traffic control system. Given a large space of partial designs, e.g. dividing aircraft separation assurance functions between the air and ground in different configurations, how do we comparatively analyze safety in a meaningful way? How do we reason about adding Unmanned Aerial Systems? We use the automated reasoning of formal methods!
Learn how your CS background can help you shape the future of airspace!

User Latent Preference Model for Better Downside Management
4:30 PM - 5:00 PM
LEVEL: Advanced

Downside management is an important topic in the field of recommender systems. User satisfaction increases when good items are recommended, but satisfaction drops significantly when bad recommendations are pushed to them. While most existing work focuses on upside management, this paper emphasizes on achieving better downside management. The approach we propose is general and can be applied to any scenario or domain where downside management is key to the system.