A rich concurrent semantics has been developed along the years for graph transformation systems, often generalizing in non-trivial ways concepts and results first introduced for Petri nets. Besides the theoretical elegance, the concurrent semantics has potential applications in verification and model checking, as witnessed by techniques like partial order reduction or the use of finite, complet...

Many important genes in agriculture correspond to transcription factors (TFs) that regulate a wide range of pathways from flowering to responses to disease and abiotic stresses. In this study, we identified 5776 TFs in hexaploid wheat (Triticum aestivum) and classified them into gene families. We further investigated the NAC family exploring the phylogeny, C-terminal domain (CTD) conservation, ...

Switch equivalence for transformation systems has been successfully used in many domains for the analysis of concurrent behaviour. When using graph transformation as modelling framework for these systems, the concept of negative application conditions (NACs) is widely used – in particular for the specification of operational semantics. In this paper we show that switch equivalence can be improv...

A Ralstonia sp. SJ98, isolated by a chemotactic enrichment technique, was capable of utilizing different nitroaromatic compounds (NACs). It utilized p-nitrophenol, 4-nitrocatechol, o-nitrobenzoic acid, and p-nitrobenzoic acid as the sole source of carbon and energy. It was observed that Ralstonia sp. SJ98 was chemotactic to the above-mentioned NACs as tested by the drop assay, swarm plate assay...

Switch equivalence for transformation systems has been successfully used in many domains for the analysis of concurrent behaviour. When using graph transformation as modelling framework for these systems, the concept of negative application conditions (NACs) is widely used – in particular for the specification of operational semantics. In this paper we show that switch equivalence can be improv...

BACKGROUND AND PURPOSE Malformations of cortical development (MCD) are traditionally considered as a cause of epilepsy. Our aim was to study patients with focal MCD, by using multivoxel proton MR spectroscopy; we focused not only on the lesion but also on the normal-appearing contralateral side (NACS). Our hypothesis was that the metabolic abnormality extends to the NACS; therefore, it would be...

National AIDS councils (NACs) were established in many African countries to co-ordinate the multi-sectoral response to HIV/ AIDS. Their main mandate is to provide strategic leadership and co-ordinate activities geared to fight against HIV/AIDS. This study sought to understand the extent to which NACs have achieved their goals and the challenges they face. Best practices were identified and shar...

Nitroaromatic compounds (NACs) are ubiquitous environmental contaminants that are susceptible to biological and abiotic reduction. Prior works have found that for the abiotic reduction of NACs, the logarithm of the NACs’ rate constants correlate with one-electron reduction potential values of the NACs (EH,NAC1) according to linear free energy relationships (LFERs). Here, we extend the applicati...