Notes on The Feynman Checkerboard Problem

The Feynman checkerboard problem is an interesting path integral approach to the Dirac equation in `1+1' dimensions. I compare two approaches reported in the literature and show how they may be reconciled. Some physical insights may be gleaned from this approach.Comment: 9 page

The Regulation of Deep-Well Injection: A Changing Environment Beneath the Surface

Deep-well injection has been a mainstay of hazardous waste disposal for over 70 years. Before the U.S. Environmental Protection Agency (EPA) was created, there were concerns as to the proper place for deep-well injection as a waste management technique. Over the years, environmentalists have been concerned with the potential for contamination of drinking water supplies from deep-well injection. Industry has also shown concern about -deep-well injection, but from a different perspective. To industry, deep-well injection is a precious, limited resource. It is within this context that Congress and the EPA have regulated deep-well injection. It is that process of regulation and the development of deep-well injection policy which is the focus of this article

Homotopy types of stabilizers and orbits of Morse functions on surfaces

Let $M$ be a smooth compact surface, orientable or not, with boundary or without it, $P$ either the real line $R^1$ or the circle $S^1$, and $Diff(M)$ the group of diffeomorphisms of $M$ acting on $C^{\infty}(M,P)$ by the rule $h\cdot f\mapsto f \circ h^{-1}$, where $h\in Diff(M)$ and $f \in C^{\infty}(M,P)$. Let $f:M \to P$ be a Morse function and $O(f)$ be the orbit of $f$ under this action. We prove that $\pi_k O(f)=\pi_k M$ for $k\geq 3$, and $\pi_2 O(f)=0$ except for few cases. In particular, $O(f)$ is aspherical, provided so is $M$. Moreover, $\pi_1 O(f)$ is an extension of a finitely generated free abelian group with a (finite) subgroup of the group of automorphisms of the Reeb graph of $f$. We also give a complete proof of the fact that the orbit $O(f)$ is tame Frechet submanifold of $C^{\infty}(M,P)$ of finite codimension, and that the projection $Diff(M) \to O(f)$ is a principal locally trivial $S(f)$-fibration.Comment: 49 pages, 8 figures. This version includes the proof of the fact that the orbits of a finite codimension of tame action of tame Lie group on tame Frechet manifold is a tame Frechet manifold itsel

Property-Based Testing - The ProTest Project

The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang

Using digital watermarking to enhance security in wireless medical image transmission

This is the published version of the article. Copyright 2010 Mary Ann Liebert Inc.During the last few years, wireless networks have been increasingly used both inside hospitals and in patients’ homes to transmit medical information. In general, wireless networks suffer from decreased security. However, digital watermarking can be used to secure medical information. In this study, we focused on combining wireless transmission and digital watermarking technologies to better secure the transmission of medical images within and outside the hospital. Methods: We utilized an integrated system comprising the wireless network and the digital watermarking module to conduct a series of tests. Results: The test results were evaluated by medical consultants. They concluded that the images suffered no visible quality degradation and maintained their diagnostic integrity. Discussion: The proposed integrated system presented reasonable stability, and its performance was comparable to that of a fixed network. This system can enhance security during the transmission of medical images through a wireless channel.The General Secretariat for Research and Technology of the Hellenic Ministry of Development and the British Council

Multipurpose High Frequency Electron Spin Resonance Spectrometer for Condensed Matter Research

We describe a quasi-optical multifrequency ESR spectrometer operating in the 75-225 GHz range and optimized at 210 GHz for general use in condensed matter physics, chemistry and biology. The quasi-optical bridge detects the change of mm wave polarization at the ESR. A controllable reference arm maintains a mm wave bias at the detector. The attained sensitivity of 2x10^10 spin/G/(Hz)1/2, measured on a dilute Mn:MgO sample in a non-resonant probe head at 222.4 GHz and 300 K, is comparable to commercial high sensitive X band spectrometers. The spectrometer has a Fabry-Perot resonator based probe head to measure aqueous solutions, and a probe head to measure magnetic field angular dependence of single crystals. The spectrometer is robust and easy to use and may be operated by undergraduate students. Its performance is demonstrated by examples from various fields of condensed matter physics.Comment: submitted to Journal of Magnetic Resonanc

Indigenous and institutional profile: Limpopo River Basin

River basins / Water resource management / History / Institutions / Social aspects / Legal aspects

Propulsion Study for Small Transport Aircraft Technology (STAT)

Propulsion requirements were determined for 0.5 and 0.7 Mach aircraft. Sensitivity studies were conducted on both these aircraft to determine parametrically the influence of propulsion characteristics on aircraft size and direct operating cost (DOC). Candidate technology elements and design features were identified and parametric studies conducted to select the STAT advanced engine cycle. Trade off studies were conducted to determine those advanced technologies and design features that would offer a reduction in DOC for operation of the STAT engines. These features were incorporated in the two STAT engines. A benefit assessment was conducted comparing the STAT engines to current technology engines of the same power and to 1985 derivatives of the current technology engines. Research and development programs were recommended as part of an overall technology development plan to ensure that full commercial development of the STAT engines could be initiated in 1988