Importance of out-of-plane dispersion of the excitation spectrum of superconducting bilayers with Josephson coupling

We study the effect of Josephson coupling between adjacent superconducting layers on the BCS energy spectrum. We find that the interference between the gap functions of two layers can lead to vanishing condensation energy for perpendicular momenta corresponding to the formation of standing waves. We therefore predict a conventional energy spectrum for large interlayer spacings, if the gap of the single layers has no nodes, and in all cases a gapless spectrum for small spacings. Within the experimental error, our numerical results account for the low-temperature dependence of the penetration depth reported in Nd_1.85Ce_0.15CuO₄ and YBa₂Cu₃O_6.9.     

Guest Editors' Introduction: Realizing Service-Centric Software Systems

Service-centric software system is a multidisciplinary paradigm concerned with software systems that are constructed as compositions of autonomous services. These systems extend the service-oriented architecture paradigm by focusing on the design, development, and maintenance of software built under SOAs. In this special issue, we present five articles that tackle service-centric software systems.     

Immobilization of an endopectinlyase on γ-alumina: Study of factors influencing the biocatalytic matrix stability

Endopectinlyase (EC 4.2.2.10) from Aspergillus japonicus was immobilized on to γ-alumina. Adsorption performed at pH 5·0 and a subsequent cross-linking phase using 0·1% glutaraldehyde were the chosen immobilization conditions. The comparison between the main biochemical parameters of the immobilized and free form of the enzyme showed that the immobilization procedure used did not affect the enzyme biochemical properties. The interactions between the carrier and the enzyme are essentially secondary bonding. In fact they depend on the pH and on the presence of phosphate ions in the medium. A tentative chemical model of the biocatalytic matrix thus obtained is proposed.     

Studie über die Rolle des Vitamin E als Nitritscavenger und N-Nitrosamine Inhibitor

Study on the Role of Vitamin E as Nitrite Scavenger and N-Nitrosamine Inhibitor N-nitrosamine are known for their powerful carcinogenicity. They may be formed under acidic conditions by interaction of nitrosable amino substrates and nitrosating agents such as nitrite, nitrate and nitroso gases. Several of recent investigations demonstrate that certain micronutrients such as vitamin A, C, and E and trace elements selenium and zinc play an important role in cancer prevention. Because of their strong antioxidative, nitrite scavenging and free radical quenching properties, vitamin C and E are capable of inhibiting the peroxidation and nitrosation reaction. This paper summarizes the research work done up to date in the field of inhibition of N-nitrosamine formation by vitamin E. It also includes the latest results of our in vitro study on the inhibitory influence of vitamin E and a mixture of tocopherols as well as the cumulative effect of vitamin C and E on the formation of N-nitroso-N-methylaniline (NMNA). α-tocopherol and the mixture of tocopherols are capable of reducing nitrite concentration in hydrophilic reaction medium and thus inhibits the formation of N-nitrosamine. Both vitamins together have a stronger nitrite scavenger effect than either of them alone. The results of research work done up to date strongly suggest that both vitamins may play an important role in reducing the health hazard of some carcinogenic N-nitroso compounds.     

Biosorption of heavy metals by Saccharomyces cerevisiae: Effects of nutrient conditions

Studies took place to investigate the effects of different nutrient conditions on the biosorption ability and selectivity of heavy metals by Saccharomyces cerevisiae. After having grown in media supplemented with additional glucose, ammonium, phosphate or cysteine, the yeast was exposed to an equimolar solution of lead, cadmium, zinc and copper. Lead removal from a mixed solution was significantly higher than that of copper, followed by zinc and cadmium. Generally, yeasts from cysteine-rich media showed greatest sorption capacity whereas phosphate addition influenced zinc selectivity. In addition, glucose, fructose and sucrose as carbon sources were examined. Cultures grown in glucose had a better uptake than those cultivated with fructose at an incubation time of 30 min.     

Modelling formation and growth of H2SO4-H2O aerosols: Uncertainty analysis and experimental evaluation

An aerosol dynamics model, AERO2, is presented, which describes the formation of H₂SO₄-H₂O aerosol in a smog chamber. The model is used to analyse how the uncertainties on four input parameters are propagated through an aerosol dynamics model. The input parameters are: the rate of the reaction between SO₂ and OH (k₁), the ratio between the nucleation rate used in AERO2 and that derived from classical nucleation theory (t_n), the H₂SO₄ mass accommodation coefficient () and a measure of the turbulence intensity in the reactor (k_e). Uncertainties for these parameters are taken from the literature. One of the results of the analysis is that AERO2 and aerosol dynamics models in general can only predict upper bounds for the total number (N_tot) and total volume (V_tot) concentrations of the particles. The uncertainties on N_tot and V_tot are mainly due to the uncertainties on k₁, and t_n. An uncertainty factor of 20–100 still remains when the uncertainty on k₁, is reduced to ±5%. Aerosol measurements from three smog chamber experiments have therefore been used, in an attempt to reduce the uncertainty on k₁ and t_n. Values for k₁ are obtained in the reduced range 7.8 × 10⁻¹³ to 1.0 × 10⁻¹² cm³ s⁻¹, which is within the range found in the literature. For t_n, values in the range 10⁴–10⁷ are obtained, which is close to the upper bound of the range in literature. These values for t_n are in marked contrast with a recent set of experiments on nucleation in H₂SO₄-H₂O mixtures, which suggests a value for t_n of at most 10⁻⁵.     

On input‐to‐state stability‐based design for leader/follower formation control with measurement delays

This paper addresses the design of low‐level controllers for leader–follower formations of nonholonomic vehicles in the presence of bounded measurement delays. The concept of input‐to‐state stability is extended to encompass the effect of bounded delays and restrictions on the input. A method is proposed to integrate a Smith predictor in a backstepping design on the basis of nested saturations and nonlinear small‐gain assignment, which allows for time delays in the feedback loop. Robustness analysis under uncertain bounded time delays is provided, and design tradeoffs resulting from the use of bounded controls are discussed. Illustrative simulations are shown to validate the design and robustness analysis in the context of a simple leader–follower trailing control problem. Copyright © 2012 John Wiley & Sons, Ltd.     

A bacterial colony growth algorithm for mobile robot localization

Achieving robot autonomy is a fundamental objective in Mobile Robotics. However in order to realize this goal, a robot must be aware of its location within an environment. Therefore, the localization problem (i.e.,the problem of determining robot pose relative to a map of its environment) must be addressed. This paper proposes a new biology-inspired approach to this problem. It takes advantage of models of species reproduction to provide a suitable framework for maintaining the multi-hypothesis. In addition, various strategies to track robot pose are proposed and investigated through statistical comparisons. The Bacterial Colony Growth Algorithm (BCGA) provides two different levels of modeling: a background level that carries on the multi-hypothesis and a foreground level that identifies the best hypotheses according to an exchangeable strategy. Experiments, carried out on the robot ATRV-Jr manufactured by iRobot, show the effectiveness of the proposed BCGA.

Proof Lengths for Equational Completion

We first show that ground term-rewriting systems can be completed in a polynomial number of rewriting steps, if the appropriate data structure for terms is used. We then apply this result to study the lengths of critical pair proofs in non-ground systems, and obtain bounds on the lengths of critical pair proofs in the non-ground case. We show how these bounds depend on the types of inference steps that are allowed in the proofs.