Comparative theoretical study of the Ag-MgO (100) and (110) interfaces

We have calculated the atomic and electronic structures of Ag-MgO(100) and (110) interfaces using a periodic (slab) model and an ab initio Hartree-Fock approach with a posteriori electron correlation corrections. The electronic structure information includes interatomic bond populations, effective charges, and multipole moments of ions. This information is analyzed in conjunction with the interface binding energy and the equilibrium distances for both interfaces for various coverages. There are significant differences between partly covered surfaces and surfaces with several layers of metal, and these can be understood in terms of electrostatics and the electron density changes.For complete monolayer (1:1) coverage of the perfect MgO(100) surface, the most favorable adsorption site energetically for the Ag atom is above the surface oxygen. However, for partial (1:4) coverage of the same surface, the binding energies are very close for all the three likely adsorption positions (Ag over O, Ag over Mg, Ag over a gap position),For a complete (1:1) Ag monolayer coverage of the perfect MgO(110) interface, the preferable Ag adsorption site is over the interatomic gap position, whereas for an Ag bilayer coverage the preferred Ag site is above the subsurface Mg2+ ion (the bridge site between two nearest surface O2- ions). In the case of 1:2 layer coverage, both sites are energetically equivalent. These two adhesion energies for the (110) substrate are by a factor of two to three larger than over other possible adsorption sites on perfect(110) or (100) surfaces.We compare our atomistic calculations for one to three Ag planes with those obtained by the shell model for 10 Ag planes and the Image Interaction Model addressing the case of thick metal layers. Qualitatively, our ab initio results agree well with many features of these models. The main charge redistributions are well in line with those expected from the Image Model. There is also broad agreement in regard to orders of magnitude of energies. (C) 1999 Elsevier Science B.V. All rights reserved

Parameterized Verification of Systems with Global Synchronization and Guards

Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for global transition guards. Our model generalizes many existing models in the literature, including broadcast protocols and guarded protocols. We show that reachability properties are decidable for systems without guards, and give sufficient conditions under which they remain decidable in the presence of guards. Furthermore, we investigate cutoffs for reachability properties and provide sufficient conditions for small cutoffs in a number of cases that are inspired by our target applications.Comment: Accepted at CAV 202

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

We investigate the satisfaction of specifications in Prompt Linear Temporal Logic (Prompt-LTL) by concurrent systems. Prompt-LTL is an extension of LTL that allows to specify parametric bounds onthe satisfaction of eventualities, thus adding a quantitative aspect to the specification language. We establish a connection between bounded fairness, bounded stutter equivalence, and the satisfaction of Prompt-LTL\X formulas. Based on this connection, we prove the first cutoff results for different classes of systems with a parametric number of components and quantitative specifications, thereby identifying previously unknown decidable fragments of the parameterized model checking problem

Primary Language and Receipt of Recommended Health Care Among Hispanics in the United States

BackgroundDisparities in health care services between Hispanics and whites in the United States are well documented.ObjectiveThe objective of the study was to determine whether language spoken at home identifies Hispanics at risk for not receiving recommended health care services.DesignThe design of the study was cross-sectional, nationally representative survey of households.PatientsThe patients were non-Hispanic white and Hispanic adults participating in the 2003 Medical Expenditure Panel Survey.MeasurementsWe compared receipt of ten recommended health care services by ethnicity and primary language adjusting for demographic and socioeconomic characteristics, health status, and access to care.ResultsThe sample included 12,706 whites and 5,500 Hispanics. In bivariate comparisons, 57.0% of whites received all eligible health care services compared to 53.6% for Hispanics who spoke English at home, 44.9% for Hispanics who did not speak English at home but who were comfortable speaking English, and 35.0% for Hispanics who did not speak English at home and were uncomfortable speaking English (p < .001). In multivariate logistic models, compared to non-Hispanic whites, Hispanics who did not speak English at home were less likely to receive all eligible health care services, whether they were comfortable speaking English (risk ratio [RR] 0.88, 95% confidence interval [CI] 0.74-0.97) or not (RR 0.84, 95% CI 0.68-0.95).ConclusionsSpeaking a language other than English at home identified Hispanics at risk for not receiving recommended health care services, whether they were comfortable in speaking English or not. Identifying the mechanism for disparities by language usage may lead to interventions to reduce ethnic disparities

Voxel-wise comparisons of cellular microstructure and diffusion-MRI in mouse hippocampus using 3D Bridging of Optically-clear histology with Neuroimaging Data (3D-BOND)

A key challenge in medical imaging is determining a precise correspondence between image properties and tissue microstructure. This comparison is hindered by disparate scales and resolutions between medical imaging and histology. We present a new technique, 3D Bridging of Optically-clear histology with Neuroimaging Data (3D-BOND), for registering medical images with 3D histology to overcome these limitations. Ex vivo 120 × 120 × 200 μm resolution diffusion-MRI (dMRI) data was acquired at 7 T from adult C57Bl/6 mouse hippocampus. Tissue was then optically cleared using CLARITY and stained with cellular markers and confocal microscopy used to produce high-resolution images of the 3D-tissue microstructure. For each sample, a dense array of hippocampal landmarks was used to drive registration between upsampled dMRI data and the corresponding confocal images. The cell population in each MRI voxel was determined within hippocampal subregions and compared to MRI-derived metrics. 3D-BOND provided robust voxel-wise, cellular correlates of dMRI data. CA1 pyramidal and dentate gyrus granular layers had significantly different mean diffusivity (p > 0.001), which was related to microstructural features. Overall, mean and radial diffusivity correlated with cell and axon density and fractional anisotropy with astrocyte density, while apparent fibre density correlated negatively with axon density. Astrocytes, axons and blood vessels correlated to tensor orientation