Topological descriptors for 3D surface analysis

We investigate topological descriptors for 3D surface analysis, i.e. the classification of surfaces according to their geometric fine structure. On a dataset of high-resolution 3D surface reconstructions we compute persistence diagrams for a 2D cubical filtration. In the next step we investigate different topological descriptors and measure their ability to discriminate structurally different 3D surface patches. We evaluate their sensitivity to different parameters and compare the performance of the resulting topological descriptors to alternative (non-topological) descriptors. We present a comprehensive evaluation that shows that topological descriptors are (i) robust, (ii) yield state-of-the-art performance for the task of 3D surface analysis and (iii) improve classification performance when combined with non-topological descriptors.Comment: 12 pages, 3 figures, CTIC 201

Formal Verification of Security Protocol Implementations: A Survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approac

The holographic principle

There is strong evidence that the area of any surface limits the information content of adjacent spacetime regions, at 10^(69) bits per square meter. We review the developments that have led to the recognition of this entropy bound, placing special emphasis on the quantum properties of black holes. The construction of light-sheets, which associate relevant spacetime regions to any given surface, is discussed in detail. We explain how the bound is tested and demonstrate its validity in a wide range of examples. A universal relation between geometry and information is thus uncovered. It has yet to be explained. The holographic principle asserts that its origin must lie in the number of fundamental degrees of freedom involved in a unified description of spacetime and matter. It must be manifest in an underlying quantum theory of gravity. We survey some successes and challenges in implementing the holographic principle.Comment: 52 pages, 10 figures, invited review for Rev. Mod. Phys; v2: reference adde

Zinc intake, status and indices of cognitive function in adults and children: a systematic review and meta-analysis

In developing countries, deficiencies of micronutrients are thought to have a major impact on child development; however, a consensus on the specific relationship between dietary zinc intake and cognitive function remains elusive. The aim of this systematic review was to examine the relationship between zinc intake, status and indices of cognitive function in children and adults. A systematic literature search was conducted using EMBASE, MEDLINE and Cochrane Library databases from inception to March 2014. Included studies were those that supplied zinc as supplements or measured dietary zinc intake. A meta-analysis of the extracted data was performed where sufficient data were available. Of all of the potentially relevant papers, 18 studies met the inclusion criteria, 12 of which were randomised controlled trials (RCTs; 11 in children and 1 in adults) and 6 were observational studies (2 in children and 4 in adults). Nine of the 18 studies reported a positive association between zinc intake or status with one or more measure of cognitive function. Meta-analysis of data from the adult’s studies was not possible because of limited number of studies. A meta-analysis of data from the six RCTs conducted in children revealed that there was no significant overall effect of zinc intake on any indices of cognitive function: intelligence, standard mean difference of <0.001 (95% confidence interval (CI) –0.12, 0.13) P=0.95; executive function, standard mean difference of 0.08 (95% CI, –0.06, 022) P=0.26; and motor skills standard mean difference of 0.11 (95% CI –0.17, 0.39) P=0.43. Heterogeneity in the study designs was a major limitation, hence only a small number (n=6) of studies could be included in the meta-analyses. Meta-analysis failed to show a significant effect of zinc supplementation on cognitive functioning in children though, taken as a whole, there were some small indicators of improvement on aspects of executive function and motor development following supplementation but high-quality RCTs are necessary to investigate this further

Foot pain and foot health in an educated population of adults: results from the Glasgow Caledonian University Alumni Foot Health Survey

Abstract Background Foot pain is common amongst the general population and impacts negatively on physical function and quality of life. Associations between personal health characteristics, lifestyle/behaviour factors and foot pain have been studied; however, the role of wider determinants of health on foot pain have received relatively little attention. Objectives of this study are i) to describe foot pain and foot health characteristics in an educated population of adults; ii) to explore associations between moderate-to-severe foot pain and a variety of factors including gender, age, medical conditions/co-morbidity/multi-morbidity, key indicators of general health, foot pathologies, and social determinants of health; and iii) to evaluate associations between moderate-to-severe foot pain and foot function, foot health and health-related quality-of-life. Methods Between February and March 2018, Glasgow Caledonian University Alumni with a working email address were invited to participate in the cross-sectional electronic survey (anonymously) by email via the Glasgow Caledonian University Alumni Office. The survey was constructed using the REDCap secure web online survey application and sought information on presence/absence of moderate-to-severe foot pain, patient characteristics (age, body mass index, socioeconomic status, occupation class, comorbidities, and foot pathologies). Prevalence data were expressed as absolute frequencies and percentages. Multivariate logistic and linear regressions were undertaken to identify associations 1) between independent variables and moderate-to-severe foot pain, and 2) between moderate-to-severe foot pain and foot function, foot health and health-related quality of life. Results Of 50,228 invitations distributed, there were 7707 unique views and 593 valid completions (median age [inter-quartile range] 42 [31–52], 67.3% female) of the survey (7.7% response rate). The sample was comprised predominantly of white Scottish/British (89.4%) working age adults (95%), the majority of whom were overweight or obese (57.9%), and in either full-time or part-time employment (82.5%) as professionals (72.5%). Over two-thirds (68.5%) of the sample were classified in the highest 6 deciles (most affluent) of social deprivation. Moderate-to-severe foot pain affected 236/593 respondents (39.8%). High body mass index, presence of bunions, back pain, rheumatoid arthritis, hip pain and lower occupation class were included in the final multivariate model and all were significantly and independently associated with moderate-to-severe foot pain (p < 0.05), except for rheumatoid arthritis (p = 0.057). Moderate-to-severe foot pain was significantly and independently associated lower foot function, foot health and health-related quality of life scores following adjustment for age, gender and body mass index (p < 0.05). Conclusions Moderate-to-severe foot pain was highly prevalent in a university-educated population and was independently associated with female gender, high body mass index, bunions, back pain, hip pain and lower occupational class. Presence of moderate-to-severe foot pain was associated with worse scores for foot function, foot health and health-related quality-of-life. Education attainment does not appear to be protective against moderate-to-severe foot pain

