An equivalent algorithm for simulating thermal effects of magma intrusion problems in porous rocks

An equivalent algorithm is proposed to simulate thermal effects of the magma intrusion in geological systems, which are composed of porous rocks. Based on the physical and mathematical equivalence, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with a physically equivalent heat source. From the analysis of an ideal solidification model, the physically equivalent heat source has been determined in this paper. The major advantage in using the proposed equivalent algorithm is that the fixed finite element mesh with a variable integration time step can be employed to simulate the thermal effect of the intruded magma solidification using the conventional finite element method. The related numerical results have demonstrated the correctness and usefulness of the proposed equivalent algorithm for simulating the thermal effect of the intruded magma solidification in geological systems. (C) 2003 Elsevier B.V. All rights reserved.

A spectral clustering algorithm for manufacturing cell formation

A graph clustering algorithm constructs groups of closely related parts and machines separately. After they are matched for the least intercell moves, a refining process runs on the initial cell formation to decrease the number of intercell moves. A simple modification of this main approach can deal with some practical constraints, such as the popular constraint of bounding the maximum number of machines in a cell. Our approach makes a big improvement in the computational time. More importantly, improvement is seen in the number of intercell moves when the computational results were compared with best known solutions from the literature. (C) 2009 Elsevier Ltd. All rights reserved.

Choice of macroinvertebrate metrics to evaluate stream conditions in Atlantic Forest, Brazil

The development of biomonitoring programs based on the macroinvertebrate community requires the understanding of species distribution patterns, as well as of the responses of the community to anthropogenic stressors. In this study, 49 metrics were tested as potential means of assessing the condition of 29 first- and second-order streams located in areas of differing types of land use in So Paulo State, Brazil. Of the sampled streams, 15 were in well-preserved regions in the Atlantic Forest, 5 were among sugarcane cultivations, 5 were in areas of pasture, and 4 were among eucalyptus plantations. The metrics were assessed against the following criteria: (1) predictable response to the impact of human activity; (2) highest taxonomic resolution, and (3) operational and theoretical simplicity. We found that 18 metrics were correlated with the environmental and spatial predictors used, and seven of these satisfied the selection criteria and are thus candidates for inclusion in a multimetric system to assess low-order streams in So Paulo State. These metrics are family richness; Ephemeroptera, Plecoptera and Trichoptera (EPT) richness; proportion of Megaloptera and Hirudinea; proportion of EPT; Shannon diversity index for genus; and adapted Biological Monitoring Work Party biotic index.

Obstructive Sleep Apnea Is Common and Independently Associated With Atrial Fibrillation in Patients With Hypertrophic Cardiomyopathy

Background: Hypertrophic cardiomyopathy (HCM) is associated with arrhythmias and cardiovascular death. Left atrial enlargement and atrial fibrillation (AF) are considered markers for death due to heart failure in patients with HCM. Obstructive sleep apnea (OSA) is independently associated with heart remodeling and arrhythmias in other populations. We hypothesized that OSA is common and is associated with heart remodeling and AF in patients with HCM. Methods: We evaluated 80 consecutive stable patients with a confirmed diagnosis of HCM by sleep questionnaire, blood tests, echocardiography, and sleep study (overnight respiratory monitoring). Results: OSA (apnea-hypopnea index [AHI] > 15 events/h) was present in 32 patients (40%). Patients with OSA were significantly older (56 [41-64] vs 38.5 [30-53] years, P < .001) and presented higher BMI (28.2 +/- 3.5 vs 25.2 +/- 5.2 kg/m(2), P < .01) and increased left atrial diameter (45 [42-52.8] vs 41 [39-47] mm, P = .01) and aorta diameter (34 [30-37] vs 29 [28-32] mm, P < .001), compared with patients without OSA. Stepwise multiple linear regression showed that the AHI (P = .05) and BMI (P = .06) were associated with left atrial diameter. The AHI was the only variable associated with aorta diameter (P = .01). AF was present in 31% vs 6% of patients with and without OSA, respectively (P < .01). OSA (P = .03) and left atrial diameter (P = .03) were the only factors independently associated with AF. Conclusions: OSA is highly prevalent in patients with HCM and it is associated with left atrial and aortic enlargement. OSA is independently associated with AF, a risk factor for cardiovascular death in this population. CHEST 2010; 137(5):1078-1084

The common p450 oxidoreductase variant A503V is not a modifier gene for 21-hydroxylase deficiency

