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

Indirect hydrogen monitoring by chemi-ionisation following an associative ionisation pathway after metastable helium atoms production by electron impact ionisation: Protonation and deuteration of carrier gas

Gas chromatography (GC) is an analytical tool very useful to investigate the composition of gaseous mixtures. However, hydrogen (H2) detection after a GC separation is only possible with a Thermal Conductivity Detector (TCD), a Helium Ionisation Detector (HID) or expensive Atomic Emission Detector (AED). Recently, indirect H2 detection by GC coupled to mass spectrometry (MS) was demonstrated but the mechanism of carrier gas protonation remained unclear. With electron impact as ionisation source of MS and helium (He) as GC carrier gas, H2 is not ionised according the expected Penning ionisation neither according to the Associative ionisation. Rearrangement ionisation (RI) was found to be the main channel for H2 and D2 ionisation under GC-MS conditions used in most of laboratories using GC-MS, leading to the formation of [He−H]+ and [He−D]+ ions.

Registries in rheumatological and musculoskeletal conditions. Paediatric Behçet's disease: an international cohort study of 110 patients. One-year follow-up data.

OBJECTIVE: To set-up an international cohort of patients suspected with Behçet's disease (BD). The cohort is aimed at defining an algorithm for definition of the disease in children. METHODS: International experts have defined the inclusion criteria as follows: recurrent oral aphthosis (ROA) plus one of following-genital ulceration, erythema nodosum, folliculitis, pustulous/acneiform lesions, positive pathergy test, uveitis, venous/arterial thrombosis and family history of BD. Onset of disease is <16 years, disease duration is ≤3 years, future follow-up duration is ≥4 years and informed consent is obtained. The expert committee has classified the included patients into: definite paediatric BD (PED-BD), probable PED-BD and no PED-BD. Statistical analysis is performed to compare the three groups of patients. Centres document their patients into a single database. RESULTS: At January 2010, 110 patients (56 males/54 females) have been included. Mean age at first symptom: 8.1 years (median 8.2 years). At inclusion, 38% had only one symptom associated with ROA, 31% had two and 31% had three or more symptoms. A total of 106 first evaluations have been done. Seventeen patients underwent the first-year evaluation, and 36 had no new symptoms, 12 had one and 9 had two. Experts have examined 48 files and classified 30 as definite and 18 as probable. Twenty-six patients classified as definite fulfilled the International Study Group criteria. Seventeen patients classified as probable did not meet the international criteria. CONCLUSION: The expert committee has classified the majority of patients in the BD group although they presented with few symptoms independently of BD classification criteria.

Clinical outcome after a reactive hypothermic EEG following cardiac arrest.

BACKGROUND: Reactive electroencephalography (EEG) background during therapeutic hypothermia (TH) is related to favorable prognosis after cardiac arrest (CA), but its predictive value is not 100 %. The aim of this study was to investigate outcome predictors after a first reactive EEG recorded during TH after CA. METHODS: We studied a cohort of consecutive comatose adults admitted between February 2008 and November 2012, after successful resuscitation from CA, selecting patients with reactive EEG during TH. Outcome was assessed at three months, and categorized as survivors and non-survivors (no patient was in vegetative state). Demographics, clinical variables, EEG features, serum neuron-specific enolase (NSE) and procalcitonin, were compared using uni- and multivariable analyses. RESULTS: A total of 290 patients were treated with TH after cardiac arrest; 146 had an EEG during TH, which proved reactive in 90 of them; 77 (86 %) survived and 13 (14 %) died (without recovery from coma). The group of non-survivors had a higher occurrence of discontinuous EEG (p = 0.006; multivariate analysis p = 0.026), and a higher serum NSE peak (p = 0.021; multivariate analysis p = 0.014); conversely, demographics, and other clinical variables including serum procalcitonin did not differ. CONCLUSIONS: A discontinuous EEG and high serum NSE are associated with mortality after CA in patients with poor outcome despite a reactive hypothermic EEG. This suggests more severe cerebral damage, but not to higher extent of systemic disease.

Nitric oxide reduces Cl- absorption in the mouse cortical collecting duct through an ENaC-dependent mechanism.

Since nitric oxide (NO) participates in the renal regulation of blood pressure, in part, by modulating transport of Na(+) and Cl(-) in the kidney, we asked whether NO regulates net Cl(-) flux (JCl) in the cortical collecting duct (CCD) and determined the transporter(s) that mediate NO-sensitive Cl(-) absorption. Cl(-) absorption was measured in CCDs perfused in vitro that were taken from aldosterone-treated mice. Administration of an NO donor (10 μM MAHMA NONOate) reduced JCl and transepithelial voltage (VT) both in the presence or absence of angiotensin II. However, reducing endogenous NO production by inhibiting NO synthase (100 μM N(G)-nitro-l-arginine methyl ester) increased JCl only in the presence of angiotensin II, suggesting that angiotensin II stimulates NO synthase activity. To determine the transport process that mediates NO-sensitive changes in JCl, we examined the effect of NO on JCl following either genetic ablation or chemical inhibition of transporters in the CCD. Since the application of hydrochlorothiazide (100 μM) or bafilomycin (5 nM) to the perfusate or ablation of the gene encoding pendrin did not alter NO-sensitive JCl, NO modulates JCl independent of the Na(+)-dependent Cl(-)/HCO3(-) exchanger (NDCBE, Slc4a8), the A cell apical plasma membrane H(+)-ATPase and pendrin. In contrast, both total and NO-sensitive JCl and VT were abolished with application of an epithelial Na(+) channel (ENaC) inhibitor (3 μM benzamil) to the perfusate. We conclude that NO reduces Cl(-) absorption in the CCD through a mechanism that is ENaC-dependent.

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.

Nutrient leaching potential following application of papermill lime-sludge to an acidic clay soil

This experiment was carried out under greenhouse conditions with soil pots during 210 days, to evaluate the effect of calcitic papermill lime-sludge application (at the rates 0, 773, 1.547, and 2.320 mg kg-1 or respective equivalents to control, 2, 4, and 6 t ha-1), on chemical composition of soil leachate and its effects on eucalypt growth and yield. Highest soil leachate pH, SO4, and Na concentrations occurred in the 4 and 6 t ha-1 treatments. Soil leachate nitrate concentrations decreased with increasing lime-sludge rate. Soil leachate phosphate remained low (below the detection limit) in all treatments until 120 days, while the concentration increased in the lime-sludge treatments at 210 days (last sampling) in about 600 mg L-1. Lime-sludge decreased leachate Mg concentration, but had no significant effect among rates. Soil leachate Ca, K, B, Cu, Fe, and Zn did not change significantly for any lime-sludge application rates. The maximum NO3, Ca, Mg, K, and Na concentrations in the soil leachate occurred at 60 days after lime-sludge application (leaching equivalent to 1 pore volume), but for pH and SO4, the maximum occurred at 210 days (leaching equivalent to 4 pore volumes). Lime-sludge application decreased the concentration of exchangeable Al in the soil. Plant diameter growth and dry matter yield were increased with increasing lime-sludge rate. Beneficial effects on mineral nutrition (P, K, Ca, B, and Zn) of eucalypts were also obtained by the application of 4 and 6 t ha-1 of lime-sludge.

Poststroke fatigue following minor infarcts: a prospective study.

OBJECTIVE: To explore the potential relationship between fatigue following strokes and poststroke mood, cognitive dysfunction, disability, and infarct site and to determine the predictive factors in the development of poststroke fatigue (PSF) following minor infarcts. METHODS: Ninety-nine functionally active patients aged less than 70 years with a first, nondisabling stroke (NIH Stroke Scale score ≤6 in acute phase and ≤3 after 6 months, modified Rankin Scale score ≤1 at 6 months) were assessed during the acute phase and then at 6 (T1) and 12 months (T2) after their stroke. Scores in the Fatigue Assessment Inventory were described and correlated to age, gender, neurologic and functional impairment, lesion site, mood scores, neuropsychological data, laboratory data, and quality of life at T1 and T2 using a multivariate logistic regression analysis in order to determine which variables recorded at T1 best predicted fatigue at T2. RESULT: As many as 30.5% of the patients at T1 and 34.7% at T2 (11.6% new cases between T1 and T2) reported fatigue. At both 6 and 12 months, there was a significant association between fatigue and a reduction in professional activity. Attentional-executive impairment, depression, and anxiety levels remained associated with PSF throughout this time period, underlining the critical role of these variables in the genesis of PSF. There was no significant association between the lesion site and PSF. CONCLUSION: This study suggests that attentional and executive impairment, as well as depression and anxiety, may play a critical role in the development of PSF.

