D-Branes and Fluxes in Supersymmetric Quantum Mechanics

Type 0A string theory in the (2,4k) superconformal minimal model backgrounds, with background ZZ D-branes or R-R fluxes can be formulated non-perturbatively. The branes and fluxes have a description as threshold bound states in an associated one-dimensional quantum mechanics which has a supersymmetric structure, familiar from studies of the generalized KdV system. The relevant bound state wavefunctions in this problem have unusual asymptotics (they are not normalizable in general, and break supersymmetry) which are consistent with the underlying description in terms of open and closed string sectors. The overall organization of the physics is very pleasing: The physics of the closed strings in the background of branes or fluxes is captured by the generalized KdV system and non-perturbative string equations obtained by reduction of that system (the hierarchy of equations found by Dalley, Johnson, Morris and Watterstam). Meanwhile, the bound states wavefunctions, which describe the physics of the ZZ D-brane (or flux) background in interaction with probe FZZT D-branes, are captured by the generalized mKdV system, and non-perturbative string equations obtained by reduction of that system (the Painleve II hierachy found by Periwal and Shevitz in this context).Comment: 41 pages, LaTe

The development of a program analysis environment for Ada

A unit level, Ada software module testing system, called Query Utility Environment for Software Testing of Ada (QUEST/Ada), is described. The project calls for the design and development of a prototype system. QUEST/Ada design began with a definition of the overall system structure and a description of component dependencies. The project team was divided into three groups to resolve the preliminary designs of the parser/scanner: the test data generator, and the test coverage analyzer. The Phase 1 report is a working document from which the system documentation will evolve. It provides history, a guide to report sections, a literature review, the definition of the system structure and high level interfaces, descriptions of the prototype scope, the three major components, and the plan for the remainder of the project. The appendices include specifications, statistics, two papers derived from the current research, a preliminary users' manual, and the proposal and work plan for Phase 2

Modelling the spatial distribution of DEM Error

Assessment of a DEM’s quality is usually undertaken by deriving a measure of DEM accuracy – how close the DEM’s elevation values are to the true elevation. Measures such as Root Mean Squared Error and standard deviation of the error are frequently used. These measures summarise elevation errors in a DEM as a single value. A more detailed description of DEM accuracy would allow better understanding of DEM quality and the consequent uncertainty associated with using DEMs in analytical applications. The research presented addresses the limitations of using a single root mean squared error (RMSE) value to represent the uncertainty associated with a DEM by developing a new technique for creating a spatially distributed model of DEM quality – an accuracy surface. The technique is based on the hypothesis that the distribution and scale of elevation error within a DEM are at least partly related to morphometric characteristics of the terrain. The technique involves generating a set of terrain parameters to characterise terrain morphometry and developing regression models to define the relationship between DEM error and morphometric character. The regression models form the basis for creating standard deviation surfaces to represent DEM accuracy. The hypothesis is shown to be true and reliable accuracy surfaces are successfully created. These accuracy surfaces provide more detailed information about DEM accuracy than a single global estimate of RMSE

String Theory and Water Waves

We uncover a remarkable role that an infinite hierarchy of non-linear differential equations plays in organizing and connecting certain {hat c}<1 string theories non-perturbatively. We are able to embed the type 0A and 0B (A,A) minimal string theories into this single framework. The string theories arise as special limits of a rich system of equations underpinned by an integrable system known as the dispersive water wave hierarchy. We observe that there are several other string-like limits of the system, and conjecture that some of them are type IIA and IIB (A,D) minimal string backgrounds. We explain how these and several string-like special points arise and are connected. In some cases, the framework endows the theories with a non-perturbative definition for the first time. Notably, we discover that the Painleve IV equation plays a key role in organizing the string theory physics, joining its siblings, Painleve I and II, whose roles have previously been identified in this minimal string context.Comment: 49 pages, 4 figure

Memory usage verification using Hip/Sleek.

Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at compile-time, to prevent memory-related software failure after deployment. Previous proposals on memory usage verification are not satisfactory as they usually can only handle restricted subsets of programs, especially when shared mutable data structures are involved. In this paper, we propose a simple but novel solution. We instrument programs with explicit memory operations so that memory usage verification can be done along with the verification of other properties, using an automated verification system Hip/Sleek developed recently by Chin et al.[10,19]. The instrumentation can be done automatically and is proven sound with respect to an underlying semantics. One immediate benefit is that we do not need to develop from scratch a specific system for memory usage verification. Another benefit is that we can verify more programs, especially those involving shared mutable data structures, which previous systems failed to handle, as evidenced by our experimental results

