A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

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

Gene-Age Interactions in Blood Pressure Regulation: A Large-Scale Investigation with the CHARGE, Global BPgen, and ICBP Consortia.

Although age-dependent effects on blood pressure (BP) have been reported, they have not been systematically investigated in large-scale genome-wide association studies (GWASs). We leveraged the infrastructure of three well-established consortia (CHARGE, GBPgen, and ICBP) and a nonstandard approach (age stratification and metaregression) to conduct a genome-wide search of common variants with age-dependent effects on systolic (SBP), diastolic (DBP), mean arterial (MAP), and pulse (PP) pressure. In a two-staged design using 99,241 individuals of European ancestry, we identified 20 genome-wide significant (p ≤ 5 × 10(-8)) loci by using joint tests of the SNP main effect and SNP-age interaction. Nine of the significant loci demonstrated nominal evidence of age-dependent effects on BP by tests of the interactions alone. Index SNPs in the EHBP1L1 (DBP and MAP), CASZ1 (SBP and MAP), and GOSR2 (PP) loci exhibited the largest age interactions, with opposite directions of effect in the young versus the old. The changes in the genetic effects over time were small but nonnegligible (up to 1.58 mm Hg over 60 years). The EHBP1L1 locus was discovered through gene-age interactions only in whites but had DBP main effects replicated (p = 8.3 × 10(-4)) in 8,682 Asians from Singapore, indicating potential interethnic heterogeneity. A secondary analysis revealed 22 loci with evidence of age-specific effects (e.g., only in 20 to 29-year-olds). Age can be used to select samples with larger genetic effect sizes and more homogenous phenotypes, which may increase statistical power. Age-dependent effects identified through novel statistical approaches can provide insight into the biology and temporal regulation underlying BP associations.

Ultrasound assessment of ocular vascular effects of repeated intravitreal injections of ranibizumab for wet age-related macular degeneration.

PURPOSE: Determine the effect of repeated intravitreal injections of ranibizumab (0.5 mg; 0.05 ml) on retrobulbar blood flow velocities (BFVs) using ultrasound imaging quantification in twenty patients with exudative age-related macular degeneration treated for 6 months. METHODS: Visual acuity (ETDRS), central macular thickness (OCT), peak-systolic, end-diastolic and mean-BFVs in central retinal (CRA), temporal posterior ciliary (TPCA) and ophthalmic (OA) arteries were measured before, 2 days, 3 weeks and 6 months after the first injection. Patients were examined monthly and received 1-5 additional injections depending on ophthalmologic examination results. RESULTS: Six months after the first injection, a significant increase in visual acuity 50.9 ± 25.9 versus 44.4 ± 21.7 (p < 0.01) and decrease in mean central macular thickness 267 ± 74 versus 377 ± 115 μm (p < 0.001) were observed compared to baseline. Although mean-BFVs decreased by 16%±3% in CRA and 20%±5% in TPCA (p < 0.001) 2 days after the first injection, no significant change was seen thereafter. Mean-BFVs in OA decreased by 19%±5% at week 3 (p < 0.001). However, the smallest number of injections (two injections) was associated with the longest time interval between the last injection and month 6 (20 weeks) and with the best return to baseline levels for mean-BFVs in CRA, suggesting that ranibizumab had reversible effects on native retinal vascular supply after its discontinuation. Moreover, a significant correlation between the number of injections and percentage of changes in mean-BFVs in CRA was observed at month 6 (R = 0.74, p < 0.001) unlike TPCA or OA. CONCLUSION: Ranibizumab could impair the native choroidal and retinal vascular networks, but its effect seems reversible after its discontinuation.

Dorsal fractures of the Triquetrum : MRI findings with an emphasis on dorsal carpal ligament injuries

Contexte et but de l'étude: Les fractures du triquetrum sont les deuxièmes fractures des os du carpe en fréquence, après celles du scaphoïde. Elles représentent environ 3.5% de toutes les lésions traumatiques du poignet, et résultent le plus souvent d'une chute de sa hauteur avec réception sur le poignet en hyper-extension. Leur mécanisme physiopathologique reste débattu. La première théorie fut celle de l'avulsion ligamentaire d'un fragment osseux dorsal. Puis, Levy et coll. ainsi que Garcia-Elias ont successivement suggéré que ces fractures résultaient plutôt d'une impaction ulno-carpienne. De nombreux ligaments (intrinsèques et extrinsèques du carpe) s'insèrent sur les versants palmaires et dorsaux du triquetrum. Ces ligaments jouent un rôle essentiel dans le maintien de la stabilité du carpe. Bien que l'arthro-IRM du poignet soit l'examen de référence pour évaluer ces ligaments, Shahabpour et coll. ont récemment démontré leur visibilité en IRM tridimensionnelle (volumique) après injection iv. de produit de contraste (Gadolinium). L'atteinte ligamentaire associée aux fractures dorsales du triquetrum n'a jusqu'à présent jamais été évalué. Ces lésions pourraient avoir un impact sur l'évolution et la prise en charge de ces fractures. Les objectifs de l'étude étaient donc les suivants: premièrement, déterminer l'ensemble des caractéristiques des fractures dorsales du triquetrum en IRM, en mettant l'accent sur les lésions ligamentaires extrinsèques associées; secondairement, discuter les différents mécanismes physiopathologiques (i.e. avulsion ligamentaire ou impaction ulno-carpienne) de ces fractures d'après nos résultats en IRM. Patients et méthodes: Ceci est une étude rétrospective multicentrique (CHUV, Lausanne; Hôpital Cochin, AP-HP, Paris) d'examens IRM et radiographies conventionnelles du poignet. A partir de janvier 2008, nous avons recherché dans les bases de données institutionnelles les patients présentant une fracture du triquetrum et ayant bénéficié d'une IRM volumique du poignet dans un délai de six semaines entre le traumatisme et l'IRM. Les examens IRM ont été effectués sur deux machines à haut champ magnétique (3 Tesla) avec une antenne dédiée et un protocole d'acquisition incluant une séquence tridimensionnelle isotropique (« 3D VIBE ») après injection iv. de produit de contraste (Gadolinium). Ces examens ont été analysés par deux radiologues ostéo-articulaires expérimentés. Les mesures ont été effectuées par un troisième radiologue ostéo-articulaire. En ce qui concerne l'analyse qualitative, le type de fracture du triquetrum (selon la classification de Garcia-Elias), la distribution de l'oedème osseux post- traumatique, ainsi que le nombre et la distribution des lésions ligamentaires extrinsèques associées ont été évalués. Pour l'analyse quantitative, l'index du processus de la styloïde ulnaire (selon la formule de Garcia-Elias), le volume du fragment osseux détaché du triquetrum, et la distance séparant ce fragment osseux du triquetrum ont été mesurés.