Fracture de la paroi mediale de l'orbite. A propos de 4 observations. [Fracture of the medial wall of the orbit. Apropos of 4 cases]

Fractures or the medial wall of the orbit are uncommon and clinical signs are often discreet. This report was focused on isolated fractures of the medial wall of the orbit. Blow-out trauma is usually the cause. In these cases the clinical signs ranged from simple ecchymosis to blindness by haematoma of the orbital cone. Computed tomography is a major tool for diagnosis and making therapeutic indications for these fractures. Treatment depends on the oculomotor involvements as measured by forced duction tests.

Why human islets die? analysis of death signaling pathways during isolation and following cytokine treatments

RESUME Le diabète de type 1 se définit comme un désordre métabolique d'origine auto-immune qui aboutit à la destruction progressive et sélective de la cellule ß-pancréatique sécrétrice d'insuline. Cette maladie représente 10 % des cas de diabète enregistrés dans la population mondiale, et touche les jeunes de moins de 20 ans. Le traitement médical par insulinothérapie corrige le manque d'hormone mais ne prévient pas les nombreuses complications telles que les atteintes cardiaques, neurologiques, rénales, rétiniennes, et les amputations que la maladie provoque. Le remplacement de la cellule ß par transplantation d'îlots de Langerhans est une alternative prometteuse au traitement médical du diabète de type 1. Cependant la greffe d'îlots est encore un traitement expérimental et ne permet pas un contrôle efficace de la glycémie au long terme chez les patients transplantés, et les raisons de cet échec restent mal comprises. L'obstacle immédiat qui se pose est la purification d'un nombre suffisant d'îlots viables et la perte massive de ces îlots dans les premières heures suite à la greffe. Cette tendance presque systématique de la perte fonctionnelle du greffon immédiatement après la transplantation est connue sous le terme de « primary graft non-function » (PNF). En effet, la procédure d'isolement des îlots provoque la destruction des composantes cellulaires et non cellulaires du tissu pancréatique qui jouent un rôle déterminant dans le processus de survie de l'îlot. De plus, la transplantation elle-même expose les cellules à différents stress, notamment le stress par les cytokines inflammatoires qui encourage la mort cellulaire par apoptose et provoque par la suite le rejet de la greffe. L'ensemble de ces mécanismes aboutit a une perte de la masse d'îlot estimée a plus de 60%. Dans ce contexte, nous nous sommes intéressés à définir les voies majeures de stress qui régissent cette perte massive d'îlot par apoptose lors du processus d'isolement et suite à l'exposition immédiate aux cytokines. L'ensemble des résultats obtenus indique que plusieurs voies de signalisation intracellulaire sont recrutées qui s'activent de manière maximale très tôt lors des premières phases de l'isolement. La mise en culture des îlots deux jours permet aux voies activées de revenir aux taux de base. De ce fait nous proposons une stratégie dite de protection qui doit être 1) initiée aussitôt que possible lors de l'isolement des îlots pancréatiques, 2) devrait probablement bloquer l'activation de ces différentes voies de stress mis en évidence lors de notre étude et 3) devrait inclure la mise en culture des îlots purifiés deux jours après l'isolement et avant la transplantation. RESUME LARGE PUBLIC Le diabète est une maladie qui entraîne un taux anormalement élevé de sucre (glucose) dans le sang du à une insuffisance du pancréas endocrine à produire de l'insuline, une hormone qui régule la glycémie (taux de glucose dans le sang). On distingue deux types majeurs de diabètes; le diabète de type 1 ou juvénile ou encore appelé diabète maigre qui se manifeste souvent pendant l'enfance et qui se traduit par une déficience absolue en insuline. Le diabète de type 2 ou diabète gras est le plus fréquent, et touche les sujets de plus de 40 ans qui souffrent d'obésité et qui se traduit par une dysfonction de la cellule ß avec une incapacité à réguler la glycémie malgré la production d'insuline. Dans le diabète de type 1, la destruction de la cellule ß est programmée (apoptose) et est majoritairement provoquée par des médiateurs inflammatoires appelés cytokines qui sont produites localement par des cellules inflammatoires du système immunitaire qui envahissent la cellule ß-pancréatiques. Les cytokines activent différentes voies de signalisation parmi lesquelles on distingue celles des Mitogen-Activated Protein Kinase (MAPKs) composées de trois familles de MAPKs: ERK1/2, p38, et JNK, et la voie NF-κB. Le traitement médical par injections quotidiennes d'insuline permet de contrôler la glycémie mais ne prévient pas les nombreuses complications secondaires liées à cette maladie. La greffe d'îlots de Langerhans est une alternative possible au traitement médical, considérée avantageuse comparée a la greffe du pancréas entier. En effet l'embolisation d'îlots dans le foie par injection intraportale constitue une intervention simple sans complications majeures. Néanmoins la technique de préparation d'îlots altère la fonction endocrine et cause la perte massive d'îlots pancréatiques. De plus, la transplantation elle-même expose la cellule ß à différents stress, notamment le stress par les cytokines inflammatoires qui provoque le rejet de greffon cellulaire. Dans la perspective d'augmenter les rendements des îlots purifiés, nous nous sommes intéressés à définir les voies majeures de stress qui régissent cette perte massive d'îlot lors du processus d'isolement et suite à l'exposition immédiate aux cytokines après transplantation. L'ensemble de ces résultats indique que le stress induit lors de l'isolement des îlots et celui des cytokines recrute différentes voies de signalisation intracellulaire (JNK, p38 et NF-κB) qui s'additionnent entre-elles pour altérer la fonction et la viabilité de l'îlot. De ce fait une stratégie doit être mise en place pour bloquer toute action synergique entre ces différentes voies activées pour améliorer la viabilité et la fonction de la cellule ß lors du greffon cellulaire. SUMMARY Type 1 diabetes mellitus (T1DM) is an autoimmune disease characterized by the progressive and selective destruction of the pancreatic ß-cells that secrete insulin, leading to absolute insulin deficiency. T1DM accounts for about 10% of all diabetes cases, affecting persons younger than 20 years of age. Medical treatment using daily exogenous insulin injection corrects hormone deficiency but does not prevent devastating complications such as heart attack, neuropathy, kidney failure, blindness, and amputation caused by the disease. Pancreatic islet transplantation (PIT) is one strategy that holds promise to cure patients with T1DM, but purified pancreatic islet grafts have failed to maintain long-term glucose homeostasis in human recipients, the reasons for this failure being still poorly understood. There is however a more immediate problem with islet grafting that is dependent upon poor islet recovery from donors and early islet loss following the first hours of grafting. This tendency of islet grafts to fail to function within a short period after transplantation is termed primary graft non-function (PNF). Indeed, the islet isolation procedure itself destroys cellular and non-cellular components of the pancreas that may play a role in supporting islet survival. Further, islet transplantation exposes cells to a variety of stressful stimuli, notably pro-inflammatory cytokines that encourage ß-cell death by apoptosis and lead to early graft failure. Altogether these mechanisms lead to an estimated loss of 60% of the total islet mass. Here, we have mapped the major intracellular stress signaling pathways that may mediate human islet loss by apoptosis during isolation and following cytokine attack. We found that several stress pathways are maximally activated from the earliest stages of the isolation procedure. Culturing islet for two days allow for the activated pathways to return to basal levels. We propose that protective strategies should 1) be initiated as early as possible during isolation of the islets, 2) should probably target the activated stress pathways that we uncovered during our studies and 3) should include culturing islets for two days post-isolation and prior transplantation.

