Search
Now showing items 151-160 of 193
Effect of the microtubule-associated protein tau on dynamics of single-headed motor proteins KIF1A
(2014-02)
Intracellular transport based on molecular motors and its regulation are crucial to the functioning of cells. Filamentary tracks of the cells are abundantly decorated with nonmotile microtubule-associated proteins, such ...
Lie subalgebras of the matrix quantum pseudodifferential operators
(2016)
We give a complete description of the anti-involutions that preserve the principal gradation of the algebra of matrix quantum pseudodifferential operators and we describe the Lie subalgebras of their minus fixed points.
Constitutive hippocampal cholesterol loss underlies poor cognition in old rodents
(2014)
Cognitive decline is one of the many characteristics of aging. Reduced long-term potentiation (LTP) and long-term depression (LTD) are thought to be responsible for this decline, although the precise mechanisms underlying ...
On the linear stability of the extreme Kerr black hole under axially symmetric perturbations
(2014)
We prove that for axially symmetric linear gravitational perturbations of the extreme Kerr black hole, there exists a positive definite and conserved energy. This provides a basic criteria for linear stability in axial ...
Maximal totally geodesic submanifolds and index of symmetric spaces
(2016)
Let M be an irreducible Riemannian symmetric space. The index i(M ) of M is the minimal codimension of a totally geodesic submanifold of M. In [1] we proved that i(M ) is bounded from below by the rank rk(M) of M, that is, ...
Generalized multi-terminal decoherent transport: recursive algorithms and applications to SASER and giant magnetoresistance
(2014)
Decoherent transport in mesoscopic and nanoscopic systems can be formulated in terms of the D'Amato–Pastawski (DP) model. This generalizes the Landauer–Büttiker picture by considering a distribution of local decoherent ...
Existence of strictly positive solutions for sublinear elliptic problems in bounded domains
(2014)
Let Ω be a smooth bounded domain in RN and let m be a possibly discontinuous and
unbounded function that changes sign in Ω. Let f : [0,∞) → [0,∞) be a nondecreasing
continuous function such that k1 ξp ≤ f (ξ) ≤ k2 ξp for ...
First all-sky search for continuous gravitational waves from unknown sources in binary systems
(2014)
We present the first results of an all-sky search for continuous gravitational waves from unknown
spinning neutron stars in binary systems using LIGO and Virgo data. Using a specially developed analysis
program, the ...
Spherical functions : the spheres vs the projective spaces
(2014)
In this paper we establish a close relationship between the
spherical functions of the n-dimensional sphere Sn ≃ SO(n + 1)/SO(n)
and the spherical functions of the n-dimensional real projective space
P n(R) ≃ SO(n + ...
A certified extension of the Krivine machine for a call-by-name higher-order imperative language
(2014)
In this paper we present a compiler that translates programs from an imperative higher-order language into a sequence of instructions for an abstract machine. We consider an extension of the Krivine machine for the ...