Algorithms for geodesics

Algorithms for the computation of geodesics on an ellipsoid of revolution are given. These provide accurate, robust, and fast solutions to the direct and inverse geodesic problems and they allow differential and integral properties of geodesics to be computed.Comment: LaTex, 12 pages, 8 figures. Version 2 corrects some errors and adds numerical examples. Supplementary material is available at http://geographiclib.sourceforge.net/geod.htm

Heterogeneity among Mycobacterium ulcerans isolates from Africa

Mycobacterium ulcerans causes Buruli ulcer, an ulcerative skin disease in tropical and subtropical areas. Despite restricted genetic diversity, mycobacterial interspersed repetitive unit-variable-number tandem repeat analysis on M. ulcerans revealed 3 genotypes from different African countries. It is the first time this typing method succeeded directly on patient samples

Comparison of tumour-based (Petersen Index) and inflammation-based (Glasgow Prognostic Score) scoring systems in patients undergoing curative resection for colon cancer

After resection, it is important to identify colon cancer patients, who are at a high risk of recurrence and who may benefit from adjuvant treatment. The Petersen Index (PI), a prognostic model based on pathological criteria is validated in Dukes' B and C disease. Similarly, the modified Glasgow Prognostic Score (mGPS) based on biochemical criteria has also been validated. This study compares both the scores in patients undergoing curative resection of colon cancer. A total of 244 patients underwent elective resection between 1997 and 2005. The PI was constructed from pathological reports; the mGPS was measured pre-operatively. The median follow-up was 67 months (minimum 36 months) during which 109 patients died; 68 of them from cancer. On multivariate analysis of age, Dukes' stage, PI and mGPS, age (hazard ratio, HR, 1.74, P=0.001), Dukes' stage (HR, 3.63, P<0.001), PI (HR, 2.05, P=0.010) and mGPS (HR, 2.34, P<0.001) were associated independently with cancer-specific survival. Three-year cancer-specific survival rates for Dukes' B patients with the low-risk PI were 98, 92 and 82% for the mGPS of 0, 1 and 2, respectively (P<0.05). The high-risk PI population is small, in particular for Dukes' B disease (9%). The mGPS further stratifies those patients classified as low risk by the PI. Combining both the scoring systems could identify patients who have undergone curative surgery but are at high-risk of cancer-related death, therefore guiding management and trial stratification

A study of blood contamination of Siqveland matrix bands

AIMS To use a sensitive forensic test to measure blood contamination of used Siqveland matrix bands following routine cleaning and sterilisation procedures in general dental practice. MATERIALS AND METHODS: Sixteen general dental practices in the West of Scotland participated. Details of instrument cleaning procedures were recorded for each practice. A total of 133 Siqveland matrix bands were recovered following cleaning and sterilisation and were examined for residual blood contamination by the Kastle-Meyer test, a well-recognised forensic technique. RESULTS: Ultrasonic baths were used for the cleaning of 62 (47%) bands and retainers and the remainder (53%) were hand scrubbed prior to autoclaving. Overall, 21% of the matrix bands and 19% of the retainers gave a positive Kastle-Meyer test, indicative of residual blood contamination, following cleaning and sterilisation. In relation to cleaning method, 34% of hand-scrubbed bands and 32% of hand-scrubbed retainers were positive for residual blood by the Kastle-Meyer test compared with 6% and 3% respectively of ultrasonically cleaned bands and retainers (P less than 0.001). CONCLUSIONS: If Siqveland matrix bands are re-processed in the assembled state, then adequate pre-sterilisation cleaning cannot be achieved reliably. Ultrasonic baths are significantly more effective than hand cleaning for these items of equipment

A fast ILP-based Heuristic for the robust design of Body Wireless Sensor Networks

We consider the problem of optimally designing a body wireless sensor network, while taking into account the uncertainty of data generation of biosensors. Since the related min-max robustness Integer Linear Programming (ILP) problem can be difficult to solve even for state-of-the-art commercial optimization solvers, we propose an original heuristic for its solution. The heuristic combines deterministic and probabilistic variable fixing strategies, guided by the information coming from strengthened linear relaxations of the ILP robust model, and includes a very large neighborhood search for reparation and improvement of generated solutions, formulated as an ILP problem solved exactly. Computational tests on realistic instances show that our heuristic finds solutions of much higher quality than a state-of-the-art solver and than an effective benchmark heuristic.Comment: This is the authors' final version of the paper published in G. Squillero and K. Sim (Eds.): EvoApplications 2017, Part I, LNCS 10199, pp. 1-17, 2017. DOI: 10.1007/978-3-319-55849-3\_16. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-55849-3_1

