HyperGI: Automated Detection and Repair of Information Flow Leakage

Maintaining confidential information control in soft-ware is a persistent security problem where failure means secrets can be revealed via program behaviors. Information flow control techniques traditionally have been based on static or symbolic analyses — limited in scalability and specialized to particular languages. When programs do leak secrets there are no approaches to automatically repair them unless the leak causes a functional test to fail. We present our vision for HyperGI, a genetic improvement framework that detects, localizes and repairs information leakage. Key elements of HyperGI include (1) the use of two orthogonal test suites, (2) a dynamic leak detection approach which estimates and localizes potential leaks, and (3) a repair component that produces a candidate patch using genetic improvement. We demonstrate the successful use of HyperGI on several programs with no failing functional test cases. We manually examine the resulting patches and identify trade-offs and future directions for fully realizing our vision

Actin cortex architecture regulates cell surface tension

Animal cell shape is largely determined by the cortex, a thin actin network underlying the plasma membrane in which myosin-driven stresses generate contractile tension. Tension gradients result in local contractions and drive cell deformations. Previous cortical tension regulation studies have focused on myosin motors. Here, we show that cortical actin network architecture is equally important. First, we observe that actin cortex thickness and tension are inversely correlated during cell-cycle progression. We then show that the actin filament length regulators CFL1, CAPZB and DIAPH1 regulate mitotic cortex thickness and find that both increasing and decreasing thickness decreases tension in mitosis. This suggests that the mitotic cortex is poised close to a tension maximum. Finally, using a computational model, we identify a physical mechanism by which maximum tension is achieved at intermediate actin filament lengths. Our results indicate that actin network architecture, alongside myosin activity, is key to cell surface tension regulation

Inflation with Non-minimal Gravitational Couplings and Supergravity

We explore in the supergravity context the possibility that a Higgs scalar may drive inflation via a non-minimal coupling to gravity characterised by a large dimensionless coupling constant. We find that this scenario is not compatible with the MSSM, but that adding a singlet field (NMSSM, or a variant thereof) can very naturally give rise to slow-roll inflation. The inflaton is necessarily contained in the doublet Higgs sector and occurs in the D-flat direction of the two Higgs doublets.Comment: 13 pages, 1 figur

Using assignment data to analyse a blended information literacy intervention: a quantitative approach

This research sought to determine whether a blended information literacy learning and teaching intervention could statistically significantly enhance undergraduates’ information discernment compared to standard face-to-face delivery. A mixture of face-to-face and online activities, including online social media learning, was used. Three interventions were designed to develop the information literacies of first-year undergraduates studying Sport and Exercise at Staffordshire University and focused on one aspect of information literacy: the ability to evaluate source material effectively. An analysis was devised where written evaluations of found information for an assessment were converted into numerical scores and then measured statistically. This helped to evaluate the efficacy of the interventions and provided data for further analysis. An insight into how the information literacy pedagogical intervention and the cognitive processes involved in enabling participants to interact critically with information is provided. The intervention which incorporated social media learning proved to be the most successful learning and teaching approach. The data indicated that undergraduate students’ information literacy can be developed. However, additional long-term data is required to establish whether this intervention would have a lasting impact

Continuous Interaction with a Virtual Human

Attentive Speaking and Active Listening require that a Virtual Human be capable of simultaneous perception/interpretation and production of communicative behavior. A Virtual Human should be able to signal its attitude and attention while it is listening to its interaction partner, and be able to attend to its interaction partner while it is speaking – and modify its communicative behavior on-the-fly based on what it perceives from its partner. This report presents the results of a four week summer project that was part of eNTERFACE’10. The project resulted in progress on several aspects of continuous interaction such as scheduling and interrupting multimodal behavior, automatic classification of listener responses, generation of response eliciting behavior, and models for appropriate reactions to listener responses. A pilot user study was conducted with ten participants. In addition, the project yielded a number of deliverables that are released for public access

On Inflation with Non-minimal Coupling

A simple realization of inflation consists of adding the following operators to the Einstein-Hilbert action: (partial phi)^2, lambda phi^4, and xi phi^2 R, with xi a large non-minimal coupling. Recently there has been much discussion as to whether such theories make sense quantum mechanically and if the inflaton phi can also be the Standard Model Higgs. In this note we answer these questions. Firstly, for a single scalar phi, we show that the quantum field theory is well behaved in the pure gravity and kinetic sectors, since the quantum generated corrections are small. However, the theory likely breaks down at ~ m_pl / xi due to scattering provided by the self-interacting potential lambda phi^4. Secondly, we show that the theory changes for multiple scalars phi with non-minimal coupling xi phi dot phi R, since this introduces qualitatively new interactions which manifestly generate large quantum corrections even in the gravity and kinetic sectors, spoiling the theory for energies > m_pl / xi. Since the Higgs doublet of the Standard Model includes the Higgs boson and 3 Goldstone bosons, it falls into the latter category and therefore its validity is manifestly spoiled. We show that these conclusions hold in both the Jordan and Einstein frames and describe an intuitive analogy in the form of the pion Lagrangian. We also examine the recent claim that curvature-squared inflation models fail quantum mechanically. Our work appears to go beyond the recent discussions.Comment: 14 pages, 2 figures. Version 2: Clarified findings and improved wording. Elaborated important sections and removed an unnecessary section. Added references. Version 3: Updated towards JHEP version. Version 4: Final JHEP versio

Amelioration of bleomycin-induced lung fibrosis in hamsters by dietary supplementation with taurine and niacin: biochemical mechanisms.

Interstitial pulmonary fibrosis induced by intratracheal instillation of bleomycin (BL) involves an excess production of reactive oxygen species, unavailability of adequate levels of NAD and ATP to repair the injured pulmonary epithelium, and an overexuberant lung collagen reactivity followed by deposition of highly cross-linked mature collagen fibrils resistant to enzymatic degradation. In the present study, we have demonstrated that dietary supplementation with taurine and niacin offered almost complete protection against the lung fibrosis in a multidose BL hamster model. The mechanisms for the protective effect of taurine and niacin are multifaceted. These include the ability of taurine to scavenge HOCl and stabilize the biomembrane; niacin's ability to replenish the BL-induced depletion of NAD and ATP; and the combined effect of taurine and niacin to suppress all aspects of BL-induced increases in the lung collagen reactivity, a hallmark of interstitial pulmonary fibrosis. It was concluded from the data presented at this Conference that the combined treatment with taurine and niacin, which offers a multipronged approach, will have great therapeutic potential in the intervention of the development of chemically induced interstitial lung fibrosis in animals and humans

Personality styles in patients with fibromyalgia, major depression and healthy controls

BACKGROUND: The fibromyalgia syndrome (FMS) is suggested to be a manifestation of depression or affective spectrum disorder. We measured the cognitive style of patients with FMS to assess personality styles in 44 patients with fibromyalgia syndrome (FMS) by comparing them with 43 patients with major depressive disorder (MDD) and 41 healthy controls (HC). METHODS: Personality styles were measured by the Sociotropy and Autonomy Scale (SAS) and the Dysfunctional Attitude Scale (DAS). The Structured Clinical interview for DSM Axis I was applied to Axis I disorders, while the Beck Depression Inventory was used to measure depression severity. RESULTS: Patients with FMS in general have a sociotropic personality style similar to patients with MDD, and different from HC, but FMS patients without a lifetime history of MDD had a cognitive personality style different from patients with MDD and similar to HC. CONCLUSION: These findings suggest that a depressotypic personality style is related to depressive disorder, but not to FMS