This paper describes several text independent speech segmentation methods. State-of-the-art applications and the prospected use of automatic speech segmentation techniques are presented, including the direct applicability of automatic segmentation in recognition, coding and speech corpora annotation, which is a central issue in today’s speech technology. Moreover, a novel parametric segmentatio...

We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a...

A new polynomial formulation of variable step size linear multistep methods is presented, where each k-step method is characterized by a fixed set of k− 1 or k parameters. This construction includes all methods of maximal order (p = k for stiff, and p = k+1 for nonstiff problems). Supporting time step adaptivity by construction, the new formulation is not based on extending classical fixed step...

Given a time-independent Hamiltonian $\widetilde H$, one can construct time-dependent $H_t$ by means of the gauge transformation $H_t=U_t \widetilde H \, U^\dagger_t-i\, U_t\, \partial_t U_t^\dagger$. Here $U_t$ is unitary that relates solutions corresponding Schrodinger equations. In many-body case usually interested in Hamiltonians with few-body (often, at most two-body) interactions. We refe...