Roll function in a flight simulator

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

On Sound Relative Error Bounds for Floating-Point Arithmetic

State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy as they do not take into account the magnitude of the computed values. Relative errors, which compute errors relative to the value's magnitude, are thus preferable. While today's tools do report relative error bounds, these are merely computed via absolute errors and thus not necessarily tight or more informative. Furthermore, whenever the computed value is close to zero on part of the domain, the tools do not report any relative error estimate at all. Surprisingly, the quality of relative error bounds computed by today's tools has not been systematically studied or reported to date. In this paper, we investigate how state-of-the-art static techniques for computing sound absolute error bounds can be used, extended and combined for the computation of relative errors. Our experiments on a standard benchmark set show that computing relative errors directly, as opposed to via absolute errors, is often beneficial and can provide error estimates up to six orders of magnitude tighter, i.e. more accurate. We also show that interval subdivision, another commonly used technique to reduce over-approximations, has less benefit when computing relative errors directly, but it can help to alleviate the effects of the inherent issue of relative error estimates close to zero

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

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

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

Parkinson's disease dementia: a neural networks perspective.

In the long-term, with progression of the illness, Parkinson's disease dementia affects up to 90% of patients with Parkinson's disease. With increasing life expectancy in western countries, Parkinson's disease dementia is set to become even more prevalent in the future. However, current treatments only give modest symptomatic benefit at best. New treatments are slow in development because unlike the pathological processes underlying the motor deficits of Parkinson's disease, the neural mechanisms underlying the dementing process and its associated cognitive deficits are still poorly understood. Recent insights from neuroscience research have begun to unravel the heterogeneous involvement of several distinct neural networks underlying the cognitive deficits in Parkinson's disease dementia, and their modulation by both dopaminergic and non-dopaminergic transmitter systems in the brain. In this review we collate emerging evidence regarding these distinct brain networks to give a novel perspective on the pathological mechanisms underlying Parkinson's disease dementia, and discuss how this may offer new therapeutic opportunities

S100B is increased in Parkinson’s disease and ablation protects against MPTP-induced toxicity through the RAGE and TNF-α pathway

Peer reviewedPublisher PD

Epileptic high-frequency network activity in a model of non-lesional temporal lobe epilepsy

High-frequency cortical activity, particularly in the 250–600 Hz (fast ripple) band, has been implicated in playing a crucial role in epileptogenesis and seizure generation. Fast ripples are highly specific for the seizure initiation zone. However, evidence for the association of fast ripples with epileptic foci depends on animal models and human cases with substantial lesions in the form of hippocampal sclerosis, which suggests that neuronal loss may be required for fast ripples. In the present work, we tested whether cell loss is a necessary prerequisite for the generation of fast ripples, using a non-lesional model of temporal lobe epilepsy that lacks hippocampal sclerosis. The model is induced by unilateral intrahippocampal injection of tetanus toxin. Recordings from the hippocampi of freely-moving epileptic rats revealed high-frequency activity (4100 Hz), including fast ripples. High-frequency activity was present both during interictal discharges and seizure onset. Interictal fast ripples proved a significantly more reliable marker of the primary epileptogenic zone than the presence of either interictal discharges or ripples (100–250 Hz). These results suggest that fast ripple activity should be considered for its potential value in the pre-surgical workup of non-lesional temporal lobe epilepsy

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