Sometimes single–clock timed process algebras are insufficient for modelling systems in practice. For example, this is the case for systems–on–chip where a single clock cannot be physically implemented with the required accuracy, or globally–asynchronous locally– synchronous systems that are spatially distributed. This note revisits the few published approaches to multi–clock timed process alge...

Efforts by several investigators to measure availability of water to plants by vapor pressure (2, 12) and other methods (10, 14) have indicated that the potential of water at the permanent wilting percentage is approximately 16 x 106 ergs per gram, whereas others (1, 11) have obtained results which indicate somewhat lower values. A great many experiments (3, 4, 5, 6, 13) have demonstrated that ...

Growing Problem Solvers provides four original, related, classroom-ready mathematical tasks, one for each grade band. Together, these tasks illustrate the trajectory of learners’ growth as problem solvers across their years school mathematics.

The focus of this panel is the trade-off between excessive testing and acceptable shipped quality levels. How much testing is enough? We all strive to ship our customers high quality product, or at least product that meets our customers’ quality expectations. Often improvements in shipped quality levels can be made by plugging obvious holes in a device’s test suite, sometimes simply by increasi...

In this study, we review federal datasets to assess the impacts of once-through power plant cooling systems on summer freshwater temperatures in the United States from 1996 to 2005. We find that maximum reported temperature discharges averaged 37 C (1996–2005) and were 9.5 C (1996–2000) to 10 C (2001–2005) higher than maximum reported intake temperatures during the summer. More than half of all...