Quartz Crystal Microbalance monitoring the real-time binding of lectin with carbohydrate with high and low molecular mass

Quartz Crystal Microbalance (QCM) was used to monitor the mass changes on a quartz crystal surface containing immobilized lectins that interacted with carbohydrates. The strategy for lectin immobilization was developed on the basis of a multilayer system composed of Au-cystamine-glutaraldehyde-lectin. Each step of the immobilization procedure was confirmed by FTIR analysis. The system was used to study the interactions of Concanavalin A (ConA) with maltose and Jacalin with Fetuin. The real-time binding of different concentrations of carbohydrate to the immobilized lectin was monitored by means of QCM measurements and the data obtained allowed for the construction of Langmuir isotherm curves. The association constants determined for the specific interactions analyzed here were (6.4 +/- 0.2) X 10(4) M-1 for Jacalin-Fetuin and (4.5 +/- 0.1) x 10(2) M-1 for ConA-maltose. These results indicate that the QCM constitutes a suitable method for the analysis of lectin-carbohydrate interactions, even when assaying low molecular mass ligands such as disaccharides. Published by Elsevier B.V.

Genetic associations between carcass traits measured by real-time ultrasound and scrotal circumference and growth traits in Nelore cattle

The aim of the present study was to evaluate the genetic correlations among real-time ultrasound carcass, BW, and scrotal circumference (SC) traits in Nelore cattle. Carcass traits, measured by real-time ultrasound of the live animal, were recorded from 2002 to 2004 on 10 farms across 6 Brazilian states on 2,590 males and females ranging in age from 450 to 599 d. Ultrasound records of LM area (LMA) and backfat thickness (BF) were obtained from cross-sectional images between the 12th and 13th ribs, and rump fat thickness (RF) was measured between the hook and pin bones over the junction between gluteus medius and biceps femoris muscles. Also, BW (n = 22,778) and SC ( n = 5,695) were recorded on animals born between 1998 and 2003. The BW traits were 120, 210, 365, 450, and 550-d standardized BW (W120, W210, W365, W450, and W550), plus BW (WS) and hip height (HH) on the ultrasound scanning date. The SC traits were 365-, 450-, and 550-d standardized SC (SC365, SC450, and SC550). For the BW and SC traits, the database used was from the Nelore Breeding Program-Nelore Brazil. The genetic parameters were estimated with multivariate animal models and REML. Estimated genetic correlations between LMA and other traits were 0.06 (BF), -0.04 ( RF), 0.05 (HH), 0.58 (WS), 0.53 (W120), 0.62 (W210), 0.67 (W365), 0.64 ( W450 and W550), 0.28 (SC365), 0.24 (SC450), and 0.00 ( SC550). Estimated genetic correlations between BF and with other traits were 0.74 ( RF), -0.32 (HH), 0.19 (WS), -0.03 (W120), -0.10 (W210), 0.04 (W365), 0.01 (W450), 0.06 ( W550), 0.17 (SC365 and SC450), and -0.19 (SC550). Estimated genetic correlations between RF and other traits were -0.41 (HH), -0.09 (WS), -0.13 ( W120), -0.09 ( W210), -0.01 ( W365), 0.02 (W450), 0.03 (W550), 0.05 ( SC365), 0.11 ( SC450), and -0.18 (SC550). These estimates indicate that selection for carcass traits measured by real-time ultrasound should not cause antagonism in the genetic improvement of SC and BW traits. Also, selection to increase HH might decrease subcutaneous fat as correlated response. Therefore, to obtain animals suited to specific tropical production systems, carcass, BW, and SC traits should be considered in selection programs.

Detection and differentiation of human polyomaviruses JC and BK by LightCycler PCR

Human polyomaviruses JC and BK may cause several clinical manifestations in immunocompromised hosts, including progressive multifocal leukoencephalopathy and hemorrhagic cystitis. Molecular detection by PCR is recognized as a sensitive and specific method for detecting human polyomaviruses in clinical samples. In this study, a real-time PCR assay using the LightCycler platform was evaluated and compared to an in-house PCR assay using a conventional detection method. A total of 122 urine specimens were tested, and human polyomavirus was detected in 49 specimens (40%) by both conventional PCR and LightCycler PCR. The remaining 73 specimens (60%) were found negative by both assays. For 46 of the 49 positive specimens, LightCycler PCR and conventional PCR identified the same polyomavirus type. These samples included 30 samples with JC virus (JCV), 14 samples with BK virus (BKV), and 2 samples in which both viruses were detected. In the remaining three samples, both JCV and BKV were detected by the conventional assay, but only JCV was detected by the LightCycler assay. The results of this study show that the LightCycler PCR assay displays sensitivity and specificity similar to those of a conventional PCR assay. These data, combined with its rapid turnaround time for results and decreased hands-on time, make the LightCycler PCR assay highly suitable for the rapid detection and differentiation of JCV and BKV in the clinical laboratory.

