We study different behavioral metrics, such as those arising from both
branching and linear-time semantics, in a coalgebraic setting. Given a
coalgebra α:X→HX for a functor H:Set→Set, we define...
Oscillating superflow in multicomponent Bose-Einstein condensates
December 20, 2017
|
Physics
Quantum Gases
Conservation of angular momentum depends on the existence of rotational
symmetry. However, even in systems where this symmetry is broken, flipping
between angular momentum eigenstates often requires an activation energy. Here
we discuss an ...
Axiomatic foundation of quantum measurements and survival effect
December 17, 2017
Physics
Quantum Physics
The axiomatic theory of quantum first-kind measurements is developed in a
rigorous form based on five Postulates. The measurement theory for observable
with continuous spectrum is given in a rigged Hilbert space. This approach also
describe...
Special unipotent representations of real classical groups: construction
and unitarity
December 15, 2017
| | | | | | |
Mathematics
Representation Theory
Representation Theory
Let G be a real classical group (including the real metaplectic group). We
consider a nilpotent adjoint orbit Oˇ of Gˇ, the
Langlands dual of G (or the metaplectic dual of G when G is a real
metaplectic gro...
A Promising Future: Omission Failures in Choreographic Programming
December 14, 2017
| | | | |
Computer Science
Programming Languages
Programming Languages
Choreographic programming promises a simple approach to the coding of
concurrent and distributed systems: write the collective communication
behaviour of a system of processes as a choreography, and then the programs for
these processes are...
A Generic Model for Swarm Intelligence and Its Validations
December 12, 2017
|
Computer Science
Artificial Intelligence
Artificial Intelligence
The modeling of emergent swarm intelligence constitutes a major challenge and
it has been tackled in a number of different ways. However, existing approaches
fail to capture the nature of swarm intelligence and they are either too
abstract ...
Homotopical algebra for Lie algebroids
December 9, 2017
Mathematics
Algebraic Topology
Category Theory
We construct Quillen equivalent semi-model structures on the categories of
dg-Lie algebroids and L∞-algebroids over a commutative dg-algebra in
characteristic zero. This allows one to apply the usual methods of homotopical
algebra t...
MV-PURE Spatial Filters with Application to EEG/MEG Source
Reconstruction
December 8, 2017
| |
Electrical Engineering and Systems Science
Mathematics
Signal Processing
Optimization and Control
In this paper we propose spatial filters for a linear regression model which
are based on the minimum-variance pseudo-unbiased reduced-rank estimation
(MV-PURE) framework. As a sample application, we consider the problem of
reconstruction o...
Signatures of Star-planet Interactions
December 7, 2017
| | |
Physics
Solar and Stellar Astrophysics
Earth and Planetary Astrophysics
Solar and Stellar Astrophysics
Earth and Planetary Astrophysics
Planets interact with their host stars through gravity, radiation and
magnetic fields, and for those giant planets that orbit their stars within ~10
stellar radii (~0.1 AU for a sun-like star), star-planet interactions (SPI) are
observable ...
Micro Hand Gesture Recognition System Using Ultrasonic Active Sensing
December 1, 2017
| | | | |
Electrical Engineering and Systems Science
Computer Science
Signal Processing
Human-Computer Interaction
Signal Processing
Human-Computer Interaction
In this paper, we propose a micro hand gesture recognition system and methods
using ultrasonic active sensing. This system uses micro dynamic hand gestures
for recognition to achieve human-computer interaction (HCI). The implemented
system,...