SIMPLE: A program development system

A program development system (PDS) should support a smooth transition between design, development, debugging, testing and final production of a software system. Man-machine interaction, though necessary, should not allow the user to modify the program or its execution state in an unstructured way; rather, disciplined interaction should be enforced by the PDS. After a review of the most desirable features of a PDS, the underlying philosophy of SIMPLE, a PDS which supports the development of Pascal programs, is introduced. The general structure of the SIMPLE system and the basic implementation choices are also discussed.     

Interprocedural test path evaluation

In automated test data generation a program is analyzed to derive a set of test paths, that is a set of predicted executions. Each path is characterized by some path constraints: data satisfying these constraints will perform the predicted execution.

This paper discusses some problems which arise during path constraints evaluation when block structured languages are involved and when test paths traverse several procedures (possibly with recursive activations). In these cases partial test paths, independently selected for each procedure, must be pre-processed (enriched and or modified) to explicitly consider the semantics associated with dynamic memory allocation, parameter transmission (by value, value-result, name and reference), and co-existing instances of a recursive procedure.     

Micellization Behavior of Cationic Gemini Surfactants in Aqueous-Ethylene Glycol Solution

The micellization behavior of gemini surfactants i.e. alkanediyl-α,ω-bis(cetyldimethylammonium bromide) (C₁₆-s-C₁₆,2Br⁻ where s = 3, 4, 10) in 10% (v/v) ethylene glycol solution was investigated by surface tension and conductometric measurements at 300 K. The critical micelle concentration, degree of micellar ionization, surface excess concentration, minimum surface area per molecule of surfactant, surface pressure at the CMC and Gibbs energy of adsorption of the dimeric surfactants have also been determined in the presence of different salts (NaCl, NaBr and NaI). The critical micelle concentration and degree of micellar ionization values decrease significantly in the presence of sodium halides and follows the sequence NaCl < NaBr < NaI. The free energy, enthalpy and entropy of micellization of dimeric surfactants in 10% (v/v) ethylene glycol solution were determined using the temperature dependence of the critical micelle concentration. The standard free energy of micellization was found to be negative in all the cases.     

A simplified approach for modelling the bacterial growth/no growth boundary

A simplified growth/no growth (G/NG) model, conceptually derived from the Gamma model and making direct and explicit use of growth limits of bacteria through a normalization constant (η), was proposed. The η value, which quantifies the product of the cardinal optimal distances for growth probability, is a species-independent constant. This is of importance when experimental data is missing or insufficient. The simplified G/NG model was developed including the effect of temperature, pH and water activity, and was expanded incorporating the preservative effects. As a practical application, the model was investigated for its ability to describe published data. The successful validation of the simplified G/NG model is discussed in regard to its potential applicability as a first estimate method for the development of safe food products.     

A gas chromatography-mass spectrometry-based metabolomic approach for the characterization of goat milk compared with cow milk

In this work, the polar metabolite pool of commercial caprine milk was studied by gas chromatography-mass spectrometry and multivariate statistical data analysis. Experimental data were compared with those of cow milk and the discriminant analysis correctly classified milk. By the same means, differences due to heat treatments (UHT or pasteurization) on milk samples were also investigated. Results of the 2 discriminant analyses were combined, with the aim of finding the discriminant metabolites unique for each class and shared by 2 classes. Valine and glycine were specific to goat milk, talose and malic acid to cow milk, and hydroxyglutaric acid to pasteurized samples. Glucose and fructose were shared by cow milk and UHT-treated samples, whereas ribose was shared by pasteurized and goat milk. Other discriminant variables were not attributed to specific metabolites. Furthermore, with the aim to reduce food fraud, the issue of adulteration of caprine milk by addition of cheaper bovine milk has been also addressed. To this goal, mixtures of goat and cow milk were prepared by adding the latter in a range from 0 to 100% (vol/vol) and studied by multivariate regression analysis. The error in the level of cow milk detectable was approximately 5%. These overall results demonstrated that, through the combined approach of gas chromatography-mass spectrometry and multivariate statistical data analysis, we were able to discriminate between milk typologies on the basis of their polar metabolite profiles and to propose a new analytical method to easily discover food fraud and to protect goat milk uniqueness. The use of appropriate visualization tools improved the interpretation of multivariate model results.     

A Spaceborne Gravity Gradiometer Concept Based on Cold Atom Interferometers for Measuring Earth’s Gravity Field