The Effect of Transposable Element Insertions on Gene Expression Evolution in Rodents

Background:Many genomes contain a substantial number of transposable elements (TEs), a few of which are known to be involved in regulating gene expression. However, recent observations suggest that TEs may have played a very important role in the evolution of gene expression because many conserved non-genic sequences, some of which are know to be involved in gene regulation, resemble TEs. Results:Here we investigate whether new TE insertions affect gene expression profiles by testing whether gene expression divergence between mouse and rat is correlated to the numbers of new transposable elements inserted near genes. We show that expression divergence is significantly correlated to the number of new LTR and SINE elements, but not to the numbers of LINEs. We also show that expression divergence is not significantly correlated to the numbers of ancestral TEs in most cases, which suggests that the correlations between expression divergence and the numbers of new TEs are causal in nature. We quantify the effect and estimate that TE insertion has accounted for ~20% (95% confidence interval: 12% to 26%) of all expression profile divergence in rodents. Conclusions:We conclude that TE insertions may have had a major impact on the evolution of gene expression levels in rodents

Garden and landscape-scale correlates of moths of differing conservation status: significant effects of urbanization and habitat diversity

Moths are abundant and ubiquitous in vegetated terrestrial environments and are pollinators, important herbivores of wild plants, and food for birds, bats and rodents. In recent years, many once abundant and widespread species have shown sharp declines that have been cited by some as indicative of a widespread insect biodiversity crisis. Likely causes of these declines include agricultural intensification, light pollution, climate change, and urbanization; however, the real underlying cause(s) is still open to conjecture. We used data collected from the citizen science Garden Moth Scheme (GMS) to explore the spatial association between the abundance of 195 widespread British species of moth, and garden habitat and landscape features, to see if spatial habitat and landscape associations varied for species of differing conservation status. We found that associations with habitat and landscape composition were species-specific, but that there were consistent trends in species richness and total moth abundance. Gardens with more diverse and extensive microhabitats were associated with higher species richness and moth abundance; gardens near to the coast were associated with higher richness and moth abundance; and gardens in more urbanized locations were associated with lower species richness and moth abundance. The same trends were also found for species classified as increasing, declining and vulnerable under IUCN (World Conservation Union) criteria

Auxetic foam for snowsport safety devices

Skiing and snowboarding are popular snow-sports with inherent risk of injury. There is potential to reduce the prevalence of injuries by improving and implementing snow-sport safety devices with the application of advanced materials. This paper investigates the application of auxetic foam to snow-sport safety devices. Composite pads - consisting of foam covered with a semi-rigid shell - were investigated as a simple model of body armour and a large 70 x 355 x 355 mm auxetic foam sample was fabricated as an example crash barrier. The thermo-mechanical conversion process was applied to convert open-cell polyurethane foam to auxetic foam. The composite pad with auxetic foam absorbed around three times more energy than the conventional equivalent under quasi-static compression with a concentrated load, indicating potential for body armour applications. An adapted thermo-mechanical process - utilising through-thickness rods to control in-plane compression - was applied to fabricate the large sample with relatively consistent properties throughout, indicating further potential for fabrication of a full size auxetic crash barrier. Further work will create full size prototypes of snow-sport safety devices with comparative testing against current products

The entropy of black holes: a primer

After recalling the definition of black holes, and reviewing their energetics and their classical thermodynamics, one expounds the conjecture of Bekenstein, attributing an entropy to black holes, and the calculation by Hawking of the semi-classical radiation spectrum of a black hole, involving a thermal (Planckian) factor. One then discusses the attempts to interpret the black-hole entropy as the logarithm of the number of quantum micro-states of a macroscopic black hole, with particular emphasis on results obtained within string theory. After mentioning the (technically cleaner, but conceptually more intricate) case of supersymmetric (BPS) black holes and the corresponding counting of the degeneracy of Dirichlet-brane systems, one discusses in some detail the ``correspondence'' between massive string states and non-supersymmetric Schwarzschild black holes.Comment: 51 pages, 4 figures, talk given at the "Poincare seminar" (Paris, 6 December 2003), to appear in Poincare Seminar 2003 (Birkhauser

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV