Roll function in a flight simulator

Method introduces roll into the flying-spot scanner by modifying the scanning waveforms

Moduli spaces of noncommutative instantons: gauging away noncommutative parameters

Using the theory of noncommutative geometry in a braided monoidal category, we improve upon a previous construction of noncommutative families of instantons of arbitrary charge on the deformed sphere S^4_\theta. We formulate a notion of noncommutative parameter spaces for families of instantons and we explore what it means for such families to be gauge equivalent, as well as showing how to remove gauge parameters using a noncommutative quotient construction. Although the parameter spaces are a priori noncommutative, we show that one may always recover a classical parameter space by making an appropriate choice of gauge transformation.Comment: v2: 44 pages; minor changes. To appear in Quart. J. Mat

A study of the means of increasing the dynamic range of visual simulation by means of a flying-spot scanner Final report

Increasing dynamic range of visual simulation for pilots using flying spot scanne

Financial Engineering and Rationality: Experimental Evidence Based on the Monty Hall Problem

Financial engineering often involves redefining existing financial assets to create new financial products. This paper investigates whether financial engineering can alter the environment so that irrational agents can quickly learn to be rational. The specific environment we investigate is based on the Monty Hall problem, a well-studied choice anomaly. Our results show that, by the end of the experiment, the majority of subjects understand the Monty Hall anomaly. Average valuation of the experimental asset is very close to the expected value based on the true probabilities.experiment, behavioral finance

The Gysin Sequence for Quantum Lens Spaces

We define quantum lens spaces as `direct sums of line bundles' and exhibit them as `total spaces' of certain principal bundles over quantum projective spaces. For each of these quantum lens spaces we construct an analogue of the classical Gysin sequence in K-theory. We use the sequence to compute the K-theory of the quantum lens spaces, in particular to give explicit geometric representatives of their K-theory classes. These representatives are interpreted as `line bundles' over quantum lens spaces and generically define `torsion classes'. We work out explicit examples of these classes.Comment: 27 pages. v2: No changes in the scientific content and results. Section 5 completely re-written and a final section added; suppressed two appendices; added references; minor changes throughout the paper. To appear in the JNc

Gauge Theory for Spectral Triples and the Unbounded Kasparov Product

We explore factorizations of noncommutative Riemannian spin geometries over commutative base manifolds in unbounded KK-theory. After setting up the general formalism of unbounded KK-theory and improving upon the construction of internal products, we arrive at a natural bundle-theoretic formulation of gauge theories arising from spectral triples. We find that the unitary group of a given noncommutative spectral triple arises as the group of endomorphisms of a certain Hilbert bundle; the inner fluctuations split in terms of connections on, and endomorphisms of, this Hilbert bundle. Moreover, we introduce an extended gauge group of unitary endomorphisms and a corresponding notion of gauge fields. We work out several examples in full detail, to wit Yang--Mills theory, the noncommutative torus and the $\theta$-deformed Hopf fibration over the two-sphere.Comment: 50 pages. Accepted version. Section 2 has been rewritten. Results in sections 3-6 are unchange

Evaluation of the usefulness of a computer‐based learning program to support student learning in pharmacology

This study aims to evaluate the effectiveness of a computer‐based teaching program in supporting and enhancing traditional teaching methods. The program covers the pharmacology of inflammation and has been evaluated with a group of second‐year medical students at a UK university. The study assessed subject‐specific knowledge using a pre‐ and post‐test and surveyed, by questionnaire, students’ perceptions of the usefulness of the program to support learning before and after use. The use of computers for learning amongst this cohort of students was widespread. The results demonstrated an increase in students ‘ knowledge of the pharmacology of inflammation, coupled with a positive attitude towards the CBL program they had used and the advantages that this mode of study may provide in enabling students to manage their own learning. However, students did not feel that the program could substitute for traditional teaching (lectures)

The contribution of Raymond Dart to the development of cave taphonomy

Main articleThe basic principles of African cave taphonomy were formulated in 1976, but twenty years earlier, Raymond Dart embarked on a pioneering taphonomic investigation into a hominid-bearing fossil assemblage from the Makapansgat Limeworks cave. He asked the questions that are typically addressed in contemporary cave-taphonomic studies, such as: how did the bones find their way into the cave? From what animals were the bones derived? What parts of the skeleton are represented and what damage have the bones suffered? What can be said about the behaviour of the hominids and other animals whose remains are preserved in the cave? Dart concluded that hominids had been responsible for collecting the very large number of bones preserved in the Member 3 grey breccia unit. He set up a theory ofthe "osteodontokeratic" culture of Australopithecus and drew some remarkable conclusions about the nature and behaviour of early hominids. These conclusions, presented in powerful prose, provoked a good deal of subsequent research that set the discipline of cave taphonomy on its course.Non

Automatic Music Composition using Answer Set Programming

Music composition used to be a pen and paper activity. These these days music is often composed with the aid of computer software, even to the point where the computer compose parts of the score autonomously. The composition of most styles of music is governed by rules. We show that by approaching the automation, analysis and verification of composition as a knowledge representation task and formalising these rules in a suitable logical language, powerful and expressive intelligent composition tools can be easily built. This application paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose melodic, harmonic and rhythmic music, diagnose errors in human compositions and serve as a computer-aided composition tool. The combination of harmonic, rhythmic and melodic composition in a single framework makes ANTON unique in the growing area of algorithmic composition. With near real-time composition, ANTON reaches the point where it can not only be used as a component in an interactive composition tool but also has the potential for live performances and concerts or automatically generated background music in a variety of applications. With the use of a fully declarative language and an "off-the-shelf" reasoning engine, ANTON provides the human composer a tool which is significantly simpler, more compact and more versatile than other existing systems. This paper has been accepted for publication in Theory and Practice of Logic Programming (TPLP).Comment: 31 pages, 10 figures. Extended version of our ICLP2008 paper. Formatted following TPLP guideline