No detectable bioeffects following acute exposure to high peak power ultra-wide band electromagnetic radiation in rats

A wide range assessment of the possible bioeffects of an acute exposure to high peak power ultra-wide band (UWB) electromagnetic radiation was performed in rats. The UWB-exposure consisted of 2 min of pulsed (frequency: 60 Hz, pulse width: 5-10 ns) UWB (bandwidth: 0.25-2.50 GHz) electromagnetic radiation. Rats were examined using one of the following: 1) a functional observational battery (FOB); 2) a swimming performance test; 3) a complete panel of blood chemistries; or 4) determination of the expression of the c-fos protein in immunohistologically-stained sections of the brain. No significant differences were found between UWB- or sham-exposed rats on any of the measured parameters.     

A linear-time model-checking algorithm for the alternation-free modal mu-calculus

We develop a model-checking algorithm for a logic that permits propositions to be defined using greatest and least fixed points of mutually recursive systems of equations. This logic is as expressive as the alternation-free fragment of the modal mu-calculus identified by Emerson and Lei, and it may therefore be used to encode a number of temporal logics and behavioral preorders. Our algorithm determines whether a process satisfies a formula in time proportional to the product of the sizes of the process and the formula; this improves on the best known algorithm for similar fixed-point logics.     

Innovative approaches in integrated assessment modelling of European air pollution control strategies – Implications of dealing with multi-pollutant multi-effect problems

In this paper, crucial aspects of the implications and the complexity of interconnected multi-pollutant multi-effect assessments of both air pollution control strategies and the closely related reduction of greenhouse gas emissions will be discussed. The main aims of the work described here are to identify the core problems which occur when trying to apply current state-of-the-art methodology to conduct integrated assessments – in this context, cost-benefit assessment (CBA) as well as cost-effectiveness assessment (CEA) – using sophisticated computer models and propose solutions to the problems identified. The approaches described will display the integrated use of databases, efficient algorithms and already existing software tools and models in a unified model framework. The first part of the paper discusses the need for new developments in one particular field of Integrated Assessment Models (IAMs), which is the use of (typically) country-specific single pollutant abatement cost curves, which have been applied in a large number of modelling approaches with the aim to find cost-effective solutions for given air quality targets. However, research conducted to find such cost-effective solutions for the non-linear problem of tropospheric ozone abatement (dealing with two primary pollutants and their rather complex relationship to form tropospheric ozone, [see] [Friedrich, R., Reis, S. (Eds.), 2000. Tropospheric Ozone Abatement – Developing Efficient Strategies for the Reduction of Ozone Precursor Emissions in Europe. Springer Publishers] identified basic problems of cost curve based approaches even in this two-pollutant case. The approach discussed here promises to solve the key problems identified, making extensive use of databases in order to provide fast and high quality model input for CEA and CBA. In addition to that, the application of Genetic Algorithms will be discussed as a means to address extremely complex, vast solution spaces which are typical for the tasks IAMs are set to solve nowadays. As the application of the model in extensive assessment studies is currently under way, it is yet too early for a full evaluation of lessons learned. However, initial tests of performance and behaviour have shown robust and promising results.     

A Mixed-Mode Analog Neural Network Using Current-Steering Synapses

A hardware neural network is presented that combines digital signalling with analog computing. This allows a high amount of parallelism in the synapse operation while maintaining signal integrity and high transmission speed throughout the system. The presented mixed-mode implementation achieves a synapse density of 4 k per mm² in 0.35 μm CMOS. The current-mode operation of the analog core combined with differential neuron inputs reaches an analog precision sufficient for 10 bit parity while running at a speed of 0.8 Teraconnections per second.     

Inline‐Beschichtung von optischen Substraten. Inline coating of optical substrates

Applications of optical technologies like vision care, digital imaging or data communication play a decisive role in our daily life. Manipulation of light is mainly done using optical lenses. Beside mineral lenses, transparent plastic materials become more and more important. The optical and mechanical properties of lenses are crucially improved by high‐quality coatings. These includes primarily anti‐reflective coatings to enhance light transmission, hard coats to improve scratch resistance of the sensitive plastic substrates and finally clean coats to inhibit dusting of the lenses and to ease cleaning. In the following we present modern vacuum coating technologies for industrial refinement of optical substrates. The focal point is set to the coating of plastic eyeglass lenses using a revolutionary inline technology. On one hand the technology merges all coating steps in a fully automated system and enables on the other hand the flexible combination of different layer stacks necessary for RX‐production of ophthalmic lenses. This inline technology is available by the coating system OPTICUS. The design of the OPTICUS is described in the last chapter.