A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Probing the time course of nonlinear discriminations during human electrodermal conditioning

Animal-based theories of Pavlovian conditioning propose that patterning discriminations are solved using unique cues or immediate configuring. Recent studies with humans, however, provided evidence that in positive and negative patterning two different rules are utilized. The present experiment was designed to provide further support for this proposal by tracking the time course of the allocation of cognitive resources. One group was trained in a positive patterning; schedule (A-, B-, AB+) and a second in a negative patterning schedule (A+, B+, AB-). Electrodermal responses and secondary task probe reaction time were measured. In negative patterning, reaction times were slower during reinforced stimuli than during non-reinforced stimuli at both probe positions while there were no differences in positive patterning. These results support the assumption that negative patterning is solved using a rule that is more complex and requires more resources than does the rule employed to solve positive patterning. (C) 2001 Elsevier Science (USA).

Efficient time-independent wave packet scattering calculations within a Lanczos subspace: H+O-2 (J=0) state-to-state reaction probabilities

An efficient Lanczos subspace method has been devised for calculating state-to-state reaction probabilities. The method recasts the time-independent wave packet Lippmann-Schwinger equation [Kouri , Chem. Phys. Lett. 203, 166 (1993)] inside a tridiagonal (Lanczos) representation in which action of the causal Green's operator is affected easily with a QR algorithm. The method is designed to yield all state-to-state reaction probabilities from a given reactant-channel wave packet using a single Lanczos subspace; the spectral properties of the tridiagonal Hamiltonian allow calculations to be undertaken at arbitrary energies within the spectral range of the initial wave packet. The method is applied to a H+O-2 system (J=0), and the results indicate the approach is accurate and stable. (C) 2002 American Institute of Physics.

Lanczos subspace time-independent wave packet calculations of S(D-1)+H-2 reactive scattering

In this paper. we present the results of quantum dynamical simulations of the S (D-1) + H-2 insertion reaction on a newly developed potential energy surface (J. Chem. Phys. 2001, 114, 320). State-to-state reaction probabilities. product state distributions, and initial-state resolved cumulative reaction probabilities from a given incoming reactant channel are obtained from a time-independent wave packet analysis, performed within a single Lanczos subspace. Integral reaction cross sections are then estimated by J-shifting method and compared with the results from molecular beam experiment and QCT calculations.

Effect of the movement speed of resistance training exercises on sprint and strength performance in concurrently training elite junior sprinters

The aim of this study was to determine the effects of 7 weeks of high- and low-velocity resistance training on strength and sprint running performance in nine male elite junior sprint runners (age 19.0 +/- 1.4 years, best 100 m times 10.89 +/- 0.21 s; mean +/- s). The athletes continued their sprint training throughout the study, but their resistance training programme was replaced by one in which the movement velocities of hip extension and flexion, knee extension and flexion and squat exercises varied according to the loads lifted (i.e. 30-50% and 70-90% of 1-RM in the high- and low-velocity training groups, respectively). There were no between-group differences in hip flexion or extension torque produced at 1.05, 4.74 or 8.42 rad . s(-1), 20 m acceleration or 20 m 'flying' running times, or 1-RM squat lift strength either before or after training. This was despite significant improvements in 20 m acceleration time (P < 0.01), squat strength (P< 0.05), isokinetic hip flexion torque at 4.74 rad . s(-1) and hip extension torque at 1.05 and 4.74 rad . s(-1) for the athletes as a whole over the training period. Although velocity-specific strength adaptations have been shown to occur rapidly in untrained and non-concurrently training individuals, the present results suggest a lack of velocity-specific performance changes in elite concurrently training sprint runners performing a combination of traditional and semi-specific resistance training exercises.

Kinetics of baculovirus replication and release using real-time quantitative polymerase chain reaction

The study of viral-based processes is hampered by (a) their complex, transient nature, (b) the instability of products, and (c) the lack of accurate diagnostic assays. Here, we describe the use of real-time quantitative polymerase chain reaction to characterize baculoviral infection. Baculovirus DNA content doubles every 1.7 h from 6 h post-infection until replication is halted at the onset of budding. No dynamic equilibrium exists between replication and release, and the kinetics are independent of the cell density at the time of infection. No more than 16% of the intracellular virus copies bud from the cell. (C) 2002 John Wiley & Sons, Inc. Biotechnol Bioeng 77: 476-480, 2002; DOI 10.1002/bit.10126.

