A: Ithaca, New York, United States
Michael Schmidt and Hod Lipson of Cornell University published "Distilling Free-Form Natural Laws from Experimental Data," Science 3 April 2009: Vol. 324. no. 5923, pp. 81 - 85 DOI: 10.1126/science.1165893. The paper described a computer program that sifted raw and imperfect data to uncover fundamental laws of nature.
"For centuries, scientists have attempted to identify and document analytical laws that underlie physical phenomena in nature. Despite the prevalence of computing power, the process of finding natural laws and their corresponding equations has resisted automation. A key challenge to finding analytic relations automatically is defining algorithmically what makes a correlation in observed data important and insightful. We propose a principle for the identification of nontriviality. We demonstrated this approach by automatically searching motion-tracking data captured from various physical systems, ranging from simple harmonic oscillators to chaotic double-pendula. Without any prior knowledge about physics, kinematics, or geometry, the algorithm discovered Hamiltonians, Lagrangians, and other laws of geometric and momentum conservation. The discovery rate accelerated as laws found for simpler systems were used to bootstrap explanations for more complex systems, gradually uncovering the "alphabet" used to describe those systems" (Abstract from Science)