Idea-caution before exploitation:the use of cybersecurity domain knowledge to educate software engineers against software vulnerabilities

The transfer of cybersecurity domain knowledge from security experts (‘Ethical Hackers’) to software engineers is discussed in terms of desirability and feasibility. Possible mechanisms for the transfer are critically examined. Software engineering methodologies do not make use of security domain knowledge in its form of vulnerability databases (e.g. CWE, CVE, Exploit DB), which are therefore not appropriate for this purpose. An approach based upon the improved use of pattern languages that encompasses security domain knowledge is proposed

Noncommutative generalizations of theorems of Cohen and Kaplansky

This paper investigates situations where a property of a ring can be tested on a set of "prime right ideals." Generalizing theorems of Cohen and Kaplansky, we show that every right ideal of a ring is finitely generated (resp. principal) iff every "prime right ideal" is finitely generated (resp. principal), where the phrase "prime right ideal" can be interpreted in one of many different ways. We also use our methods to show that other properties can be tested on special sets of right ideals, such as the right artinian property and various homological properties. Applying these methods, we prove the following noncommutative generalization of a result of Kaplansky: a (left and right) noetherian ring is a principal right ideal ring iff all of its maximal right ideals are principal. A counterexample shows that the left noetherian hypothesis cannot be dropped. Finally, we compare our results to earlier generalizations of Cohen's and Kaplansky's theorems in the literature.Comment: 41 pages. To appear in Algebras and Representation Theory. Minor changes were made to the numbering system, in order to remain consistent with the published versio

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

The effects of exercise and weight loss in overweight patients with hip osteoarthritis: design of a prospective cohort study

BACKGROUND: Hip osteoarthritis (OA) is recognised as a substantial source of disability, with pain and loss of function as principal symptoms. An aging society and a growing number of overweight people, which is considered a risk factor for OA, contribute to the growing number of cases of hip OA. In knee OA patients, exercise as a single treatment is proven to be very effective towards counteracting pain and physical functionality, but the combination of weight loss and exercise is demonstrated to be even more effective. Exercise as a treatment for hip OA patients is also effective, however evidence is lacking for the combination of weight loss and exercise. Consequently, the aim of this study is to get a first impression of the potential effectiveness of exercise and weight loss in overweight patients suffering from hip OA. METHODS/DESIGN: This is a prospective cohort study. Patients aged 25 or older, overweight (BMI > 25) or obese (BMI > 30), with clinical and radiographic evidence of OA of the hip and able to attend exercise sessions will be included. The intervention is an 8-month exercise and weight-loss lifestyle program. Main goal is to increase aerobic capacity, lose weight and stimulate a low-calorie and active lifestyle. Primary outcome is self-reported physical functioning. Secondary outcomes include pain, stiffness, health-related quality of life and habitual activity level. Weight loss in kilograms and percentage of fat-free mass will also be measured. DISCUSSION: The results of this study will give a first impression of potential effectiveness of exercise and weight loss as a combination program for patients with OA of the hip. Once this program is proven to be effective it may lead to postponing the moment of total hip replacement. TRIAL REGISTRATION NUMBER: NTR1053

Transcriptomic Characterization of a Synergistic Genetic Interaction during Carpel Margin Meristem Development in Arabidopsis thaliana

In flowering plants the gynoecium is the female reproductive structure. In Arabidopsis thaliana ovules initiate within the developing gynoecium from meristematic tissue located along the margins of the floral carpels. When fertilized the ovules will develop into seeds. SEUSS (SEU) and AINTEGUMENTA (ANT) encode transcriptional regulators that are critical for the proper formation of ovules from the carpel margin meristem (CMM). The synergistic loss of ovule initiation observed in the seu ant double mutant suggests that SEU and ANT share overlapping functions during CMM development. However the molecular mechanism underlying this synergistic interaction is unknown. Using the ATH1 transcriptomics platform we identified transcripts that were differentially expressed in seu ant double mutant relative to wild type and single mutant gynoecia. In particular we sought to identify transcripts whose expression was dependent on the coordinated activities of the SEU and ANT gene products. Our analysis identifies a diverse set of transcripts that display altered expression in the seu ant double mutant tissues. The analysis of overrepresented Gene Ontology classifications suggests a preponderance of transcriptional regulators including multiple members of the REPRODUCTIVE MERISTEMS (REM) and GROWTH-REGULATING FACTOR (GRF) families are mis-regulated in the seu ant gynoecia. Our in situ hybridization analyses indicate that many of these genes are preferentially expressed within the developing CMM. This study is the first step toward a detailed description of the transcriptional regulatory hierarchies that control the development of the CMM and ovule initiation. Understanding the regulatory hierarchy controlled by SEU and ANT will clarify the molecular mechanism of the functional redundancy of these two genes and illuminate the developmental and molecular events required for CMM development and ovule initiation

Human African Trypanosomiasis in South Sudan: How Can We Prevent a New Epidemic?

Human African trypanosomiasis (HAT) has been a major public health problem in South Sudan for the last century. Recurrent outbreaks with a repetitive pattern of responding-scaling down activities have been observed. Control measures for outbreak response were reduced when the prevalence decreased and/or socio-political crisis erupted, leading to a new increase in the number of cases. This paper aims to raise international awareness of the threat of another outbreak of sleeping sickness in South Sudan. It is a review of the available data, interventions over time, and current reports on the status of HAT in South Sudan. Since 2006, control interventions and treatments providing services for sleeping sickness have been reduced. Access to HAT diagnosis and treatment has been considerably diminished. The current status of control activities for HAT in South Sudan could lead to a new outbreak of the disease unless 1) the remaining competent personnel are used to train younger staff to resume surveillance and treatment in the centers where HAT activities have stopped, and 2) control of HAT continues to be given priority even when the number of cases has been substantially reduced. Failure to implement an effective and sustainable system for HAT control and surveillance will increase the risk of a new epidemic. That would cause considerable suffering for the affected population and would be an impediment to the socioeconomic development of South Sudan

Sodium Chloride Inhibits the Growth and Infective Capacity of the Amphibian Chytrid Fungus and Increases Host Survival Rates

The amphibian chytrid fungus Batrachochytrium dendrobatidis is a recently emerged pathogen that causes the infectious disease chytridiomycosis and has been implicated as a contributing factor in the global amphibian decline. Since its discovery, research has been focused on developing various methods of mitigating the impact of chytridiomycosis on amphibian hosts but little attention has been given to the role of antifungal agents that could be added to the host's environment. Sodium chloride is a known antifungal agent used routinely in the aquaculture industry and this study investigates its potential for use as a disease management tool in amphibian conservation. The effect of 0–5 ppt NaCl on the growth, motility and survival of the chytrid fungus when grown in culture media and its effect on the growth, infection load and survivorship of infected Peron's tree frogs (Litoria peronii) in captivity, was investigated. The results reveal that these concentrations do not negatively affect the survival of the host or the pathogen. However, concentrations greater than 3 ppt significantly reduced the growth and motility of the chytrid fungus compared to 0 ppt. Concentrations of 1–4 ppt NaCl were also associated with significantly lower host infection loads while infected hosts exposed to 3 and 4 ppt NaCl were found to have significantly higher survival rates. These results support the potential for NaCl to be used as an environmentally distributed antifungal agent for the prevention of chytridiomycosis in susceptible amphibian hosts. However, further research is required to identify any negative effects of salt exposure on both target and non-target organisms prior to implementation

Expression and regulation of type 2A protein phosphatases and alpha4 signalling in cardiac health and hypertrophy

Abstract Cardiac physiology and hypertrophy are regulated by the phosphorylation status of many proteins, which is partly controlled by a poorly defined type 2A protein phosphatase-alpha4 intracellular signalling axis. Quantitative PCR analysis revealed that mRNA levels of the type 2A catalytic subunits were differentially expressed in H9c2 cardiomyocytes (PP2ACb[PP2ACa[PP4C[PP6C), NRVM (PP2ACb[PP2ACa = PP4C = PP6C), and adult rat ventricular myocytes (PP2ACa[ PP2ACb[PP6C[PP4C). Western analysis confirmed that all type 2A catalytic subunits were expressed in H9c2 cardiomyocytes; however, PP4C protein was absent in adult myocytes and only detectable following 26S proteasome inhibition. Short-term knockdown of alpha4 protein expression attenuated expression of all type 2A catalytic subunits. Pressure overload-induced left ventricular (LV) hypertrophy was associated with an increase in both PP2AC and alpha4 protein expression. Although PP6C expression was unchanged, expression of PP6C regulatory subunits (1) Sit4-associated protein 1 (SAP1) and (2) ankyrin repeat domain (ANKRD) 28 and 44 proteins was elevated, whereas SAP2 expression was reduced in hypertrophied LV tissue. Co-immunoprecipitation studies demonstrated that the interaction between alpha4 and PP2AC or PP6C subunits was either unchanged or reduced in hypertrophied LV tissue, respectively. Phosphorylation status of phospholemman (Ser63 and Ser68) was significantly increased by knockdown of PP2ACa, PP2ACb, or PP4C protein expression. DNA damage assessed by histone H2A.X phosphorylation (cH2A.X) in hypertrophied tissue remained unchanged. However, exposure of cardiomyocytes to H2O2 increased levels of cH2A.X which was unaffected by knockdown of PP6C expression, but was abolished by the short-term knockdown of alpha4 expression. This study illustrates the significance and altered activity of the type 2A protein phosphatase-alpha4 complex in healthy and hypertrophied myocardium