Dynamical Symmetry Breaking by SU(2) Gauge Bosons

This work explores the possibility of obtaining a mass gap in Yang-Mills theories via the intrinsic gauge bosons, without invoking a separate Higgs boson or fermion-antifermion pairs. Instead, pairs of gauge bosons in the spin and isospin singlet state form a pair of composite Higgs bosons which can be viewed as the simplest possible glueball of Yang-Mills gauge theories. Quadratic and quartic gauge boson self-interactions form a potential that leads to a finite expectation value of the gauge boson amplitude. Transverse polarization ensures Lorentz invariance of the vacuum after averaging over all possible polarization vectors. But the scalar pair products exhibit a finite vacuum expectation value which breaks the gauge symmetry dynamically. Compatibility with the standard Higgs potential determines the quadratic and quartic coupling constants.Comment: 17 pages, 2 figures. Versions 2,3: added Ref. [15], augmented Appendix B, clarified the text. Versions 4,5: added Eq. (35) + text (formula for g), generalized Eq. (B17) + tex

Fetal in vivo continuous cardiovascular function during chronic hypoxia.

Although the fetal cardiovascular defence to acute hypoxia and the physiology underlying it have been established for decades, how the fetal cardiovascular system responds to chronic hypoxia has been comparatively understudied. We designed and created isobaric hypoxic chambers able to maintain pregnant sheep for prolonged periods of gestation under controlled significant (10% O2) hypoxia, yielding fetal mean P(aO2) levels (11.5 ± 0.6 mmHg) similar to those measured in human fetuses of hypoxic pregnancy. We also created a wireless data acquisition system able to record fetal blood flow signals in addition to fetal blood pressure and heart rate from free moving ewes as the hypoxic pregnancy is developing. We determined in vivo longitudinal changes in fetal cardiovascular function including parallel measurement of fetal carotid and femoral blood flow and oxygen and glucose delivery during the last third of gestation. The ratio of oxygen (from 2.7 ± 0.2 to 3.8 ± 0.8; P < 0.05) and of glucose (from 2.3 ± 0.1 to 3.3 ± 0.6; P < 0.05) delivery to the fetal carotid, relative to the fetal femoral circulation, increased during and shortly after the period of chronic hypoxia. In contrast, oxygen and glucose delivery remained unchanged from baseline in normoxic fetuses. Fetal plasma urate concentration increased significantly during chronic hypoxia but not during normoxia (Δ: 4.8 ± 1.6 vs. 0.5 ± 1.4 μmol l(-1), P<0.05). The data support the hypotheses tested and show persisting redistribution of substrate delivery away from peripheral and towards essential circulations in the chronically hypoxic fetus, associated with increases in xanthine oxidase-derived reactive oxygen species.This work was supported by the British Heart Foundation.This is the author accepted manuscript. The final version is available from Wiley via http://dx.doi.org/10.1113/JP27109

Lifting CDCL to template-based abstract domains for program verification

The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis called Abstract Conflict Driven Learning for Programs (ACDLP). ACDLP alternates between model search, which performs over-approximate deduction with constraint propagation, and conflict analysis, which performs under-approximate abduction with heuristic choice. We instantiate the model search and conflict analysis algorithms with an abstract domain of template polyhedra, strictly generalizing CDCL from the Boolean lattice to a richer lattice structure. Our template polyhedra can express intervals, octagons and restricted polyhedral constraints over program variables. We have implemented ACDLP for automatic bounded safety verification of C programs. We evaluate the performance of our analyser by comparing with CBMC, which uses Boolean CDCL, and Astrée, a commercial abstract interpretation tool. We observe two orders of magnitude reduction in the number of decisions, propagations, and conflicts as well as a 1.5x speedup in runtime compared to CBMC. Compared to Astrée, ACDLP solves twice as many benchmarks and has much higher precision. This is the first instantiation of CDCL with a template polyhedra abstract domain

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201

