New Scientist

How an intern helped build the AI that shook the world

Chris Maddison was just an intern when he started working on the Go-playing AI that would eventually become AlphaGo. A decade ...

Debugging a quantum processor: New method pinpoints qubit errors during logical operations

Researchers at the University of Innsbruck, together with partners from Sydney and Waterloo, have presented a new diagnostic ...
IEEE

Constraint Programming Based Model and Algorithm for Solving Steelmaking and Continuous Casting Scheduling Problem with Adjustable Casting Time

Abstract: The Steelmaking-Continuous Casting (SCC) scheduling problem is usually regarded as a type of hybrid flow-shop scheduling problems (HFSP) with special process constraints. To research the SCC ...
IEEE

Unification Algorithm Implementation for First-Order Logic Inference Engines

Abstract: A unification algorithm is one of the most important parts of a First-Order Logic (FOL) inference engine because it allows for the discovery of substitutions that make two logical ...