Children's Health Coverage Facts and Figures

Outlines trends in children's health insurance in California. Reviews 1997-2009 milestones in expanding coverage and examines uninsurance rates; eligibility for and enrollment in public programs; sources of coverage by income and age; and access to care

Genetic Algorithm for Orthogonal Designs

We show how to use Simple Genetic Algorithm to produce Hadamard matrices of large orders, from teh full orthogonal design or oder 16 with 9 variables, OD(16; 1, 1, 2, 2, 2, 2, 2, 2, 2). The objective functionthat we use in our implementation of Simple Genetic Algorithm, comes from a Computational Algebra formalism of the full orthogonal design equations. In particular, we constructed Hadamard matrices of orders 144, 176, 208, 240, 272, 304 and 336, from the aforementioned orthogonal design. By varying three genetic operator parameters, we computer 62 inequivalent Hadamard matices of order 304 and 4 inequivalent Hadamard matrices of order 336. Therefore we established two new constructive lower bounds for the numbers of Hadamard matrices of order 304 and 336

TLA+ Proofs

TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them with TLAPS, the TLA+ Proof System. We use Peterson's mutual exclusion algorithm as a simple example to describe the features of TLAPS and show how it and the Toolbox (an IDE for TLA+) help users to manage large, complex proofs.Comment: A shorter version of this article appeared in the proceedings of the conference Formal Methods 2012 (FM 2012, Paris, France, Springer LNCS 7436, pp. 147-154

Randomization test of mean is compuationally inaccessible when the number of groups exceeds two

With the advent of fast computers, the randomization test of mean (also called the permutation test) received some attention in the recent years. Here we show that the randomization test is possible only for two-group design; comparing three groups requires a number of permutations so vast that even three groups of ten participants is beyond the current capabilities of modern computers. Further, we show that the rate of increase in the number of permutation is so large that simply adding one more participant per group to the data results in a computation time increased by at least one order of magnitude (in the three-group design) or more. Hence, the exhaustive randomization test may never be a viable alternative to ANOVAs

Le passé eugénique canadien et ses leçons au regard des nouvelles technologies génétiques

L'eugénisme fascine. L'eugénisme fait peur. D'ailleurs, le spectre de cette idéologie, lié à un passé riche en histoire, revient en force et suscite des craintes de dérives quant à l'avancement des connaissances scientifiques et de leurs applications principalement dans le débat sur le diagnostic préimplantatoire. Alors que nous nous intéressons à son encadrement normatif, une approche historique permet de guider le législateur afin de ne pas répéter des erreurs passées et de mieux en comprendre les enjeux. Or, une loi eugénique a déjà existé au Canada en matière de stérilisation des personnes mentalement handicapées. À la lumière de celle-ci et de son histoire, l'auteur s'interroge sur les leçons que nous pouvons appliquer au diagnostic préimplantatoire, une technologie génétique permettant de sélectionner un enfant créé in vitro en fonction de son profil génétique.The eugenics fascinates. The eugenics frightens. Moreover, the spectre of this ideology, connected to a past rich in history, returns in strength and arouses fears of drift as for the progress of the scientific knowledge and their applications mainly in the debate on preimplantation genetic diagnosis. While we are interested in its normative framing, a historic approach allows to guide the legislator to not repeat past errors and to understand better the stakes. An eugenic law has already existed in Canada in sterilisation of the persons mentally disabled. In the light of this law and its history, the author wonders about the lessons which we can apply to preimplantation genetic diagnosis, a genetic technology allowing to select a child created in vitro according to his genetic profile

Una historia del futuro

Desiree Cousineau, alumna de la universidad del Norte de Texas en conjunto con la Traducción de Alland Escobar de la Universidad Autónoma del Estado de México narran la historia de Eva Martínez originaria de Valle de Bravo, Estado de México. La vida de Eva está acompañada de distanciamientos familiares y situaciones difíciles, sin embargo se encuentra rodeada de personas, que aunque no sean de su familia, la tratan como tal. Ahora ella se dedica a la lectura del Tarot que la ha distanciado aun más de su familia.El Dr. Lenin Martell de la Universidad Autónoma del Estado de México y el Dr. Thorne Anderson de la Universidad del Norte de Texas

A semantic method to prove strong normalization from weak normalization

Deduction modulo is an extension of first-order predicate logic where axioms are replaced by rewrite rules and where many theories, such as arithmetic, simple type theory and some variants of set theory, can be expressed. An important question in deduction modulo is to find a condition of the theories that have the strong normalization property. In a previous paper we proposed a refinement of the notion of model for theories expressed in deduction modulo, in a way allowing not only to prove soundness, but also completeness: a theory has the strong normalization property if and only if it has a model of this form. In this paper, we present how we can use these techniques to prove that all weakly normalizing theories expressed in minimal deduction modulo, are strongly normalizing

Healthy Kids Program and the Safety Net: Perceptions of Community Clinic Administrators

Based on interviews with clinic CEOs, assesses the impact of the program to provide comprehensive health insurance to children not eligible for Medi-Cal or Healthy Families, including enrollment, services extended, and clinic operations and finances

Using Mathematica within E-Prime

When programming complex experiments (for example, involving the generation of stimuli online), the traditional experiment programming software are not well equipped. One solution is to give up entirely the use of such software in favor of a low-level programming language. Here we show how E-Prime can be connected to Mathematica so that the easiness and reliability of this software can be preserved while at the same time granting it the full computational power of a high-level programming language. As an example, we show how to generate noisy images with noise proportional to the rate of success of the participants with as few as 12 lines of codes in E-Prime