Persuading young consumers to make healthy nutritional decisions.

There is widespread concern that consumers are making inappropriate decisions about what they eat, leading to a growing incidence of obesity and chronic illness which will strain public health budgets and damage economic competitiveness. Inappropriate nutritional decisions and obesity are of particular public policy importance where young consumers are concerned. The paper investigates how consumers, particularly young consumers, can be persuaded to make better nutritional decisions voluntarily, and how government and commercial persuasive communications can be deployed to facilitate such decisions. The key conclusions are that the mass media are not a reliable vehicle for bringing about the desired behavioural changes, but that new media, such as the Internet and ‘text messaging’ should be used to deliver tailored messages to individuals, particularly younger consumers

Dilaton-Axion hair for slowly rotating Kerr black holes

Campbell et al. demonstrated the existence of axion ``hair'' for Kerr black holes due to the non-trivial Lorentz Chern-Simons term and calculated it explicitly for the case of slow rotation. Here we consider the dilaton coupling to the axion field strength, consistent with low energy string theory and calculate the dilaton ``hair'' arising from this specific axion source.Comment: 13 pages + 1 fi

Formal Analysis of V2X Revocation Protocols

Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols. This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credentials. This revocation needs to be performed in an unlinkable way for vehicle privacy even in the context of vehicles regularly changing their pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and RTOKEN aim to solve this challenge by means of cryptographic solutions and trusted hardware. Formal analysis using the TAMARIN prover identifies two flaws with some of the functional correctness and authentication properties in these schemes. We then propose Obscure Token (OTOKEN), an extension of REWIRE to enable revocation in a privacy preserving manner. Our approach addresses the functional and authentication properties by introducing an additional key-pair, which offers a stronger and verifiable guarantee of successful revocation of vehicles without resolving the long-term identity. Moreover OTOKEN is the first V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure

Ankle Spatting compared to Bracing or Taping during Maximal-Effort Sprint Drills

The purpose of this study was to compare the influences of 4 ankle conditions (no support, bracing, taping, taping + spatting; all in football cleats) during 2 maximal-effort field drills (40-yd dash and 34-yd cutting drill) on perceptions of comfort and stability and performance outcomes. Fourteen young adult males participated. Subjects’ perceptions of comfort and stability were assessed by visual analogue scales after each drill for each ankle condition. Time-to-completion and post-completion heart rate were recorded. For both drills, significant differences in comfort perception were found such that subjects perceived no support as equivocal to bracing but more comfortable than either taping or spatting + taping. Stability results differed by drill. For the dash, significant differences in stability perception were found such that subjects perceived no support as equivocal to bracing but less stable than either taping or spatting + taping. By contrast, for the cutting drill significant differences in stability perception were found such that subjects perceived their ankles as less stable during the no support condition as compared to all 3 other conditions. Generally, bracing was perceived as equivocal to all 3 other conditions for comfort and stability. There were no significant differences in time-to-completion or heart rate for any comparison. Compared to bracing or taping, spatting + taping (a) did not influence performance time in explosive/sprint-type drills, (b) was perceived as equivalent to taping alone in terms of ankle comfort and stability, and (c) was perceived as equivalent to bracing in terms of stability but not comfort

Hydrogen atom in phase space. The Kirkwood-Rihaczek representation

We present a phase-space representation of the hydrogen atom using the Kirkwood-Rikaczek distribution function. This distribution allows us to obtain analytical results, which is quite unique because an exact analytical form of the Wigner functions corresponding to the atom states is not known. We show how the Kirkwood-Rihaczek distribution reflects properties of the hydrogen atom wave functions in position and momentum representations.Comment: 5 pages (and 5 figures

Ar-40/Ar-39 Evidence for Middle Proterozoic (1300-1500 Ma) Slow Cooling of the Southern Black Hills, South Dakota, Midcontinent, North America: Implications for Early Proterozoic P-T Evolution and Posttectonic Magmatism

Ar-40/Ar-39 total gas and plateau dates from muscovite and biotite in the southern Black Hills, South Dakota, provide evidence for a period of Middle Proterozoic slow cooling. Early Proterozoic (1600-1650 Ma) mica dates were obtained from metasedimentary rocks located in a synformal structure between the Harney Peak and Bear Mountain domes and also south of Bear Mountain. Metamorphic rocks from the dome areas and undeformed samples of the similar to 1710 Ma Harney Peak Granite (HPG) yield Middle Proterozoic mica dates (similar to 1270-1500 Ma). Two samples collected between the synform and Bear Mountain dome yield intermediate total gas mica dates of similar to 1550 Ma. We suggest two end-member interpretations to explain the map pattern of cooling ages: (1) subhorizontal slow cooling of an area which exhibits variation in mica Ar retention intervals or (2) mild folding of a Middle Proterozoic (similar to 1500 Ma) similar to 300 degrees C isotherm. According to the second interpretation, the preservation of older dates between the domes may reflect reactivation of a preexisting synformal structure (and downwarping of relatively cold rocks) during a period of approximately east-west contraction and slow uplift during the Middle Proterozoic. The mica data, together with hornblende data from the Black Hills published elsewhere, indicate that the ambient country-rock temperature at the 3-4 kbar depth of emplacement of the HPG was between 350 degrees C and 500 degrees C, suggesting that the average upper crustal geothermal gradient was 25 degrees-40 degrees C/km prior to intrusion. The thermochronologic data suggest HPG emplacement was followed by a similar to 200 m.y. period of stability and tectonic quiescence with little uplift. We propose that crust thickened during the Early Proterozoic was uplifted and erosionally(?) thinned prior to similar to 1710 Ma and that the HPG magma was emplaced into isostatically stable crust of relatively normal thickness. We speculate that uplift and crustal thinning prior to HPG intrusion was the result of differential thinning of the subcrustal lithosphere beneath the Black Hills. If so, this process would have also caused an increase in mantle heat flux across the Moho and triggered vapor-absent melting of biotite to produce the HPG magma. This scenario for posttectonic granite generation is supported, in part, by the fact that in the whole of the Black Hills, the HPG is spatially associated with the deepest exposed Early Proterozoic country rock

Predispositions and the Political Behavior of American Economic Elites: Evidence from Technology Entrepreneurs

Economic elites regularly seek to exert political influence. But what policies do they support? Many accounts implicitly assume economic elites are homogeneous and that increases in their political power will increase inequality. We shed new light on heterogeneity in economic elites' political preferences, arguing that economic elites from an industry can share distinctive preferences due in part to sharing distinctive predispositions. Consequently, how increases in economic elites' influence affect inequality depends on which industry's elites are gaining influence and which policy issues are at stake. We demonstrate our argument with four original surveys, including the two largest political surveys of American economic elites to date: one of technology entrepreneurs—whose influence is burgeoning—and another of campaign donors. We show that technology entrepreneurs support liberal redistributive, social, and globalistic policies but conservative regulatory policies—a bundle of preferences rare among other economic elites. These differences appear to arise partly from their distinctive predispositions

Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

The prevalence and origin of exoprotease-producing cells in the <em>Bacillus subtilis </em>biofilm

Biofilm formation by the Gram-positive bacterium Bacillus subtilis is tightly controlled at the level of transcription. The biofilm contains specialized cell types that arise from controlled differentiation of the resident isogenic bacteria. DegU is a response regulator that controls several social behaviours exhibited by B. subtilis including swarming motility, biofilm formation and extracellular protease (exoprotease) production. Here, for the first time, we examine the prevalence and origin of exoprotease-producing cells within the biofilm. This was accomplished using single-cell analysis techniques including flow cytometry and fluorescence microscopy. We established that the number of exoprotease-producing cells increases as the biofilm matures. This is reflected by both an increase at the level of transcription and an increase in exoprotease activity over time. We go on to demonstrate that exoprotease-producing cells arise from more than one cell type, namely matrix-producing and non-matrix-producing cells. In toto these findings allow us to add exoprotease-producing cells to the list of specialized cell types that are derived during B. subtilis biofilm formation and furthermore the data highlight the plasticity in the origin of differentiated cells