We propose a concept for future space gravity missions using cold atom interferometers for measuring the diagonal elements of the gravity gradient tensor and the spacecraft angular velocity. The aim is to achieve better performance than previous space gravity missions due to a very low white noise spectral behavior and a very high common mode rejection, with the ultimate goals of determining the fine structures of the gravity field with higher accuracy than GOCE and detecting time-variable signals in the gravity field better than GRACE.     

Phenolic Chemistry of Coast Live Oak Response to <Emphasis Type="Italic">Phytophthora ramorum</Emphasis> Infection

Since the mid 1990s, Phytophthora ramorum has been responsible for the widespread mortality of tanoaks, as well as several oak species throughout California and Oregon forests. However, not all trees die, even in areas with high disease pressure, suggesting that some trees may be resistant to the pathogen. In this study, the chemical basis of host resistance was investigated. Three field experiments were carried out in California between December 2004 and September 2005. The levels of nine phenolic compounds (gallic acid, catechin, tyrosol, a tyrosol derivative, ellagic acid, and four ellagic acid derivatives) extracted from the phloem of trees that had been either artificially inoculated with P. ramorum or trees putatively infected with P. ramorum (based on canker symptoms) were quantified by high-performance liquid chromatography (HPLC). Significant differences in phenolic profiles were found between phloem sampled from the active margins of cankers, healthy phloem from asymptomatic trees, and phloem sampled 60 cm away from canker sites, although the magnitude and direction of the responses was not consistent across all experiments. Concentrations of gallic acid, tyrosol, and ellagic acid showed the greatest differences in these different tissues, but varied considerably across treatments. Gallic acid and tyrosol were tested in in vitro bioassays and showed strong dose-dependent inhibitory effects against P. ramorum, P. cinnamomi, P. citricola, and P. citrophthora. These results suggest that phloem chemistry varies in response to pathogen infection in California coast live oak populations and that changes in phloem chemistry may be related to apparently resistant phenotypes observed in the field. Frances S. Ockels and Alieta Eyles contributed equally to the paper     

Verification in loosely synchronous queue-connected discrete timed automata

We look at a model of a queue system that consists of the following components:

1. Two discrete timed automata W (the “writer”) and R (“the reader”).

2. One unrestricted queue that can be used to send messages from W to R. There is no bound on the length of the queue.

W and R do not share a global clock and operate in a loosely synchronous way. That is, the absolute value of the difference between the local time of W and the local time of R is always bounded by a positive constant. We show that the binary reachability for these systems is effectively computable, and this result is generalized to the case when there are two queues (one from W to R and the other from R to W) that operate in half-duplex. We then present some properties (e.g., safety, invariance, etc.) that can be verified for loosely synchronous queue-connected discrete timed automata and give an example of a system composed of a sensor and a controller that is verifiable using our results.     

Mass spectrometry-based tear proteomics for noninvasive biomarker discovery

The lacrimal film has attracted increasing interest in the last decades as a potential source of biomarkers of physiopathological states, due to its accessibility, moderate complexity, and responsiveness to ocular and systemic diseases. High-performance liquid chromatography-mass spectrometry (LC-MS) has led to effective approaches to tear proteomics, despite the intrinsic limitations in sample amounts. This review focuses on the recent progress in strategy and technology, with an emphasis on the potential for personalized medicine. After an introduction on lacrimal-film composition, examples of applications to biomarker discovery are discussed, comparing approaches based on pooled-sample and single-tear analysis. Then, the most critical steps of the experimental pipeline, that is, tear collection, sample fractionation, and LC-MS implementation, are discussed with reference to proteome-coverage optimization. Advantages and challenges of the alternative procedures are highlighted. Despite the still limited number of studies, tear quantitative proteomics, including single-tear investigation, could offer unique contributions to the identification of low-invasiveness, sustained-accessibility biomarkers, and to the development of personalized approaches to therapy and diagnosis.     

Nanogap structures for molecular nanoelectronics

This study is focused on the realization of nanodevices for nano and molecular electronics, based on molecular interactions in a metal-molecule-metal (M-M-M) structure. In an M-M-M system, the electronic function is a property of the structure and can be characterized through I/V measurements. The contact between the metals and the molecule was obtained by gold nanogaps (with a dimension of less than 10 nm), produced with the electromigration technique. The nanogap fabrication was controlled by a custom hardware and the related software system. The studies were carried out through experiments and simulations of organic molecules, in particular oligothiophenes.