Industrial applications of ASF+SDF

In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has specified a language for describing interest rate products, their translation into COBOL, and their generation from interactive questionnaires. A consultancy company has specified a language to represent the company's object-oriented models, and the compilation of this language into Access. Bank ABN-AMRO has started investigating the use of algebraic specifications for renovating legacy COBOL systems. We discuss the implications of such projects for teaching algebraic specifications and software engineering, and the role students have been playing in these projects

Development of efficient aqueous organic redox flow batteries using ion-sieving sulfonated polymer membranes

Redox flow batteries using aqueous organic-based electrolytes are promising candidates for developing cost-effective grid-scale energy storage devices. However, a significant drawback of these batteries is the cross-mixing of active species through the membrane, which causes battery performance degradation. To overcome this issue, here we report size-selective ion-exchange membranes prepared by sulfonation of a spirobifluorene-based microporous polymer and demonstrate their efficient ion sieving functions in flow batteries. The spirobifluorene unit allows control over the degree of sulfonation to optimize the transport of cations, whilst the microporous structure inhibits the crossover of organic molecules via molecular sieving. Furthermore, the enhanced membrane selectivity mitigates the crossover-induced capacity decay whilst maintaining good ionic conductivity for aqueous electrolyte solution at pH 9, where the redox-active organic molecules show long-term stability. We also prove the boosting effect of the membranes on the energy efficiency and peak power density of the aqueous redox flow battery, which shows stable operation for about 120 h (i.e., 2100 charge-discharge cycles at 100 mA cm−2) in a laboratory-scale cell

Clustering cliques for graph-based summarization of the biomedical research literature

BACKGROUND: Graph-based notions are increasingly used in biomedical data mining and knowledge discovery tasks. In this paper, we present a clique-clustering method to automatically summarize graphs of semantic predications produced from PubMed citations (titles and abstracts). RESULTS: SemRep is used to extract semantic predications from the citations returned by a PubMed search. Cliques were identified from frequently occurring predications with highly connected arguments filtered by degree centrality. Themes contained in the summary were identified with a hierarchical clustering algorithm based on common arguments shared among cliques. The validity of the clusters in the summaries produced was compared to the Silhouette-generated baseline for cohesion, separation and overall validity. The theme labels were also compared to a reference standard produced with major MeSH headings. CONCLUSIONS: For 11 topics in the testing data set, the overall validity of clusters from the system summary was 10% better than the baseline (43% versus 33%). While compared to the reference standard from MeSH headings, the results for recall, precision and F-score were 0.64, 0.65, and 0.65 respectively

Hypersensitive to Red and Blue 1 and Its Modification by Protein Phosphatase 7 Are Implicated in the Control of Arabidopsis Stomatal Aperture

The stomatal pores are located on the plant leaf epidermis and regulate CO2 uptake for photosynthesis and the loss of water by transpiration. Their stomatal aperture therefore affects photosynthesis, water use efficiency, and agricultural crop yields. Blue light, one of the environmental signals that regulates the plant stomatal aperture, is perceived by the blue/UV-A light-absorbing cryptochromes and phototropins. The signal transduction cascades that link the perception of light to the stomatal opening response are still largely unknown. Here, we report two new players, Hypersensitive to Red and Blue 1 (HRB1) and Protein Phosphatase 7 (PP7), and their genetic and biochemical interactions in the control of stomatal aperture. Mutations in either HRB1 or PP7 lead to the misregulation of the stomatal aperture and reduce water loss under blue light. Both HRB1 and PP7 are expressed in the guard cells in response to a light-to-dark or dark-to-light transition. HRB1 interacts with PP7 through its N-terminal ZZ-type zinc finger motif and requires a functional PP7 for its stomatal opening response. HRB1 is phosphorylated in vivo, and PP7 can dephosphorylate HRB1. HRB1 is mostly dephosphorylated in a protein complex of 193 kDa in the dark, and blue light increases complex size to 285 kDa. In the pp7 mutant, this size shift is impaired, and HRB1 is predominately phosphorylated. We propose that a modification of HRB1 by PP7 under blue light is essential to acquire a proper conformation or to bring in new components for the assembly of a functional HRB1 protein complex. Guard cells control stomatal opening in response to multiple environmental or biotic stimuli. This study may furnish strategies that allow plants to enjoy the advantages of both constitutive and ABA-induced protection under water-limiting conditions

Fundamentalismus und Demokratie : Möglichkeiten und Grenzen der politischen Integration

The way in which a system’s software archive is partitioned influences the evolvability of that system. The partition of a software archive is mostly assessed by looking at the static (include, call) relations between the parts. In the literature history information is also taken into account to assess the partition but only pairs of software entities are related. In this paper we describe a novel history-based approach to assess the extent in which a certain partition allows its parts to evolve independently. We use the assumption that a set of software entities which co-evolved often in the past are likely to be modified together in the near future as well. Hence, the elements of such a set should in principle belong to the same part. Our approach, therefore, identifies sets of co-evolving software entities, where each set has elements from more than one part of the archive. We illustrate our approach with a case study of a large software system that evolved during more than a decade, and has over 7 million lines of code.

Triarylamines as catholytes in aqueous organic redox flow batteries

A series of triarylamines was synthesised and screened for their suitability as catholytes in redox flow batteries using cyclic voltammetry (CV). Tris(4-aminophenyl)amine was found to be the strongest candidate. Solubility and initial electrochemical performance were promising; however, polymerisation was observed during electrochemical cycling leading to rapid capacity fade prescribed to a loss of accessible active material and the limitation of ion transport processes within the cell. A mixed electrolyte system of H3PO4 and HCl was found to inhibit polymerisation producing oligomers that consumed less active material reducing rates of degradation in the redox flow battery. Under these conditions Coulombic efficiency improved by over 4 %, the maximum number of cycles more than quadrupled and an additional theoretical capacity of 20 % was accessed. This paper is, to our knowledge, the first example of triarylamines as catholytes in all-aqueous redox flow batteries and emphasises the impact supporting electrolytes can have on electrochemical performance

Triarylamines as Catholytes in Aqueous Organic Redox Flow Batteries.

Funder: Shell; Id: http://dx.doi.org/10.13039/100013731A series of triarylamines was synthesised and screened for their suitability as catholytes in redox flow batteries using cyclic voltammetry (CV). Tris(4-aminophenyl)amine was found to be the strongest candidate. Solubility and initial electrochemical performance were promising; however, polymerisation was observed during electrochemical cycling leading to rapid capacity fade prescribed to a loss of accessible active material and the limitation of ion transport processes within the cell. A mixed electrolyte system of H3 PO4 and HCl was found to inhibit polymerisation producing oligomers that consumed less active material reducing rates of degradation in the redox flow battery. Under these conditions Coulombic efficiency improved by over 4 %, the maximum number of cycles more than quadrupled and an additional theoretical capacity of 20 % was accessed. This paper is, to our knowledge, the first example of triarylamines as catholytes in all-aqueous redox flow batteries and emphasises the impact supporting electrolytes can have on electrochemical performance