Edmund Beecher Wilson [4] contributed to cell biology, the study of cells, in the US during the end of the nineteenth and the beginning of the twentieth centuries. His three editions of The Cell in Development and Inheritance [5] (or Heredity [6]) in 1896, 1900, and 1925 introduced generations of students to cell biology. In The Cell, Wilson described the evidence and theories of his time about...

Decision-making, errors, and confidence in the brain 1 2 Edmund T. Rolls, Fabian Grabenhorst, and Gustavo Deco 3 4 Oxford Centre for Computational Neuroscience, Oxford, England. 5 Department of Experimental Psychology, University of Oxford, South Parks Road, Oxford OX1 3UD, 6 England. Present address: Department of Physiology, Development and Neuroscience, University of 7 Cambridge, UK. 8 Insti...

The goal of model checking is to determine if a given property holds in a particular system. For example, we may want to know that a server never sends sensitive data to the wrong client. Model checking has been used effectively in practice for many finite-state systems, including real-time applications, and for some infinite families of finite systems. Theorem proving and testing are other app...