Nonlinear Ultrasonic Properties of As-Quenched Steels

We have investigated the effect of carbon content on the nonlinear ultrasonic parameter β and the longitudinal phase velocity v L in a series of martensitic steel specimens. The specimens were measured in the as-quenched state to insure that the carbon was present primarily as an interstitial in the martensite. Experimentally, β increased with increasing mass percent carbon (or hardness), while v Lremained virtually the same for all specimens. Therefore we conclude that β is sensitive to microstructural variations between the specimens, but v L is not. X-ray diffraction experiments indicate that the dislocation density in the specimens is high (∼1011/cm2) and increases with increasing carbon content. These results support the hypothesis that the observed increase in β may be attributed to dislocations affected by internal stresses in the quenched specimens

Generalized Sums over Histories for Quantum Gravity I. Smooth Conifolds

This paper proposes to generalize the histories included in Euclidean functional integrals from manifolds to a more general set of compact topological spaces. This new set of spaces, called conifolds, includes nonmanifold stationary points that arise naturally in a semiclasssical evaluation of such integrals; additionally, it can be proven that sequences of approximately Einstein manifolds and sequences of approximately Einstein conifolds both converge to Einstein conifolds. Consequently, generalized Euclidean functional integrals based on these conifold histories yield semiclassical amplitudes for sequences of both manifold and conifold histories that approach a stationary point of the Einstein action. Therefore sums over conifold histories provide a useful and self-consistent starting point for further study of topological effects in quantum gravity. Postscript figures available via anonymous ftp at black-hole.physics.ubc.ca (137.82.43.40) in file gen1.ps.Comment: 81pp., plain TeX, To appear in Nucl. Phys.

Quantization and spacetime topology

We consider classical and quantum dynamics of a free particle in de Sitter's space-times with different topologies to see what happens to space-time singularities of removable type in quantum theory. We find analytic solution of the classical dynamics. The quantum dynamics is solved by finding an essentially self-adjoint representation of the algebra of observables integrable to the unitary representations of the symmetry group of each considered gravitational system. The dynamics of a massless particle is obtained in the zero-mass limit of the massive case. Our results indicate that taking account of global properties of space-time enables quantization of particle dynamics in all considered cases.Comment: Class. Quantum Grav. 20 (2003) 2491-2507; no figures, RevTeX

Exercise training reduces the acute physiological severity of post-menopausal hot flushes.

A hot-flush is characterised by feelings of intense heat, profuse elevations in cutaneous vasodilation and sweating, and reduced brain blood flow. Exercise training reduces self-reported hot-flush severity, but underpinning physiological data are lacking. We hypothesised that exercise training attenuates the changes in cutaneous vasodilation, sweat rate and cerebral blood flow during a hot flush. In a preference trial, 18 symptomatic post-menopausal women underwent a passive heat stress to induce hot-flushes at baseline and follow-up. Fourteen participants opted for a 16-week moderate intensity supervised exercise intervention, while 7 participants opted for control. Sweat rate, cutaneous vasodilation, blood pressure, heart rate and middle cerebral artery velocity (MCAv) were measured during the hot-flushes. Data were binned into eight equal segments, each representing 12.5% of hot flush duration. Weekly self-reported frequency and severity of hot flushes were also recorded at baseline and follow-up. Following training, mean hot-flush sweat rate decreased by 0.04 mg·cm2 ·min-1 at the chest (95% CI: 0.02-0.06, P = 0.01) and by 0.03 mg·cm2 ·min-1 (0.02-0.05, P = 0.03) at the forearm, compared with negligible changes in control. Training also mediated reductions in cutaneous vasodilation by 9% (6-12) at the chest and by 7% (4-9) at forearm (P≤0.05). Training attenuated hot flush MCAv by 3.4 cm/s (0.7-5.1, P = 0.04) compared with negligible changes in control. Exercise training reduced the self-reported severity of hot-flush by 109 arbitrary units (80-121, P<0.001). These data indicate that exercise training leads to parallel reductions in hot-flush severity and within-flush changes in cutaneous vasodilation, sweating and cerebral blood flo

Loneliness and social isolation as risk factors for coronary heart disease and stroke: systematic review and meta-analysis of longitudinal observational studies

BACKGROUND: The influence of social relationships on morbidity is widely accepted, but the size of the risk to cardiovascular health is unclear. OBJECTIVE: We undertook a systematic review and meta-analysis to investigate the association between loneliness or social isolation and incident coronary heart disease (CHD) and stroke. METHODS: Sixteen electronic databases were systematically searched for longitudinal studies set in high-income countries and published up until May 2015. Two independent reviewers screened studies for inclusion and extracted data. We assessed quality using a component approach and pooled data for analysis using random effects models. RESULTS: Of the 35 925 records retrieved, 23 papers met inclusion criteria for the narrative review. They reported data from 16 longitudinal datasets, for a total of 4628 CHD and 3002 stroke events recorded over follow-up periods ranging from 3 to 21 years. Reports of 11 CHD studies and 8 stroke studies provided data suitable for meta-analysis. Poor social relationships were associated with a 29% increase in risk of incident CHD (pooled relative risk: 1.29, 95% CI 1.04 to 1.59) and a 32% increase in risk of stroke (pooled relative risk: 1.32, 95% CI 1.04 to 1.68). Subgroup analyses did not identify any differences by gender. CONCLUSIONS: Our findings suggest that deficiencies in social relationships are associated with an increased risk of developing CHD and stroke. Future studies are needed to investigate whether interventions targeting loneliness and social isolation can help to prevent two of the leading causes of death and disability in high-income countries. STUDY REGISTRATION NUMBER: CRD42014010225

Influence of soil on the efficacy of entomopathogenic nematodes in reducing Diabrotica virgifera virgifera in maize

The use of entomopathogenic nematodes is one potential non-chemical approach to control the larvae of the invasive western corn rootworm (Diabrotica virgifera virgifera LeConte, Coleoptera: Chrysomelidae) in Europe. This study investigated the efficacy of Heterorhabditis bacteriophora Poinar (Rhabditida: Heterorhabditidae), Heterorhabditis megidis Poinar, Jackson and Klein (Rh., Heterorhabditidae) and Steinernema feltiae Filipjev (Rh., Steinernematidae) in reducing D. v. virgifera as a function of soil characteristics. A field experiment was repeated four times in southern Hungary using artificially infested maize plants potted into three different soils. Sleeve gauze cages were used to assess the number of emerging adult D. v. virgifera from the treatments and untreated controls. Results indicate that nematodes have the potential to reduce D. v. virgifera larvae in most soils; however, their efficacy can be higher in maize fields with heavy clay or silty clay soils than in sandy soils, which is in contrast to the common assumption that nematodes perform better in sandy soils than in heavy soils

How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio