Search
Now showing items 51-60 of 219
Algebraic functions in quasiprimal algebras
(2014)
A function is algebraic on an algebra A if it can be implicitly defined by a system of equations on A. In this note we give a semantic characterization for algebraic functions on quasiprimal algebras. This characterization ...
Experimental determination of L X-ray fluorescence cross sections for elements with 45 < Z < 50 at 10 keV
(2014)
Synchrotron radiation at 10 keV was used to experimentally determine the Ll, La, LbI ,LbII , LgI and LgII fluorescence cross sections for elements with 45 < Z < 50, as part of an ongoing investigation at low energies. The ...
Spectra of lens spaces from 1-norm spectra of congruence lattices
(2016)
To every n-dimensional lens space L, we associate a congruence lattice L in Zm, with n = 2m−1 and we prove a formula relating the multiplicities of Hodge-Laplace eigenvalues on L with the number of lattice elements of a ...
Geometric formulation of the uncertainty principle
(2014)
A geometric approach to formulate the uncertainty principle between quantum observables acting on an N-dimensional Hilbert space is proposed. We consider the fidelity between a density operator associated with a quantum ...
Silver L1, L2 and L3 cross-sections for ionization and x-ray production by electron impact
(2014)
The experimental determination of ionization cross-sections and total x-ray production cross-sections under electron impact is carried out for the three silver L-subshells. The very complex spectral structure involving ...
Proving correctness of a compiler using step-indexed logical relations
(2016)
In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...
Self-avoiding walks on a bilayer Bethe lattice
(2014)
We propose and study a model of polymer chains in a bilayer. Each chain is confined in one of
the layers and polymer bonds on first neighbor edges in different layers interact. We also define and
comment results for a ...
Localization of the valence electron of endohedrally confined hydrogen, lithium and sodium in fullerene cages
(2016)
The localization of the valence electron of H, Li and N a atoms enclosed by three different fullerene molecules is studied. The structure of the fullerene molecules is used to calculate the equilibrium position of the ...
Effects of magnetic field gradients on the aggregation dynamics of colloidal magnetic nanoparticles
(2015)
We have used low-field 1H nuclear-magnetic resonance (NMR) spectroscopy and molecular dynamics (MD) to investigate the aggregation dynamics of magnetic particles in ionic ferrofluids (IFFs) in the presence of magnetic field ...
A posteriori error estimates for elliptic problems with Dirac measure terms in weighted spaces
(2014)
In this article we develop a posteriori error estimates for second order linear elliptic problems with point sources in two- and three-dimensional domains. We prove a global upper bound and a local lower bound for the error ...