Physiologic parameters that affect pulse transit time difference between the upper and lower limbs in children

Pulse wave velocity (PWV) is a known parameter that is related to arterial distensibility. However, its potential is hampered by the absence of appropriate techniques to estimate it noninvasively. PWV can be used as an assessment of increased arterial stiffness that is linked to systolic hypertension, excess cardiovascular morbidity and mortality.(1,2)

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Encephalitogenicity of murine, but not bovine, DM20 in SJL mice is due to a single amino acid difference in the immunodominant encephalitogenic epitope

Myelin proteolipid protein (PLP) contains 2 immunodominant encephalitogenic epitopes in SJL mice, namely PLP residues 139-151 and 178-191. DM20, a minor isoform of PLP, lacks residues 116-150 and consequently contains only the single major encephalitogenic epitope 178-191. However, it has been found previously that bovine DM20 is not encephalitogenic in SJL mice. Since residue 188 within peptide 178-191 is phenylalanine (F) in murine DM20 and alanine (A) in bovine DM20, we tested the effect of this difference on the immune responses and induction of EAE. SJL mice were immunized with either highly purified murine or bovine DM20. Residues 178-191 were found to be immunodominant for each, but only murine and not bovine DM20 was encephalitogenic. A synthetic peptide corresponding to the murine 178-191 sequence (F188) was also encephalitogenic, whereas the peptide corresponding to the bovine sequence (A188) was not. Both F188 and A188 bind with high affinity to I-A(s) and both are recognized by the SJL T cell repertoire. A188-specific T cell lines reacted to both A188 and F188, but F188-specific T cell lines were not stimulated by A188. F188-specific T cell lines produced mRNA for the Th1 cytokines IL2 and IFN gamma and, in passive transfer experiments, were encephalitogenic upon stimulation with F188, but not A188. In contrast, A188-specific T cell lines produced mRNA for IL4, IL5 and IL10, in addition to IL2 and IFN gamma, and were not encephalitogenic after stimulation with either F188 or A188. Cotransfer of A188-specific T cell lines with F188-specific T cell lines resulted in protection from EAE. Thus, A188 induces a functionally different phenotype of T cells from that induced by F188. Taken together these data suggest that the failure of bovine DM20 to induce EAE may be attributable to induction of protective rather than pathogenic T cells by the immunodominant epitope.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.