Symmetric Edit Lenses: A New Foundation for Bidirectional Languages

Lenses are bidirectional transformations between pairs of connected structures capable of translating an edit on one structure into an edit on the other. Most of the extensive existing work on lenses has focused on the special case of asymmetric lenses, where one structures is taken as primary and the other is thought of as a projection or view. Some symmetric variants exist, where each structure contains information not present in the other, but these all lack the basic operation of composition. Additionally, existing accounts do not represent edits carefully, making incremental operation difficult or producing unsatisfactory synchronization candidates. We present a new symmetric formulation which works with descriptions of changes to structures, rather than with the structures themselves. We construct a semantic space of edit lenses between “editable structures”—monoids of edits with a partial monoid action for applying edits—with natural laws governing their behavior. We present generalizations of a number of known constructions on asymmetric lenses and settle some longstanding questions about their properties—in particular, we prove the existence of (symmetric monoidal) tensor products and sums and the non-existence of full categorical products and sums in a category of lenses. Universal algebra shows how to build iterator lenses for structured data such as lists and trees, yielding lenses for operations like mapping, filtering, and concatenation from first principles. More generally, we provide mapping combinators based on the theory of containers. Finally, we present a prototype implementation of the core theory and take a first step in addressing the challenge of translating between user gestures and the internal representation of edits

Skeletal myofiber vascular endothelial growth factor is required for the exercise training-induced increase in dentate gyrus neuronal precursor cells

Exercise signals neurogenesis in the dentate gyrus of the hippocampus. This phenomenon requires vascular endothelial growth factor (VEGF) originating from outside the blood–brain barrier, but no cellular source has been identified. Thus, we hypothesized that VEGF produced by skeletal myofibers plays a role in regulating hippocampal neuronal precursor cell proliferation following exercise training. This was tested in adult conditional skeletal myofiber‐specific VEGF gene‐ablated mice (VEGFHSA−/−) by providing VEGFHSA−/− and non‐ablated (VEGFf/f) littermates with running wheels for 14 days. Following this training period, hippocampal cerebral blood flow (CBF) was measured by functional magnetic resonance imaging (fMRI), and neuronal precursor cells (BrdU+/Nestin+) were detected by immunofluorescence. The VEGFf/f trained group showed improvements in both speed and endurance capacity in acute treadmill running tests (P < 0.05). The VEGFHSA−/− group did not. The number of proliferating neuronal precursor cells was increased with training in VEGFf/f (P < 0.05) but not in VEGFHSA−/− mice. Endothelial cell (CD31+) number did not change in this region with exercise training or skeletal myofiber VEGF gene deletion. However, resting blood flow through the hippocampal region was lower in VEGFHSA−/− mice, both untrained and trained, than untrained VEGFf/f mice (P < 0.05). An acute hypoxic challenge decreased CBF (P < 0.05) in untrained VEGFf/f, untrained VEGFHSA−/− and trained VEGFHSA−/− mice, but not trained VEGFf/f mice. VEGFf/f, but not VEGFHSA−/−, mice were able to acutely run on a treadmill at an intensity sufficient to increase hippocampus VEGF levels. These data suggest that VEGF expressed by skeletal myofibers may directly or indirectly regulate both hippocampal blood flow and neurogenisis

Faraday Instability in a Surface-Frozen Liquid

