Medicaid can improve beneficiary health and help sustain its own future by embracing payment for outcomes. Good precedents exist from states such as Florida, Maryland, Minnesota, New York, Ohio, Pennsylvania, and Texas. Medicaid outcome measures include preventable admissions, readmissions, emergency department visits, and inpatient complications; early elective deliveries; infant and child mor...

This thesis develops a formal framework for the specification, complexity analysis and verification of functional and performance requirements of configurable communication systems and protocols. The main objective is demonstrating the applicability of the proposed framework for the modelling and verification of a realistic system. Design-for-Verification principles are demonstrated, such as th...

• Spectral Libraries In this document, we discuss the principles behind the planning, development and implementation of Fourier transform near-infrared (FT-NIR) spectroscopic libraries for raw material identification and qualification. This document considers not only the mechanics of library construction but also the steps in establishing a raw material program. This includes the planning stag...

The intent of this article is to show the need to establish a more formal organization than presently exists over the World Wide Web. (This article will use the terms the Internet and Cyberspace interchangeably.) It is proposed that this formal organization take the form of a metacontrol system-to be explained-and rely, at least in part, for this control to self-regulate. The so-called metasyst...

We describe an approach for deening and making use of compositions of partial speciications written in diierent formal languages. The technique provides a rst step towards integrating formal methods that use the notations. We discuss the integration process and consider how reenement can occur in such a setting. We present several examples of formal heterogeneous speciications, and two examples...

Biobanks are increasingly hailed as powerful tools to advance health research. The social and ethical challenges associated with the implementation and operation of biobanks are equally well-documented. One of the proposed solutions to these challenges involves trading off a reduction in the specificity of informed consent protocols with an increased emphasis on governance. However, little work...