The best of the rest from the physics arXiv this week:

From Formal Proofs to Mathematical Proofs: a safe, incremental way for building in first-order decision procedures

A  Single Molecule Transistor Based on Amino-substituted Butanethiol Molecular Junctions

A Survey of Quantum Computational Complexity

Unusual Magnetic Behavior in Ferrite Hollow Nanospheres

Mesoscopic Study on Historic Masonry

DNA Cages with Icosahedral Symmetry in Bionanotechnology

Optical Solitons as Quantum Objects

Operator Imprecision and Scaling of Shor’s Algorithm

This entry was posted on Saturday, April 26th, 2008 at 12:53 am and is filed under Cherry pickin'. You can follow any responses to this entry through the RSS 2.0 feed. Both comments and pings are currently closed.