Kink Chains from Instantons on a Torus

We describe how the procedure of calculating approximate solitons from instanton holonomies may be extended to the case of soliton crystals. It is shown how sine-Gordon kink chains may be obtained from CP1 instantons on a torus. These kink chains turn out to be remarkably accurate approximations to the true solutions. Some remarks on the relevance of this work to Skyrme crystals are also made.Comment: latex 17 pages, DAMTP 94-7

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning. The main differences to SystemOnTPTP are the use of the Mizar language that is oriented towards human mathematicians (rather than the pure first-order logic used in SystemOnTPTP), and setting the service in the context of the large Mizar Mathematical Library of previous theorems,definitions, and proofs (rather than the isolated problems that are solved in SystemOnTPTP). These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. This paper describes the overall structure of MizAR, and presents the automated reasoning systems and proof presentation tools that are combined to make MizAR a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial Intelligence and Symbolic Computation AISC 201

Oral health awareness and care preferences in patients with diabetes : a qualitative study

Background People with type 2 diabetes have an increased risk of oral health problems; however, oral health is currently not included in structured diabetes reviews and education in the UK. Aim and Objectives This study explores the patient experience related to oral health and diabetes, especially in relation to: • Awareness of the link between oral health and diabetes and oral self care needs • Interaction with health professionals in dental and general practice • Preferences for receiving oral health information and education Methods This nested qualitative study involved semi-structured telephone interviews with a purposive sample of 20 participants from a questionnaire study on oral health awareness in patients with diabetes. Interview transcripts were analysed using a thematic framework approach. Results Participants were mostly unaware of the link between oral health and diabetes. Those that had been made aware by a health professional were not given concrete self care advice. Interactions with dental professionals were often limited to informing the dental practice of their diagnosis and current medication. Most participants were in favour of dentists screening for diabetes, but as their general practice was the hub for diabetes care, they felt GPs or nurses should provide oral health information and discuss oral health with patients. Conclusions Written information regarding diabetes and its possible effects on oral health needs to be more readily available to people with diabetes, especially at diagnosis. There may be a place for introducing a structured oral health question in routine diabetes reviews

Octahedral and dodecahedral monopoles

It is shown that there exists a charge five monopole with octahedral symmetry and a charge seven monopole with icosahedral symmetry. A numerical implementation of the ADHMN construction is used to calculate the energy density of these monopoles and surfaces of constant energy density are displayed. The charge five and charge seven monopoles look like an octahedron and a dodecahedron respectively. A scattering geodesic for each of these monopoles is presented and discussed using rational maps. This is done with the aid of a new formula for the cluster decomposition of monopoles when the poles of the rational map are close together

User interface design for mobile-based sexual health interventions for young people: Design recommendations from a qualitative study on an online Chlamydia clinical care pathway

Background: The increasing pervasiveness of mobile technologies has given potential to transform healthcare by facilitating clinical management using software applications. These technologies may provide valuable tools in sexual health care and potentially overcome existing practical and cultural barriers to routine testing for sexually transmitted infections. In order to inform the design of a mobile health application for STIs that supports self-testing and self-management by linking diagnosis with online care pathways, we aimed to identify the dimensions and range of preferences for user interface design features among young people. Methods: Nine focus group discussions were conducted (n=49) with two age-stratified samples (16 to 18 and 19 to 24 year olds) of young people from Further Education colleges and Higher Education establishments. Discussions explored young people's views with regard to: the software interface; the presentation of information; and the ordering of interaction steps. Discussions were audio recorded and transcribed verbatim. Interview transcripts were analysed using thematic analysis. Results: Four over-arching themes emerged: privacy and security; credibility; user journey support; and the task-technology-context fit. From these themes, 20 user interface design recommendations for mobile health applications are proposed. For participants, although privacy was a major concern, security was not perceived as a major potential barrier as participants were generally unaware of potential security threats and inherently trusted new technology. Customisation also emerged as a key design preference to increase attractiveness and acceptability. Conclusions: Considerable effort should be focused on designing healthcare applications from the patient's perspective to maximise acceptability. The design recommendations proposed in this paper provide a valuable point of reference for the health design community to inform development of mobile-based health interventions for the diagnosis and treatment of a number of other conditions for this target group, while stimulating conversation across multidisciplinary communities

Reducing the energy consumption of heavy goods vehicles through the application of lightweight trailers: Fleet case studies

