Decooda
Invited Talk Abstracts
Howard, Ayanna (Georgia Institute of Technology) | Johnson, David (Decooda) | Conati, Cristina (University of British Columbia) | Chen, Frederick W. (Signal Systems Corporation) | Bjorner, Nikolaj (Microsoft Research)
Abstracts of the invited talks presented at the 2013 FLAIRS conference. Talks include Robotics and Assistive Technologies: Their Emerging Role in Healthcare (Howard); Crossing the Data Science Chasm: The Perception of What Data Science Is and What It Needs to Be (Johnson); Who Are My Users and How I Can Help Them? The Quest of User-Adaptive Interaction (Conati); Neural Networks in Satellite-Based Atmospheric Remote Sensing (Chen); and The Use of Automated Reasoning for Software Verification of Microsoft Products (Bjorner).