Simulations of Weighted Tree Automata

Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called forward and backward simulations. In addition, it is shown in several cases (fields, commutative rings, Noetherian semirings, semiring of natural numbers) that all equivalent wta M and N can be joined by a finite chain of simulations. More precisely, in all mentioned cases there exists a single wta that simulates both M and N. Those results immediately yield decidability of equivalence provided that the semiring is finitely (and effectively) presented.Comment: 17 pages, 2 figure

Three-dimensional Noninvasive Monitoring Iodine-131 Uptake in the Thyroid Using a Modified Cerenkov Luminescence Tomography Approach

BACKGROUND: Cerenkov luminescence tomography (CLT) provides the three-dimensional (3D) radiopharmaceutical biodistribution in small living animals, which is vital to biomedical imaging. However, existing single-spectral and multispectral methods are not very efficient and effective at reconstructing the distribution of the radionuclide tracer. In this paper, we present a semi-quantitative Cerenkov radiation spectral characteristic-based source reconstruction method named the hybrid spectral CLT, to efficiently reconstruct the radionuclide tracer with both encouraging reconstruction results and less acquisition and image reconstruction time. METHODOLOGY/PRINCIPAL FINDINGS: We constructed the implantation mouse model implanted with a 400 µCi Na(131)I radioactive source and the physiological mouse model received an intravenous tail injection of 400 µCi radiopharmaceutical Iodine-131 (I-131) to validate the performance of the hybrid spectral CLT and compared the reconstruction results, acquisition, and image reconstruction time with that of single-spectral and multispectral CLT. Furthermore, we performed 3D noninvasive monitoring of I-131 uptake in the thyroid and quantified I-131 uptake in vivo using hybrid spectral CLT. Results showed that the reconstruction based on the hybrid spectral CLT was more accurate in localization and quantification than using single-spectral CLT, and was more efficient in the in vivo experiment compared with multispectral CLT. Additionally, 3D visualization of longitudinal observations suggested that the reconstructed energy of I-131 uptake in the thyroid increased with acquisition time and there was a robust correlation between the reconstructed energy versus the gamma ray counts of I-131 (r(2) = 0.8240). The ex vivo biodistribution experiment further confirmed the I-131 uptake in the thyroid for hybrid spectral CLT. CONCLUSIONS/SIGNIFICANCE: Results indicated that hybrid spectral CLT could be potentially used for thyroid imaging to evaluate its function and monitor its treatment for thyroid cancer

Specific detection of fungal pathogens by 18S rRNA gene PCR in microbial keratitis

<p>Abstract</p> <p>Background</p> <p>The sensitivity and specificity of 18S rRNA polymerase chain reaction (PCR) in the detection of fungal aetiology of microbial keratitis was determined in thirty patients with clinical diagnosis of microbial keratitis.</p> <p>Methods</p> <p>Corneal scrapings from patients were used for Gram stain, culture and PCR analysis. PCR was performed with primer pairs targeted to the 18S rRNA gene. The result of the PCR was compared with conventional culture and Gram staining method. The PCR positive samples were identified by DNA sequencing of the internal transcribed spacer (ITS) region of the rRNA gene. Main outcome measures were sensitivity and specificity of PCR in the detection of fungus in corneal keratitis.</p> <p>Results</p> <p>Combination of microscopy and culture gave a positive result in 11 of 30 samples of microbial keratitis. PCR detected 10 of 11 samples that were positive by conventional method. One of the 19 samples that was negative by conventional method was positive by PCR. Statistical analysis revealed that the PCR to have a sensitivity of 90.9% and specificity of 94.7% in the detection of a fungal aetiology in microbial keratitis.</p> <p>Conclusion</p> <p>PCR is a rapid, sensitive and useful method to detect fungal aetiology in microbial keratitis.</p

The influence of systemic inflammation, dietary intake and stage of disease on rate of weight loss in patients with gastro-oesophageal cancer

