In the last 40 years, scientists have perfected ways to determine the knot-like structure of enzymes, but they've been stumped trying to translate the structure into an understanding of function -- ...

Part 1 looks at the basic problems of translating MATLAB to C. Part 3 examines the verification process and makes the case for automatic C generation. It will be published Thursday, December 13. In ...