A pilot study of the manual force levels required to produce manipulation induced hypoalgesia

Objective. A pilot investigation of the influence of different force levels on a treatment technique's hypoalgesic effect. Design. Randomised single blind repeated measures. Background. Optimisation of such biomechanical treatment variables as the point of force application, direction of force application and the level of applied manual force is classically regarded as the basis of best practice manipulative therapy. Manipulative therapy is frequently used to alleviate pain, a treatment effect that is often studied directly in the neurophysiological, paradigm and seldom in biomechanical research. The relationship between the level of force applied by a technique (e.g. biomechanics) and its hypoalgesic effect was the focus of this study. Method. The experiment involved the application of a lateral glide mobilisation with movement treatment technique to the symptomatic elbow of six subjects with lateral epicondylalgia. Four different levels of force, which were measured with a flexible pressure-sensing mat, were randomly applied while the subject performed a pain free grip strength test. Results. Standardised manual force data varied from 0.76 to 4.54 N/cm, lower-upper limits 95 Cl, respectively. Pain free grip strength expressed as a percentage change from pre-treatment values was significantly greater with manual forces beyond 1.9 N/cm (P = 0.014). Conclusions. This study, albeit a pilot, provides preliminary evidence that in terms of the hypoalgesic effect of a mobilisation with movement treatment technique, there may be an optimal level of applied manual force.

Iatrogenic bile duct injury: The scourge of laparoscopic cholecystectomy

Background: Laparoscopic cholecystectomy (LC) has become the first-line surgical treatment of calculous gall-bladder disease and the benefits over open cholecystectomy are well known. In the early years of LC, the higher rate of bile duct injuries compared with open cholecystectomy was believed to be due to the 'learning curve' and would dissipate with increased experience. The purpose of the present paper was to review a tertiary referral unit's experience of bile duct injuries induced by LC. Methods: A retrospective analysis was performed on all patients referred for management of an iatrogenic bile duct injury from 1981 to 2000. For injuries sustained at LC, details of time between LC and recognition of the injury, time from injury to definitive repair, type of injury, use of intraoperative cholangiography (IOC), definitive repair and postoperative outcome were recorded. The type of injury sustained at open cholecystectomy was similarly classified to allow the severity of injury to be compared. Results: There were 131 patients referred for management of an iatrogenic bile duct injury that occurred at open cholecystectomy (n = 62), liver resection (n = 5) and at LC (n = 64). Only 39% of bile duct injuries were recognized at the time of LC. Following conversion to open operation, half the subsequent procedures were considered inappropriate. When the injury was not recognized during LC, 70% of patients developed bile leak/peritonitis, almost half of whom were referred, whereas the rest underwent a variety of operative procedures by the referring surgeon. The remainder developed jaundice or abnormal liver function tests and cholangitis. An IOC was performed in 43% of cases, but failed to identify an injury in two-thirds of patients. The bile duct injuries that occurred at LC were of greater severity than with open cholecystectomy. Following definitive repair, there was one death (1.6%). Ninety-two per cent of patients had an uncomplicated recovery and there was one late stricture requiring surgical revision. Conclusions: The early prediction that the rate of injury during LC would decline substantially with increased experience has not been fulfilled. Bile duct injury that occurs at LC is of greater severity than with open cholecystectomy. Bile duct injury is recognized during LC in less than half the cases. Evidence is accruing that the use of cholangiography reduces the risk and severity of injury and, when correctly interpreted, increases the chance of recognition of bile duct injury during the procedure. Prevention is the key but, should an injury occur, referral to a specialist in biliary reconstructive surgery is indicated.

Conservation of the cardiostimulant effects of (-)-Norepinephrine across Ser49Gly and Gly389Arg Beta1-adrenergic receptor polymorphisms in human right atrium in vitro

