Prevalence, determinants and impact of unawareness about the health consequences of tobacco use among 17,929 school personnel in 29 African countries.

Objectives: To assess prevalence, determinants and impact of unawareness about the health consequences of tobacco use among school personnel in Africa. Design: Cross-sectional surveys. Setting: Twenty-nine African countries. Participants: Representative samples of school personnel from 29 African countries (n=17 929), using data from the 2006-2011 Global School Personnel Surveys. Outcome: We assessed if school personnel were aware of the following five facts about tobacco use: (1) tobacco use is addictive; (2) secondhand smoke exposure is harmful; (3) smoking causes lung cancer; (4) smoking causes heart disease and (5) smoking does not cause malaria. Using multivariate logistic regression, we measured the impact of unawareness of the health consequences of tobacco use on behaviour and attitudes towards tobacco control. Results: A median of 62.6% of school personnel were unaware of at least one health consequence of tobacco use. School personnel in countries with mandatory cigarette health warning labels had lower odds of being unaware of any health consequence of tobacco use than countries where health warning labels were not mandatory (adjusted OR [aOR]=0.51; 95% CI 0.37 to 0.71). A significant dose-response relationship was seen between being ignorant of 1; 2; or ≥3 tobacco use health consequences respectively (compared with not being ignorant of any), and the odds of the following outcomes: non-support of bans on tobacco industry sponsorship of school or extracurricular activities (aOR=1.47; 1.91; and 2.98); non-support of bans on all tobacco advertisements (aOR=1.24; 1.78; and 2.68) and non-support of policies prohibiting tobacco use by school personnel on campus (aOR=1.79; 4.45; and 4.56). Conclusions: Unawareness of the health consequences of tobacco use was associated with poor support for tobacco control policies. Intensified efforts are needed in African countries to warn about the dangers of tobacco use

Hiding variables when decomposing specifications into GR(1) contracts

We propose a method for eliminating variables from component specifications during the decomposition of GR(1) properties into contracts. The variables that can be eliminated are identified by parameterizing the communication architecture to investigate the dependence of realizability on the availability of information. We prove that the selected variables can be hidden from other components, while still expressing the resulting specification as a game with full information with respect to the remaining variables. The values of other variables need not be known all the time, so we hide them for part of the time, thus reducing the amount of information that needs to be communicated between components. We improve on our previous results on algorithmic decomposition of GR(1) properties, and prove existence of decompositions in the full information case. We use semantic methods of computation based on binary decision diagrams. To recover the constructed specifications so that humans can read them, we implement exact symbolic minimal covering over the lattice of integer orthotopes, thus deriving minimal formulae in disjunctive normal form over integer variable intervals

Design and marketing features influencing choice of e-cigarettes and tobacco in the EU

Data were analysed from the 2014 Special Eurobarometer for Tobacco survey. We estimated self-rated importance of various factors in the choice of both tobacco and electronic cigarettes (e-cigarettes) among tobacco smokers who had ever used an e-cigarette. Among ever users of tobacco and e-cigarettes (N = 2430), taste (39.4%), price (39.2%) and amount of nicotine (27.3%) were the most commonly cited reasons for choosing their brand of e-cigarettes. Those aged 15–24 were more likely to cite external packaging [adjusted prevalence ratio (aPR = 2.06, 95% CI 1.00–4.23)] and design features (aPR = 1.99, 1.20–3.29) as important. As further legislation is debated and enacted enhanced regulation of price, design and marketing features of e-cigarettes may help to reduce the appeal of e-cigarettes

A multi-paradigm language for reactive synthesis

This paper proposes a language for describing reactive synthesis problems that integrates imperative and declarative elements. The semantics is defined in terms of two-player turn-based infinite games with full information. Currently, synthesis tools accept linear temporal logic (LTL) as input, but this description is less structured and does not facilitate the expression of sequential constraints. This motivates the use of a structured programming language to specify synthesis problems. Transition systems and guarded commands serve as imperative constructs, expressed in a syntax based on that of the modeling language Promela. The syntax allows defining which player controls data and control flow, and separating a program into assumptions and guarantees. These notions are necessary for input to game solvers. The integration of imperative and declarative paradigms allows using the paradigm that is most appropriate for expressing each requirement. The declarative part is expressed in the LTL fragment of generalized reactivity(1), which admits efficient synthesis algorithms, extended with past LTL. The implementation translates Promela to input for the Slugs synthesizer and is written in Python. The AMBA AHB bus case study is revisited and synthesized efficiently, identifying the need to reorder binary decision diagrams during strategy construction, in order to prevent the exponential blowup observed in previous work.Comment: In Proceedings SYNT 2015, arXiv:1602.0078

A method and framework to evaluate system architecture candidates on reliability criteria

Philips Lighting is moving from a lighting component business towards lighting solutions business in professional environments, offering lighting solutions for energy saving, productivity and effect creation. In these solutions (consisting of light sources, sensors and control devices) networked based systems are essential and software makes it possible to add intelligence into the system. Reliability aspects at system level are getting more important and architectural analysis is done during brainstorm sessions to evaluate possible system architecture candidates on reliability criteria. It is crucial that the reliability of the architectures is evaluated more formally, for example based on a model of each of the architectural candidates. This report describes the design, the implementation, and the experimentation with such a method that predicts the reliability and other non-functional criteria of the architecture candidates. Lighting entities, their attributes, behavior, and relationships are the core of evaluating a system on reliability criteria. This approach relies heavily on modeling principle. The results of the project show whether such an approach can been used to determine and evaluate an architecture candidate, and give input on how architecture evaluation can be done in the future