A cautionary tale

Article Abstract:

Corporate-funded university research may present some problems when the results are not in the corporation's best interests. Corporations such as Boots jeopardize their own success and the future of scientific research when they try to prevent publication of unfavorable research findings.

User Contributions:

Comment about this article or add new information about this topic:

Comment:  (50-4000 characters)

Name:

E-mail:

Security Code:

Mathematical logic flushes out the bugs in chip designs

Article Abstract:

Recent advances in formal verification may soon help computer-chip manufacturers detect flaws in microprocessor designs while at the drawing-board stage. A theorem prover developed at SRI International was used to find bugs in the AAMP5 microprocessor.

User Contributions:

Comment about this article or add new information about this topic:

Comment:  (50-4000 characters)

Name:

E-mail:

Security Code:

A Tale of Big Game and Small Bugs

Article Abstract:

Using Hudson Bay Company detailed records of the fur trade between 1821 and 1939, lynx population density and beetle population fluctuations have been explained in terms of external factors such as weather amd predation.

User Contributions:

Comment about this article or add new information about this topic:

Comment:  (50-4000 characters)

Name:

E-mail:

Security Code: