Multi-Modal CTL:Completeness, Complexity, and an Application

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E and A where d denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. © 2009 Springer Science+Business Media B.V.

An Event Driven Fusion Approach for Enjoyment Recognition in Real-time

Social signals and interpretation of carried information is of high importance in Human Computer Interaction. Often used for affect recognition, the cues within these signals are displayed in various modalities. Fusion of multi-modal signals is a natural and interesting way to improve automatic classification of emotions transported in social signals. Throughout most present studies, uni-modal affect recognition as well as multi-modal fusion, decisions are forced for fixed annotation segments across all modalities. In this paper, we investigate the less prevalent approach of event driven fusion, which indirectly accumulates asynchronous events in all modalities for final predictions. We present a fusion approach, handling short-timed events in a vector space, which is of special interest for real-time applications. We compare results of segmentation based uni-modal classification and fusion schemes to the event driven fusion approach. The evaluation is carried out via detection of enjoyment-episodes within the audiovisual Belfast Story-Telling Corpus.

Deep Head Pose: Gaze-Direction Estimation in Multimodal Video

In this paper we present a convolutional neuralnetwork (CNN)-based model for human head pose estimation inlow-resolution multi-modal RGB-D data. We pose the problemas one of classification of human gazing direction. We furtherfine-tune a regressor based on the learned deep classifier. Next wecombine the two models (classification and regression) to estimateapproximate regression confidence. We present state-of-the-artresults in datasets that span the range of high-resolution humanrobot interaction (close up faces plus depth information) data tochallenging low resolution outdoor surveillance data. We buildupon our robust head-pose estimation and further introduce anew visual attention model to recover interaction with theenvironment. Using this probabilistic model, we show thatmany higher level scene understanding like human-human/sceneinteraction detection can be achieved. Our solution runs inreal-time on commercial hardware

Working with a child Exposed to Community and Domestic violence in Northern Ireland: An Illustrated Case Example.

The focus of this paper is on the author’s multi-modal therapeutic practice with a 7-year-old boy referred to the Family Trauma Centre, following paramilitary assaults on his father. The work also addresses the boy’s experience of domestic violence. The work is contextualised in terms of the ‘Peace Process’ in Northern Ireland, including the establishment of the Family Trauma Centre as a response to the needs of victims of the Troubles. A rationale for working with children using a multi-modal approach is presented.

From Notation to Composition:How in my practice the exploration of notational possibilitieshas led to new compositional opportunities

This paper explores my experiments with computer animated notation. It examines how I turned to
computer animated notation to address issues with static musical notation. In particular looking at
the work of Nancarrow, Cage, Tenney, and how a number of these composers' approaches
presented difficult challenges for traditional musical notation. I then discuss how computer
animated notation can provide some interesting solutions to the notational problems provoked in
these works.
In the second part of the paper I investigate how addressing these notational challenges has led to
new prespectives on the compositional process and has introduced new considerations into my
compositional practice including time as musical material, real-time and multi-nodal interaction
with the score, networked score environments with the possibility of physically distributed
performance, performer feedback and communication, and interaction between notation and other
media including visual media and movement.

Novel Application of Genetic Sequencing algorithms to optimisation of hardware resource sharing for DSP

Field programmable gate array (FPGA) technology is a powerful platform for implementing computationally complex, digital signal processing (DSP) systems. Applications that are multi-modal, however, are designed for worse case conditions. In this paper, genetic sequencing techniques are applied to give a more sophisticated decomposition of the algorithmic variations, thus allowing an unified hardware architecture which gives a 10-25% area saving and 15% power saving for a digital radar receiver.

Laser-driven x-ray and neutron source development for industrial applications of plasma accelerators

Pulsed beams of energetic x-rays and neutrons from intense laser interactions with solid foils are promising for applications where bright, small emission area sources, capable of multi-modal delivery are ideal. Possible end users of laser-driven multi-modal sources are those requiring advanced non-destructive inspection techniques in industry sectors of high value commerce such as aerospace, nuclear and advanced manufacturing. We report on experimental work that demonstrates multi-modal operation of high power laser-solid interactions for neutron and x-ray beam generation. Measurements and Monte Carlo radiation transport simulations show that neutron yield is increased by a factor ∼2 when a 1 mm copper foil is placed behind a 2 mm lithium foil, compared to using a 2 cm block of lithium only. We explore x-ray generation with a 10 picosecond drive pulse in order to tailor the spectral content for radiography with medium density alloy metals. The impact of using >1 ps pulse duration on laser-accelerated electron beam generation and transport is discussed alongside the optimisation of subsequent bremsstrahlung emission in thin, high atomic number target foils. X-ray spectra are deconvolved from spectrometer measurements and simulation data generated using the GEANT4 Monte Carlo code. We also demonstrate the unique capability of laser-driven x-rays in being able to deliver single pulse high spatial resolution projection imaging of thick metallic objects. Active detector radiographic imaging of industrially relevant sample objects with a 10 ps drive pulse is presented for the first time, demonstrating that features of 200 μm size are resolved when projected at high magnification.

Evaluating laser-driven Bremsstrahlung radiation sources for imaging and analysis of nuclear waste packages

