Video games have recently become a popular platform to test reinforcement learning algorithms, which sometimes achieve human-level performance. But do …

Imagine that you are responsible for a large piece of software. It would be great to give a mathematical proof …

The Internet of things (IoT) is rapidly emerging with the goal to connect the unconnected. Many new device manufacturers are …

Artificial intelligence (AI) has the potential to revolutionize many industries, for example, applications ranging from driverless cars, finance, national security, …

As network security monitoring grows more sophisticated, there is an increasing need for outsourcing such tasks to third-party analysts. However, …

Though early in its development, quantum computing is now available on real hardware via the cloud through IBM Q. This …

Graph-theoretic abstractions are at the core of data-intensive problems arising in social and technological network analysis (e.g., identifying implicit online …

The U.S. Probation and Pretrial Services Office (PPSO) staff supervise more than 300,000 people a year and produce billions of …