From the perspective of industry, formal methods over-promise and under-deliver. Theoretical computer scientists love the notion of proving programs correct, but have slowly come round to the realization that promises in grant proposals aren’t the same as delivering in the real world. Essentially we started seeing a slow erosion of the importance of the notion of soundness; completeness was dro...

Daily precipitation data from worldwide stations and gridded analyses and from 18 coupled global climate models are used to evaluate the models’ performance in simulating the precipitation frequency, intensity, and the number of rainy days contributing to most (i.e., 67%) of the annual precipitation total. Although the models examined here are able to simulate the land precipitation amount well...

Woodpecker damage caused extensive reductions in strength of 50-foot, class-2 utility poles, the amount depending on the cross-sectional area of wood removed and its distance from the apex. Two methods for estimating when damaged poles should be replaced proved to be conservative when applied to results of field tests. Such conservative predictions of falling loads could be used for systematic ...