On multiple integrals represented as a linear form in 1, ζ(3), ζ(5),..., ζ(2<Emphasis Type="Italic">k</Emphasis> − 1)

A theorem on the presentability of a multiple integral as a linear form in 1, ζ(3), ζ(5),..., ζ(2k − 1) over ℚ is proved. This theorem refines the results recently obtained by D. Vasiliev, V. Zudilin, and S. Zlobin. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 6, pp. 143–178, 2005.     

Weighted estimates of a solution to the linear problem connected with the one-phase Stefan problem in the case where the specific heat tends to zero

We prove estimates in weighted Hölder norms for a solution to the model linear problem related with the one-phase Stefan problem with a small multiplier ε at time derivative in the heat equation. These estimates are uniform with respect to parameter ε and are significant in justification of passage to the limit in the one-phase Stefan problem as the specific heat tends to zero. Bibliography: 8 titles.     

On <Emphasis Type="Italic">W</Emphasis>-geometry of Toda systems

We describe W-geometry of two-dimensional Toda systems associated with the Lie algebra C _n . __________ Translated from Fundamental’naya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 11, No. 1, Geometry, 2005.     

Preparation and mechanical properties of layers made of recombinant spider silk proteins and silk from silk worm

Layers of recombinant spider silks and native silks from silk worms were prepared by spin-coating and casting of various solutions. FT-IR spectra were recorded to investigate the influence of the different mechanical stress occurring during the preparation of the silk layers. The solubility of the recombinant spider silk proteins SO1-ELP, C16, AQ24NR3, and of the silk fibroin from Bombyx mori were investigated in hexafluorisopropanol, ionic liquids and concentrated salt solutions. The morphology and thickness of the layers were determined by Atomic Force Microscopy (AFM) or with a profilometer. The mechanical behaviour was investigated by acoustic impedance analysis by using a quartz crystal microbalance (QCMB) as well as by microindentation. The density of silk layers (d<300 nm) was determined based on AFM and QCMB measurements. At silk layers thicker than 300 nm significant changes of the half-band-half width can be correlated with increasing energy dissipation. Microhardness measurements demonstrate that recombinant spider silk and sericine-free Bombyx mori silk layers achieve higher elastic penetration modules E_EP and Martens hardness values H_M than those of polyethylenterephthalate (PET) and polyetherimide (PEI) foils.     

Hydrolytic degradation and thermal stability of poly(naphthylimides) based on naphthalene-1,4,5,8-tetracarboxylic dianhydride and bis(naphthalic anhydrides)

The molecular properties of a number of new poly(naphthylimides) derived from naphthalene-1,4,5,8-tetracarboxylic dianhydride and bis(naphthalic anhydrides) have been studied. On the basis of hydrodynamic studies of the polymers at various stages of their thermal degradation in 96% H₂SO₄ and thermogravimetric measurements, the hydrolytic stability and thermooxidative resistance of the polymers have been compared. A correlation between the experimental data and the chemical structure of molecular chains has been established.     

Conductivity and dielectric properties of sol–gel derived porous zirconia

The 8-mol percentage Y₂O₃-stabilized Porous Zirconia was prepared using sol–gel method. Zirconium oxalate gel was prepared by the addition of appropriate amount of oxalic acid solution into the 1 M aqueous solution of zirconium-oxy chloride. A cubic phase zirconia powder was obtained by calcination and milling of the zirconium oxalate gel. Crystallization temperature was found about 450 °C from the Differential thermal analysis. The phase analysis by X-ray diffraction shows the presence of cubic phase. Pellets sintered at 1,350 °C were highly porous, and the electrical conductivity was found with lower value due to the porosity, and the hardness was about 8.0 GPa. Paper presented at the Third International Conference on Ionic Devices (ICID 2006), Chennai, Tamilnadu, India, Dec. 7–9, 2006.     

The categoricity of the group of all computable automorphisms of the rational numbers

We prove that there is a first-order sentence ϕ such that the group of all computable automorphisms of the ordering of the rational numbers is its only model among the groups that are embeddable in the group of all computable permutations. Supported by a Scheme 2 grant from the London Mathematical Society. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 649–662, September–October, 2007.     

Local algebras in the representation of MV-algebras

In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed. Presented by S. Pulmannova. Received November 11, 2005; accepted in final form December 20, 2005.     

A web-based workforce management system for Sainsburys Supermarkets Ltd

Labour scheduling plays an important and critical role in Sainsburys day to day operations and profitability. The integrated workforce management solution for Sainsburys is an intelligent solution for the operational deployment of human resources, integrated business forecasting, generation and calculation of workload and staff scheduling. The workforce management technology has provided Sainsburys with a fully web-based and centralised system that produces optimised schedules for all employees satisfying the forecasted demand of work with granularity of fifteen minutes. The system is configured to respect all operational and business requirements as well as employee contractual constraints. This paper introduces the workforce management solution system designed, developed and implemented for Sainsburys. We concentrate on two modelling structures, namely the work pattern model and optimisation model, and briefly discuss the optimisation process.