Faraday surface instability measurements of the critical acceleration, a_c, and wavenumber, k_c, for standing surface waves on a tetracosanol (C_24H_50) melt exhibit abrupt changes at T_s=54degC above the bulk freezing temperature. The measured variations of a_c and k_c vs. temperature and driving frequency are accounted for quantitatively by a hydrodynamic model, revealing a change from a free-slip surface flow, generic for a free liquid surface (T>T_s), to a surface-pinned, no-slip flow, characteristic of a flow near a wetted solid wall (T < T_s). The change at T_s is traced to the onset of surface freezing, where the steep velocity gradient in the surface-pinned flow significantly increases the viscous dissipation near the surface.Comment: 4 pages, 3 figures. Physical Review Letters (in press

NASA Center for Climate Simulation (NCCS) Advanced Technology AT5 Virtualized Infiniband Report

The NCCS is part of the Computational and Information Sciences and Technology Office (CISTO) of Goddard Space Flight Center's (GSFC) Sciences and Exploration Directorate. The NCCS's mission is to enable scientists to increase their understanding of the Earth, the solar system, and the universe by supplying state-of-the-art high performance computing (HPC) solutions. To accomplish this mission, the NCCS (https://www.nccs.nasa.gov) provides high performance compute engines, mass storage, and network solutions to meet the specialized needs of the Earth and space science user communitie

Entangled Electronic States in Multiple Quantum-Dot Systems

We present an analytically solvable model of $P$ colinear, two-dimensional quantum dots, each containing two electrons. Inter-dot coupling via the electron-electron interaction gives rise to sets of entangled ground states. These ground states have crystal-like inter-plane correlations and arise discontinously with increasing magnetic field. Their ranges and stabilities are found to depend on dot size ratios, and to increase with $P$.Comment: To appear in Physical Review B (in press). RevTeX file. Figures available from [email protected]

The two electron artificial molecule

Exact results for the classical and quantum system of two vertically coupled two-dimensional single electron quantum dots are obtained as a function of the interatomic distance (d) and with perpendicular magnetic field. The classical system exhibits a second order structural transition as a function of d which is smeared out and shifted to lower d values in the quantum case. The spin-singlet - spin-triplet oscillations are shifted to larger magnetic fields with increasing d and are quenched for a sufficiently large interatomic distance.Comment: 4 pages, 4 ps figure

Two-frequency forced Faraday waves: Weakly damped modes and pattern selection

Recent experiments (Kudrolli, Pier and Gollub, 1998) on two-frequency parametrically excited surface waves exhibit an intriguing "superlattice" wave pattern near a codimension-two bifurcation point where both subharmonic and harmonic waves onset simultaneously, but with different spatial wavenumbers. The superlattice pattern is synchronous with the forcing, spatially periodic on a large hexagonal lattice, and exhibits small-scale triangular structure. Similar patterns have been shown to exist as primary solution branches of a generic 12-dimensional $D_6\dot{+}T^2$-equivariant bifurcation problem, and may be stable if the nonlinear coefficients of the bifurcation problem satisfy certain inequalities (Silber and Proctor, 1998). Here we use the spatial and temporal symmetries of the problem to argue that weakly damped harmonic waves may be critical to understanding the stabilization of this pattern in the Faraday system. We illustrate this mechanism by considering the equations developed by Zhang and Vinals (1997, J. Fluid Mech. 336) for small amplitude, weakly damped surface waves on a semi-infinite fluid layer. We compute the relevant nonlinear coefficients in the bifurcation equations describing the onset of patterns for excitation frequency ratios of 2/3 and 6/7. For the 2/3 case, we show that there is a fundamental difference in the pattern selection problems for subharmonic and harmonic instabilities near the codimension-two point. Also, we find that the 6/7 case is significantly different from the 2/3 case due to the presence of additional weakly damped harmonic modes. These additional harmonic modes can result in a stabilization of the superpatterns.Comment: 26 pages, 8 figures; minor text revisions, corrected figure 8; this version to appear in a special issue of Physica D in memory of John David Crawfor

An analytical stability theory for Faraday waves and the observation of the harmonic surface response

We present an analytical stability theory for the onset of the Faraday instability, applying over a wide frequency range between shallow water gravity and deep water capillary waves. For sufficiently thin fluid layers the surface is predicted to occur in harmonic rather than subharmonic resonance with the forcing. An experimental confirmation of this result is given. PACS: 47.20.Ma, 47.20.Gv, 47.15.CbComment: 10 pages (LaTeX-file), 3 figures (Postscript) Submitted for publicatio

Postsecondary Employment Experiences among Young Adults with an Autism Spectrum Disorder

Objective: We examined postsecondary employment experiences of young adults with an autism spectrum disorder (ASD) and compared these outcomes with those of young adults with different disabilities. Method: Data were from Wave 5 of the National Longitudinal Transition Study 2 (NLTS2), a nationally representative survey of young adults who had received special education services during high school. We examined the prevalence of ever having had—and currently having—a paid job at 21–25 years of age. We analyzed rates of full employment, wages earned, number of jobs held since high school, and job types. Results: About half (53.4%) of young adults with an ASD had ever worked for pay outside the home since leaving high school, the lowest rate among disability groups. Young adults with an ASD earned an average of $8.10 per hour, significantly lower than average wages for young adults in the comparison groups, and held jobs that clustered within fewer occupational types. Odds of ever having had a paid job were higher for those who were older, from higher-income households, and with better conversational abilities or functional skills. Conclusions: Findings of worse employment outcomes for young adults with an ASD suggest this population is experiencing particular difficulty in successfully transitioning into employment. Research is needed to determine strategies for improving outcomes as these young adults transition into adulthood