Sequencing and scheduling is a formof decision-making that plays a crucial role in manufacturing and service industries. In the current competitive environment effective sequencing and scheduling has become a necessity for survival in the market-place. Companies have to meet shipping dates that have been committed to customers, as failure to...

Where Men Hide is a spirited tour of the dark and often dirty places men go to find comfort, camaraderie,...

This practical work offers experimentalists an overview of the solvent's role in HPLC as well as detailed discussions of seven different solvent classes used in connection with HPLC methods. Each chapter on individual solvent classes includes a series of four tables which compile physical, chemical, and chromatographic properties; safety and...

Don’t they want to win? Every sports fan asks that question. And no wonder! Teams have an immense amount of detailed, quantifiable information to draw upon. They have powerful incentives for making good decisions. Everyone sees the results of their choices, and the consequences for failure...

As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...