Medicaid, passed 40 years ago with Medicare, had roots in the decades-long public assistance programs which preceded it. These roots are still evident today. This article explores the origin and passage of the Medicaid Program in 1965, describes key statutory provisions, and reflects on the resulting strengths and weaknesses of the program today.

In this paper we extend the predicate logic introduced in [BRS02] in order to deal with Semi-Markov Processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to Semi-Markov Processes. Furthermore we apply our logic to Probabilistic Timed Automata considering classical and urgent semantics, and considering also predicates on...

A comparative analysis of different models of a Magneto-Rheological (MR) damper was done. Three models were tested: a non-linear ARX, a semi-phenomenological and a phenomenological. Although the non-linear ARX model shown the best result, this is a black-box model with limited use. However, the Semi-Phenomenological model represented an excellent option considering the physical meaning of its p...

Abstract The Fairlie-Gumbel-Morgenstern (FGM) family has been investigated in detail for various continuous marginals such as Cauchy, normal, exponential, gamma, Weibull, lognormal and others. It has been a popular model for the bivariate distribution with mild dependence. However, bivariate FGM’s with continuous marginals on a bounded support discussed in the literature are only those with uni...

Abstract We give some adequate extension, in the framework of a general Lévy process, of our previous construction of processes with one-dimensional martingale marginals, done originally in the set-up of Brownian motion. The Lévy process framework allows us to streamline our previous arguments, as well as to reach a larger class of such processes, even in the Brownian case. We give some illustr...