Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers

A finite recurrent system over sets of natural numbers of dimension n is a pair composed of n n-ary functions over sets of natural numbers and an n-tuple of singleton sets of natural numbers. Every function is applied to the entries of the tuple and computes a set of natural numbers, that may also be empty. The results are composed into another tuple, and the process is started anew. Thus, a finite recurrent system defines an infinite sequence of n-tuples containing sets of natural numbers. The last entry of a generated n-tuple is called the output of a step, and the union of the output sets of all steps is the set defined by the finite recurrent system. Membership problems ask whether a given number is in a specified output set or in some output set. We study membership problems for special finite recurrent systems, whose functions are built from the set operations union, intersection and complementation and the arithmetical operations addition and multiplication. Sum and product of two sets of natural numbers are defined elementwise. We restrict the set of operations from which functions are built and determine the impact on the complexity of the membership problems. We focus on PSPACE-decidable membership problems and show completeness results for the complexity classes NL, NP and PSPACE.     

High‐Tech‐Cellulose‐Funktionspolymere nach dem ALCERU®‐Verfahren

Functional High‐Tech‐Cellulose materials by the ALCERU® process Cellulose is one of the eldest materials of mankind. While the use of cellulose in former times was focused on application as a more construction or as a more textile material at present time the application profile turns to a more functional material using the ALCERU® process. Shaping of pure cellulose dissolution in NMMNO permits the manufacturing of materials for upholstery, filtration or biodegradable film strips having an uniform cross section. Fibreds, which can be applied in several packaging materials, are available using different techniques for regeneration cellulose. A great field of innovative functional cellulose materials is opened up by addition of several functional additives to cellulose dissolution. In this way piezo‐electrical conductive cellulose fibres (PZT) or high‐temperature filtration membranes are to be generated if one adds special types of ceramic powders. Above all PZT green fibres are applied in more recent uses as sensors or actuators. Electrically conductive cellulose fibres or filaments, which can be also used in the textile chain, can be prepared adding conductive carbon black to a cellulose dope on the same way, too. Cellulose material having adapted conductivity to different application is available by adding an exact defined amount of carbon black to cellulose dissolution. Finally cellulose beads can be manufactured by means of varied shaping technique. The beads are showing variable particle sizes and narrow pore size distribution. These properties open up very interesting application in the field of human blood purification or chromatography.     

An asymptotic expansion of the global discretization error of difference schemes for numerically solving a quasilinear parabolic system of differential equations

In this paper a class of implicit, A-stable one-step difference methods for quasilinear strongly coupled parabolic systems is considered. For the global discretization error of this class of finite difference approximations, an asymptotic expansion in power of the step size with respect to the space and the time coordinates is proved. This result allows to obtain more accurate solutions by the principles of local and global Richardson extrapolation or the method of correction by higher order differences without loss of A-stability.     

Design and characterization of a multistage,mechanically stirred column absorber

A multistage, mechanically stirred column absorber has been designed and built with a modular construction, based on preliminary experiments with a test column. The column has been characterized as a gas-liquid contactor by its gas holdup, gas and liquid axial dispersion, mixing times, oxygen transfer coefficients and power consumptions, determined as a function of gas velocity, liquid velocity and impeller speed for one and two impellers per stage.Gassed power was correlated with ungassed power, gas rate and impeller speed. The gas phase axial mixing was essentially plug flow and the liquid phase axial mixing varied between 5 and 12 equivalent stages.Oxygen transfer coefficients were correlated with power consumptions and aeration rates by the equation K_La γ (P/V)^a(υ_sg)^b. The oxygen transfer coefficients with single stiffer stages were 25% above those for the double stirrer stages for equal power consumption and gas rates. Except for the low aeration and high power consumption extremes, the column showed superior oxygen transfer performance. in comparison to tubular loop and tank fermenters.     

Compensation of the bias caused by the wall filter on the mean Doppler frequency

In the presence of noise, any wall filter induces a bias on the mean Doppler frequency estimated by the algorithm based on the calculation of the phase of the autocorrelation function at lag 1. In this paper, it is shown that the bias results from the nonzero value of the autocorrelation function of the filtered noise at lag 1. A general method for compensating the bias was then deduced. It consists of a preliminary estimation of the filtered noise contribution and its subtraction from the autocorrelation function of the Doppler signal. The method is independent of the nature of the noise and wall filter. An evaluation of this method on simulated Doppler signals and on measurements from a moving-string phantom showed that effective compensation of the bias was obtained, but at the expense of a higher variance. Taking into account both the bias and the variance, however, it was shown that this method offers an improvement over the noncompensated method. Finally, the performance of this method was demonstrated using in vivo measurements taken from a human aorta.     

