A pectoralis major myofascial flap (PMMF) is a simple variant of the pectoralis major myocutaneous flap (PMMC), and allows avoiding some of the disadvantages of Ariyan's technique while reducing well-known, overall complications. This is a retrospective analysis of 45 hypopharyngeal reconstructions (40 immediate reconstructions after subtotal pharyngolaryngectomy and 5 performed during revision...

A diverse collection of correctness statements have been proposed and used in microprocessor verification efforts. Correctness statements have evolved from criteria that match a single step of the implementation against the specification to seemingly looser, multi-step, criteria. In this paper, we formally verify conditions under which two categories of multi-step correctness statements logical...

A new method of numerical integration is presented here, the variable-step Störmer-Cowell method. The method uses error control to regulate the step size, so larger step sizes can be taken when possible, and is double-integration, so only one evaluation per step is necessary when integrating second-order differential equations. The method is not variable-order, because variable-order algorithms...