From Boolean Equalities to Constraints

Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. Functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction in source programs, the language design can be simplified and the execution of programs can be optimized. As a consequence, we show that one kind of equational expressions is sufficient and unification is nothing else than an optimization of Boolean equality

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

Deadlocks occur in concurrent programs as a consequence of cyclic resource acquisition between threads. In this paper we present a novel type system that guarantees deadlock freedom for a language with references, unstructured locking primitives, and locks which are implicitly associated with references. The proposed type system does not impose a strict lock acquisition order and thus increases programming language expressiveness.Comment: In Proceedings PLACES 2010, arXiv:1110.385

Island Invasion by a Threatened Tree Species: Evidence for Natural Enemy Release of Mahogany (Swietenia macrophylla) on Dominica, Lesser Antilles

Despite its appeal to explain plant invasions, the enemy release hypothesis (ERH) remains largely unexplored for tropical forest trees. Even scarcer are ERH studies conducted on the same host species at both the community and biogeographical scale, irrespective of the system or plant life form. In Cabrits National Park, Dominica, we observed patterns consistent with enemy release of two introduced, congeneric mahogany species, Swietenia macrophylla and S. mahagoni, planted almost 50 years ago. Swietenia populations at Cabrits have reproduced, with S. macrophylla juveniles established in and out of plantation areas at densities much higher than observed in its native range. Swietenia macrophylla juveniles also experienced significantly lower leaf-level herbivory (∼3.0%) than nine co-occurring species native to Dominica (8.4–21.8%), and far lower than conspecific herbivory observed in its native range (11%–43%, on average). These complimentary findings at multiple scales support ERH, and confirm that Swietenia has naturalized at Cabrits. However, Swietenia abundance was positively correlated with native plant diversity at the seedling stage, and only marginally negatively correlated with native plant abundance for stems ≥1-cm dbh. Taken together, these descriptive patterns point to relaxed enemy pressure from specialized enemies, specifically the defoliator Steniscadia poliophaea and the shoot-borer Hypsipyla grandella, as a leading explanation for the enhanced recruitment of Swietenia trees documented at Cabrits

A highly reactive precursor in the iron sulfide system

Iron sulfur (Fe–S) phases have been implicated in the emergence of life on early Earth due to their catalytic role in the synthesis of prebiotic molecules. Similarly, Fe–S phases are currently of high interest in the development of green catalysts and energy storage. Here we report the synthesis and structure of a nanoparticulate phase (FeSnano) that is a necessary solid-phase precursor to the conventionally assumed initial precipitate in the iron sulfide system, mackinawite. The structure of FeSnano contains tetrahedral iron, which is compensated by monosulfide and polysulfide sulfur species. These together dramatically affect the stability and enhance the reactivity of FeSnano

Long-Term Outcomes with Subcutaneous C1-Inhibitor Replacement Therapy for Prevention of Hereditary Angioedema Attacks

Background For the prevention of attacks of hereditary angioedema (HAE), the efficacy and safety of subcutaneous human C1-esterase inhibitor (C1-INH[SC]; HAEGARDA, CSL Behring) was established in the 16-week Clinical Study for Optimal Management of Preventing Angioedema with Low-Volume Subcutaneous C1-Inhibitor Replacement Therapy (COMPACT). Objective To assess the long-term safety, occurrence of angioedema attacks, and use of rescue medication with C1-INH(SC). Methods Open-label, randomized, parallel-arm extension of COMPACT across 11 countries. Patients with frequent angioedema attacks, either study treatment-naive or who had completed COMPACT, were randomly assigned (1:1) to 40 IU/kg or 60 IU/kg C1-INH(SC) twice per week, with conditional uptitration to optimize prophylaxis (ClinicalTrials.gov registration no. NCT02316353). Results A total of 126 patients with a monthly attack rate of 4.3 in 3 months before entry in COMPACT were enrolled and treated for a mean of 1.5 years; 44 patients (34.9%) had more than 2 years of exposure. Mean steady-state C1-INH functional activity increased to 66.6% with 60 IU/kg. Incidence of adverse events was low and similar in both dose groups (11.3 and 8.5 events per patient-year for 40 IU/kg and 60 IU/kg, respectively). For 40 IU/kg and 60 IU/kg, median annualized attack rates were 1.3 and 1.0, respectively, and median rescue medication use was 0.2 and 0.0 times per year, respectively. Of 23 patients receiving 60 IU/kg for more than 2 years, 19 (83%) were attack-free during months 25 to 30 of treatment. Conclusions In patients with frequent HAE attacks, long-term replacement therapy with C1-INH(SC) is safe and exhibits a substantial and sustained prophylactic effect, with the vast majority of patients becoming free from debilitating disease symptoms

The James Webb Space Telescope Mission

Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.Comment: Accepted by PASP for the special issue on The James Webb Space Telescope Overview, 29 pages, 4 figure