On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual convergence of fixpoint computations. In particular, we are able to directly obtain several new decidability results on lossy channel systems.Comment: 16 page

Experimental study of the anaerobic urban wastewater treatment in a submerged hollow-fibre membrane bioreactor at pilot scale

The aim of this study was to assess the effect of several operational variables on both biological and separation process performance in a submerged anaerobic membrane bioreactor pilot plant that treats urban wastewater. The pilot plant is equipped with two industrial hollow-fibre ultrafiltration membrane modules (PURON¿ Koch Membrane Systems, 30m 2 of filtration surface each). It was operated under mesophilic conditions (at 33°C), 70days of SRT, and variable HRT ranging from 20 to 6h. The effects of the influent COD/SO 4-S ratio (ranging from 2 to 12) and the MLTS concentration (ranging from 6 to 22gL -1) were also analysed. The main performance results were about 87% of COD removal, effluent VFA below 20mgL -1 and biogas methane concentrations over 55% v/v. Methane yield was strongly affected by the influent COD/SO 4-S ratio. No irreversible fouling problems were detected, even for MLTS concentrations above 22gL -1. © 2011 Elsevier Ltd.This research work has been supported by the Spanish Research Foundation (CICYT Projects CTM2008-06809-C02-01 and CTM2008-06809-C02-02), which is gratefully acknowledged.Giménez García, JB.; Robles Martínez, Á.; Carretero Martin, L.; Durán Pinzón, F.; Ruano García, MV.; Gatti, MN.; Ribes Bertomeu, J.... (2011). Experimental study of the anaerobic urban wastewater treatment in a submerged hollow-fibre membrane bioreactor at pilot scale. Bioresource Technology. 102(19):8799-8806. doi:10.1016/j.biortech.2011.07.014S879988061021

Glycemic control and long-acting insulin analog utilization in patients with type 2 diabetes

Introduction: The objective was to compare glycemic control, insulin utilization, and body weight in patients with type 2 diabetes (T2D) initiated on insulin detemir (IDet) or insulin glargine (IGlar) in a real-life setting in the Netherlands. Methods: Insulin-naïve patients with T2D, starting treatment with IDet or IGlar between January 1, 2004 and June 30, 2008, were selected from the PHARMO data network. Glycemic control (hemoglobin A1c [HbA1c]), target rates (HbA1c <7%), daily insulin dose, and weight gain were analyzed comparing IDet and IGlar for patients with available HbA1c levels both at baseline and at 1-year follow-up. Analysis of all eligible patients (AEP) and a subgroup of patients without treatment changes (WOTC) in the follow-up period were adjusted for patient characteristics, propensity scores, and baseline HbA1c. Results: A total of 127 IDet users and 292 IGlar users were included in the WOTC analyses. The mean HbA1c dropped from 8.4%-8.6% at baseline to 7.4% after 1 year. Patients at HbA1c goal increased from 9% at baseline to 32% for IDet and 11% to 35% for IGlar, which was not significantly different (OR 0.75, 95% CI 0.46, 1.24). Weight gain (n=90) was less among IDet users (+0.4kg) than among IGlar users (+1.1kg), albeit not significant. The AEP analysis (252 IDet

Profiling of antioxidant potential and phytoconstituents of Plantago coronopus

The halophyte species Plantago coronopus has several described ethnomedicinal uses, but few reported biological activities. This work carried out for the first time a comparative analysis of P. coronopus organs in terms of phenolic composition and antioxidant activity of organic and water extracts from roots, leaves and flowers. The leaves contents in selected nutrients, namely amino acids and minerals, are also described. Roots (ethyl acetate and methanol extracts) had the highest radical scavenging activity (RSA) towards 1,1-diphenyl-2-picrylhydrazyl (DPPH) and 2,2'-azino-bis(3-ethylbenzothiazoline-6-sulfonic acid) (ABTS) radicals, while leaves (hexane extract) had higher RSA on nitric oxide radical and iron chelating ability. High performance liquid chromatography (HPLC) analysis identified eighteen phenolics from which salicylic acid and epicatechin are here firstly described in Plantago species. Leaves had mineral levels similar to those of most vegetables, proving to be a good source for elements like calcium, sodium, iron and magnesium, and also for several of the essential amino acids justifying it use as food. Our results, especially those regarding the phenolics composition, can explain the main traditional uses given to this plantain and, altogether, emphasize the potential of P. coronopus as a source of bioactive molecules particularly useful for the prevention of oxidative stress-related diseases

Information and digital literacies; a review of concepts

A detailed literature reviewing, analysing the multiple and confusing concepts around the ideas of information literacy and digital literacy at the start of the millennium. The article was well-received, and is my most highly-cited work, with over 1100 citations

Cimetidine, antacid, and hospitalization in the treatment of benign gastric ulcer: A multicenter double blind study

Two hundred forty patients with benign gastric ulcer were treated in a controlled clinical trial to assess the effect on healing of cimetidine, antacids, and hospitalization. Inpatients and outpatients were randomly assigned to one of three treatments: cimetidine plus antacid, cimetidine plus dummy antacid, or placebo tablet plus antacid. In 206 patients who met criteria for analysis, ulcer healing as shown by endoscopy occurred by 12 days in 11 to 26% and by 42 days in 58 to 76%. There were no significant differences in healing between hospitalized and nonhospitalized patients or between treatment subgroups. Symptomatic response was equivalent in all groups. The median antacid consumption was 328 mEq of in vitro buffering capacity per day. Patients taking antacids experienced significant diarrhea compared with those taking no antacid. This investigation suggests that the effect of cimetidine is equivalent to that of large amounts of antacid, but because a true placebo group was not studied it is not possible to conclude from this study alone whether either agent influenced healing. In contrast to widespread belief, initiation of treatment in the hospital did not enhance healing, but because patients were not randomly assigned to inpatient and outpatient status no final conclusion about the effect of hospitalization on healing can be drawn