In this work, we propose a variant of P system based on the rewriting of string-objects by means of evolutionary rules. The membrane structure of such a P system seems to be a very natural tool for simulating the filters in accepting networks of evolutionary processors with filtered connections. We discuss an informal construction supporting this simulation. A detailed proof is to be considered...

In this work, we propose a variant of P system based on the rewriting of string-objects by means of evolutionary rules. The membrane structure of such a P system seems to be a very natural tool for simulating the filters in accepting networks of evolutionary processors with filtered connections. We discuss an informal construction supporting this simulation. A detailed proof is to be considered...

The chemotactic behavior of Escherichia coli mutants defective in cheB function, which is required to remove methyl esters from methyl-accepting chemotaxis proteins, was investigated by subjectitng swimming or antibodytethered cells to various attractant chemicals. Two cheB point mutants, one missense and one nonsense, exhibited stimulus response times much longer than did the wild type, but th...

The addition of attractant to Bacillus subtilis briefly exposed to radioactive methionine causes an increase of labeling of the methyl-accepting chemotaxis proteins. The addition of attractant to cells radiolabeled for longer times shows no change in the extent of methylation. Therefore, the increase in labeling for the briefly labeled cells is due to an increased turnover of methyl groups caus...

The ability of attractants and repellents to affect the turnover of methyl groups on the methyl-accepting chemotaxis proteins (MCPs) was examined for Bacillus subtilis. Attractants were found to cause an increase in the turnover of methyl groups esterified to the MCPs, while repellents caused a decrease. These reactions do not require CheW. However, a cheW null mutant exhibits enhanced turnover...

Distributed automata-based LTL model-checking relies on algorithms for finding accepting cycles in a Büchi automaton. The approach to distributed accepting cycle detection as presented in [9] is based on maximal accepting predecessors. The ordering of accepting states (hence the maximality) is one of the main factors affecting the overall complexity of model-checking as an imperfect ordering ca...

The chemosensory complexes in Escherichia coli are localized predominantly in large aggregates at one or both of the cell poles, however, neither the role of the polar localization nor the role of the clustering is understood. In E. coli, the two classes of chemoreceptors or transducers, high- and low-abundance, differ in their ability to support chemotaxis when expressed as the sole chemorecep...

In bacterial chemotaxis, the chemoreceptors [methyl-accepting chemotaxis proteins (MCPs)] transduce chemotactic signals through the two-component histidine kinase CheA. At low but not high attractant concentrations, chemotactic signals must be amplified. The MCPs are organized into a polar lattice, and this organization has been proposed to be critical for signal amplification. Although evidenc...

We present a new distributed-memory algorithm for enumerative LTL modelchecking that is designed to be run on a cluster of workstations communicating via MPI. The detection of accepting cycles is based on computing maximal accepting predecessors and the subsequent decomposition of the graph into independent predecessor subgraphs induced by maximal accepting predecessors. Several optimizations o...