Localizing limit cycles : from numeric to analytical results

Presentation given by participants of the joint international multidisciplinary workshop MURPHYS-HSFS-2016 (MUltiRate Processes and HYSteresis; Hysteresis and Slow-Fast Systems), which was dedicated to the mathematical theory and applications of multiple scale systems and systems with hysteresis, and held at the Centre de Recerca Matemàtica (CRM) in Barcelona from June 13th to 17th, 2016This note presents the results of [4]. It deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré-Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Liénard systems, to prove the existence of the limit cycles and to locate them very precisely in the phase space. Our method, combined with some other classical tools can be applied to obtain sharp bounds for the bifurcation values of a saddle-node bifurcation of limit cycles, as we do for the Rychkov syste

Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation

We revisit the notion of deniability in quantum key exchange (QKE), a topic that remains largely unexplored. In the only work on this subject by Donald Beaver, it is argued that QKE is not necessarily deniable due to an eavesdropping attack that limits key equivocation. We provide more insight into the nature of this attack and how it extends to other constructions such as QKE obtained from uncloneable encryption. We then adopt the framework for quantum authenticated key exchange, developed by Mosca et al., and extend it to introduce the notion of coercer-deniable QKE, formalized in terms of the indistinguishability of real and fake coercer views. Next, we apply results from a recent work by Arrazola and Scarani on covert quantum communication to establish a connection between covert QKE and deniability. We propose DC-QKE, a simple deniable covert QKE protocol, and prove its deniability via a reduction to the security of covert QKE. Finally, we consider how entanglement distillation can be used to enable information-theoretically deniable protocols for QKE and tasks beyond key exchange.Comment: 16 pages, published in the proceedings of NordSec 201

Language and theory of mind in autism spectrum disorder : the relationship between complement syntax and false belief task performance.

This study aimed to test the hypothesis that children with autism spectrum disorder (ASD) use their knowledge of complement syntax as a means of “hacking out” solutions to false belief tasks, despite lacking a representational theory of mind (ToM). Participants completed a “memory for complements” task, a measure of receptive vocabulary, and traditional location change and unexpected contents false belief tasks. Consistent with predictions, the correlation between complement syntax score and location change task performance was significantly stronger within the ASD group than within the comparison group. However, contrary to predictions, complement syntax score was not significantly correlated with unexpected contents task performance within either group. Possible explanations for this pattern of results are considered

Axion Protection from Flavor

The QCD axion fails to solve the strong CP problem unless all explicit PQ violating, Planck-suppressed, dimension n<10 operators are forbidden or have exponentially small coefficients. We show that all theories with a QCD axion contain an irreducible source of explicit PQ violation which is proportional to the determinant of the Yukawa interaction matrix of colored fermions. Generically, this contribution is of low operator dimension and will drastically destabilize the axion potential, so its suppression is a necessary condition for solving the strong CP problem. We propose a mechanism whereby the PQ symmetry is kept exact up to n=12 with the help of the very same flavor symmetries which generate the hierarchical quark masses and mixings of the SM. This "axion flavor protection" is straightforwardly realized in theories which employ radiative fermion mass generation and grand unification. A universal feature of this construction is that the heavy quark Yukawa couplings are generated at the PQ breaking scale.Comment: 16 pages, 2 figure

Quantum interference and Klein tunneling in graphene heterojunctions

The observation of quantum conductance oscillations in mesoscopic systems has traditionally required the confinement of the carriers to a phase space of reduced dimensionality. While electron optics such as lensing and focusing have been demonstrated experimentally, building a collimated electron interferometer in two unconfined dimensions has remained a challenge due to the difficulty of creating electrostatic barriers that are sharp on the order of the electron wavelength. Here, we report the observation of conductance oscillations in extremely narrow graphene heterostructures where a resonant cavity is formed between two electrostatically created bipolar junctions. Analysis of the oscillations confirms that p-n junctions have a collimating effect on ballistically transmitted carriers. The phase shift observed in the conductance fringes at low magnetic fields is a signature of the perfect transmission of carriers normally incident on the junctions and thus constitutes a direct experimental observation of ``Klein Tunneling.''Comment: 13 pages and 6 figures including supplementary information. The paper has been modified in light of new theoretical results available at arXiv:0808.048