We present a syntactic method for proving observational equivalences in reduction systems. The method is based on establishing a weak diamond property for critical pairs. It has been used successfully in proofs on the observational equivalence theories of var and .

This paper uses the National Family Health Survey (NFHS) data collected in 1992-93 to estimate the determinants of child (aged 6 to 14) enrollment and educational attainment of a recent cohort (aged 15 to 19) in India. The analysis produces five major results. First, using an index of assets as a proxy for household wealth shows enormous gaps between the enrollment and attainment of children fr...

This paper introduces a class of graphs deened as the models of a peculiar kind of linear bounded machines that read their input performing all computations on work tapes. It is proven that this class is closed, up to observational equivalence, under synchronized product. The rst{order theory of these graphs is investegated and shown to be undecidable. The latter result extends to any logic in ...

The propensity score is defined as a subject's probability of treatment selection, conditional on observed baseline covariates. Weighting subjects by the inverse probability of treatment received creates a synthetic sample in which treatment assignment is independent of measured baseline covariates. Inverse probability of treatment weighting (IPTW) using the propensity score allows one to obtai...

The propensity score is defined as the probability of each individual study subject being assigned to a group of interest for comparison purposes. Propensity score adjustment is a method of ensuring an even distribution of confounders between groups, thereby increasing between group comparability. Propensity score analysis is therefore an increasingly applied statistical method in observational...

We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our development builds on the work of Benton and Leperchey, who devised a nominal semantics and a local relational reasoning method for a language with simple types and simple references. Their method uses a parameterized logical r...

We tested the effects of an observational intervention (Greer & Singer-Dudek, 2008) on establishing children's books as conditioned reinforcers using a delayed multiple baseline design. Three preschool students with mild language and developmental delays served as the participants. Prior to the intervention, books did not function as reinforcers for any of the participants. The observational in...

The current tendency is to provide post-approval evidence from separate, often larger and less well controlled trials. Typical examples of these are pragmatic trials (randomisation, little/no control), purely prospective observational trials (no randomisation, no control) and use of historic controls. #3 New study design: Mixed RCT (cont.) In a Mixed RCT patients would be selected and randomise...