American physicist Charles Bennett and Canadian computer scientist Gilles Brassard have won the 2025 Turing Award, for pioneering quantum cryptography, a method designed to provide secure ...

Quantum computers could solve certain problems that would take traditional classical computers an impractically long time to solve. At the Japan Advanced Institute of Science and Technology (JAIST), ...

Turing Award winners Gilles Brassard and Charles Bennett pioneered ideas that are now foundational to quantum computers and ...

New paired studies from the University of Minnesota Twin Cities show that machine learning can improve the prediction of floods. The studies, published in Water Resources Research and the Proceedings ...

This new model combines elements of the traditional models with newer machine-learning techniques that automatically learns the state of a river's watershed from observed data. This eliminates the ...

A State College-area high school student will return home from spring break with a major research prize under his belt. Connor Hill, a senior at State College’s Delta High School, claimed the top $250 ...

Most of you have used a navigation app like Google Maps for your travels at some point. These apps rely on algorithms that ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

The sustainable method developed by researchers at Johns Hopkins and Microsoft simulates risks within large language models to prevent harm before they go live ...

On Feb. 20, the Center for Human-Computer Interaction + Design convened an interdisciplinary group to discuss the validity and trustworthiness of social and behavioral data simulated by large language ...

The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

In high-stakes settings like medical diagnostics, users often want to know what led a computer vision model to make a certain prediction, so they can determine whether to trust its output. Concept ...