An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Validation of a clinical algorithm to identify low-risk patients with pulmonary embolism.

Summary Background: We previously derived a clinical prognostic algorithm to identify patients with pulmonary embolism (PE) who are at low-risk of short-term mortality who could be safely discharged early or treated entirely in an outpatient setting. Objectives: To externally validate the clinical prognostic algorithm in an independent patient sample. Methods: We validated the algorithm in 983 consecutive patients prospectively diagnosed with PE at an emergency department of a university hospital. Patients with none of the algorithm's 10 prognostic variables (age >/= 70 years, cancer, heart failure, chronic lung disease, chronic renal disease, cerebrovascular disease, pulse >/= 110/min., systolic blood pressure < 100 mm Hg, oxygen saturation < 90%, and altered mental status) at baseline were defined as low-risk. We compared 30-day overall mortality among low-risk patients based on the algorithm between the validation and the original derivation sample. We also assessed the rate of PE-related and bleeding-related mortality among low-risk patients. Results: Overall, the algorithm classified 16.3% of patients with PE as low-risk. Mortality at 30 days was 1.9% among low-risk patients and did not differ between the validation and the original derivation sample. Among low-risk patients, only 0.6% died from definite or possible PE, and 0% died from bleeding. Conclusions: This study validates an easy-to-use, clinical prognostic algorithm for PE that accurately identifies patients with PE who are at low-risk of short-term mortality. Low-risk patients based on our algorithm are potential candidates for less costly outpatient treatment.

Reproducibility of acute mountain sickness in children and adults: a prospective study.

OBJECTIVE: Although a history of previous acute mountain sickness (AMS) is commonly used for providing advice and recommending its prophylaxis during subsequent exposure, the intraindividual reproducibility of AMS during repeated high-altitude exposure has never been examined in a prospective controlled study.METHODS: In 27 nonacclimatized children and 29 adults, AMS was assessed during the first 48 hours after rapid ascent to 3450 m on 2 consecutive occasions 9 to 12 months apart.RESULTS: During the first exposure, 18 adults (62%) and 6 children (22%) suffered from AMS; during the second exposure, 14 adults (48%) and 4 children (15%) suffered from this problem (adults versus children, P <= .01). Most importantly, the intraindividual reproducibility of AMS was very different (P < .001) between children and adults. None of the 6 children having suffered from AMS during the first exposure suffered from AMS during the second exposure, but 4 children with no AMS during the first exposure did experience this problem during the second exposure. In contrast, 14 of the 18 adults who suffered from AMS on the first occasion also presented with this problem during the second exposure, and no new case developed in those who had not experienced AMS on the first occasion.CONCLUSIONS: In adults, a history of AMS is highly predictable of the disease on subsequent exposure, whereas in children it has no predictive value. A history of AMS should not prompt practitioners to advise against reexposure to high altitude or to prescribe drugs for its prophylaxis in children. Pediatrics 2011;127:e1445-e1448

A fast Bayesian reconstruction algorithm for emission tomography with entropy prior converging to feasible images

The development and tests of an iterative reconstruction algorithm for emission tomography based on Bayesian statistical concepts are described. The algorithm uses the entropy of the generated image as a prior distribution, can be accelerated by the choice of an exponent, and converges uniformly to feasible images by the choice of one adjustable parameter. A feasible image has been defined as one that is consistent with the initial data (i.e. it is an image that, if truly a source of radiation in a patient, could have generated the initial data by the Poisson process that governs radioactive disintegration). The fundamental ideas of Bayesian reconstruction are discussed, along with the use of an entropy prior with an adjustable contrast parameter, the use of likelihood with data increment parameters as conditional probability, and the development of the new fast maximum a posteriori with entropy (FMAPE) Algorithm by the successive substitution method. It is shown that in the maximum likelihood estimator (MLE) and FMAPE algorithms, the only correct choice of initial image for the iterative procedure in the absence of a priori knowledge about the image configuration is a uniform field.

Exaggerated exercise-induced pulmonary hypertension causes lung water accumulation and right ventricular dysfunction in patients with chronic mountain sickness

