0

Incremental Validation of Formal Specifications by Paul Corwin This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation technique can be consid...

We resum Sudakov threshold enhancements in heavy quark hadroproduction for singleheavy quark inclusive and pair-inclusive kinematics. We expand these resummed results and derive analytical finite-order cross sections through next-to-next-to-leading order. This involves the construction of next-to-leading order matching conditions in color space. For the scale dependent terms we derive exact res...

Hydronic or electric heating of pavement surfaces has been used in the prevention of ice formation and snow deposition with the aim of improving transportation safety. This paper describes a numerical model of a heated pavement and the snow melting processes occurring on its surface. A set of boundary conditions have been defined, and models of heat and mass transfer developed, that allow treat...