Towards an intelligent score following system: Handling of mistakes and jumps encountered during piano practicing

Score following has been an important area of research in AI and music since the mid 80's. Various systems were developed, but they were predominantly for providing automated accompaniment to live concert performances, dealing mostly with issues relating to pitch detection and identification of embellished melodies. They have a big potential in the area of education where student performers benefit in practice situations. Current accompaniment systems are not designed to deal with errors that may occur during practising. In this paper we present a system developed to provide accompaniment for students practising at home. First a survey of score following will be given. Then the capabilities of the system will be explained, and the results from the first experiments of the monophonic score following system will be presented.

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

Cosmopolitan Exception

There has been a resurgence of interest in cosmopolitanism in contemporary political theory, based upon the hopeful premise that it heralds an ameliorative response to the malignity of sovereignty's lack and the treacherous violence of sovereignty's excess. The promise of cosmopolitanism inheres in the claim that state sovereignty is and should be supplemented by an international system backed by the legitimacy of international law, grounded in the sovereignty of human rights. Drawing upon Foucault and Agamben, my argument in this essay is that the laudable endeavour of liberal cosmopolitans is flawed in two ways: first, cosmopolitanism cannot escape sovereign violence, because it cannot escape sovereignty; and second, cosmopolitans misconstrue the composition of the very sovereignty they aim to escape. This means that cosmopolitan theorists are unable to identify cosmopolitan practices of sovereignty that also entail forms of violence: cosmopolitan exception. Cosmopolitan exception denotes violent sovereign practices that cannot be differentiated from the protection of rights.

Helical resonator filters with improved power handling capabilities for space applications

The power-handling capabilities of helical resonator filters for space applications are discussed. Emerging difficulties due to the multipaction effects are highlighted. A method is proposed to increase specified power handling without significantly sacrificing the size/quality factor. Experimental verification is attained by means of a fabricated prototype for which measured filter response and multipaction test results are obtained and presented.

From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.

Risk assessment of patient handling with ambulance stretcher systems (ramp/(winch), easi-loader, tail-lift) using biomechanical failure criteria

The research aims to carry out a detailed analysis of the loads applied by the ambulance workers when loading/unloading ambulance stretchers. The forces required of the ambulance workers for each system are measured using a load cell in a force handle arrangement. The process of loading and unloading is video recorded for all the systems to register the posture of the ambulance workers in different stages of the process. The postures and forces exerted by the ambulance workers are analyzed using biomechanical assessment software to examine if the work loads at any stage of the process are harmful. Kinetic analysis of each stretcher loading system is performed. Comparison of the kinetic analysis and measurements shows very close agreement for most of the cases. The force analysis results are evaluated against derived failure criteria. The evaluation is extended to a biomechanical failure analysis of the ambulance worker's lower back using 3DSSPP software developed at the Centre for Ergonomics at the University of Michigan. The critical tasks of each ambulance worker during the loading and unloading operations for each system are identified. Design recommendations are made to reduce the forces exerted based on loading requirements from the kinetic analysis. © 2006 IPEM.

Safe moving and handling of patients: an inter-professional approach

A gap in the medical undergraduate curriculum on safe moving and handling of patients was identified, and a project to enhance moving and handling education for undergraduates in various healthcare disciplines was undertaken. A team of nurses, doctors, physiotherapists and e-learning professionals developed a cross-discipline e-learning resource, piloted with medical and nursing students at Queen’s University Belfast. One outcome of the project was the development of a deeper recognition of the common curriculum across healthcare disciplines.