A color image watermarking framework for copyright protection of stereo images based on binocular just noticeable difference and LU decomposition

Multimedia Tools and Applications - The copyright protection of three-dimensional (3D) content is a matter of interest in artistic and creative works due to the rights of the holder for the...     

Evidence for Glass–glass Interfaces in a Columnar Cu–Zr Nanoglass

Comprehensive analyses of the atomic structure using advanced analytical transmission electron microscopy-based methods combined with atom probe tomography confirm the presence of distinct glass–glass interfaces in a columnar Cu-Zr nanoglass synthesized by magnetron sputtering. These analyses provide first-time in-depth characterization of sputtered film nanoglasses and indicate that glass–glass interfaces indeed present an amorphous phase with reduced mass density as compared to the neighboring amorphous regions. Moreover, dedicated analyses of the diffusion kinetics by time-of-flight secondary ion mass spectroscopy (ToF SIMS) prove significantly enhanced diffusivity, suggesting fast transport along the low density glass–glass interfaces. The present results further indicate that sputter deposition is a feasible technique for reliable production of nanoglasses and that some of the concepts proposed for this new class of glassy materials are applicable.     

Access control in feature-oriented programming

In feature-oriented programming (FOP) a programmer decomposes a program in terms of features. Ideally, features are implemented modularly so that they can be developed in isolation. Access control mechanisms in the form of access or visibility modifiers are an important ingredient to attain feature modularity as they allow programmers to hide and expose internal details of a module’s implementation. But developers of contemporary feature-oriented languages have not considered access control mechanisms so far. The absence of a well-defined access control model for FOP breaks encapsulation of feature code and leads to unexpected program behaviors and inadvertent type errors. We raise awareness of this problem, propose three feature-oriented access modifiers, and present a corresponding access modifier model. We offer an implementation of the model on the basis of a fully-fledged feature-oriented compiler. Finally, by analyzing ten feature-oriented programs, we explore the potential of feature-oriented modifiers in FOP.     

Density estimates on the unit simplex and calculation of the mode of a sample

This paper addresses reliable and efficient calculation of the mode of a multivariate sample, which is a classical fusion function. In particular, we focus on the inputs given on the unit simplex, when aggregating elements of Atanassov intuitionistic fuzzy sets, interval-valued fuzzy sets and their extensions, as well as compositional data. We outline the use of a specially designed 2-additive fuzzy measures and the Choquet integral for the purposes of reducing computational complexity in higher dimensions. We present computational analysis and benchmark four different methods of density-based mode estimation.     

Characterization of low-flammability electrolytes for lithium-ion batteries

In an effort to develop low-flammability electrolytes for a new generation of Li-ion batteries, we have evaluated physical and electrochemical properties of electrolytes with two novel phosphazene additives. We have studied performance quantities including conductivity, viscosity, flash point, and electrochemical window of electrolytes as well as formation of solid electrolyte interphase (SEI) films. In the course of study, the necessity for a simple method of SEI characterization was realized. Therefore, a new method and new criteria were developed and validated on 10 variations of electrolyte/electrode substrates. Based on the summation of determined physical and electrochemical properties of phosphazene-based electrolytes, one structure of phosphazene compound was found better than the other. This capability helps to direct our further synthetic work in phosphazene chemistry.     

eDNA Inactivation and Biofilm Inhibition by the PolymericBiocide Polyhexamethylene Guanidine Hydrochloride (PHMG-Cl)

The choice of effective biocides used for routine hospital practice should consider the role of disinfectants in the maintenance and development of local resistome and how they might affect antibiotic resistance gene transfer within the hospital microbial population. Currently, there is little understanding of how different biocides contribute to eDNA release that may contribute to gene transfer and subsequent environmental retention. Here, we investigated how different biocides affect the release of eDNA from mature biofilms of two opportunistic model strains Pseudomonas aeruginosa ATCC 27853 (PA) and Staphylococcus aureus ATCC 25923 (SA) and contribute to the hospital resistome in the form of surface and water contaminants and dust particles. The effect of four groups of biocides, alcohols, hydrogen peroxide, quaternary ammonium compounds, and the polymeric biocide polyhexamethylene guanidine hydrochloride (PHMG-Cl), was evaluated using PA and SA biofilms. Most biocides, except for PHMG-Cl and 70% ethanol, caused substantial eDNA release, and PHMG-Cl was found to block biofilm development when used at concentrations of 0.5% and 0.1%. This might be associated with the formation of DNA–PHMG-Cl complexes as PHMG-Cl is predicted to bind to AT base pairs by molecular docking assays. PHMG-Cl was found to bind high-molecular DNA and plasmid DNA and continued to inactivate DNA on surfaces even after 4 weeks. PHMG-Cl also effectively inactivated biofilm-associated antibiotic resistance gene eDNA released by a pan-drug-resistant Klebsiella strain, which demonstrates the potential of a polymeric biocide as a new surface-active agent to combat the spread of antibiotic resistance in hospital settings.     

Energy absorption during compression and impact of dry elastic-plastic spherical granules

The discrete modelling and understanding of the particle dynamics in fluidized bed apparatuses, mixers, mills and others are based on the knowledge about the physical properties of particles and their mechanical behaviour during slow, fast and repeated stressing. In this paper model parameters (modulus of elasticity, stiffness, yield pressure, restitution coefficient and strength) of spherical granules (γ-Al₂O₃, zeolites 4A and 13X, sodium benzoate) with different mechanical behaviour have been measured by single particle compression and impact tests. Starting with the elastic compression behaviour of granules as described by Hertz theory, a new contact model was developed to describe the force-displacement behaviour of elastic-plastic granules. The aim of this work is to understand the energy absorption during compression (slow stressing velocity of 0.02 mm/s) and impact (the impact velocity of 0.5–4.5 m/s) of granules. For all examined granules the estimated energy absorption during the impact is found to be far lower than that during compression. Moreover, the measured restitution coefficient is independent of the impact velocity in the examined range and independent of the load intensity by compression (i.e. maximum compressive load). In the case of repeated loading with a constant load amplitude, the granules show cyclic hardening with increasing restitution coefficient up to a certain saturation in the plastic deformation. A model was proposed to describe the increase of the contact stiffness with the number of cycles. When the load amplitude is subsequently increased, further plastic deformation takes place and the restitution coefficient strongly decreases.     

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/DC) criterion. This new criterion has been developed from the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for the testing of safety-critical software where MC/DC may not provide adequate assurance. As a formal language for describing the criteria, the Z notation has been selected. Formal definitions in the Z notation for RC/DC, as well as MC/DC and other criteria, are presented. Specific examples of using these criteria for specification-based testing are considered and some features are formally proved. This characterization is helpful in the understanding of different types of testing and also the correct application of a desired testing regime. Received July 2004 Revised November 2005 Accepted November 2005 by J. Derrick, M. Harman and R.M. Herons