L. Civale,1 A. V. Silhanek,1 J. R. Thompson,2,3 K. J. Song,3 C. V. Tomy,4 and D. McK. Paul4 1Comisión Nacional de Energı́a Atómica-Centro Atómico Bariloche, 8400 Bariloche, Argentina 2Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831-6061 3Department of Physics, University of Tennessee, Knoxville, Tennessee 37996-1200 4Department of Physics, University of Warwick, Coventry, CV4 7AL, Unit...

This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demons...

In this paper, a beat tracking system is presented that simultaneously extracts downbeats, beats, tempo and meter. After generating beat activations by a bidirectional Long Short-Term Memory recurrent neural network, the temporal structure is infered using a Hidden Markov Model (HMM). From all MIREX beat tracking evaluation results between 2006 and 2012 it obtains average results for datasets M...

If you believe this document infringes copyright then please contact the KAR admin team with the take-down information provided at http://kar.kent.ac.uk/contact.html Citation for published version Singh, R P and Hillier, Adrian D and Mazidian, Bayan and Quintanilla, Jorge and Annett, James F and Paul, D McK and Balakrishnan, G and Lees, M R (2014) Detection of Time-Reversal Symmetry Breaking in...

Comparing maps is an important issue in environmental research. There are many reasons to compare maps: (i) to detect temporal/spatial changes or hot-spots, (ii) to compare different models, methodologies or scenarios, (iii) to calibrate, validate landuse models, (iv) to analyse model uncertainty and sensitivity, and (v) to assess map accuracy. This paper addresses the quantification of map sim...

Increasing evidence has implicated the membrane protein CD36 (FAT) in binding and transport of long chain fatty acids (FA). To determine the physiological role of CD36, we examined effects of its overexpression in muscle, a tissue that depends on FA for its energy needs and is responsible for clearing a major fraction of circulating FA. Mice with CD36 overexpression in muscle were generated usi...

We have examined the role of an Id-like protein, Id3 (also known as HLH462), in the regulation of muscle-specific gene expression. Id proteins are believed to block expression of muscle-specific genes by preventing the dimerization between ubiquitous bHLH proteins (E proteins) and myogenic bHLH proteins such as MyoD. Consistent with its putative role as an inhibitor of differentiation, Id3 mRNA...