Refractoriness and neural precision

The response of a spiking neuron to a stimulus is often characterized by its time-varying firing rate, estimated from a histogram of spike times. If the cell's firing probability in each small time interval depends only on this firing rate, one predicts a highly variable response to repeated trials, whereas many neurons show much greater fidelity. Furthermore, the neuronal membrane is refractory immediately after a spike, so that the firing probability depends not only on the stimulus but also on the preceding spike train. To connect these observations, we investigated the relationship between the refractory period of a neuron and its firing precision. The light response of retinal ganglion cells was modeled as probabilistic firing combined with a refractory period: the instantaneous firing rate is the product of a "free firing rate, " which depends only on the stimulus, and a "recovery function," which depends only on the time since the last spike. This recovery function vanishes for an absolute refractory period and then gradually increases to unity. In simulations, longer refractory periods were found to make the response more reproducible, eventually matching the precision of measured spike trains. Refractoriness, although often thought to limit the performance of neurons, may in fact benefit neuronal reliability. The underlying free firing rate derived by allowing for the refractory period often exceeded the observed firing rate by an order of magnitude and was found to convey information about the stimulus over a much wider dynamic range. Thus, the free firing rate may be the preferred variable for describing the response of a spiking neuron.     

Graphs of linear clique-width at most 3

A graph has linear clique-width at most k if it has a clique-width expression using at most k labels such that every disjoint union operation has an operand which is a single vertex graph. We give the first characterisation of graphs of linear clique-width at most 3, and we give the first polynomial-time recognition algorithm for graphs of linear clique-width at most 3. In addition, we present new characterisations of graphs of linear clique-width at most 2. We also give a layout characterisation of graphs of bounded linear clique-width; a similar characterisation was independently shown by Gurski and by Lozin and Rautenbach.     

Isolation of Decidual Macrophages and Hofbauer Cells from Term Placenta—Comparison of the Expression of CD163 and CD80

(1) Background: Placental immune cells are playing a very important role in a successful placentation and the prevention of pregnancy complications. Macrophages dominate in number and relevance in the maternal and the fetal part of the placenta. The evidence on the polarization state of fetal and maternal macrophages involved in both, healthy and pregnancy-associated diseases, is limited. There is no representative isolation method for the direct comparison of maternal and fetal macrophages so far. (2) Material and Methods: For the isolation of decidual macrophages and Hofbauer cells from term placenta, fresh tissue was mechanically dissected and digested with trypsin and collagenase A. Afterwards cell enrichment was increased by a Percoll gradient. CD68 is represented as pan-macrophage marker, the surface markers CD80 and CD163 were further investigated. (3) Results: The established method revealed a high cell yield and purity of the isolated macrophages and enabled the comparison between decidual macrophages and Hofbauer cells. No significant difference was observed in the percentage of single CD163⁺ cells in the distinct macrophage populations, by using FACS and immunofluorescence staining. A slight increase of CD80⁺ cells could be found in the decidual macrophages. Considering the percentage of CD80⁺CD163⁻ and CD80⁻CD163⁺ cells we could not find differences. Interestingly we found an increased number of double positive cells (CD80⁺CD163⁺) in the decidual macrophage population in comparison to Hofbauer cells. (4) Conclusion: In this study we demonstrate that our established isolation method enables the investigation of decidual macrophages and Hofbauer cells in the placenta. It represents a promising method for direct cell comparison, enzyme independently, and unaffected by magnetic beads, to understand the functional subsets of placental macrophages and to identify therapeutic targets of pregnancy associated diseases.     

Theoretical issues in general and developmental ergonomics

The purpose of this paper is to suggest a number of critical theoretical issues which revolve around the relationship of the human with technology. This has two aspects: (1) the human response to already developed technology (general ergonomics); and (2) the application of ergonomics principles and data to system design (developmental ergonomics). Ergonomics research which does not focus on the human/technology relationship has little to offer ergonomics. That research must also be directed to the problem of transforming behavioural principles into their physical equivalents.