A small scale sample nuclear waste package, consisting of a 28 mm diameter uranium penny encased in grout, was imaged by absorption contrast radiography using a single pulse exposure from an X-ray source driven by a high-power laser. The Vulcan laser was used to deliver a focused pulse of photons to a tantalum foil, in order to generate a bright burst of highly penetrating X-rays (with energy >500 keV), with a source size of <0.5 mm. BAS-TR and BAS-SR image plates were used for image capture, alongside a newly developed Thalium doped Caesium Iodide scintillator-based detector coupled to CCD chips. The uranium penny was clearly resolved to sub-mm accuracy over a 30 cm2 scan area from a single shot acquisition. In addition, neutron generation was demonstrated in situ with the X-ray beam, with a single shot, thus demonstrating the potential for multi-modal criticality testing of waste materials. This feasibility study successfully demonstrated non-destructive radiography of encapsulated, high density, nuclear material. With recent developments of high-power laser systems, to 10 Hz operation, a laser-driven multi-modal beamline for waste monitoring applications is envisioned.

Measurement of highly transient electrical charging following high-intensity laser-solid interaction

The multi-million-electron-volt proton beams accelerated during high-intensity laser-solid interactions have been used as a particle probe to investigate the electric charging of microscopic targets laser-irradiated at intensity similar to10(19) W cm(2). The charge-up, detected via the proton deflection with high temporal and spatial resolution, is due to the escape of energetic electrons generated during the interaction. The analysis of the data is supported by three- dimensional tracing of the proton trajectories. (C) 2003 American Institute of Physics.

Observation of annular electron beam transport in multi-TeraWatt laser-solid interactions

Electron energy transport experiments conducted on the Vulcan 100 TW laser facility with large area foil targets are described. For plastic targets it is shown, by the plasma expansion observed in shadowgrams taken after the interaction, that there is a transition between the collimated electron flow previously reported at the 10 TW power level to an annular electron flow pattern with a 20 degrees divergence angle for peak powers of 68 TW. Intermediate powers show that both the central collimated flow pattern and the surrounding annular-shaped heated region can co-exist. The measurements are consistent with the Davies rigid beam model for fast electron flow (Davies 2003 Phys. Rev. E 68 056404) and LSP modelling provides additional insight into the observed results.

Acquired deafness: A multi-dimensional experience

The aim of this study was to investigate the subjective experience of acquired deafness using quantitative (questionnaire) and qualitative (interview) methods. This paper presents findings from the questionnaire data. Eighty-seven people (of whom 38 had acquired a profound loss) participated in the study. The questionnaire contained items designed to examine both audiological and non-audiological aspects of deafened people's experiences. It also sought to measure the extent to which those aspects affect their quality of life. The questionnaire included three variables (i.e. reported frequency and impact of depression, and overall effect of deafness on one's life) as broad indicators of adjustment. Seventy-three respondents (including all but one of the profound group) completed the questionnaire. Factor analysis of the questionnaire data identified six major themes (with variance >10%) underlying the personal experience of acquired deafness. Three themes-communicative deprivation, restriction, and malinteraction by hearing people-dealt with observable aspects of respondents' experience. Multiple regression found that these factor themes associated with biomedical variables. The remaining three themes dealt with less tangible aspects of the deafness experience. These themes-feelings of distress in interaction, feelings of abandonment and benefit from positive experiences-did not associate with biomedical variables. Finally, multiple regression indicates that respondents' factor scores predict the impact of deafness at least as strongly as their audiological and social characteristics.

A multi-center study of ACE and the risk of late-onset Alzheimer's disease

A key pathological feature of late-onset Alzheimer's disease (LOAD) is the abnormal extracellular accumulation of the amyloid-ß (Aß) peptide. Thus, altered Aß degradation could be a major contributor to the development of LOAD. Variants in the gene encoding the Aß-degrading enzyme, angiotensin-1 converting enzyme (ACE) therefore represent plausible candidates for association with LOAD pathology and risk. Following Alzgene meta-analyses of all published case-control studies, the ACE variants rs4291 and rs1800764 showed significant association with LOAD risk. Furthermore ACE haplotypes are associated with both plasma ACE levels and LOAD risk. We tested three ACE variants (rs4291, rs4343, and rs1800764) for association with LOAD in ten Caucasian case-control populations (n = 8,212). No association was found using multiple logistic models (all p > 0.09). We found no population heterogeneity (all p > 0.38) or evidence for association with LOAD risk following meta-analysis of the ten populations for rs4343 (OR = 1.00), rs4291 (OR = 0.97), or rs1800764 (OR = 0.99). Although we found no haplotypic association in our complete dataset (p = 0.51), a significant global haplotypic p-value was observed in one population (p = 0.007) due to an association of the H3 haplotype (OR = 0.72, p = 0.02) and a trend towards an association of H4 (OR = 1.38, p = 0.09) and H7 (OR = 2.07, p = 0.08) although these did not survive Bonferroni correction. Previously reported associations of ACE variants with LOAD will be diminished following this study. At best, ACE variants have modest effect sizes, which are likely part of a complex interaction between genetic, phenotypic and pharmacological effects that would be undetected in traditional case-control studies.