Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work

Astrophysical and Astrobiological Implications of Gamma-Ray Burst Properties

Combining results for the local cosmic rate and mean peak luminosity of GRBs with the cosmic history of the star formation rate, we provide estimates for the local GRB rate per unit blue luminosity in galaxies. We find a typical GRB rate per unit B luminosity of 2.4x10^-17 h_{70}^2/Lsun/yr. The corresponding mean rate in the Milky Way is 5.5x10^-7 h_{70}^2/yr. We conclude: 1) the ratio of supernova rate to isotropic equivalent GRB rate is large: more than 6000 SNIbc per GRB or 30,000 SNII per GRB. GRBs could arise in a large fraction of black hole-forming events only with collimation in the range 0.01 - 0.001 and a steep enough slope of the IMF; 2) GRBs cannot account for the majority of large HI holes observed in galaxies; 3) the probability that the solar system was exposed to a fluence large enough to melt the chondrules during the first 10^7 yr of solar system history is negligibly small; 4) Even for very opaque atmospheres, a significant fraction of the GRB energy is transmitted as UV lines due to excitation by secondary electrons. For eukaryotic-like organisms in thin atmospheres (e.g. contemporary Mars), or for UV line exposure in thick atmospheres (e.g. Earth), biologically significant events occur at a rate of about 100--500 /Gyr. The direct contribution of these "jolts" to mutational evolution may, however, be negligible because of the short duration of the GRBs. Evolutionary effects due to partial sterilizations and to longer-lived disruptions of atmospheric chemistry should be more important. (Abridged)Comment: 36 pages, no figures Accepted by Astrophysical Journal Oct. 2001. First submitted December,1999. Substantially rewritten discussion of burst source count distributions and of biological implication

Enhancing Optical Up-Conversion Through Electrodynamic Coupling with Ancillary Chromophores

In lanthanide-based optical materials, control over the relevant operating characteristics–for example transmission wavelength, phase and quantum efficiency–is generally achieved through the modification of parameters such as dopant/host combination, chromophore concentration and lattice structure. An alternative avenue for the control of optical response is through the introduction of secondary, codoped chromophores. Here, such secondary centers act as mediators, commonly bridging the transfer of energy between primary absorbers of externally sourced optical input and other sites of frequency-converted emission. Utilizing theoretical models based on experimentally feasible, three-dimensional crystal lattice structures; a fully quantized theoretical framework provides insights into the locally modified mechanisms that can be implemented within such systems. This leads to a discussion of how such effects might be deployed to either enhance, or potentially diminish, the efficiency of frequency up-conversion

Family systems and mental health issues: A resilience approach

In many cases the consumers of mental health information and support are the families of mental health sufferers. The aim of the project was to understand resilience in people who live with or support a family member with a diagnosed or undiagnosed mental illness. Participants were 15 carers (one male, 14 female). Semi-structured interviews were transcribed and analysed using content analysis. Eight recurring themes emerged which indicated the challenges the carers faced and provided indications of the positive and negative personal, family and social factors that impacted on their lives. These themes were \u27Getting to CLAN WA\u27, \u27Accessing help including CLAN WA\u27, \u27Impact of living with a person who has a mental illness or problematic behaviour\u27, \u27Family and cultural issues\u27, \u27Communication within the family\u27,\u27Coping strategies and evidence of resilience\u27, \u27Social support\u27 and \u27Notion of sacrifice\u27. There is still considerable work to do in supporting people who live with or support a family member in these circumstances. The findings demonstrate that individuals living with adversity can do more than just survive the proces

Low-temperature specific heat and thermal conductivity of glycerol

