Search
Now showing items 11-20 of 30
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 ...
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 ...
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 ...
Molecular dissociation in presence of a catalyst : II. The bond breaking role of the transition from virtual to localized states
(2016)
We address a molecular dissociation mechanism that is known to occur when a H 2 molecule approaches a catalyst with its molecular axis parallel to the surface. It is found that molecular dissociation is a form of quantum ...
Non-strongly isospectral spherical space forms
(2016)
In this paper we describe recent results on explicit construction of lens spaces that are not strongly isospectral, yet they are isospectral on p-forms for every p. Such examples cannot be obtained by the Sunada method. ...
Decay bounds for nonlocal evolution equations in Orlicz spaces
(2016)
We show decay bounds of the form ∫Rd φ(u (x, t)) dx ≤ Ct−μ for integrable and bounded solutions to the nonlocal evolution equation ut(x, t) = ∫Rd J(x, y)G(u(y, t) − u(x, t))(u(y, t) − u(x, t)) dy + f (u(x, t)). Here G is ...
Recent developments in GEANT 4
(2016)
GEANT4 is a software toolkit for the simulation of the passage of particles through matter. It is used by a large number of experiments and projects in a variety of application domains, including high energy physics, ...
Inequality between size and charge in spherical symmetry
(2016)
We prove that, for a charged spherically symmetric body, twice the radius is always strictly greater than the charge of the body. We also prove that this inequality is sharp. Finally, we discuss the physical implications ...
Existence of nonnegative solutions for singular elliptic problems
(2016)
We prove the existence of nonnegative nontrivial weak solutions to the problem −∆u = au−αχ{u>0} − bup in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in Rn. A sufficient condition for the existence of a continuous and ...
Influence of the incorporation of fibers in biscuit dough on proton mobility characterized by time domain NMR
(2016)
The effect of fiber addition on the distribution and mobility of protons in biscuits is studied by using low resolution time domain Nuclear Magnetic Resonance (TD-NMR). The proportion of flour is reduced in order to ...