Context: 21-hydroxylase deficiency (21OHD) is a common genetic disorder caused by mutations in the CYP21A2 gene, which encodes the adrenal 21-hydroxylase, microsomal P450c21. CYP21A2 gene mutations generally correlate well with impaired P450c21 enzymatic activity and the clinical findings in 21OHD, but occasional discrepancies between genotype and phenotype suggest the effects of modifier genes. Mutations in P450 oxidoreductase (POR), the protein that transfers electrons from reduced nicotinamide adenine dinucleotide phosphate to all microsomal P450s, can ameliorate the 21OHD phenotype and, therefore, could be a modifier gene. Objectives: We sought to identify POR variants in patients with 21OHD having discordant phenotype and genotype, and to evaluate their effect on 21-hydroxylase activity. Patients and Methods: We determined the CYP21A2 genotypes of 313 Brazilian patients with 21OHD and correlated the genotype and phenotype. The POR gene was sequenced in 17 patients with discordant genotype and phenotype. Wild-type and A503V POR, and P450c21 were expressed in bacteria and reconstituted in vitro. Activities were assayed by conversion of [C-14] progesterone to deoxycorticosterone and [H-3]17-hydroxyprogesterone to 11-deoxycortisol, and assessed by thin layer chromatography and phosphorimaging. Results: The A503V POR variant was found in 10 of 30 alleles, the same ratio as in the normal population. There were no significant differences in Michaelis constant, maximum velocity and maximum velocity/Michaelis constant of 21-hydroxylase activity supported by wild-type and A503V POR. Conclusion: The only POR missense polymorphism found in atypical 21OHD patients was A503V. Although A503V reduces P450c17 enzymatic activity, it does not influence P450c21 activity, indicating that POR A503V does not modify the 21OHD phenotype.

A new algorithm and refined bounds for extended gcd computation

Extended gcd computation is interesting itself. It also plays a fundamental role in other calculations. We present a new algorithm for solving the extended gcd problem. This algorithm has a particularly simple description and is practical. It also provides refined bounds on the size of the multipliers obtained.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

High-breakdown linear discriminant analysis

The classification rules of linear discriminant analysis are defined by the true mean vectors and the common covariance matrix of the populations from which the data come. Because these true parameters are generally unknown, they are commonly estimated by the sample mean vector and covariance matrix of the data in a training sample randomly drawn from each population. However, these sample statistics are notoriously susceptible to contamination by outliers, a problem compounded by the fact that the outliers may be invisible to conventional diagnostics. High-breakdown estimation is a procedure designed to remove this cause for concern by producing estimates that are immune to serious distortion by a minority of outliers, regardless of their severity. In this article we motivate and develop a high-breakdown criterion for linear discriminant analysis and give an algorithm for its implementation. The procedure is intended to supplement rather than replace the usual sample-moment methodology of discriminant analysis either by providing indications that the dataset is not seriously affected by outliers (supporting the usual analysis) or by identifying apparently aberrant points and giving resistant estimators that are not affected by them.

CD4+T cells from HIV-1-infected patients recognize wild-type and mutant human immunodeficiency virus-1 protease epitopes

P>Human immunodeficiency virus (HIV)-1 protease is a known target of CD8+ T cell responses, but it is the only HIV-1 protein in which no fully characterized HIV-1 protease CD4 epitopes have been identified to date. We investigated the recognition of HIV-1 protease by CD4+ T cells from 75 HIV-1-infected, protease inhibitor (PI)-treated patients, using the 5,6-carboxyfluorescein diacetate succinimidyl ester-based proliferation assay. In order to identify putative promiscuous CD4+ T cell epitopes, we used the TEPITOPE algorithm to scan the sequence of the HXB2 HIV-1 protease. Protease regions 4-23, 45-64 and 73-95 were identified; 32 sequence variants of the mentioned regions, encoding frequent PI-induced mutations and polymorphisms, were also tested. On average, each peptide bound to five of 15 tested common human leucocyte antigen D-related (HLA-DR) molecules. More than 80% of the patients displayed CD4+ as well as CD8+ T cell recognition of at least one of the protease peptides. All 35 peptides were recognized. The response was not associated with particular HLA-DR or -DQ alleles. Our results thus indicate that protease is a frequent target of CD4+ along with CD8+ proliferative T cell responses by the majority of HIV-1-infected patients under PI therapy. The frequent finding of matching CD4+ and CD8+ T cell responses to the same peptides may indicate that CD4+ T cells provide cognate T cell help for the maintenance of long-living protease-specific functional CD8+ T cells.

Allergic asthma in patients with common variable immunodeficiency

P>Background: Many patients with common variable immunodeficiency (CVID) have a clinical history suggestive of allergic respiratory disease. However, in such individuals, the prevalence of asthma and the role of atopy have not been well established. The objective of this study was to evaluate pulmonary function and identify asthma in patients with CVID. We also investigated the role of IgE as a trigger of asthma in these patients. Methods: Sixty-two patients diagnosed with CVID underwent spirometry, as well as skin prick testing and in vitro determination of serum-specific IgE levels for aeroallergens, together with bronchial provocation with histamine and allergen. Results: The most common alteration identified through spirometry was obstructive lung disease, which was observed in 29 (47.5%) of the 62 patients evaluated. Eighteen (29.0%) of the 62 patients had a clinical history suggestive of allergic asthma. By the end of the study, asthma had been diagnosed in nine (14.5%) patients and atopy had been identified in six (9.7%). In addition, allergic asthma had been diagnosed in four patients (6.5% of the sample as a whole; 22.2% of the 18 patients with a clinical history suggestive of the diagnosis). Conclusion: In this study, CVID patients testing negative for specific IgE antibodies and suspected of having allergic asthma presented a positive response to bronchial provocation tests with allergens. To our knowledge, this is the first such study. When CVID patients with a history suggestive of allergic asthma test negative on traditional tests, additional tests designed to identify allergic asthma might be conducted.