Abstract
Aims: To assess the cooking habits and skills of adolescents and its relation to Mediterranean diet adherence. Methods: Adolescents (N = 390) from the seventh, eighth and ninth grades in a school from a semi-urban region in northern Portugal were asked to fill in a questionnaire. The questionnaire assessed self-reported cooking habits and skills, for example enjoying and knowing how to cook and wanting to cook and learn more. Answers were taken on a scale from 0 to 5, 0 being 'no' and 5 being 'very much'. Learning sources, cooking frequency, and confidence in cooking ten particular foods were also assessed using the following answers: 'no, never', 'yes, with help from family/friends', 'yes, all by myself'. Adherence to Mediterranean diet was evaluated using the KIDMED index. Results: Adolescents who said that they cooked, did so usually between one and four times a month (56.2%). A high proportion of respondents had never cooked vegetables (57%), fish (51%) and soup (49%). Girls were more likely to have cooked foods listed in the questionnaire (p <= .002). Adolescents who did not know how to cook (8.7%) stated that the main reasons were that they had someone to cook for them (47%) and had no interest (35%). Those who knew how to cook mainly stated that they had learnt from their family (87.9%) and by themselves (7.9%). Most of our sample wanted 'to learn how to cook better' (M = 3.8, SD = 1.5), preferably with family/friends (82%) or by taking culinary courses (10%). The KIDMED index was poor for 7.2% of the sample, average for 50.8% and good for 42.1%. Adolescents with higher KIDMED scores were younger (p = .025), knew how to cook better (p < .001), cooked more often (p < .001), enjoyed cooking (p < .001), would like to cook more frequently (p < .001), and would like to learn how to cook better (p < .001). Conclusion: Almost one in every ten adolescents did not know how to cook. Vegetables, fish and soup were found to be foods that nearly half of the adolescents had never cooked. Female adolescents were more involved in cooking than males. Better cooking habits and skills were positively related with adolescents' adherence to the Mediterranean diet, which reinforces the idea that teaching cooking skills may have a positive impact in future food choice.

Abstract
The theory of planned behaviour studies the decision-making mechanisms of individuals. We propose the Bayesian-Nash equilibria as one, of many, possible mechanisms of transforming human intentions in behaviour. This process corresponds to the best strategic individual decision taking in account the collective response. We show that saturation, boredom and frustration can lead to splitted strategies, in opposition to no saturation that leads to a constant strategy.

Abstract
This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus by evolving through different operational modes. In each mode different functionalities are provided. Starting from a classical state-machine specification, the envisaged methodology interprets each state as a different mode of operation endowed with an algebraic specification of the corresponding functionality. Specifications are given in an expressive variant of hybrid logic which is, at a later stage, translated into first-order logic to bring into scene suitable tool support. The paper's main contribution is to provide rigorous foundations for the method, framing specification logics as institutions and the translation process as a comorphism between them.

Abstract
In this paper we focus on the real-time frequency domain analysis of speech signals, and on the extraction of suitable and perceptually meaningful features that are related to the glottal source and that may pave the way for robust speaker identification and voice register classification. We take advantage of an analysis-synthesis framework derived from an audio coding algorithm in order to estimate and model the relative delays between the different harmonics reflecting the contribution of the glottal source and the group delay of the vocal tract filter. We show in this paper that this approach effectively captures the shape invariance of a periodic signal and may be suited to monitor and extract in real-time perceptually important features correlating well with specific voice registers or with a speaker unique sound signature. A first validation study is described that confirms the competitive performance of the proposed approach in the automatic classification of the breathy, normal and pressed voice phonation types.

Abstract

Abstract
Formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability, such as those designed following the software product line (SPL) paradigm. SPL models tend to be large-the number of products in an SPL can be exponential in the number of features. Modelling these systems poses two main challenges. Firstly, a modular modelling formalism that scales well is required. Secondly, the ability to analyse and verify complex models efficiently is key in order to ensure that all products behave correctly. The choice of a system modelling formalism that is both expressive and well-established is therefore crucial. In this paper we show how SPLs can be modelled in an incremental, modular fashion using a formal method based on Petri nets. We continue our work on Feature Petri Nets, a lightweight extension to Petri nets, by presenting a framework for modularly constructing Feature Petri Nets to model SPLs. © 2011 Springer-Verlag.