Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL

Value of eight-amino-acid matches in predicting the allergenicity status of proteins: an empirical bioinformatic investigation

The use of biotechnological techniques to introduce novel proteins into food crops (transgenic or GM crops) has motivated investigation into the properties of proteins that favor their potential to elicit allergic reactions. As part of the allergenicity assessment, bioinformatic approaches are used to compare the amino-acid sequence of candidate proteins with sequences in a database of known allergens to predict potential cross reactivity between novel food proteins and proteins to which people have become sensitized. Two criteria commonly used for these queries are searches over 80-amino-acid stretches for >35% identity, and searches for 8-amino-acid contiguous matches. We investigated the added value provided by the 8-amino-acid criterion over that provided by the >35%-identity-over-80-amino-acid criterion, by identifying allergens pairs that only met the former criterion, but not the latter criterion. We found that the allergen-sequence pairs only sharing 8-amino-acid identity, but not >35% identity over 80 amino acids, were unlikely to be cross reactive allergens. Thus, the common search for 8-amino-acid identity between novel proteins and known allergens appears to be of little additional value in assessing the potential allergenicity of novel proteins

Extent and structure of health insurance expenditures for complementary and alternative medicine in Swiss primary care

BACKGROUND: The study is part of a nationwide evaluation of complementary and alternative medicine (CAM) in primary care in Switzerland. The goal was to evaluate the extent and structure of basic health insurance expenditures for complementary and alternative medicine in Swiss primary care. METHODS: The study was designed as a cross-sectional evaluation of Swiss primary care providers and included 262 certified CAM physicians, 151 noncertified CAM physicians and 172 conventional physicians. The study was based on data from a mailed questionnaire and on reimbursement information obtained from health insurers. It was therefore purely observational, without interference into diagnostic and therapeutic procedures applied or prescribed by physicians. Main outcome measures included average reimbursed costs per patient, structured into consultation- and medication-related costs, and referred costs. RESULTS: Total average reimbursed cost per patient did not differ between CAM physicians and conventional practitioners, but considerable differences were observed in cost structure. The proportions of reimbursed costs for consultation time were 56% for certified CAM, 41% for noncertified CAM physicians and 40% for conventional physicians; medication costs – including expenditures for prescriptions and directly dispensed drugs – respectively accounted for 35%, 18%, and 51% of costs. CONCLUSION: The results indicate no significant difference for overall treatment cost per patient between CAM and COM primary care in Switzerland. However, CAM physicians treat lower numbers of patients and a more cost-favourable patient population than conventional physicians. Differences in cost structure reflect more patient-centred and individualized treatment modalities of CAM physicians

Specificity of the E. coli LysR-Type Transcriptional Regulators

Families of paralogous oligomeric proteins are common in biology. How the specificity of assembly evolves is a fundamental question of biology. The LysR-Type Transcriptional Regulators (LTTR) form perhaps the largest family of transcriptional regulators in bacteria. Because genomes often encode many LTTR family members, it is assumed that many distinct homooligomers are formed simultaneously in the same cell without interfering with each other's activities, suggesting specificity in the interactions. However, this assumption has not been systematically tested.A negative-dominant assay with λcI repressor fusions was used to evaluate the assembly of the LTTRs in E. coli K-12. Thioredoxin (Trx)-LTTR fusions were used to challenge the homooligomeric interactions of λcI-LTTR fusions. Eight cI-LTTR fusions were challenged with twenty-eight Trx fusions. LTTRs could be divided into three classes based on their interactions with other LTTRs.Multimerization of LTTRs in E. coli K-12 is mostly specific. However, under the conditions of the assay, many LTTRs interact with more than one noncognate partner. The physiological significance and physical basis for these interactions are not known

The role of parental achievement goals in predicting autonomy-supportive and controlling parenting

Although autonomy-supportive and controlling parenting are linked to numerous positive and negative child outcomes respectively, fewer studies have focused on their determinants. Drawing on achievement goal theory and self-determination theory, we propose that parental achievement goals (i.e., achievement goals that parents have for their children) can be mastery, performance-approach or performance-avoidance oriented and that types of goals predict mothers' tendency to adopt autonomy-supportive and controlling behaviors. A total of 67 mothers (aged 30-53 years) reported their goals for their adolescent (aged 13-16 years; 19.4 % girls), while their adolescent evaluated their mothers' behaviors. Hierarchical regression analyses showed that parental performance-approach goals predict more controlling parenting and prevent acknowledgement of feelings, one autonomy-supportive behavior. In addition, mothers who have mastery goals and who endorse performance-avoidance goals are less likely to use guilt-inducing criticisms. These findings were observed while controlling for the effect of maternal anxiety

Suggested Improvements for the Allergenicity Assessment of Genetically Modified Plants Used in Foods

Genetically modified (GM) plants are increasingly used for food production and industrial applications. As the global population has surpassed 7 billion and per capita consumption rises, food production is challenged by loss of arable land, changing weather patterns, and evolving plant pests and disease. Previous gains in quantity and quality relied on natural or artificial breeding, random mutagenesis, increased pesticide and fertilizer use, and improved farming techniques, all without a formal safety evaluation. However, the direct introduction of novel genes raised questions regarding safety that are being addressed by an evaluation process that considers potential increases in the allergenicity, toxicity, and nutrient availability of foods derived from the GM plants. Opinions vary regarding the adequacy of the assessment, but there is no documented proof of an adverse effect resulting from foods produced from GM plants. This review and opinion discusses current practices and new regulatory demands related to food safety

Benefits and risks of the hormetic effects of dietary isothiocyanates on cancer prevention