Background: Chronic mountain sickness (CMS) is characterized by exaggerated exercise-induced pulmonary hypertension. Evidences suggests that exercise may cause lung fluid accumulation at high altitude. We hypothesized that, in patients with CMS, exercise causes lung fluid accumulation.Methods: In 21 male CMS patients and 20 matched healthy controls born and permanently living in La Paz (Bolivia, 3600m) we assessed with echocardiogram, pulmonary artery pressure (PASP), right and left ventricular function and ultrasoundlung comets (ULCs, a marker of lung fluid accumulation) at rest and during mild bicycle exercise (10 min at 50W).Results: CMS patients presented a more than 2-fold greater exercise-induced increase in pulmonary artery pressure than controls (17.1±8.3 vs 7.2±7.9 mmHg, P=0.003). This exaggerated PASP response to exercise was associated with a roughly 3-fold greater increase in UCLs in patients with CMS than in controls (6.3±5.1 vs. 2.1±5.3, p<0.05), and there existed a significant relationship between PASP and UCLs (r=0.44, p<0.001). Finally, TDI on lateral tricuspid annulus decreased during exercise in patients with CMS (from 13.2±3.2 to 11.5±2.1 cm s-1, p=0.03), but increased in controls (from 13.1±2.9 to 14.9±2.6 cm s-1 , p=0.04). Left ventricular function remained unaltered in the 2 groups.Conclusions: we provide the first direct evidence in CMS patients that exaggerated exercise-induced pulmonary hypertension causes rapid lung fluid accumulation and right ventricular dysfunction. We speculate that in patients with CMS these two phenomena contribute to reduced exercise performances and Figure 1 increased cardiovascular morbidity and mortality that characterise these subjects.

Impact of free-range pigs on mountain pastures in the Swiss Jura

The consequences of foraging by free-range pigs on the vegetation of mountain pastures was investigated. 25 pigs (15 week-old, mean weight 50 kg) were enclosed from June to mid-September in a 2 ha-enclosure in Jura Mountains (Switzerland), fed with a mixture of lactoserum and cereals. The enclosure contained five different plant communities. Eutrophic pastures on deep soil were strongly overturned, but the recolonisation was quick and dominated by the original species. Mesotrophic pastures were less damaged on stony soil but completely destroyed on deep soil, and the recovery was slow, characterised by a shift of plant species in a more eutrophic direction. Four years were not sufficient for complete recovery. Oligotrophic calcareous pastures on shallow stony soil were not damaged. Extensive breeding of pigs in mountain pastures might be harmful to plant species and vegetation, and ought to be restricted to the less sensitive plant communities, with a rotation on two to three different sites.

Plant species richness and environmental heterogeneity in a mountain landscape: effects of variability and spatial configuration

The loss of biodiversity has become a matter of urgent concern and a better understanding of local drivers is crucial for conservation. Although environmental heterogeneity is recognized as an important determinant of biodiversity, this has rarely been tested using field data at management scale. We propose and provide evidence for the simple hypothesis that local species diversity is related to spatial environmental heterogeneity. Species partition the environment into habitats. Biodiversity is therefore expected to be influenced by two aspects of spatial heterogeneity: 1) the variability of environmental conditions, which will affect the number of types of habitat, and 2) the spatial configuration of habitats, which will affect the rates of ecological processes, such as dispersal or competition. Earlier, simulation experiments predicted that both aspects of heterogeneity will influence plant species richness at a particular site. For the first time, these predictions were tested for plant communities using field data, which we collected in a wooded pasture in the Swiss Jura mountains using a four-level hierarchical sampling design. Richness generally increased with increasing environmental variability and "roughness" (i.e. decreasing spatial aggregation). Effects occurred at all scales, but the nature of the effect changed with scale, suggesting a change in the underlying mechanisms, which will need to be taken into account if scaling up to larger landscapes. Although we found significant effects of environmental heterogeneity, other factors such as history could also be important determinants. If a relationship between environmental heterogeneity and species richness can be shown to be general, recently available high-resolution environmental data can be used to complement the assessment of patterns of local richness and improve the prediction of the effects of land use change based on mean site conditions or land use history.

