1,273 research outputs found
Knowing Values and Public Inspection
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
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
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
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
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
- …