Traffic congestion and automobile accidents are two of the leading causes of decreased standard of living and lost productivity in urban settings. Recent advances in artificial intelligence suggest that autonomous vehicle navigation will be possible in the near future. Individual cars can now be equipped with features of autonomy such as adaptive cruise control, GPS-based route planning (Rogers...

After clarifying how Darwin understood natural selection and common ancestry, I consider how the two concepts are related in his theory. I argue that common ancestry has evidential priority. Arguments about natural selection often make use of the assumption of common ancestry, whereas arguments for common ancestry do not require the assumption that natural selection has been at work. In fact, D...

Retinal axons project to their central targets along two orthogonal topographic axes, anterior-posterior (A-P) and dorsal-ventral (D-V). While ephrin-A/EphA signaling determines A-P topography, little has been known about the molecular mechanisms guiding axons along the D-V axis. Two papers by Mann et al. and Hindges et al. in this issue of Neuron provide evidence for both forward and reverse e...

One recent advance in program development has been the application of abstract interpretation to verify the partial correctness of a (constraint) logic program. Traditionally forwards analysis has been applied that starts with an initial goal and traces the execution in the direction of the control-flow to approximate the program state at each program point. This is often enough to verify asser...