1,273 research outputs found

    Knowing Values and Public Inspection

    Get PDF
    We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which updates the agents' knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Armstrong axioms for dependencies in databases

    High-energy Atmospheric Muon Flux Expected at India-Based Neutrino Observatory

    Full text link
    We calculate the zenith-angle dependence of conventional and prompt high-energy muon fluxes at India-Based Neutrino Observatory (INO) depth. This study demonstrates a possibility to discriminate models of the charm hadroproduction including the low-x QCD behaviour of hadronic cross-sections relevant at very high energies.Comment: 10 pages. 8 figures, 3 table

    Peculiarities of phonon spectra and lattice heat capacity in Ir and Rh

    Full text link
    A simple pseudopotential model is proposed, which allows the phonon spectra and temperature dependence of the lattice heat capacity of Ir and Rh be described with a high enough accuracy. A careful comparison of the calculated and experimental values of the lattice heat capacity is carried out, with the procedure of the identification of the phonon contribution to the heat capacity and determination of the characteristics (momenta) of the phonon density of states from the experimental values of the total heat capacity of metal at a constant pressure being described in detail. The results of the theoretical calculations explain, in particular, such peculiar feature of Ir and Rh, unusual for cubic metals, as a sharp (more than by a factor of 1.5) decrease in the effective Debye temperature with increasing termperature. The temperature dependence of the mean square amplitude of atomic displacements in Ir and Rh has been calculated. Basing on the band calculations the manifestation of the Kohn singularities in the phonon spectra of Ir are discussed.Comment: 15 pages, LaTeX2e, 12 figures in postscrip

    Boron Nitride Monolayer: A Strain-Tunable Nanosensor

    Full text link
    The influence of triaxial in-plane strain on the electronic properties of a hexagonal boron-nitride sheet is investigated using density functional theory. Different from graphene, the triaxial strain localizes the molecular orbitals of the boron-nitride flake in its center depending on the direction of the applied strain. The proposed technique for localizing the molecular orbitals that are close to the Fermi level in the center of boron nitride flakes can be used to actualize engineered nanosensors, for instance, to selectively detect gas molecules. We show that the central part of the strained flake adsorbs polar molecules more strongly as compared with an unstrained sheet.Comment: 20 pages, 9 figure

    Dark Matter Search Perspectives with GAMMA-400

    Full text link
    GAMMA-400 is a future high-energy gamma-ray telescope, designed to measure the fluxes of gamma-rays and cosmic-ray electrons + positrons, which can be produced by annihilation or decay of dark matter particles, and to survey the celestial sphere in order to study point and extended sources of gamma-rays, measure energy spectra of Galactic and extragalactic diffuse gamma-ray emission, gamma-ray bursts, and gamma-ray emission from the Sun. GAMMA-400 covers the energy range from 100 MeV to ~3000 GeV. Its angular resolution is ~0.01 deg(Eg > 100 GeV), and the energy resolution ~1% (Eg > 10 GeV). GAMMA-400 is planned to be launched on the Russian space platform Navigator in 2019. The GAMMA-400 perspectives in the search for dark matter in various scenarios are presented in this paperComment: 4 pages, 4 figures, submitted to the Proceedings of the International Cosmic-Ray Conference 2013, Brazil, Rio de Janeir
    • …
    corecore