Combinatorial optimization is a well-studied field with many applications to real-world problems. Many classical results and efficient algorithms for combinatorial optimization are based on polyhedral methods. I will show how to extend the polyhedral approach to the context of games and equilibrium problems, by looking at the impact of total unimodularity, a property that plays a crucial role in integer programming. I will define a new class of games, called Totally Unimodular (TU) Congestion Games, where the players' strategies are binary vectors inside polyhedra with TU constraint... Read More
Monday, March 27, 2017 -4:00pm to 5:00pmCS 1240Carla MichiniUW-Madison, Wisconsin Institute for Discovery (WID)
Tuesday, March 28, 2017 -4:00pm to 5:00pmCS 1240Philip ThomasCarnegie Mellon University
Machine learning algorithms are everywhere, ranging from simple data analysis and pattern recognition tools used across the sciences to complex systems that achieve super-human performance on various tasks. Ensuring that they are safe—that they do not, for example, cause harm to humans or act in a racist or sexist way—is therefore not a hypothetical problem to be dealt with in the future, but a pressing one that we can and should address now.
In this talk I will discuss some of my recent efforts to develop safe machine learning algorithms, and particularly safe reinforcement... Read More
Thursday, March 30, 2017 -11:00am to 1:00pmCS Lobby (near main elevators)Microsoft repsMicrosoft
Thursday, March 30, 2017 -4:00pm to 5:00pmComputer Sciences 1240Saeed AbdullahCornell University
Rhythms guide our lives. Almost every biological process reflects a roughly 24-hour periodicity known as a circadian rhythm. Living against these body clocks can have severe consequences for physical and mental well-being, with increased risk for cardiovascular disease, cancer,
obesity and mental illness. However, circadian disruptions are becoming increasingly widespread in our modern world. As such, there is an urgent need for novel technological solutions to address these issues.
In this talk, I will introduce the notion of “Circadian Computing” — technologies that support... Read More
Monday, April 3, 2017 -12:15pm to 1:15pm2310 CSAvrilia FloratouMicrosoft's Cloud and Information Services Lab (CISL)
In recent years, there has been an explosion of large-scale real-time analytics needs and a plethora of streaming systems have been developed to support such applications. These systems are able to continue stream processing even when faced with hardware and software failures. However, these systems do not address some crucial challenges facing their operators - the manual, time-consuming and error-prone tasks of tuning various configuration knobs to achieve service level objectives (SLOs) as well as the maintenance of SLOs in the face of sudden, unpredictable load variation and hardware... Read More
Thursday, April 6, 2017 -4:00pm to 5:00pmCS 1240Ellie PavlickUniversity of Pennsylvania
Natural language processing (NLP) aims to teach computers to understand human language. NLP has enabled some of the most visible applications of artificial intelligence, including Google search, IBM Watson, and Apple’s Siri. As AI is applied to increasingly complex domains such as health care, education, and government, NLP will play a crucial role in allowing computational systems to access the vast amount of human knowledge documented in the form of unstructured speech and text.
In this talk, I will discuss my work on training computers to make inferences about what is true or... Read More