N=1 Supersymmetric Yang-Mills on the lattice at strong coupling

We study N=1 supersymmetric SU(N) Yang-Mills theory on the lattice at strong coupling. Our method is based on the hopping parameter expansion in terms of random walks, resummed for any value of the Wilson parameter r in the small hopping parameter region. Results are given for the mesonic (2-gluino) and fermionic (3-gluino) propagators and spectrum.Comment: Latex file. 43 pages. Minor additional comments, references added, typos corrected. Accepted for publication in Int. J. Mod. Phys.

Determination of the ΔS=1\Delta S = 1 weak Hamiltonian in the SU(4) chiral limit through topological zero-mode wave functions

A new method to determine the low-energy couplings of the $\Delta S=1$ weak Hamiltonian is presented. It relies on a matching of the topological poles in $1/m^2$ of three-point correlators of two pseudoscalar densities and a four-fermion operator, measured in lattice QCD, to the same observables computed in the $\epsilon$-regime of chiral perturbation theory. We test this method in a theory with a light charm quark, i.e. with an SU(4) flavour symmetry. Quenched numerical measurements are performed in a 2 fm box, and chiral perturbation theory predictions are worked out up to next-to-leading order. The matching of the two sides allows to determine the weak low-energy couplings in the SU(4) limit. We compare the results with a previous determination, based on three-point correlators containing two left-handed currents, and discuss the merits and drawbacks of the two procedures.Comment: 38 pages, 9 figure

Weak low-energy couplings from topological zero-mode wavefunctions

We discuss a new method to determine the low-energy couplings of the $\Delta S=1$ weak Hamiltonian in the $\epsilon$-regime. It relies on a matching of the topological poles in $1/m^2$ of three-point functions of two pseudoscalar densities and a four-fermion operator computed in lattice QCD, to the same observables in the Chiral Effective Theory. We present the results of a NLO computation in chiral perturbation theory of these correlation functions together with some preliminary numerical results.Comment: 7 pages. Contribution to Lattice 200

Onset Event Decoding Exploiting the Rhythmic Structure of Polyphonic Music

(c)2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Published version: IEEE Journal of Selected Topics in Signal Processing 5(6): 1228-1239, Oct 2011. DOI:10.1109/JSTSP.2011.214622

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system