Backlund Transformations, D-Branes, and Fluxes in Minimal Type 0 Strings

We study the Type 0A string theory in the (2,4k) superconformal minimal model backgrounds, focusing on the fully non-perturbative string equations which define the partition function of the model. The equations admit a parameter, Gamma, which in the spacetime interpretation controls the number of background D-branes, or R-R flux units, depending upon which weak coupling regime is taken. We study the properties of the string equations (often focusing on the (2,4) model in particular) and their physical solutions. The solutions are the potential for an associated Schrodinger problem whose wavefunction is that of an extended D-brane probe. We perform a numerical study of the spectrum of this system for varying Gamma and establish that when Gamma is a positive integer the equations' solutions have special properties consistent with the spacetime interpretation. We also show that a natural solution-generating transformation (that changes Gamma by an integer) is the Backlund transformation of the KdV hierarchy specialized to (scale invariant) solitons at zero velocity. Our results suggest that the localized D-branes of the minimal string theories are directly related to the solitons of the KdV hierarchy. Further, we observe an interesting transition when Gamma=-1.Comment: 17 pages, 3 figure

Phonons from neutron powder diffraction

The spherically averaged structure function \soq obtained from pulsed neutron powder diffraction contains both elastic and inelastic scattering via an integral over energy. The Fourier transformation of \soq to real space, as is done in the pair density function (PDF) analysis, regularizes the data, i.e. it accentuates the diffuse scattering. We present a technique which enables the extraction of off-center phonon information from powder diffraction experiments by comparing the experimental PDF with theoretical calculations based on standard interatomic potentials and the crystal symmetry. This procedure (dynamics from powder diffraction(DPD)) has been successfully implemented for two systems, a simple metal, fcc Ni, and an ionic crystal, CaF$_{2}$. Although computationally intensive, this data analysis allows for a phonon based modeling of the PDF, and additionally provides off-center phonon information from powder neutron diffraction

Assessing direct contributions of morphological awareness and prosodic sensitivity to children’s word reading and reading comprehension

We examined the independent contributions of prosodic sensitivity and morphological awareness to word reading, text reading accuracy, and reading comprehension. We did so in a longitudinal study of English-speaking children (N = 70). At 5 to 7 years of age, children completed the metalinguistic measures along with control measures of phonological awareness and vocabulary. Children completed the reading measures two years later. Morphological awareness, but not prosodic sensitivity made a significant independent contribution to word reading, text reading accuracy and reading comprehension. The effects of morphological awareness on reading comprehension remained after controls for word reading. These results suggest that morphological awareness needs to be considered seriously in models of reading development and that prosodic sensitivity might have primarily indirect relations to reading outcomes. Keywords: Morphological Awareness; Prosody; Word Reading; Reading Comprehension

Modulation of the secretion of potassium by accompanying anions in humans

Modulation of the secretion of potassium by accompanying anions in humans. In animals, secretion of potassium (K) in the cortical collecting duct (CCD) is modulated by the properties of the accompanying anion. In humans, results are inconclusive as previous studies have not differentiated between a kaliuresis due to a rise in the concentration of K from one due to an increase in the volume of urine. Our purpose was to study the effects of chloride (Cl) and bicarbonate on the secretion of K in the CCD in humans using the transtubular K concentration gradient (TTKG), a semi-quantitative index of secretion of K in the terminal CCD. After control blood and urine samples were obtained, all subjects ingested 0.2mg fludrocortisone to ensure that mineralocorticoids were not limiting the secretion of K. The anionic composition of the urine was varied using three protocols: Normal subjects (N = 11) ingested cystine and methionine to induce sulfaturia; nine subjects with a contracted ECF volume (to lower the concentration of Cl in the urine) were also studied during sulfaturia following the ingestion of cystine and methionine; 13 normovolemic subjects were studied during bicarbonaturia following the ingestion of acetazolamide. When the concentration of Cl in the urine was > 15 mmol/liter, sulfate had no effect on the TTKG. With lower concentrations of Cl in the urine, the TTKG rose 1.5-fold. The TTKG rose 1.8-fold in the presence of bicarbonaturia despite concentrations of Cl in the urine that were >15 mmol/liter, suggesting that bicarbonate has additional effects on this K secretory process. At comparable concentrations of sulfate and bicarbonate in the urine, the TTKG was increased only with bicarbonaturia. We conclude that it is important to control for the effects of the accompanying anions when evaluating the role of the kidney in disorders of K homeostasis