Baez called for the development of new mathematics — he called it “green” math — to better capture the workings of Earth’s biosphere and climate. For his part, he sought to apply category theory, a ...

Scientists at the Department of Energy's Lawrence Berkeley National Laboratory (Berkeley Lab) have developed a new way to determine atomic structures from nanocrystals previously considered unusable, ...

Abstract: Originally, GenProg was created to repair buggy programs written in the C programming language, launching a new discipline in Generate-and-Validate approach of Automated Program Repair (APR) ...

Abstract: Machine Learning (ML)-based optimization frameworks emerge as a promising technique for solving large-scale Mixed Integer Linear Programs (MILPs), as they can capture the mapping between ...

Using Science to Improve the BLM Wild Horse and Burro Program: A Way Forward reviews the science that underpins the Bureau of Land Management's oversight of free-ranging horses and burros on federal ...