AI for Smart Grids and Smart Buildings
| Automatic Label Correction and Appliance Prioritization in Single Household Electricity Disaggregation | |
| Mark Valovage, Maria Gini |
Beyond NP
| Constrained Sampling and Counting: Universal Hashing Meets SAT Solving | |
| Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik |
| Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs | |
| Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt |
Declarative Learning Based Programming
| JudgeD: A Probabilistic Datalog with Dependencies | |
| Brend Wanders, Maurice van Keulen, Jan Flokstra |
Expanding the Boundaries of Health Informatics Using AI
| Adaptive Ensemble Learning with Confidence Bounds for Personalized Diagnosis | |
| Cem Tekin, Jinsung Yoon, Mihaela van der Schaar |
Planning for Hybrid Systems
| Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem | |
| Tony T. Tran, Zhihui Wang, Minh Do, Eleanor G. Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck |
Symbiotic Cognitive Systems
| Contexts for Symbiotic Autonomy: Semantic Mapping, Task Teaching and Social Robotics | |
| Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi, Francesco Riccio, Andrea Vanzo |
| Ceding Control: Empowering Remote Participants in Meetings involving Smart Conference Rooms | |
| Vinay Venkataraman, Jonathan Lenchner, Shari Trewin, Maryam Ashoori, Shang Guo, Mishal Dholakia, Pavan Turaga |
World Wide Web and Population Health Intelligence
| Discourse, Health and Well-Being of Military Populations Through the Social Media Lens | |
| Umashanthi Pavalanathan, Vivek Datla, Svitlana Volkova, Lauren Charles-Smith, Meg Pirrung, Josh Harrison, Alan Chappell, Courtney D Corley |