Alcohol brand use of youth-appealing advertising and consumption by youth and adults

Background: Youth exposure to alcohol marketing has been shown to be an important contributor to the problem of underage drinking in the U.S. More work is needed on identifying and minimizing content with particular appeal to youth. Design and Methods: We tested the association between the youth-appeal of marketing content of televised alcohol advertisements and the brand-specific alcohol consumption of both underage youth and adults. We used existing data from three sources: a brand-specific alcohol consumption survey among underage youth (N=1032), a brand-specific alcohol consumption survey among adults (N ~13,000), and an analysis of content appealing to youth (CAY) in a sample of televised alcohol advertisements (n=96) aired during the youth survey. The association between CAY scores for the 96 alcohol ads and youth (age 13-20) versus adult (age 21+) consumption of those ads’ brands was tested through bivariate and multivariate models. Results: Brand CAY scores were (a) positively associated with brand-specific youth consumption after controlling for adult brand consumption; (b) positively associated with a ratio of youth-toadult brand-specific consumption; and (c) not associated with adult brand consumption. Conclusions: Alcohol brands with youth-appealing advertising are consumed more often by youth than adults, indicating that these ads may be more persuasive to relatively younger audiences, and that youth are not simply mirroring adult consumption patterns in their choice of brands. Future research should consider the content of alcohol advertising when testing marketing effects on youth drinking, and surveillance efforts might focus on brands popular among youth

How to Win First-Order Safety Games

First-order (FO) transition systems have recently attracted attention for the verification of parametric systems such as network protocols, software-defined networks or multi-agent workflows like conference management systems. Functional correctness or noninterference of these systems have conveniently been formulated as safety or hypersafety properties, respectively. In this article, we take the step from verification to synthesis---tackling the question whether it is possible to automatically synthesize predicates to enforce safety or hypersafety properties like noninterference. For that, we generalize FO transition systems to FO safety games. For FO games with monadic predicates only, we provide a complete classification into decidable and undecidable cases. For games with non-monadic predicates, we concentrate on universal first-order invariants, since these are sufficient to express a large class of properties---for example noninterference. We identify a non-trivial sub-class where invariants can be proven inductive and FO winning strategies be effectively constructed. We also show how the extraction of weakest FO winning strategies can be reduced to SO quantifier elimination itself. We demonstrate the usefulness of our approach by automatically synthesizing nontrivial FO specifications of messages in a leader election protocol as well as for paper assignment in a conference management system to exclude unappreciated disclosure of reports

Self-reported youth and adult exposure to alcohol marketing in traditional and digital media: results of a pilot survey.

Background: Alcohol marketing is known to be a significant risk factor for underage drinking. However, little is known about youth and adult exposure to alcohol advertising in digital and social media. This study piloted a comparative assessment of youth and adult recall of exposure to online marketing of alcohol. Methods: From September to October 2013, a pilot survey of past 30-day exposure to alcohol advertising and promotional content in traditional and digital media was administered to a national sample of 1,192 youth (ages 13 to 20) and 1,124 adults (ages ≥21) using a prerecruited Internet panel maintained by GfK Custom Research. The weighted proportions of youth and adults who reported this exposure were compared by media type and by advertising and promotional content. Results: Youth were more likely than adults to recall exposure to alcohol advertising on television (69.2% vs. 61.9%), radio (24.8% vs. 16.7%), billboards (54.8% vs. 35.4%), and the Internet (29.7% vs. 16.8%), but less likely to recall seeing advertising in magazines (35.7% vs. 36.4%). Youth were also more likely to recall seeing advertisements and pictures on the Internet of celebrities using alcohol (36.1% vs. 20.8%) or wearing clothing promoting alcohol (27.7% vs. 15.9%), and actively respond (i.e., like, share, or post) to alcohol-related content online. Conclusions: Youth report greater exposure to alcohol advertising and promotional content than adults in most media, including on the Internet. These findings emphasize the need to assure compliance with voluntary industry standards on the placement of alcohol advertising and the importance of developing better tools for monitoring youth exposure to alcohol marketing, particularly on the Internet

Testing for race conditions in distributed systems via smt solving

Data races, a condition where two memory accesses to the same memory location occur concurrently, have been shown to be a major source of concurrency bugs in distributed systems. Unfortunately, data races are often triggered by non-deterministic event orderings that are hard to detect when testing complex distributed systems. In this paper, we propose Spider, an automated tool for identifying data races in distributed system traces. Spider encodes the causal relations between the events in the trace as a symbolic constraint model, which is then fed into an SMT solver to check for the presence of conflicting concurrent accesses. To reduce the constraint solving time, Spider employs a pruning technique aimed at removing redundant portions of the trace. Our experiments with multiple benchmarks show that Spider is effective in detecting data races in distributed executions in a practical amount of time, providing evidence of its usefulness as a testing tool.This work is financed by the ERDF - European Regional Development Fund through the North Portugal Regional Operational Programme - NORTE2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project NORTE-01-0145-FEDER-028550-PTDC/EEI-COM/28550/2017

An Evaluation of Cassandra for Hadoop

Abstract—In the last decade, the increased use and growth of social media, unconventional web technologies, and mobile applications, have all encouraged development of a new breed of database models. NoSQL data stores target the unstructured data, which by nature is dynamic and a key focus area for “Big Data ” research. New generation data can prove costly and unpractical to administer with SQL databases due to lack of structure, high scalability, and elasticity needs. NoSQL data stores such as MongoDB and Cassandra provide a desirable plat-form for fast and efficient data queries. This leads to increased importance in areas such as cloud applications, e-commerce, social media, bio-informatics, and materials science. In an effort to combine the querying capabilities of conventional database systems and the processing power of the MapReduce model, this paper presents a thorough evaluation of the Cassandra NoSQL database when used in conjunction with the Hadoop MapReduce engine. We characterize the performance for a wide range of representative use cases, and then compare, contrast, and evaluate so that application developers can make informed decisions based upon data size, cluster size, replication factor, and partitioning strategy to meet their performance needs. 1 I

Visible Light Photocatalytic Synthesis of Benzothiophenes

The photocatalytic reaction of o-methylthio-arenediazonium salts with alkynes yields substituted benzothiophenes regioselectively through a radical annulation process. Green light irradiation of eosin Y initiates the photoredox catalysis. The scope of the reaction was investigated by using various substituted diazonium salts and different alkynes