Mechanisms Involved in Nicotinic Acetylcholine Receptor-Induced Neurotransmitter Release from Sympathetic Nerve Terminals in the Mouse Vas Deferens

Prejunctional nicotinic acetylcholine receptors (nAChRs) amplify postganglionic sympathetic neurotransmission, and there are indications that intraterminal Ca2+ stores might be involved. However, the mechanisms by which nAChR activation stimulates neurotransmitter release at such junctions is unknown. Rapid local delivery (picospritzing) of the nAChR agonist epibatidine was combined with intracellular sharp microelectrode recording to monitor spontaneous and field-stimulation-evoked neurotransmitter release from sympathetic nerve terminals in the mouse isolated vas deferens. Locally applied epibatidine (1 µM) produced ‘epibatidine-induced depolarisations’ (EIDs) that were similar in shape to spontaneous excitatory junction potentials (SEJPs) and were abolished by nonselective nAChR antagonists and the purinergic desensitizing agonist α,β-methylene ATP. The amplitude distribution of EIDs was only slightly shifted towards lower amplitudes by the selective α7 nAChR antagonists α-bungarotoxin and methyllcaconitine, the voltage-gated Na+ channel blocker tetrodotoxin or by blocking voltage-gated Ca2+ channels with Cd2+. Lowering the extracellular Ca2+ concentration reduced the frequency of EIDs by 69%, but more surprisingly, the Ca2+-induced Ca2+ release blocker ryanodine greatly decreased the amplitude (by 41%) and the frequency of EIDs by 36%. Ryanodine had no effect on electrically-evoked neurotransmitter release, paired-pulse facilitation, SEJP frequency, SEJP amplitude or SEJP amplitude distribution. These results show that activation of non-α7 nAChRs on sympathetic postganglionic nerve terminals induces high-amplitude junctional potentials that are argued to represent multipacketed neurotransmitter release synchronized by intraterminal Ca2+-induced Ca2+ release, triggered by Ca2+ influx directly through the nAChR. This nAChR-induced neurotransmitter release can be targeted pharmacologically without affecting spontaneous or electrically-evoked neurotransmitter release

Systematic review of prognostic models in traumatic brain injury

BACKGROUND: Traumatic brain injury (TBI) is a leading cause of death and disability world-wide. The ability to accurately predict patient outcome after TBI has an important role in clinical practice and research. Prognostic models are statistical models that combine two or more items of patient data to predict clinical outcome. They may improve predictions in TBI patients. Multiple prognostic models for TBI have accumulated for decades but none of them is widely used in clinical practice. The objective of this systematic review is to critically assess existing prognostic models for TBI METHODS: Studies that combine at least two variables to predict any outcome in patients with TBI were searched in PUBMED and EMBASE. Two reviewers independently examined titles, abstracts and assessed whether each met the pre-defined inclusion criteria. RESULTS: A total of 53 reports including 102 models were identified. Almost half (47%) were derived from adult patients. Three quarters of the models included less than 500 patients. Most of the models (93%) were from high income countries populations. Logistic regression was the most common analytical strategy to derived models (47%). In relation to the quality of the derivation models (n:66), only 15% reported less than 10% pf loss to follow-up, 68% did not justify the rationale to include the predictors, 11% conducted an external validation and only 19% of the logistic models presented the results in a clinically user-friendly way CONCLUSION: Prognostic models are frequently published but they are developed from small samples of patients, their methodological quality is poor and they are rarely validated on external populations. Furthermore, they are not clinically practical as they are not presented to physicians in a user-friendly way. Finally because only a few are developed using populations from low and middle income countries, where most of trauma occurs, the generalizability to these setting is limited

"Sleepiness" is serious in adolescence: Two surveys of 3235 Canadian students