Quantitative PCR-ELAHA for the determination of retroviral vector transduction efficiency

Current methods to detect transduction efficiency during the routine use of integrating retroviral vectors in gene therapy applications may require the use of radioactivity and usually rely upon subjective determination of the results. We have developed two competitive quantitative assays that use an enzyme-linked, amplicon hybridization assay (ELAHA) to detect the products of PCR-amplified regions of transgene from cells transduced with Moloney murine leukemia virus vectors. The quantitative assays (PCR-ELAHA) proved to be simple, rapid, and sensitive, avoiding the need for Southern hybridization, complex histochemical stains, or often subjective and time-consuming tissue culture and immunofluorescence assays. The PCR-ELAHA systems can rapidly detect proviral DNA from any retroviral vector carrying the common selective and marker genes neomycin phosphotransferase and green fluorescent protein, and the methods described are equally applicable to other sequences of interest, providing a cheaper alternative to the evolving real-time PCR methods. The results revealed the number of copies of retrovector provirus present per stably transduced cell using vectors containing either one or both qPCR targets.

Detection of human respiratory syncytial virus in respiratory samples by LightCycler reverse transcriptase PCR

Laboratory diagnosis of human respiratory syncytial virus (hRSV) infections has traditionally been performed by virus isolation in cell culture and the direct fluorescent-antibody assay (DFA). Reverse transcriptase PCR (RT-PCR) is now recognized as a sensitive and specific alternative for detection of hRSV in respiratory samples. Using the LightCycler instrument, we developed a rapid RT-PCR assay for the detection of hRSV (the LC-RT-PCR) with a pair of hybridization probes that target the hRSV L gene. In the present study, 190 nasopharyngeal aspirate samples from patients with clinically recognized respiratory tract infections were examined for hRSV. The results were then compared to the results obtained with a testing algorithm that combined DFA and a culture-augmented DFA (CA-DFA) assay developed in our laboratory. hRSV was detected in 77 (41%) specimens by LC-RT-PCR and in 75 (39%) specimens by the combination of DFA and CA-DFA. All specimens that were positive by the DFA and CA-DFA testing algorithm were positive by the LC-RT-PCR. The presence of hRSV RNA in the two additional LC-RT-PCR-positive specimens was confirmed by a conventional RT-PCR method that targets the hRSV N gene. The sensitivity of LC-RT-PCR was 50 PFU/ml; and this, together with its high specificity and rapid turnaround time, makes the LC-RT-PCR suitable for the detection of hRSV in clinical specimens.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

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.

Detection of Influenza type A virus by LightCycler RT-PCR

Using the Roche LightCycler we developed a real-time reverse transcriptase polymerase chain reaction (RT-PCR) assay using the Influenza A LightCycler RT-PCR (FA-LC-RTPCR) for the rapid detection of Influenza A. The assay was used to examine 178 nasopharyngeal aspirate (NPA) samples, from patients with clinically recognised respiratory tract infection, for the presence of Influenza A RNA. The results were then compared to a testing algorithm combining direct immunofluorescent assy (DFA) and a culture augmented DFA (CA-DFA) assay. In total, 76 (43%) specimens were positive and 98 (55%) specimens were negative by both the FA-LC-RTPCR and the DFA and CA-DFA algorithm. In addition, the FA-LC-RTPCR detected a further 4 (2%) positive specimens, which were confirmed by a conventional RT-PCR method. The high level of sensitivity and specificity, combined with the rapid turnaround time for results, makes the LC-RT-PCR assay suitable for the detection of Influenza A in clinical specimens.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Collecting system percutaneous access using real-time tracking sensors: first pig model in vivo experience

Purpose: Precise needle puncture of the renal collecting system is an essential but challenging step for successful percutaneous nephrolithotomy. We evaluated the efficiency of a new real-time electromagnetic tracking system for in vivo kidney puncture. Materials and Methods: Six anesthetized female pigs underwent ureterorenoscopy to place a catheter with an electromagnetic tracking sensor into the desired puncture site and ascertain puncture success. A tracked needle with a similar electromagnetic tracking sensor was subsequently navigated into the sensor in the catheter. Four punctures were performed by each of 2 surgeons in each pig, including 1 each in the kidney, middle ureter, and right and left sides. Outcome measurements were the number of attempts and the time needed to evaluate the virtual trajectory and perform percutaneous puncture. Results: A total of 24 punctures were easily performed without complication. Surgeons required more time to evaluate the trajectory during ureteral than kidney puncture (median 15 seconds, range 14 to 18 vs 13, range 11 to 16, p ¼ 0.1). Median renal and ureteral puncture time was 19 (range 14 to 45) and 51 seconds (range 45 to 67), respectively (p ¼ 0.003). Two attempts were needed to achieve a successful ureteral puncture. The technique requires the presence of a renal stone for testing. Conclusions: The proposed electromagnetic tracking solution for renal collecting system puncture proved to be highly accurate, simple and quick. This method might represent a paradigm shift in percutaneous kidney access techniques