Anomalous quantum reflection of Bose-Einstein condensates from a silicon surface: the role of dynamical excitations

We investigate the effect of inter-atomic interactions on the quantum-mechanical reflection of Bose-Einstein condensates from regions of rapid potential variation. The reflection process depends critically on the density and incident velocity of the condensate. For low densities and high velocities, the atom cloud has almost the same form before and after reflection. Conversely, at high densities and low velocities, the reflection process generates solitons and vortex rings that fragment the condensate. We show that this fragmentation can explain the anomalously low reflection probabilities recently measured for low-velocity condensates incident on a silicon surface.Comment: 5 figures, 5 pages, references correcte

Creation of solitons and vortices by Bragg reflection of Bose-Einstein condensates in an optical lattice

We study the dynamics of Bose-Einstein condensates in an optical lattice and harmonic trap. The condensates are set in motion by displacing the trap and initially follow simple semiclassical paths, shaped by the lowest energy band. Above a critical displacement, the condensate undergoes Bragg reflection. For high atom densities, the first Bragg reflection generates a train of solitons and vortices, which destabilize the condensate and trigger explosive expansion. At lower densities, soliton and vortex formation requires multiple Bragg reflections, and damps the center-of-mass motion.Comment: 5 pages including 5 figures (for higher resolution figures please email the authors

Linear stability of confined flow around a 180-degree sharp bend

This study seeks to characterise the breakdown of the steady two-dimensional solution in the flow around a 180-degree sharp bend to infinitesimal three-dimensional disturbances using a linear stability analysis. The stability analysis predicts that three-dimensional transition is via a synchronous instability of the steady flows. A highly accurate global linear stability analysis of the flow was conducted with Reynolds number Re < 1150 and bend opening ratio (ratio of bend width to inlet height) 0.26β 65. This range of Re and β captures both steady-state two-dimensional flow solutions and the inception of unsteady two-dimensional flow. For 0.2 6 β 6 1, the two-dimensional base flow transitions from steady to unsteady at higher Reynolds number as β increases. The stability analysis shows that at the onset of instability, the base flow becomes three-dimensionally unstable in two different modes, namely a spanwise oscillating mode for β = 0.2 and a spanwise synchronous mode for β > 0.3. The critical Reynolds number and the spanwise wavelength of perturbations increase as β increases. For 1 < β 6 2 both the critical Reynolds number for onset of unsteadiness and the spanwise wavelength decrease as β increases. Finally, for 2 < β 6 5, the critical Reynolds number and spanwise wavelength remain almost constant. The linear stability analysis also shows that the base flow becomes unstable to different three-dimensional modes depending on the opening ratio. The modes are found to be localised near the reattachment point of the first recirculation bubbl

Not in my back yard! Sports stadia location and the property market

In recent years sports stadia have been built in the UK, not only for their intended sporting purpose but with the twin aim of stimulating economic and physical regeneration. However, proposals to locate stadia in urban areas often prompt a negative reaction from local communities, fearing a decline in property prices. This paper will use a case study of the Millennium Stadium in Cardiff and the City of Manchester Stadium to illustrate that in contrast to this widely held belief, sports stadia can actually enhance the value of residential property. Furthermore, it will argue that stadia also contribute indirectly to property value through the creation of pride, confidence and enhanced image of an area.</p

Flight range, fuel load and the impact of climate change on the journeys of migrant birds

Collection of biometric data was supported by the Natural Environment Research Council (NE/I028068/1) to JAT and the USUK Fulbright Commission and the Oxford Clarendon Fund to C.S. This research was funded by a Durham University Seedcorn grant to SGW. Production of the underlying SDMs was funded by a National Environment Research Council training grant (NE/J500215/1).Climate change is predicted to increase migration distances for many migratory species, but the physiological and temporal implications of longer migratory journeys have not been explored. Here, we combine information about species' flight range potential and migratory refuelling requirements to simulate the number of stopovers required and the duration of current migratory journeys for 77 bird species breeding in Europe. Using tracking data, we show that our estimates accord with recorded journey times and stopovers for most species. We then combine projections of altered migratory distances under climate change with models of avian flight to predict future migratory journeys. We find that 37% of migratory journeys undertaken by long-distance migrants will necessitate an additional stopover in future. These greater distances and the increased number of stops will substantially increase overall journey durations of many long-distance migratory species, a factor not currently considered in climate impact studies.Publisher PDFPeer reviewe

Reliably Classifying Novice Programmer Exam Responses using the SOLO Taxonomy

Abstract: Past papers of the BRACElet project have described an approach to teaching and assessing students where the students are presented with short pieces of code, and are instructed to explain, in plain English, what the code does. The student responses to these types of questions can be analysed according to the SOLO taxonomy. Some students display an understanding of the code as a single, functional whole, while other students cannot âsee the forest for the treesâ . However, classifying student responses into the taxonomy is not always straightforward. This paper analyses the reliability of the SOLO taxonomy as a means of categorising student responses. The paper derives an augmented set of SOLO categories for application to the programming domain, and proposes a set of guidelines for researchers to use

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Nucleosomes in colorectal cancer patients during radiochemotherapy

Apoptotic markers and tumor-associated antigens might be suitable to indicate the response to radiochemotherapy early. We analyzed the courses of nucleosomes, CEA, CA 19-9 and CYFRA 21-1 in 25 colorectal cancer patients during radiochemotherapy (4 postoperative, 13 preoperative, 8 local relapse therapy). Blood was taken before therapy, daily during the first week, once weekly during the following weeks, and at the end of the radiochemotherapy. After a temporary decline 6 h after the first irradiation, nucleosomes rose in most patients rapidly reaching a maximum during the first days which was followed by a subsequent decrease. In patients receiving postoperative therapy after complete resection of tumor, nucleosome levels generally were lower than in patients with preoperative or relapse therapy. Correspondingly, CEA, CA 19-9 and CYFRA 21-1 levels of postoperatively treated patients were the lowest whereas those with tumor relapse had the highest ones. During preoperative therapy, lower nucleosome concentrations were found in patients with response to therapy resulting in a smaller area under the curve of days 1-3 (AUC) than in those with progressive disease (p = 0.028). The other parameters did not indicate the response to therapy at the initial treatment phase. In conclusion, the course of nucleosomes (AUC) might be valuable for the early prediction of therapy response in preoperatively treated colorectal cancer patients. Copyright (c) 2006 S. Karger AG, Basel

One Spin Trace Formalism for BK B_K

It has been known for some time that there are two methods to calculate $B_K$ with staggered fermions: one is the two spin trace formalism and the other is the one spin trace formalism. Until now, the two spin trace formalism has been exclusively used for weak matrix element calculations with staggered fermions. Here, the one spin trace formalism to calculate $B_K$ with staggered fermions is explained. It is shown that the one spin trace operators require additional chiral partner operators in order to keep the continuum chiral behavior. The renormalization of the one spin trace operators is described and compared with the two spin trace formalism.Comment: 47 pages, latex, 4 figures are available on reques