Results 11 to 20 of about 358 (45)
Robustness of Equations Under Operational Extensions
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid the need to ...
A.J.R.G. (Robin) Milner +19 more
core +2 more sources
We report on a novel Kondo phenomenon of interacting quantum dots coupled asymmetrically to a normal and a superconducting lead. The effects of intradot Coulomb interaction and Andreev tunneling give rise to Andreev bound resonances.
A. A. Clerk +23 more
core +1 more source
Spin-wave excitations in ribbon-shaped Fe nanoparticles [PDF]
It has been found that in highly anisometric ribbon-shaped Fe particles with nanoscale dimensions that the magnetization decreases with temperature markedly faster than in bulk bcc Fe.
Crespo del Arco, Patricia +3 more
core +2 more sources
Uniformly bounded orthonormal polynomials on the sphere [PDF]
We introduce a new notion for the deformation of Gabor systems. Such deformations are in general nonlinear and, in particular, include the standard jitter error and linear deformations of phase space.
Marzo Sánchez, Jordi +1 more
core +1 more source
Формирование вектора напряжения на шинах автономной электростанции [PDF]
Рассмотрены вопросы формирования вектора напряжения на шинах параллельной работы синхронных генераторов автономной электростанции и расчет тока нагрузки каждого генератора, что позволяет строить математические модели автономных электростанций и ...
Хижняков, Ю. Н.
core
Representability of derived stacks [PDF]
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack.
Goerss +9 more
core +4 more sources
Условия практической устойчивости дискретных систем и функции Ляпунова [PDF]
Розглянуто питання побудови оптимальних оцінок множин початкових даних та фазових обмежень для дискретних систем за допомогою методу функцій Ляпунова.
Bashnyаkov, O. M. +8 more
core
Kneading determinants and spectra of transfer operators in higher dimensions, the isotropic case
Transfer operators M_k acting on k-forms in R^n are associated to smooth transversal local diffeomorphisms and compactly supported weight functions. A formal trace is defined by summing the product of the weight and the Lefschetz sign over all fixed ...
Baillif, M., Baladi, V.
core +3 more sources
Ramsey-type theorems for lines in 3-space
We prove geometric Ramsey-type statements on collections of lines in 3-space. These statements give guarantees on the size of a clique or an independent set in (hyper)graphs induced by incidence relations between lines, points, and reguli in 3-space ...
Cardinal, Jean +2 more
core +1 more source
Comments on the optical lineshape function: Application to transient hole-burned spectra of bacterial reaction centers [PDF]
Citation: Reppert, M., Kell, A., Pruitt, T., & Jankowiak, R. (2015). Comments on the optical lineshape function: Application to transient hole-burned spectra of bacterial reaction centers. Journal of Chemical Physics, 142(9), 7.
Jankowiak, Ryszard J. +3 more
core +1 more source