Although weight loss is often a dominant symptom in patients with upper gastrointestinal malignancy, there is a lack of objective evidence describing changes in nutritional status and potential associations between weight loss, food intake, markers of systemic inflammation and stage of disease in such patients. Two hundred and twenty patients diagnosed with gastric/oesophageal cancer were studied. Patients underwent nutritional assessment consisting of calculation of body mass index, measurement of weight loss, dysphagia scoring and estimation of dietary intake. Serum acute-phase protein concentrations were determined by enzyme-linked immunosorbent assay. In all, 182 (83%) patients had lost weight at diagnosis (median loss, 7% body weight). Weight loss was associated with poor performance status, advanced disease stage, dysphagia, reduced dietary intake and elevated serum C-reactive protein (CRP) concentrations. Multiple regression identified dietary intake (estimate of effect, 38%), serum CRP concentrations (estimate of effect, 34%) and stage of disease (estimate of effect, 28%) as independent variables in determining degree of weight loss. Mechanisms other than reduced dietary intake or mechanical obstruction by the tumour appear to be involved in the nutritional decline in patients with gastro-oesophageal malignancy. Recognition that systemic inflammation plays a role in nutritional depletion may inform the development of appropriate therapeutic strategies to ameliorate weight loss, making patients more tolerant of cancer-modifying treatments such as chemotherapy

Hyaluronidase induces a transcapillary pressure gradient and improves the distribution and uptake of liposomal doxorubicin (Caelyx™) in human osteosarcoma xenografts

Liposomal drug delivery enhances the tumour selective localisation and may improve the uptake compared to free drug. However, the drug distribution within the tumour tissue may still be heterogeneous. Degradation of the extracellular matrix is assumed to improve the uptake and penetration of drugs. The effect of the ECM-degrading enzyme hyaluronidase on interstitial fluid pressure and microvascular pressure were measured in human osteosarcoma xenografts by the wick-in-needle and micropipette technique, respectively. The tumour uptake and distribution of liposomal doxorubicin were studied on tumour sections by confocal laser scanning microscopy. The drugs were injected i.v. 1 h after the hyaluronidase pretreatment. Intratumoral injection of hyaluronidase reduced interstitial fluid pressure in a nonlinear dose-dependent manner. Maximum interstitial fluid pressure reduction of approximately 50% was found after injection of 1500 U hyaluronidase. Neither intratumoral nor i.v. injection of hyaluronidase induced any changes in the microvascular pressure. Thus, hyaluronidase induced a transcapillary pressure gradient, resulting in a four-fold increase in the tumour uptake and improving the distribution of the liposomal doxorubicin. Hyaluronidase reduces a major barrier for drug delivery by inducing a transcapillary pressure gradient, and administration of hyaluronidase adjuvant with liposomal doxorubicin may thus improve the therapeutic outcome

Consensus guidelines for the use and interpretation of angiogenesis assays

The formation of new blood vessels, or angiogenesis, is a complex process that plays important roles in growth and development, tissue and organ regeneration, as well as numerous pathological conditions. Angiogenesis undergoes multiple discrete steps that can be individually evaluated and quantified by a large number of bioassays. These independent assessments hold advantages but also have limitations. This article describes in vivo, ex vivo, and in vitro bioassays that are available for the evaluation of angiogenesis and highlights critical aspects that are relevant for their execution and proper interpretation. As such, this collaborative work is the first edition of consensus guidelines on angiogenesis bioassays to serve for current and future reference

A parallel cellular automata Lattice Boltzmann Method for convection-driven solidification

This article presents a novel coupling of numerical techniques that enable three-dimensional convection-driven microstructure simulations to be con- ducted on practical time scales appropriate for small-size components or experiments. On the microstructure side, the cellular automata method is efficient for relatively large-scale simulations, while the lattice Boltzmann method provides one of the fastest transient computational fluid dynamics solvers. Both of these methods have been parallelized and coupled in a single code, allowing resolution of large-scale convection-driven solidification problems. The numerical model is validated against benchmark cases, extended to capture solute plumes in directional solidification and finally used to model alloy solidification of an entire differentially heated cavity capturing both microstructural and meso-/macroscale phenomena