A machine learning approach to voice separation in lute tablature

[TODO] Add abstract here

Deep neural networks with voice entry estimation heuristics for voice separation in symbolic music representations

In this study we explore the use of deep feedforward neural networks for voice separation in symbolic music representations. We experiment with different network architectures, varying the number and size of the hidden layers, and with dropout. We integrate two voice entry estimation heuristics that estimate the entry points of the individual voices in the polyphonic fabric into the models. These heuristics serve to reduce error propagation at the beginning of a piece, which, as we have shown in previous work, can seriously hamper model performance. The models are evaluated on the 48 fugues from Johann Sebastian Bach’s The Well-Tempered Clavier and his 30 inventions—a dataset that we curated and make publicly available. We find that a model with two hidden layers yields the best results. Using more layers does not lead to a significant performance improvement. Furthermore, we find that our voice entry estimation heuristics are highly effective in the reduction of error propagation, improving performance significantly. Our best-performing model outperforms our previous models, where the difference is significant, and, depending on the evaluation metric, performs close to or better than the reported state of the art

Bringing 'Musicque into the tableture': machine-learning models for polyphonic transcription of 16th-century lute tablature

A large corpus of music written in lute tablature, spanning some three-and-a-half centuries, has survived. This music has so far escaped systematic musicological research because of its notational format. Being a practical instruction for the player, tablature reveals very little of the polyphonic structure of the music it encodes—and is therefore relatively inaccessible to non-specialists. Automatic polyphonic transcription into modern music notation can help unlock the corpus to a larger audience, and thus facilitate musicological research. In this study we present four variants of a machine-learning model for voice separation and duration reconstruction in 16th-century lute tablature. These models are intended to form the heart of an interactive system for automatic polyphonic transcription that can assist users in making editions tailored to their own preferences. Additionally, such models can provide new methods for analysing different aspects of polyphonic structure. We have experimented with modelling only voice and modelling voice and duration simultaneously, applying each in a forward- and in a backward-processing approach. The models are evaluated on a dataset containing 15 three- and four-voice intabulations. Each processing approach has its advantages, and the results vary between the models. With accuracy rates between approximately 80 and 90 per cent, both for voice prediction and for duration prediction, the best models’ performance is promising. Even in this early stage of the research, such models yield a useful initial transcription system

Characterization of immune response to neurofilament light in experimental autoimmune encephalomyelitis

PMCID: PMC3856490This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.PMCID: PMC385649

Orbit determination of space objects based on sparse optical data

While building up a catalog of Earth orbiting objects, if the available optical observations are sparse, not deliberate follow ups of specific objects, no orbit determination is possible without previous correlation of observations obtained at different times. This correlation step is the most computationally intensive, and becomes more and more difficult as the number of objects to be discovered increases. In this paper we tested two different algorithms (and the related prototype software) recently developed to solve the correlation problem for objects in geostationary orbit (GEO), including the accurate orbit determination by full least squares solutions with all six orbital elements. Because of the presence in the GEO region of a significant subpopulation of high area to mass objects, strongly affected by non-gravitational perturbations, it was actually necessary to solve also for dynamical parameters describing these effects, that is to fit between 6 and 8 free parameters for each orbit. The validation was based upon a set of real data, acquired from the ESA Space Debris Telescope (ESASDT) at the Teide observatory (Canary Islands). We proved that it is possible to assemble a set of sparse observations into a set of objects with orbits, starting from a sparse time distribution of observations, which would be compatible with a survey capable of covering the region of interest in the sky just once per night. This could result in a significant reduction of the requirements for a future telescope network, with respect to what would have been required with the previously known algorithm for correlation and orbit determination.Comment: 20 pages, 8 figure

Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation

This contribution summarises the core results of the transdisciplinary ASKO project, part of the German DFG's programme Sozionik, which combines sociologists' and computer scientists' skills in order to create improved theories and models of artificial societies. Our research group has (a) formulated a social theory, which is able to explain fundamental mechanisms of self-organisation in both natural and artificial societies, (b) modelled this in a mathematical way using a visual formalism, and (c) developed a novel multi-agent system architecture which is conceptually coherent, recursively structured (hence non-eclectic) and based on our social theory. The article presents an outline of both a sociological middle-range theory of social self-organisation in educational institutions, its formal, Petri net based model, including a simulation of one of its main mechanisms, and the multi-agent system architecture SONAR. It describes how the theory was created by a re-analysis of some grand social theories, by grounding it empirically, and finally how the theory was evaluated by modelling its concepts and statements.Multi-Agents Systems, Petri Nets, Self-Organisation, Social Theories

Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

The interpretive approach to religious education : challenging Thompson's interpretation

In a recent book chapter, Matthew Thompson makes some criticisms of my work, including the interpretive approach to religious education and the research and activity of Warwick Religions and Education Research Unit. Against the background of a discussion of religious education in the public sphere, my response challenges Thompson’s account, commenting on his own position in relation to dialogical approaches to religious education. The article rehearses my long held view that the ideal form of religious education in fully state funded schools of a liberal democracy should be ‘secular’ but not ‘secularist’; there should be no implication of an axiomatic secular humanist interpretation of religions