BACKGROUND: Evidence is growing that sleep problems in adolescents are significant impediments to learning and negatively affect behaviour, attainment of social competence and quality of life. The objectives of the study were to determine the level of sleepiness among students in high school, to identify factors to explain it, and to determine the association between sleepiness and performance in both academic and extracurricular activities METHODS: A cross-sectional survey of 2201 high school students in the Hamilton Wentworth District School Board and the Near North District School Board in Ontario was conducted in 1998/9. A similar survey was done three years later involving 1034 students in the Grand Erie District School Board in the same Province. The Epworth Sleepiness Scale (ESS) was used to measure sleepiness and we also assessed the reliability of this tool for this population. Descriptive analysis of the cohort and information on various measures of performance and demographic data were included. Regression analysis, using the generalised estimating equation (GEE), was utilized to investigate factors associated with risk of sleepiness (ESS>10). RESULTS: Seventy per cent of the students had less than 8.5 hours weeknight sleep. Bedtime habits such as a consistent bedtime routine, staying up late or drinking caffeinated beverages before bed were statistically significantly associated with ESS, as were weeknight sleep quantity and gender. As ESS increased there was an increase in the proportion of students who felt their grades had dropped because of sleepiness, were late for school, were often extremely sleepy at school, and were involved in fewer extracurricular activities. These performance measures were statistically significantly associated with ESS. Twenty-three percent of the students felt their grades had dropped because of sleepiness. Most students (58–68%) reported that they were "really sleepy" between 8 and 10 A.M. CONCLUSION: Sleep deprivation and excessive daytime sleepiness were common in two samples of Ontario high school students and were associated with a decrease in academic achievement and extracurricular activity. There is a need to increase awareness of this problem in the education and health communities and to translate knowledge already available to strategies to address it

How adolescents who cut themselves differ from those who take overdoses

The aims of this study were to identify in what ways adolescents who cut themselves differ from those who take overdoses, and to investigate the role of contagion in these behaviours. Data from an anonymous self-report questionnaire survey of 6,020 adolescents in 41 schools were analysed. Comparison of 220 adolescents who reported self-cutting in the previous year with 86 who had taken overdoses in the previous year as the sole method of deliberate self-harm (DSH) showed that far more of those who cut themselves had friends who had also engaged in DSH in the same period (OR 2.84, 95% CI 1.5–5.3, P < 0.001), and fewer had sought help from friends before cutting (OR 0.5, 95% CI 0.3–0.9, P < 0.02). Self-cutting usually involved less premeditation. Analyses at both the individual and school level showed that the association between engaging in DSH and exposure to DSH amongst peers was largely confined to girls who cut themselves. There are important differences between adolescents who cut themselves and those who take overdoses. Contagion may be an important factor in DSH by adolescents, especially in girls who cut themselves. These findings are relevant to the design of prevention and treatment programmes

Substance P Induces Rapid and Transient Membrane Blebbing in U373MG Cells in a p21-Activated Kinase-Dependent Manner

U373MG astrocytoma cells endogenously express the full-length neurokinin 1 receptor (NK1R). Substance P (SP), the natural ligand for NK1R, triggers rapid and transient membrane blebbing and we report that these morphological changes have different dynamics and intracellular signaling as compared to the changes that we have previously described in HEK293-NK1R cells. In both cell lines, the SP-induced morphological changes are Gq-independent, and they require the Rho, Rho-associated coiled-coil kinase (ROCK) signaling pathway. Using confocal microscopy we have demonstrated that tubulin is phosphorylated subsequent to cell stimulation with SP and that tubulin accumulates inside the blebs. Colchicine, a tubulin polymerization inhibitor, blocked SP-induced blebbing in U373MG but not in HEK293-NK1R cells. Although p21-activated kinase (PAK) is expressed in both cell lines, SP induced rapid phosphorylation of PAK in U373MG, but failed to phosphorylate PAK in HEK293-NK1R cells. The cell-permeable Rho inhibitor C3 transferase inhibited SP-induced PAK phosphorylation, but the ROCK inhibitor Y27632 had no effect on PAK phosphorylation, suggesting that Rho activates PAK in a ROCK-independent manner. Our study demonstrates that SP triggers rapid changes in cell morphology mediated by distinct intracellular signaling mechanisms in U373MG versus HEK293-NK1R cells