Reducing the empty weight of articulated heavy goods vehicle trailers is one avenue that needs to be explored in reducing the carbon footprint of the road freight industry as a whole. A statistical analysis of two heavy goods vehicle fleets operating in the United Kingdom has helped to identify double-deck trailers used in grocery haulage and 'walking-floor' trailers used in bulk haulage as two examples of trailers that can benefit significantly from lightweighting. Energy consumption of numerous articulated heavy goods vehicles is quantified through an idealised drive cycle analysis reflecting a long haul journey over a highway. This energy analysis allows for a mass energy performance index to be established. The analysis has shown that reducing the empty weight of trailers by 30% can cause reductions of up to 18% and 11% in mass energy performance index for double-deck trailers and 'walking-floor' trailers respectively. Using this approach, trailers that will benefit the most from weight reduction can be identified systematically, allowing for lightweighting strategies to be implemented more effectively. Strategies to reduce empty trailer weight and improve vehicle utilisation are also discussedThe authors would like to acknowledge the financial support from the members of the Centre for Sustainable Road Freight and from the Engineering and Physical Sciences Research Council (Grant Reference EP/K00915X/1).This is the final version of the article. It first appeared from Elsevier via http://dx.doi.org/10.1016/j.trd.2015.09.01

Biological surrogacy in tropical seabed assemblages fails

Surrogate taxa are used widely to represent attributes of other taxa for which data are sparse or absent. Because surveying and monitoring marine biodiversity is resource intensive, our understanding and management of marine systems will need to rely on the "availability of effective surrogates. The ability of any marine taxon to adequately, represent another, however, is largely unknown because there are rarely sufficient data for multiple taxa in the same region(s). Here, we defined a taxonomic group to be a surrogate for another taxonomic group if they possessed similar assemblage patterns. We investigated effects on surrogate performance of (1) grouping species by taxon at various levels of resolution, (2) selective removal of rare species from analysis, and (3) the number of clusters used to define assemblages, using samples for 11 phyla distributed across 1189 sites sampled from the seabed of Australia's Great Barrier Reef. This spatially and taxonomically comprehensive data set provided an opportunity for extensive testing of surrogate performance in a tropical marine system using these three approaches. for the first time, as resource and data constraints were previously limiting. We measured surrogate performance as to how similarly sampling sites were divided into assemblages between taxa. For each taxonomic group independently, we grouped sites into assemblages using. He linger distances and medoid clustering. We then used a similarity index to quantify the concordance of assemblages between all pairs Of taxonomic groups. Surrogates performed better when taxa were grouped at a phylum level, compared to taxa grouped at a finer taxonomic resolution, and were unaffected by the exclusion of spatially rare species. Mean surrogate performance increased as the number of clusters decreased. Moreover, no taxonomic group was a particularly good surrogate for any other, suggesting that the use of any one (or few) group(s) for mapping seabed biodiversity patterns is imprudent; sampling several taxonomic groups appears to be essential for understanding tropical/subtropical seabed communities. Consequently, where resource constraints do not allow complete surveying of biodiversity, it may be preferable to exclude rare species to allow investment in a broader range of taxonomic groups

Inversion symmetric 3-monopoles and the Atiyah-Hitchin manifold

We consider 3-monopoles symmetric under inversion symmetry. We show that the moduli space of these monopoles is an Atiyah-Hitchin submanifold of the 3-monopole moduli space. This allows what is known about 2-monopole dynamics to be translated into results about the dynamics of 3-monopoles. Using a numerical ADHMN construction we compute the monopole energy density at various points on two interesting geodesics. The first is a geodesic over the two-dimensional rounded cone submanifold corresponding to right angle scattering and the second is a closed geodesic for three orbiting monopoles.Comment: latex, 22 pages, 2 figures. To appear in Nonlinearit

Recurrent laryngeal nerve palsy due to impacted dental plate in the thoracic oesophagus: case report

<p>Abstract</p> <p>Background</p> <p>Retained oesophageal foreign bodies must be urgently removed to prevent potentially serious complications. Recurrent laryngeal nerve palsy is rare and has not been reported in association with a foreign body in the thoracic oesophagus.</p> <p>Case presentation</p> <p>We present a case of a dental plate in the thoracic oesophagus that caused high dysphagia. Delayed diagnosis led to a recurrent laryngeal nerve palsy, which persisted despite successful surgical removal of the foreign body.</p> <p>Conclusion</p> <p>Oesophagoscopy is essential to fully assess patients with persistent symptoms after foreign body ingestion, irrespective of the level of dysphagia. Recurrent laryngeal nerve palsy may indicate impending perforation and should prompt urgent evaluation and treatment.</p

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201