Acceptance of food is basically the result of the interaction between food and human and it depends not only on the product characteristics but also on those of each consumer. The main objective of this work is to analyse how the acceptability of milk and soymilk vanilla beverages is influenced by demographic characteristics, consumer habits and individual preferences and the sensorial properti...

We take the formal veriication of the Vanilla metainterpreter as an excuse for explaining a proof method for reasoning about logic programs. The choice of a semantics suitable for program veriication is discussed. We consider a variant of the least Herbrand model semantics which abstracts from ill-typed atoms and the underlying ((rst order) language, thus enhancing modularity and ease of specii...

We propose a new framework for authentication mechanisms that seek to interact with users in a friendlier way. Human or community-centric authentication supports vanilla access to users who fail an initial attempt to identify themselves. This limited access enables them to communicate with their peer community to achieve authentication. The actions of users with vanilla access can be rolled bac...

Mathematical models for financial asset prices which include, for example, stochastic volatility or jumps are incomplete in that derivative securities are generally not replicable by trading in the underlying. In earlier work [Proc. R. Soc. London, 2004], the first author provided a geometric condition under which trading in the underlying and a finite number of vanilla options completes the ma...

We present an experiment in automatic design of robot swarms. For the first time in the swarm robotics literature, we perform an objective comparison of multiple design methods: we compare swarms designed by two automatic methods—AutoMoDe-Vanilla and EvoStick— with swarms manually designed by human experts. AutoMoDe-Vanilla and EvoStick have been previously published and tested on two tasks. To...

The metabolomic analysis of developing Vanilla planifolia green pods (between 3 and 8 months after pollination) was carried out by nuclear magnetic resonance (NMR) spectroscopy and multivariate data analysis. Multivariate data analysis of the (1)H NMR spectra, such as principal component analysis (PCA) and partial least-squares-discriminant analysis (PLS-DA), showed a trend of separation of tho...

This document is an on-line supplement to a recent paper (Carr and Crosby (2008)) entitled “A class of Lévy process models with almost exact calibration to both barrier and vanilla FX options”. OLS

Details regarding the implementation of the Hull-White one factor model are provided. The details concern the model description and parameters, the vanilla instruments pricing and the Monte Carlo implementation.