FAME, a microprocessor based front-end analysis and modeling environment

Higher order software (HOS) is a methodology for the specification and verification of large scale, complex, real time systems. The HOS methodology was implemented as FAME (front end analysis and modeling environment), a microprocessor based system for interactively developing, analyzing, and displaying system models in a low cost user-friendly environment. The nature of the model is such that when completed it can be the basis for projection to a variety of forms such as structured design diagrams, Petri-nets, data flow diagrams, and PSL/PSA source code. The user's interface with the analyzer is easily recognized by any current user of a structured modeling approach; therefore extensive training is unnecessary. Furthermore, when all the system capabilities are used one can check on proper usage of data types, functions, and control structures thereby adding a new dimension to the design process that will lead to better and more easily verified software designs

Inference with interference between units in an fMRI experiment of motor inhibition

An experimental unit is an opportunity to randomly apply or withhold a treatment. There is interference between units if the application of the treatment to one unit may also affect other units. In cognitive neuroscience, a common form of experiment presents a sequence of stimuli or requests for cognitive activity at random to each experimental subject and measures biological aspects of brain activity that follow these requests. Each subject is then many experimental units, and interference between units within an experimental subject is likely, in part because the stimuli follow one another quickly and in part because human subjects learn or become experienced or primed or bored as the experiment proceeds. We use a recent fMRI experiment concerned with the inhibition of motor activity to illustrate and further develop recently proposed methodology for inference in the presence of interference. A simulation evaluates the power of competing procedures.Comment: Published by Journal of the American Statistical Association at http://www.tandfonline.com/doi/full/10.1080/01621459.2012.655954 . R package cin (Causal Inference for Neuroscience) implementing the proposed method is freely available on CRAN at https://CRAN.R-project.org/package=ci

Baby-Step Giant-Step Algorithms for the Symmetric Group

We study discrete logarithms in the setting of group actions. Suppose that $G$ is a group that acts on a set $S$. When $r,s \in S$, a solution $g \in G$ to $r^g = s$ can be thought of as a kind of logarithm. In this paper, we study the case where $G = S_n$, and develop analogs to the Shanks baby-step / giant-step procedure for ordinary discrete logarithms. Specifically, we compute two sets $A, B \subseteq S_n$ such that every permutation of $S_n$ can be written as a product $ab$ of elements $a \in A$ and $b \in B$. Our deterministic procedure is optimal up to constant factors, in the sense that $A$ and $B$ can be computed in optimal asymptotic complexity, and $|A|$ and $|B|$ are a small constant from $\sqrt{n!}$ in size. We also analyze randomized "collision" algorithms for the same problem

Strategies for Improving Access to Comprehensive Obesity Prevention and Treatment Services for Medicaid-Enrolled Children

This policy brief builds on our prior work for the Robert Wood Johnson Foundation. In 2005, The George Washington University School of Public Health and Health Services (GW) evaluated the role of public and private insurance in financing preventive care and treatment for at-risk and obese children. One of the key findings from that report was that Medicaid\u27s existing Early and Periodic Screening Diagnostic and Treatment (EPSDT) coverage standards provide for comprehensive, obesity-related pediatric health care interventions. Using data drawn from state Medicaid programs, this report examines the extent to which state programs use the Medicaid EPSDT benefit to address and finance obesity-related services that advance best-practice standards in obesity prevention, treatment and management in children

Field-dependent specific heat and multiple superconducting phases in UPt_3

We have measured the specific heat, C, of single-crystal UPt_3 in the superconducting regime as a function of temperature, T, and magnetic field, H, parallel to the c axis. We find that C(T) at fixed H<H_(c2) shows no evidence for different superconducting states. In contrast, our field-sweep data, C(H) at fixed T, have sharp changes in slope at H≊H_(c2)/2. The phase diagram deduced from these features agrees with neutron-scattering and torsional-oscillator results on the same samples. These thermodynamic measurements as a function of magnetic field constrain theories of exotic superconductivity in UPt_3

