Assay of Sudan I contamination of foodstuff by atmospheric pressure chemical ionization tandem mass spectrometry and isotope dilution

Food safety represents one of the main issues of national and international agencies appointed to health control. In April 2003, a French agency disclosed that powdered or smashed hot chili pepper imported from India and Pakistan was heavily contaminated with a carcinogenic azo dye known as Sudan I. This paper deals with a modern approach for assaying the content of this colorant in foodstuff down to a limit of a few tens of parts per billion. The isotope dilution method combined with APCI tandem mass spectrometry was used. The internal standard, 1-(d5-phenylazo)-2-naphthalenol, was obtained by simple chemistry, and its structure was determined by 1H NMR spectroscopy. The mass spectrometric method is more sensitive than the HPLC approach by a factor of 20.     

A note on the identification of Rupicapra rupicapra species by polymerase chain reaction product sequencing

To identify meat samples suspected of containing a protected game species (Chamois-Rupicapra rupicapra) Polymerase Chain Reaction (PCR) product sequencing was performed. The amplicon was obtained with a pair of "universal" primers. The results confirm those of Isoelectric Focusing (IEF) on the same samples.     

Measurements of OH radicals in a low-power atmospheric inductively coupled plasma by cavity ringdown spectroscopy

Cavity ringdown spectroscopy is applied to line-of-sight measurements of OH radicals in an atmospheric-pressure argon inductively coupled plasma, operating at low power (200 W) and low gas flows (approximately 18 liters/min). Density populations of the single S21(1) rotational line in the OH A2sigma(+)-X2Pi (0-0) band are extracted from the measured line-of-sight absorbance. Plasma gas kinetic temperatures, derived from the recorded line shapes of the S21(1) line, ranged from 1858 to 2000 K with an average uncertainty of 10%. Assuming local thermodynamic equilibrium, an assumption supported by the comparison of the experimental and simulated spectra, the spatially averaged total OH number density at different observation heights was determined to be in the range of 1.7 x 10(20)-8.5 x 10(20) (m(-3)) with the highest OH density in the plasma tail. This work demonstrates that ringdown spectra of the OH radical may be used both as a thermometer for high-temperature environments and as a diagnostic tool to probe the thermodynamic properties of plasmas.     

Fusion of appearance-based face recognition algorithms

Although many algorithms have been proposed, face recognition and verification systems can guarantee a good level of performances only for controlled environments. In order to improve the performance and robustness of face recognition and verification systems, multi-modal and mono-modal systems based on the fusion of multiple recognisers using different or similar biometrics have been proposed, especially for verification purposes. In this paper, a recognition and verification system based on the combination of two well-known appearance-based representations of the face, namely, principal component analysis (PCA) and linear discriminant analysis (LDA), is proposed. Both PCA and LDA are used as feature extractors from frontal view images. The benefits of such a fusion are shown for different environmental conditions, namely, ideal conditions, characterised by a very limited variability of environmental parameters, and real conditions with a large variability of lighting, scale and facial expression.     

Automated analysis of timed security: a case study on web privacy

This paper presents a case study on an automated analysis of real-time security models. The case study on a web system (originally proposed by Felten and Schneider) is presented that shows a timing attack on the privacy of browser users. Three different approaches are followed: LH-Timed Automata (analyzed using the model checker HyTech), finite-state automata (analyzed using the model checker NuSMV), and process algebras (analyzed using the model checker CWB-NC ). A comparative analysis of these three approaches is given.     

Compositional SCC Analysis for Language Emptiness

We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our algorithm is compositional: It performs as much computation as possible on the abstract systems, and prunes uninteresting part of the search space as early as possible. It decomposes the state space disjunctively so that each state subset can be checked in isolation to decide language emptiness for the given system. We prove that the strength of an SCC or a set of SCCs decreases monotonically with composition. This allows us to deploy the proper model checking algorithms according to the strength of the SCC at hand. We also propose to use the approximate distance of a fair cycle from the initial states to guide the search. Experimental studies on a set of LTL model checking problems prove the effectiveness of our method. This work was done when the first two authors were in University of Colorado at Boulder. Parts of this work appeared in preliminary form in [38] and [39].     

Requirements engineering for trust management: model, methodology, and reasoning

A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizational level, as opposed to an IT system level, and mapping these into security and trust management policies is still an open problem. This paper proposes a set of concepts founded on the notions of ownership, permission, and trust and intended for requirements modeling. It also extends Tropos, an agent-oriented software engineering methodology, to support security requirements engineering. These concepts are formalized and are shown to support the automatic verification of security and trust requirements using Datalog. To make the discussion more concrete, we illustrate the proposal with a Health Care case study.This work is an expanded and revised version of [19,20].     

Automatic inspection-based support for obtaining usable Web sites for vision-impaired users

The aim of this work is to provide designers and developers of Web applications with support to obtain systems that are usable for vision-impaired users. To this end, a number of design criteria to improve Web site navigation through screen readers or other similar devices have been defined. A user test by blind and vision-impaired subjects showed that such criteria improve Web site usability both qualitatively and quantitatively. An inspection-based tool has been developed to ease the application of the defined criteria. Its main features are presented in this article along with examples of applications and related discussion.     

Heme oxygenase induction by cyanidin-3-O-beta-glucoside in cultured human endothelial cells

The aim of the present research was to investigate the effect of cyanidin-3-O-beta-glucoside (C3G) on heme oxygenase-1 (HO-1), endothelial nitric oxide synthase (eNOS), inducible NOS (iNOS) and dimethylarginine dimethylamino hydrolase-2 (DDAH-2) expression in cultured endothelial cells. Different concentrations (0.00625-250 microM) of C3G were tested in order to investigate possible beneficial and harmful effects of C3G. Our data demonstrated that C3G increased the induction of eNOS and HO-1 in a dose-dependent manner. Higher concentration (62.5-250 microM) also resulted in increase of isoprostane, cGMP and PGE2 levels and in induction of iNOS with consequent oxidative stress. In conclusion, our data evidence that C3G may exert various protective effects against endothelial dysfunction, whereas potentially harmful effects of C3G appear to be limited to concentrations very difficult to be reached in physiological conditions unless there is abundant oral supplementation.