Soft tissue sarcomas of the trunk wall (STS-TW): a study of 343 patients from the French Sarcoma Group (FSG) database.

BACKGROUND: Soft tissue sarcomas of the trunk wall (STS-TW) are usually studied together with soft tissue sarcomas of other locations. We report a study on STS-TW forming part of the French Sarcoma Group database. PATIENTS AND METHODS: Three hundred and forty-three adults were included. We carried out univariate and multivariate analysis for overall survival (OS), metastasis-free survival (MFS) and local recurrence-free survival (LRFS). RESULTS: Tumor locations were as follows: thoracic wall, 82.5%; abdominal wall, 12.3% and pelvic wall, 5.2%. Median tumor size was 6.0 cm. The most frequent tumor types were unclassified sarcoma (27.7%) and myogenic sarcoma (19.2%). A total of 44.6% of cases were grade 3. In all, 21.9% of patients had a previous medical history of radiotherapy (PHR). Median follow-up was 7.6 years. The 5-year OS, MFS and LRFS rates were 60.4%, 68.9% and 58.4%, respectively. Multivariate analysis retained PHR and grade for predicting LRFS and PHR, size and grade as prognostic factors of MFS. Factors influencing OS were age, size, PHR, depth, grade and surgical margins. The predictive factors of incomplete response were PHR, size and T3. CONCLUSIONS: Our results suggest similar classical prognostic factors as compared with sarcomas of other locations. However, a separate analysis of STS-TW revealed a significant poor prognosis subgroup of patients with PHR.

