Calculating invariants as coreflexive bisimulations

Invariants, bisimulations and assertions are the main ingredients of coalgebra theory applied to software systems. In this paper we reduce the first to a particular case of the second and show how both together pave the way to a theory of coalgebras which regards invariant predicates as types. An outcome of such a theory is a calculus of invariants’ proof obligation discharge, a fragment of which is presented in the paper. The approach has two main ingredients: one is that of adopting relations as “first class citizens” in a pointfree reasoning style; the other lies on a synergy found between a relational construct, Reynolds’ relation on functions involved in the abstraction theorem on parametric polymorphism and the coalgebraic account of bisimulations and invariants. This leads to an elegant proof of the equivalence between two different definitions of bisimulation found in coalgebra literature (due to B. Jacobs and Aczel & Mendler, respectively) and to their instantiation to the classical Park-Milner definition popular in process algebra.Partially supported by the Fundacao para a Ciencia e a Tecnologia, Portugal, under grant number SFRH/BD/27482/2006

Gamma-Ray Bursts: The Underlying Model

A pedagogical derivation is presented of the ``fireball'' model of gamma-ray bursts, according to which the observable effects are due to the dissipation of the kinetic energy of a relativistically expanding wind, a ``fireball.'' The main open questions are emphasized, and key afterglow observations, that provide support for this model, are briefly discussed. The relativistic outflow is, most likely, driven by the accretion of a fraction of a solar mass onto a newly born (few) solar mass black hole. The observed radiation is produced once the plasma has expanded to a scale much larger than that of the underlying ``engine,'' and is therefore largely independent of the details of the progenitor, whose gravitational collapse leads to fireball formation. Several progenitor scenarios, and the prospects for discrimination among them using future observations, are discussed. The production in gamma- ray burst fireballs of high energy protons and neutrinos, and the implications of burst neutrino detection by kilometer-scale telescopes under construction, are briefly discussed.Comment: In "Supernovae and Gamma Ray Bursters", ed. K. W. Weiler, Lecture Notes in Physics, Springer-Verlag (in press); 26 pages, 2 figure

Emotional intelligence and British expatriates’ cross-cultural adjustment in international construction projects

© 2016 Informa UK Limited, trading as Taylor & Francis Group. Today’s internationalized business demands global mindset, intercultural sensitivity and the ability to skilfully negotiate through cross-cultural interactions. Therefore, the overall aim was to investigate the influence of emotional intelligence (EI) on cross-cultural adjustment (CCA) of British expatriates working on International Architectural, Engineering and Construction assignments in Sub-Saharan Africa, China, Middle East and Indian Sub-Continent. Specifically, the causal relationship between EI and three facets of CCA i.e. work, general and interaction adjustment was explored. A sequential exploratory mixed methods design was adopted. These include extensive review of existing literature, eighteen unstructured interviews, and questionnaire survey of 191 British expatriates operating in 29 different countries from the four regions under investigation. Structural equation modelling was used to assess the causal relationship between EI and CCA. Results show that EI accounted for 91, 64 and 24% of the variance in work, interaction and general adjustment respectively. Overall, the model was able to explain 60% variance in CCA, suggesting that EI competencies play a huge role in facilitating an expatriate understand and adapt to host country culture. The findings would help decision-makers (HR managers) during expatriate selection process, in understanding that along with technical skills, it is the emotional competencies that are crucial in assisting expatriates adjust to foreign way of life

Origins of the Ambient Solar Wind: Implications for Space Weather

The Sun's outer atmosphere is heated to temperatures of millions of degrees, and solar plasma flows out into interplanetary space at supersonic speeds. This paper reviews our current understanding of these interrelated problems: coronal heating and the acceleration of the ambient solar wind. We also discuss where the community stands in its ability to forecast how variations in the solar wind (i.e., fast and slow wind streams) impact the Earth. Although the last few decades have seen significant progress in observations and modeling, we still do not have a complete understanding of the relevant physical processes, nor do we have a quantitatively precise census of which coronal structures contribute to specific types of solar wind. Fast streams are known to be connected to the central regions of large coronal holes. Slow streams, however, appear to come from a wide range of sources, including streamers, pseudostreamers, coronal loops, active regions, and coronal hole boundaries. Complicating our understanding even more is the fact that processes such as turbulence, stream-stream interactions, and Coulomb collisions can make it difficult to unambiguously map a parcel measured at 1 AU back down to its coronal source. We also review recent progress -- in theoretical modeling, observational data analysis, and forecasting techniques that sit at the interface between data and theory -- that gives us hope that the above problems are indeed solvable.Comment: Accepted for publication in Space Science Reviews. Special issue connected with a 2016 ISSI workshop on "The Scientific Foundations of Space Weather." 44 pages, 9 figure

BB flavour tagging using charm decays at the LHCb experiment

An algorithm is described for tagging the flavour content at production of neutral $B$ mesons in the LHCb experiment. The algorithm exploits the correlation of the flavour of a $B$ meson with the charge of a reconstructed secondary charm hadron from the decay of the other $b$ hadron produced in the proton-proton collision. Charm hadron candidates are identified in a number of fully or partially reconstructed Cabibbo-favoured decay modes. The algorithm is calibrated on the self-tagged decay modes $B^+ \to J/\psi \, K^+$ and $B^0 \to J/\psi \, K^{*0}$ using $3.0\mathrm{\,fb}^{-1}$ of data collected by the LHCb experiment at $pp$ centre-of-mass energies of $7\mathrm{\,TeV}$ and $8\mathrm{\,TeV}$. Its tagging power on these samples of $B \to J/\psi \, X$ decays is $(0.30 \pm 0.01 \pm 0.01) \%$.Comment: All figures and tables, along with any supplementary material and additional information, are available at http://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-027.htm