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?
Time for a Change: Introducing irreversible time in economics An exploration of the remarkable consequences of using Boltzmann's 1870s...
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...
The Roman Denarius and the Euro: A precedent for monetary union? A look at the way the Roman Empire has sometimes...