Genome-wide association analysis of blood-pressure traits in African-ancestry individuals reveals common associated genes in African and non-African populations.

High blood pressure (BP) is more prevalent and contributes to more severe manifestations of cardiovascular disease (CVD) in African Americans than in any other United States ethnic group. Several small African-ancestry (AA) BP genome-wide association studies (GWASs) have been published, but their findings have failed to replicate to date. We report on a large AA BP GWAS meta-analysis that includes 29,378 individuals from 19 discovery cohorts and subsequent replication in additional samples of AA (n = 10,386), European ancestry (EA) (n = 69,395), and East Asian ancestry (n = 19,601). Five loci (EVX1-HOXA, ULK4, RSPO3, PLEKHG1, and SOX6) reached genome-wide significance (p < 1.0 × 10(-8)) for either systolic or diastolic BP in a transethnic meta-analysis after correction for multiple testing. Three of these BP loci (EVX1-HOXA, RSPO3, and PLEKHG1) lack previous associations with BP. We also identified one independent signal in a known BP locus (SOX6) and provide evidence for fine mapping in four additional validated BP loci. We also demonstrate that validated EA BP GWAS loci, considered jointly, show significant effects in AA samples. Consequently, these findings suggest that BP loci might have universal effects across studied populations, demonstrating that multiethnic samples are an essential component in identifying, fine mapping, and understanding their trait variability.

The appropriate use of neurostimulation: avoidance and treatment of complications of neurostimulation therapies for the treatment of chronic pain.

INTRODUCTION: The International Neuromodulation Society (INS) has determined that there is a need for guidance regarding safety and risk reduction for implantable neurostimulation devices. The INS convened an international committee of experts in the field to explore the evidence and clinical experience regarding safety, risks, and steps to risk reduction to improve outcomes. METHODS: The Neuromodulation Appropriateness Consensus Committee (NACC) reviewed the world literature in English by searching MEDLINE, PubMed, and Google Scholar to evaluate the evidence for ways to reduce risks of neurostimulation therapies. This evidence, obtained from the relevant literature, and clinical experience obtained from the convened consensus panel were used to make final recommendations on improving safety and reducing risks. RESULTS: The NACC determined that the ability to reduce risk associated with the use of neurostimulation devices is a valuable goal and possible with best practice. The NACC has recommended several practice modifications that will lead to improved care. The NACC also sets out the minimum training standards necessary to become an implanting physician. CONCLUSIONS: The NACC has identified the possibility of improving patient care and safety through practice modification. We recommend that all implanting physicians review this guidance and consider adapting their practice accordingly.

Feasibility of radiotherapy or chemoradiotherapy after taxane-based induction chemotherapy for nonoperated locally advanced head and neck squamous cell carcinomas.

To assess the use of radiotherapy (RT) or concurrent chemoradiotherapy (CRT) following taxane-based induction chemotherapy (T-ICT) in locally advanced head and neck squamous cell carcinoma (LAHNSCC) and to evaluate the tolerability of CRT after T-ICT. From 01/2006 to 08/2012, 173 LAHNSCC patients treated as a curative intent by T-ICT, followed by definitive RT/CRT were included in this analysis. There was an 86% objective response (OR) after ICT among 154 evaluable patients. Forty-four patients received less than three cycles (25%) and 20 received only one cycle of T-ICT. The 3-year actuarial overall survival (OS) was 49% and there was no OS difference according to the type of ICT (regimen or number of cycle) or the addition of concurrent CT (cisplatin, carboplatin, or cetuximab) to RT. In multivariate analysis (MVA), clinically involved lymph node (cN+), age more than 60 years, the absence of OR after ICT, and performance status of at least 1 predicted for a decreased OS, with hazard ratios (HR) of 2.8, 2.2, 2.1, and 2, respectively. The 3-year actuarial locoregional control (LRC) and distant control (DC) rates were 52 and 73%, respectively. In MVA, the absence of OR after ICT (HR: 3.2), cN+ (HR: 3), and age more than 60 years (HR: 1.7) were prognostic for a lower LRC whereas cN+ (HR: 4.2) and carboplatin-based T-ICT (HR: 2.9) were prognostic for a lower DC. The number of cycles (≤ 2) received during ICT was borderline significant for DC in the MVA (P=0.08). Among patients receiving less than or equal to three cycles of ICT, higher outcomes were observed in patients who received cisplatin-based T-ICT (vs. carboplatin-based T-ICT) or subsequent CRT (vs. RT). T-ICT in our experience, followed by RT or CRT, raises several questions on the role and type of induction, and the efficacy of CRT over RT. The role of RT or CRT following induction, although feasible in these advanced patients, awaits answers from randomized trials.