This paper presents the Accessible Spectrum Analyser (ASA) developed as part of the DePic project (Design Patterns for Inclusive collaboration) at Queen Mary University of London. The ASA uses sonification to provide an accessible representation of frequency spectra to visually impaired audio engineers. The software is free and open source and is distributed as a VST plug-in under OSX and Windo...

Version v1.0 Status Final Dissemination Level PP Nature P Keywords predictive security analysis, analysis of process behavior, security monitoring, security assessment tools Reviewers Luigi Coppolino (Epsilon)

Reachability analysis consists in checking if a state satisfying some property is reachable. In this paper a solution to the problem of generating formulae expressing reachability properties for concrete models is suggested. The traditional methods either require the user to input the formula manually, which can be very tedious and error-prone, or automatically generate formulae for some fixed ...

The goal of my PhD thesis is to develop an evolutionary tool, the evolutionary requirements analyser (ERA), for searching an optimal set of component combinations in the use of requirements engineering. The evolutionary tool is demonstrated in evolving system requirements, which are symbolised by the component-based approach. The chanlleges of this research are fourfold: the transformation of t...

Flow-through respirometry systems provide accurate measurement of gas exchange over long periods of time. However, these systems have limitations in tracking rapid changes. When an animal infuses a metabolic gas into the respirometry chamber in a short burst, diffusion and airflow in the chamber gradually alter the original signal before it arrives at the gas analyzer. For single or multiple bu...

In deriving compass information from the pattern of polarized light in the sky (celestial e-vector pattern), hymenopteran insects like bees and ants accomplish a truly formidable task. Theoretically, one could solve the task by going back to first principles and using spherical geometry to compute the exact position of the sun from single patches of polarized skylight. The insect, however, does...

Abstract The aim of this research is to measure the dielectric properties and electromagnetic interference (EMI) shielding effectiveness (SE) silicone rubber reinforced with graphene nanoplates. In a two-roll mill, different amounts are mixed together. This followed by compression moulding at 170°C post-curing for 4 h 200°C. Between 1 MHz GHz, waveguide transmission line method vector network a...

The TerminWeb analyser is a semantic based termination analyser for logic programs. It is uniqueness in that it is based on a semantics which makes the termination properties observable. Its implementation is obtained as an abstraction of an interpreter which computes the termination semantics of a given program. TerminWeb supports termination checking and inference with respect to semi-linear ...

designer is solving an optimization problem, which involves different disciplines and where all design criteria have to be optimized simultaneously. Mathematically this problem can be reduced to a vector optimization problem. The solution of this problem is not unique and is represented by a Pareto surface in the space of the objective functions. Once a Pareto solution is obtained, it may be ve...

Barium titanate/epoxy resin composites have been synthesized and tested for microwave absorption/ transmission. Nanocrystalline barium titanate (BaTiO3 or BT) was synthesized by the hydrothermal method and the composites of BT/epoxy resin were fabricated as thin solid slabs of four different weight ratios. BTwas obtained in the cubic phase with an average particle size of 21 nm, deduced from th...