We have measured the thermal conductivity of glassy glycerol between 1.5 K and 100 K, as well as the specific heat of both glassy and crystalline phases of glycerol between 0.5 K and 25 K. We discuss both low-temperature properties of this typical molecular glass in terms of the soft-potential model. Our finding of an excellent agreement between its predictions and experimental data for these two independent measurements constitutes a robust proof of the capabilities of the soft-potential model to account for the low-temperature properties of glasses in a wide temperature range.Comment: 4 pages, 3 figures. To be published in Phys. Rev. B (2002

The combined diabetes and renal control trial (C-DIRECT) - a feasibility randomised controlled trial to evaluate outcomes in multi-morbid patients with diabetes and on dialysis using a mixed methods approach

Background: This cluster randomised controlled trial set out to investigate the feasibility and acceptability of the “Combined Diabetes and Renal Control Trial” (C-DIRECT) intervention, a nurse-led intervention based on motivational interviewing and self-management in patients with coexisting end stage renal diseases and diabetes mellitus (DM ESRD). Its efficacy to improve glycaemic control, as well as psychosocial and self-care outcomes were also evaluated as secondary outcomes. Methods: An assessor-blinded, clustered randomised-controlled trial was conducted with 44 haemodialysis patients with DM ESRD and ≥ 8% glycated haemoglobin (HbA1c), in dialysis centres across Singapore. Patients were randomised according to dialysis shifts. 20 patients were assigned to intervention and 24 were in usual care. The C-DIRECT intervention consisted of three weekly chair-side sessions delivered by diabetes specialist nurses. Data on recruitment, randomisation, and retention, and secondary outcomes such as clinical endpoints, emotional distress, adherence, and self-management skills measures were obtained at baseline and at 12 weeks follow-up. A qualitative evaluation using interviews was conducted at the end of the trial. Results: Of the 44 recruited at baseline, 42 patients were evaluated at follow-up. One patient died, and one discontinued the study due to deteriorating health. Recruitment, retention, and acceptability rates of C-DIRECT were generally satisfactory HbA1c levels decreased in both groups, but C-DIRECT had more participants with HbA1c < 8% at follow up compared to usual care. Significant improvements in role limitations due to physical health were noted for C-DIRECT whereas levels remained stable in usual care. No statistically significant differences between groups were observed for other clinical markers and other patient-reported outcomes. There were no adverse effects. Conclusions: The trial demonstrated satisfactory feasibility. A brief intervention delivered on bedside as part of routine dialysis care showed some benefits in glycaemic control and on QOL domain compared with usual care, although no effect was observed in other secondary outcomes. Further research is needed to design and assess interventions to promote diabetes self-management in socially vulnerable patients

The Fermi-Pasta-Ulam recurrence and related phenomena for 1D shallow-water waves in a finite basin

In this work, different regimes of the Fermi-Pasta-Ulam (FPU) recurrence are simulated numerically for fully nonlinear "one-dimensional" potential water waves in a finite-depth flume between two vertical walls. In such systems, the FPU recurrence is closely related to the dynamics of coherent structures approximately corresponding to solitons of the integrable Boussinesq system. A simplest periodic solution of the Boussinesq model, describing a single soliton between the walls, is presented in an analytical form in terms of the elliptic Jacobi functions. In the numerical experiments, it is observed that depending on a number of solitons in the flume and their parameters, the FPU recurrence can occur in a simple or complicated manner, or be practically absent. For comparison, the nonlinear dynamics of potential water waves over nonuniform beds is simulated, with initial states taken in the form of several pairs of colliding solitons. With a mild-slope bed profile, a typical phenomenon in the course of evolution is appearance of relatively high (rogue) waves, while for random, relatively short-correlated bed profiles it is either appearance of tall waves, or formation of sharp crests at moderate-height waves.Comment: revtex4, 10 pages, 33 figure

Direct Mediation and Metastable Supersymmetry Breaking for SO(10)

We examine a metastable $\mathcal{N}=1$ Macroscopic SO(N) SQCD model of Intriligator, Seiberg and Shih (ISS). We introduce various baryon and meson deformations, including multitrace operators and explore embedding an SO(10) parent of the standard model into two weakly gauged flavour sectors. Direct fundamental messengers and the symmetric pseudo-modulus messenger mediate SUSY breaking to the MSSM. Gaugino and sfermion masses are computed and compared for each deformation type. We also explore reducing the rank of the magnetic quark matrix of the ISS model and find an additional fundamental messenger.Comment: 43 pages, Latex. Version to appear in JHEP

Gravitational Waves From Known Pulsars: Results From The Initial Detector Era

We present the results of searches for gravitational waves from a large selection of pulsars using data from the most recent science runs (S6, VSR2 and VSR4) of the initial generation of interferometric gravitational wave detectors LIGO (Laser Interferometric Gravitational-wave Observatory) and Virgo. We do not see evidence for gravitational wave emission from any of the targeted sources but produce upper limits on the emission amplitude. We highlight the results from seven young pulsars with large spin-down luminosities. We reach within a factor of five of the canonical spin-down limit for all seven of these, whilst for the Crab and Vela pulsars we further surpass their spin-down limits. We present new or updated limits for 172 other pulsars (including both young and millisecond pulsars). Now that the detectors are undergoing major upgrades, and, for completeness, we bring together all of the most up-to-date results from all pulsars searched for during the operations of the first-generation LIGO, Virgo and GEO600 detectors. This gives a total of 195 pulsars including the most recent results described in this paper.United States National Science FoundationScience and Technology Facilities Council of the United KingdomMax-Planck-SocietyState of Niedersachsen/GermanyAustralian Research CouncilInternational Science Linkages program of the Commonwealth of AustraliaCouncil of Scientific and Industrial Research of IndiaIstituto Nazionale di Fisica Nucleare of ItalySpanish Ministerio de Economia y CompetitividadConselleria d'Economia Hisenda i Innovacio of the Govern de les Illes BalearsNetherlands Organisation for Scientific ResearchPolish Ministry of Science and Higher EducationFOCUS Programme of Foundation for Polish ScienceRoyal SocietyScottish Funding CouncilScottish Universities Physics AllianceNational Aeronautics and Space AdministrationOTKA of HungaryLyon Institute of Origins (LIO)National Research Foundation of KoreaIndustry CanadaProvince of Ontario through the Ministry of Economic Development and InnovationNational Science and Engineering Research Council CanadaCarnegie TrustLeverhulme TrustDavid and Lucile Packard FoundationResearch CorporationAlfred P. Sloan FoundationAstronom