The local structure of SO2 and SO3 on Ni(1 1 1): a scanned-energy mode photoelectron diffraction study

O 1s and S 2p scanned-energy mode photoelectron diffraction (PhD) data, combined with multiple-scattering simulations, have been used to determine the local adsorption geometry of the SO2 and SO3 species on a Ni(1 1 1) surface. For SO2, the application of reasonable constraints on the molecular conformation used in the simulations leads to the conclusion that the molecule is centred over hollow sites on the surface, with the molecular plane essentially parallel to the surface, and with both S and O atoms offset from atop sites by almost the same distance of 0.65 Å. For SO3, the results are consistent with earlier work which concluded that surface bonding is through the O atoms, with the S atom higher above the surface and the molecular symmetry axis almost perpendicular to the surface. Based on the O 1s PhD data alone, three local adsorption geometries are comparably acceptable, but only one of these is consistent with the results of an earlier normal-incidence X-ray standing wave (NIXSW) study. This optimised structural model differs somewhat from that originally proposed in the NIXSW investigation

The local structure of OH species on the V2O3(0 0 0 1) surface: a scanned-energy mode photoelectron diffraction study

Scanned-energy mode photoelectron diffraction (PhD), using O 1s photoemission, together with multiple-scattering simulations, have been used to investigate the structure of the hydroxyl species, OH, adsorbed on a V2O3(0 0 0 1) surface. Surface OH species were obtained by two alternative methods; reaction with molecular water and exposure to atomic H resulted in closely similar PhD spectra. Both qualitative assessment and the results of multiple-scattering calculations are consistent with a model in which only the O atoms of outermost layer of the oxide surface are hydroxylated. These results specifically exclude significant coverage of OH species atop the outermost V atoms, i.e. in vanadyl O atom sites. Ab initio density-functional theory cluster calculations provide partial rationalisation of this result, which is discussed the context of the general understanding of this system

A cluster of multidrug-resistant Mycobacterium tuberculosis among patients arriving in Europe from the Horn of Africa: a molecular epidemiological study

SummaryBackground The risk of tuberculosis outbreaks among people fleeing hardship for refuge in Europe is heightened. We describe the cross-border European response to an outbreak of multidrug-resistant tuberculosis among patients from the Horn of Africa and Sudan. Methods On April 29 and May 30, 2016, the Swiss and German National Mycobacterial Reference Laboratories independently triggered an outbreak investigation after four patients were diagnosed with multidrug-resistant tuberculosis. In this molecular epidemiological study, we prospectively defined outbreak cases with 24-locus mycobacterial interspersed repetitive unit-variable number tandem repeat (MIRU-VNTR) profiles; phenotypic resistance to isoniazid, rifampicin, ethambutol, pyrazinamide, and capreomycin; and corresponding drug resistance mutations. We whole-genome sequenced all Mycobacterium tuberculosis isolates and clustered them using a threshold of five single nucleotide polymorphisms (SNPs). We collated epidemiological data from host countries from the European Centre for Disease Prevention and Control. Findings Between Feb 12, 2016, and April 19, 2017, 29 patients were diagnosed with multidrug-resistant tuberculosis in seven European countries. All originated from the Horn of Africa or Sudan, with all isolates two SNPs or fewer apart. 22 (76%) patients reported their travel routes, with clear spatiotemporal overlap between routes. We identified a further 29 MIRU-VNTR-linked cases from the Horn of Africa that predated the outbreak, but all were more than five SNPs from the outbreak. However all 58 isolates shared a capreomycin resistance-associated tlyA mutation. Interpretation Our data suggest that source cases are linked to an M tuberculosis clone circulating in northern Somalia or Djibouti and that transmission probably occurred en route before arrival in Europe. We hypothesise that the shared mutation of tlyA is a drug resistance mutation and phylogenetic marker, the first of its kind in M tuberculosis sensu stricto. Funding The Swiss Federal Office of Public Health, the University of Zurich, the Wellcome Trust, National Institute for Health Research (NIHR) Oxford Biomedical Research Centre (BRC), the Medical Research Council, BELTA-TBnet, the European Union, the German Center for Infection Research, and Leibniz Science Campus Evolutionary Medicine of the Lung (EvoLUNG)

Quantitative local structure determination of R,R-tartaric acid on Cu(110): Monotartrate and bitartrate phases

The local adsorption site of the monotartrate and bitartrate species of R,R-tartaric acid deposited on Cu(110) have been determined by scanned-energy mode photoelectron diffraction (PhD). In the monotartrate phase the molecule is found to adsorb upright through the O atoms of the single deprotonated carboxylic acid (carboxylate) group, which are located in different off-atop sites with associated Cu―O bond lengths of 1.92 ± 0.08 Å and 1.93 ± 0.06 Å; the plane of the carboxylate group is tilted by 17 ± 6° off the surface normal. The bitartrate species adopts a ‘lying down’ orientation, bonding to the surface through all four O atoms of the two carboxylate groups, also in off-atop sites. Three slightly different models give comparably good fits to the PhD data, but only one of these is similar to that predicted by earlier density functional theory calculations. This model is found to have Cu―O bond lengths of 1.93 ± 0.08 Å and 1.95 ± 0.08 Å, while the planes of the carboxylate groups are tilted by 38 ± 6° from the surface normal. -------------------------------------------------------------------------------

Animating TLA Specifications

. TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, with the intent to facilitate the communication between domain and solution experts in the design of reactive systems. 1 Introduction The Temporal Logic of Actions (TLA) has been proposed by Lamport [21] for the specification and verification of reactive and concurrent systems. TLA models describe infinite sequences of states, called behaviors, that correspond to the execution of the system being specified. System specifications in TLA are usually written in a canonical form, which consists of specifying the initial states, the possible moves of the system, and supplementary fairness properties. Because such specifications are akin to the descriptions of automata and often have a strongly operational flavor, it is tempting to take such a formula and "let it run". In this paper, we de..