The isothiocyanate (ITC) sulforaphane (SFN) was shown at low levels (1-5 µM) to promote cell proliferation to 120-143% of the controls in a number of human cell lines, whilst at high levels (10-40 µM) it inhibited such cell proliferation. Similar dose responses were observed for cell migration, i.e. SFN at 2.5 µM increased cell migration in bladder cancer T24 cells to 128% whilst high levels inhibited cell migration. This hormetic action was also found in an angiogenesis assay where SFN at 2.5 µM promoted endothelial tube formation (118% of the control), whereas at 10-20 µM it caused significant inhibition. The precise mechanism by which SFN influences promotion of cell growth and migration is not known, but probably involves activation of autophagy since an autophagy inhibitor, 3-methyladenine, abolished the effect of SFN on cell migration. Moreover, low doses of SFN offered a protective effect against free-radical mediated cell death, an effect that was enhanced by co-treatment with selenium. These results suggest that SFN may either prevent or promote tumour cell growth depending on the dose and the nature of the target cells. In normal cells, the promotion of cell growth may be of benefit, but in transformed or cancer cells it may be an undesirable risk factor. In summary, ITCs have a biphasic effect on cell growth and migration. The benefits and risks of ITCs are not only determined by the doses, but are affected by interactions with Se and the measured endpoint

Digital Propaganda: The Tyranny of Ignorance

© The Author(s) 2018. The existence of propaganda is inexorably bound to the nature of communication and communications technology. Mass communication by citizens in the digital age has been heralded as a means to counter elite propaganda; however, it also provides a forum for misinformation, aggression and hostility. The extremist group Britain First has used Facebook as a way to propagate hostility towards Muslims, immigrants and social security claimants in the form of memes, leading to a backlash from sites antithetical to their message. This article provides a memetic analysis, which addresses persuasion, organisation, political echo chambers and self-correcting online narratives; arguing that propaganda can be best understood as an evolving set of techniques and mechanisms which facilitate the propagation of ideas and actions. This allows the concept to be adapted to fit a changing political and technological landscape and to encompass both propaganda and counter-propaganda in the context of horizontal communications networks

Cholesterol Metabolism Is Required for Intracellular Hedgehog Signal Transduction In Vivo

We describe the rudolph mouse, a mutant with striking defects in both central nervous system and skeletal development. Rudolph is an allele of the cholesterol biosynthetic enzyme, hydroxysteroid (17-beta) dehydrogenase 7, which is an intriguing finding given the recent implication of oxysterols in mediating intracellular Hedgehog (Hh) signaling. We see an abnormal sterol profile and decreased Hh target gene induction in the rudolph mutant, both in vivo and in vitro. Reduced Hh signaling has been proposed to contribute to the phenotypes of congenital diseases of cholesterol metabolism. Recent in vitro and pharmacological data also indicate a requirement for intracellular cholesterol synthesis for proper regulation of Hh activity via Smoothened. The data presented here are the first in vivo genetic evidence supporting both of these hypotheses, revealing a role for embryonic cholesterol metabolism in both CNS development and normal Hh signaling

Promoter methylation analysis of O6-methylguanine-DNA methyltransferase in glioblastoma: detection by locked nucleic acid based quantitative PCR using an imprinted gene (SNURF) as a reference

<p>Abstract</p> <p>Background</p> <p>Epigenetic silencing of the <it>MGMT </it>gene by promoter methylation is associated with loss of <it>MGMT </it>expression, diminished DNA-repair activity and longer overall survival in patients with glioblastoma who, in addition to radiotherapy, received alkylating chemotherapy with carmustine or temozolomide. We describe and validate a rapid methylation sensitive quantitative PCR assay (MS-qLNAPCR) using Locked Nucleic Acid (LNA) modified primers and an imprinted gene as a reference.</p> <p>Methods</p> <p>An analysis was made of a database of 159 GBM patients followed between April 2004 and October 2008. After bisulfite treatment, methylated and unmethylated CpGs were recognized by LNA primers and molecular beacon probes. The <it>SNURF </it>promoter of an imprinted gene mapped on 15q12, was used as a reference. This approach was used because imprinted genes have a balanced copy number of methylated and unmethylated alleles, and this feature allows an easy and a precise normalization.</p> <p>Results</p> <p>Concordance between already described nested MS-PCR and MS-qLNAPCR was found in 158 of 159 samples (99.4%). The MS-qLNAPCR assay showed a PCR efficiency of 102% and a sensitivity of 0.01% for LNA modified primers, while unmodified primers revealed lower efficiency (69%) and lower sensitivity (0.1%). <it>MGMT </it>promoter was found to be methylated using MS-qLNAPCR in 70 patients (44.02%), and completely unmethylated in 89 samples (55.97%). Median overall survival was of 24 months, being 20 months and 36 months, in patients with <it>MGMT </it>unmethylated and methylated, respectively. Considering <it>MGMT </it>methylation data provided by MS-qLNAPCR as a binary variable, overall survival was different between patients with GBM samples harboring <it>MGMT </it>promoter unmethylated and other patients with any percentage of <it>MGMT </it>methylation (p = 0.003). This difference was retained using other cut off values for <it>MGMT </it>methylation rate (i.e. 10% and 20% of methylated allele), while the difference was lost when 50% of <it>MGMT </it>methylated allele was used as cut-off.</p> <p>Conclusions</p> <p>We report and clinically validate an accurate, robust, and cost effective MS-qLNAPCR protocol for the detection and quantification of methylated <it>MGMT </it>alleles in GBM samples. Using MS-qLNAPCR we demonstrate that even low levels of <it>MGMT </it>promoter methylation have to be taken into account to predict response to temozolomide-chemotherapy.</p