The Value of Demonstration in Human Maze Learning

In a first experiment, forty subjects were assigned to one of four groups. Each of these groups received one, two or three demonstrations, or no demonstration at all of a task on a bolt-head maze. It was found that number of demonstrations and reduction of errors per trial were positively related up to two demonstrations but no additional increment in performance appeared for three demonstrations. In a second experiment, error making by a demonstrator was contrasted with skilled demonstration. Three demonstrations with errors resulted in significantly fewer errors per trial than two demonstrations with errors. Three skilled errorless demonstration was nonsignificantly superior to three demonstrations with errors

IR Kuiper Belt Constraints

We compute the temperature and IR signal of particles of radius $a$ and albedo $\alpha$ at heliocentric distance $R$, taking into account the emissivity effect, and give an interpolating formula for the result. We compare with analyses of COBE DIRBE data by others (including recent detection of the cosmic IR background) for various values of heliocentric distance, $R$, particle radius, $a$, and particle albedo, $\alpha$. We then apply these results to a recently-developed picture of the Kuiper belt as a two-sector disk with a nearby, low-density sector (40<R<50-90 AU) and a more distant sector with a higher density. We consider the case in which passage through a molecular cloud essentially cleans the Solar System of dust. We apply a simple model of dust production by comet collisions and removal by the Poynting-Robertson effect to find limits on total and dust masses in the near and far sectors as a function of time since such a passage. Finally we compare Kuiper belt IR spectra for various parameter values.Comment: 34 pages, LaTeX, uses aasms4.sty, 11 PostScript figures not embedded. A number of substantive comments by a particularly thoughtful referee have been addresse

Managed Care and Medi-Cal Beneficiaries with Disabilities: Assessing Current State Practice in a Changing Federal Policy Environment

This analysis, prepared for The California Endowment, is a follow-on report to our earlier work that raised issues to be considered before moving persons with disabilities into compulsory Medicaid managed care plans and reviewed the extent to which California\u27s legal framework addressed the concerns identified. In this report, the George Washington University School of Public Health and Health Services examines how other states have addressed issues that arise in designing, implementing and overseeing compulsory managed care systems for persons with disabilities and serious and chronic health conditions. The experiences of other states that have developed these types of arrangements offer an important learning opportunity for any state that is beginning the process of evaluating possible reforms. In addition, we evaluate how the changes in the Deficit Reduction Act of 2005 relate to decisions regarding the use of mandatory managed care enrollment for disabled beneficiaries

Portable Catapult Launcher For Small Aircraft

An apparatus for launching an aircraft having a multiplicity of interconnected elongated tracks of rigid material forming a track system and wherein each elongated track has a predetermined elongated track cross-sectional design, a winch system connected to the track system wherein the winch system has a variable mechanical advantage, one or more elongated elastic members wherein one end of each of the one or more elongated elastic members is adjustably connected to the track system, and a carrier slidably mounted to the track system wherein the canier is connected to the winch system and to the other end of each of the one or more elongated elastic members

Reducing Obesity Risks During Childhood: The Role of Public and Private Health Insurance

In a widely publicized decision issued in 2004, the United States Department of Health and Human Services removed language from the Medicare Coverage Issues Manual which stated that obesity is not an illness, a pronouncement that paves the way for Medicare coverage of evidence-based obesity treatments. This determination by HHS also has important implications for public and private insurance coverage of health care services and interventions that have the potential to reduce the risk of lifelong obesity in children. This Report assesses the implications of the 2004 HHS obesity ruling into the context of public and private health insurance for children. It begins with an overview of what is known about obesity risk in childhood, as well as its short-term and long-term health consequences and then reviews the evidence of effective health interventions for children at risk. The Report then considers the implications of the 2004 decision for private health insurance coverage for children, followed by a more extended discussion of its implications for children covered under Medicaid and the State Children\u27s Health Insurance Program (SCHIP). The Report concludes with a discussion of strategies for engaging both public and private insurers in a systematic effort to increase investment in preventive health services for children at risk of obesity