OBJECTIVES The goal of this study was to determine whether the cardiostimulant effects of the endogenous beta(1)-adrenergic receptor (AR) agonist, (-)-norepinephrine are modified by polymorphic (Serine49Glycine [Ser49Gly], Glycine389Arginine [Gly389Arg]) variants of beta(1)-ARs in the nonfailing adult human heart. BACKGROUND Human heart beta(1)-ARs perform a crucial role in mediating the cardiostimulant effects of (-)-norepinephrine. An understanding of the significance of Ser49Gly and Gly389Arg polymorphisms in the human heart is beginning to emerge, but not as yet in adult patients who have coronary artery disease (CAD). METHODS The potency and maximal effects of (-)-norepinephrine at beta(1)-ARs (in the presence of beta(2)-AR blockade with 50 nM ICI 118,551 [erythro-DL-1(7-methylindan-4-yloxy)-3-isopropylamino-butan-2-ol]) for changes in contractile force and shortening of contractile cycle duration were determined in human right atrium in vitro from 87 patients undergoing coronary artery bypass grafting who were taking beta-blockers before surgery. A smaller sample of patients (n = 20) not taking beta-blockers was also investigated. Genotyping for two beta(1)-AR polymorphisms (Ser49Gly and Gly389Arg) was determined from a sample of blood taken at the time of surgery. RESULTS (-)-Norepinephrine caused concentration-dependent increases in contractile force and reductions in time to reach peak force and time to reach 50% relaxation. There were no differences in the potency or maximal effects of (-)-norepinephrine in the right atrium from patients with different Ser49Gly and Gly389Arg polymorphisms. CONCLUSIONS The cardiostimulant effects of (-)-norepinephrine at beta(1)-ARs were conserved across Ser49Gly and Gly389Arg polymorphisms in the right atrium of nonfailing hearts from patients with CAD managed with or without beta-blockers. (C) 2002 by the American College of Cardiology Foundation.

Polyspecific malaria antibodies present at the time of infection inhibit the development of immunity to malaria but antibodies specific for the malaria merozoite surface protein, MSP1, facilitate immunity

Serum taken from mice immune to malaria as a result of infection and drug cure, or from mice immunized with a recombinant form of the merozoite surface protein, MSP1, can provide passive protection of recipient mice against the lethal parasite, Plasmodium yoelii YM. However, recipients of MSP1-immune serum go on to develop long-term immunity, whereas recipients of serum from mice naturally immune to malaria rapidly lose their resistance to infection. We demonstrate that 'infection/cure' serum suppresses the development of both antibody and cell-mediated parasite-specific responses in recipients, whereas these develop in recipients of MSP1-specific antibodies. These data have profound implications for our understanding of the development of malaria immunity in babies who passively acquire antibodies from their mothers.

Finite difference time domain (FDTD) method for modeling the effect of switched gradients on the human body in MRI

Numerical modeling of the eddy currents induced in the human body by the pulsed field gradients in MRI presents a difficult computational problem. It requires an efficient and accurate computational method for high spatial resolution analyses with a relatively low input frequency. In this article, a new technique is described which allows the finite difference time domain (FDTD) method to be efficiently applied over a very large frequency range, including low frequencies. This is not the case in conventional FDTD-based methods. A method of implementing streamline gradients in FDTD is presented, as well as comparative analyses which show that the correct source injection in the FDTD simulation plays a crucial rule in obtaining accurate solutions. In particular, making use of the derivative of the input source waveform is shown to provide distinct benefits in accuracy over direct source injection. In the method, no alterations to the properties of either the source or the transmission media are required. The method is essentially frequency independent and the source injection method has been verified against examples with analytical solutions. Results are presented showing the spatial distribution of gradient-induced electric fields and eddy currents in a complete body model.

Exposure to automotive pollution increases plasma susceptibility to oxidation

Low-density lipoprotein oxidation is implicated in the development of atherosclerosis. Plasma susceptibility to oxidation may be used as a marker of low-density lipoprotein oxidation and thus predict atherosclerotic risk. In this study the authors investigated the relationship between plasma susceptibility to oxidation and exposure to automotive pollution in a group of automobile mechanics (n = 16) exposed to high levels of automotive pollution, vs. matched controls (n = 13). The authors induced plasma oxidation by a free radical initiator and they determined susceptibility to oxidation by (1) change in absorbance at 234 nm, (2) lag time to conjugated diene formation, and (3) linear slope of the oxidation curve. Mechanics had significantly higher values (mean standard error) for change in absorbance (1.60 +/- 0.05 vs. 1.36 +/- 0.05; p < .002), and slope (1.6 x 10(-3) +/- 0.1 x 10(-3) vs. 1.3 x 10(-3) +/- 0.1 x 10(-3); p < .001), compared with controls. These results indicate that regular exposure to automotive pollutants increases plasma susceptibility to oxidation and may, in the long term, increase the risk of developing atherosclerosis.