Numerical algorithm for Ginzburg-Landau equations with multiplicative noise: Application to domain growth

We consider stochastic partial differential equations with multiplicative noise. We derive an algorithm for the computer simulation of these equations. The algorithm is applied to study domain growth of a model with a conserved order parameter. The numerical results corroborate previous analytical predictions obtained by linear analysis.

Pedological and isotopic relations of a highland tropical peatland, Mountain Range of the Espinhaço Meridional (Brazil)

The evolution of organic matter sources in soil is related to climate and vegetation dynamics in the past recorded in paleoenvironmental Quaternary deposits such as peatlands. For this reason, a Histosol of the mineralotrophic peatland from the Pau-de-Fruta Special Protection Area - SPA, Espinhaço Meridional, State of Minas Gerais, was described and characterized to evidence the soil constituent materials and properties as related to changes in environmental conditions, supported by the isotopic and elementary characterization of soil C and N and 14C ages. Samples were collected in a depression at 1,350 m asl, where Histosols are possibly more developed due to the great thickness (505 cm). Nowadays, the area is colonized by vegetation physiognomies of the Cerrado Biome, mainly rocky and wet fields (Campo Rupestre and Campo Úmido), aside from fragments of Semidecidual Seasonal Forest, called Capões forests. The results this study showed that early the genesis of the analyzed soil profile showed a high initial contribution of mostly herbaceous organic matter before 8,090 ± 30 years BP (14C age). In the lower-mid Holocene, between 8,090 ± 30 years AP (14C age) to ± 4,100 years BP (interpolated age), the vegetation gradually became more woody, with forest expansion, possibly due to increased humidity, suggesting the existence of a more woody Cerrado in the past than at present. Drier climate conditions than the current were concluded ± 2,500 years BP (interpolated age) and that after 430 years BP (14C age) the forest gave way to grassland, predominantly. After the dry season, humidity increased to the current conditions. Due to these climate fluctuations during the Holocene, three decomposition stages of organic matter were observed in the Histosols of this study, with prevalence of the most advanced (sapric), typical of a deposit in a highly advanced stage of pedogenetic evolution.

Majorization arrow in quantum-algorithm design

We apply majorization theory to study the quantum algorithms known so far and find that there is a majorization principle underlying the way they operate. Grover's algorithm is a neat instance of this principle where majorization works step by step until the optimal target state is found. Extensions of this situation are also found in algorithms based in quantum adiabatic evolution and the family of quantum phase-estimation algorithms, including Shor's algorithm. We state that in quantum algorithms the time arrow is a majorization arrow.

Decision-making in pediatrics: a practical algorithm to evaluate complementary and alternative medicine for children.

We herein present a preliminary practical algorithm for evaluating complementary and alternative medicine (CAM) for children which relies on basic bioethical principles and considers the influence of CAM on global child healthcare. CAM is currently involved in almost all sectors of pediatric care and frequently represents a challenge to the pediatrician. The aim of this article is to provide a decision-making tool to assist the physician, especially as it remains difficult to keep up-to-date with the latest developments in the field. The reasonable application of our algorithm together with common sense should enable the pediatrician to decide whether pediatric (P)-CAM represents potential harm to the patient, and allow ethically sound counseling. In conclusion, we propose a pragmatic algorithm designed to evaluate P-CAM, briefly explain the underlying rationale and give a concrete clinical example.

Numerical algorithm for spectroscopic ellipsometry of thick transparent films

We present a numerical method for spectroscopic ellipsometry of thick transparent films. When an analytical expression for the dispersion of the refractive index (which contains several unknown coefficients) is assumed, the procedure is based on fitting the coefficients at a fixed thickness. Then the thickness is varied within a range (according to its approximate value). The final result given by our method is as follows: The sample thickness is considered to be the one that gives the best fitting. The refractive index is defined by the coefficients obtained for this thickness.