Regenerative cell injection in denervated muscle reduces atrophy and enhances recovery following nerve repair.

INTRODUCTION: Functional muscle recovery after peripheral nerve injury is far from optimal, partly due to atrophy of the muscle arising from prolonged denervation. We hypothesized that injecting regenerative cells into denervated muscle would reduce this atrophy. METHODS: A rat sciatic nerve lesion was performed, and Schwann cells or adipose-derived stem cells, untreated or induced to a "Schwann-cell-like" phenotype (dASC), were injected into the gastrocnemius muscle. Nerves were either repaired immediately or capped to prevent muscle reinnervation. One month later, functionality was measured using a walking track test, and muscle atrophy was assessed by examining muscle weight and histology. RESULTS: Schwann cells and dASC groups showed significantly better scores on functional tests when compared with injections of growth medium alone. Muscle weight and histology were also significantly improved in these groups. CONCLUSION: Cell injections may reduce muscle atrophy and could benefit nerve injury patients.

Occurrence of common scab in potato tubers following foliar treatment with glycinebetaine under glasshouse conditions

Selostus: Glysiinibetaiinilla suoritetun lehvästöruiskutuken vaikutus perunan rupisuuteen

Long-term voice outcome following partial cricotracheal resection in children for severe subglottic stenosis.

OBJECTIVE: To correlate the postoperative voice outcome to preoperative glottic involvement, following partial cricotracheal resection (PCTR) in children. The glottic involvement was analysed based on the extent of subglottic stenosis (SGS) in the endoscopic image and functional dynamic assessment using flexible endoscopy. METHODS: We conducted an interobserver study in which two ENT surgeons, blinded to one another's interpretation, independently rated the extent of SGS based on the endoscopic image along with the dynamic functional airway assessment, of 108 children who underwent PCTR for grade III or IV stenosis. Based on the observation, the glottic involvement was rated into 4 categories: Evaluation of the voice was based on a parent/patient proxy questionnaire sent in 2008 to assess the current functional status of the patient's voice. RESULTS: Among the 77 patients available for long-term outcome with a minimum 1-year follow-up, 31 patients had isolated SGS free from vocal cords (group A) and 30 had SGS reaching the under surface of vocal cords with partial or no impairment of abduction of vocal cords (group B). Twelve patients belonged to group C with posterior glottic stenosis and/or vocal cord fusion (without cricoarytenoid ankylosis) and 4 patients had transglottic stenosis and or/bilateral cricoarytenoid ankylosis (group D). The long-term voice outcome following PCTR as perceived by the parent or patient was normal in 18% (14 of 77 patients) and the remaining 63 patients demonstrated mild to severe dysphonia. Patients belonging to group A and B exhibited either normal voice or mild dysphonia. Patients in group C demonstrated dysphonia, which was moderate in severity in the majority (83%). All patients in group D with transglottic stenosis and/or CAA showed severe dysphonia. CONCLUSION: Children with associated glottic involvement are at high risk for poor voice outcome following PCTR. The severity of dysphonia was found to be proportional to the preoperative glottic involvement. Preoperative rating of the extent of glottic involvement based on endoscopic image and dynamic assessment was found to be useful in prognosticating the voice outcome.