Arithmetic by Computer and by Human Long multiplication, long division and logarithms are, for many, dim-remembered...
Making Software 'Correct by Construction' Is it possible to build software so that you know that is is correct? How could this be done? Has anyone tried? What would it cost?
Children's Self-Control and the Health and Wealth of their Nation: Tracking 1000 children from birth to maturity Policy-makers are considering large-scale early intervention programs to enhance children's...
The psychological health of the UK Armed Forces The mental health of the United Kingdom Armed Forces is...
Brain Reconstruction: the next biomedical breakthrough, or a biological impossibility? How close are we to true brain reconstruction? Professor Jack...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...