An engineering approach to automatic programming

An exploratory study of the automatic generation and optimization of symbolic programs using DECOM - a prototypical requirement specification model implemented in pure LISP was undertaken. It was concluded, on the basis of this study, that symbolic processing languages such as LISP can support a style of programming based upon formal transformation and dependent upon the expression of constraints in an object-oriented environment. Such languages can represent all aspects of the software generation process (including heuristic algorithms for effecting parallel search) as dynamic processes since data and program are represented in a uniform format

Adiabatic limit and the slow motion of vortices in a Chern-Simons-Schr\"odinger system

We study a nonlinear system of partial differential equations in which a complex field (the Higgs field) evolves according to a nonlinear Schroedinger equation, coupled to an electromagnetic field whose time evolution is determined by a Chern-Simons term in the action. In two space dimensions, the Chern-Simons dynamics is a Galileo invariant evolution for A, which is an interesting alternative to the Lorentz invariant Maxwell evolution, and is finding increasing numbers of applications in two dimensional condensed matter field theory. The system we study, introduced by Manton, is a special case (for constant external magnetic field, and a point interaction) of the effective field theory of Zhang, Hansson and Kivelson arising in studies of the fractional quantum Hall effect. From the mathematical perspective the system is a natural gauge invariant generalization of the nonlinear Schroedinger equation, which is also Galileo invariant and admits a self-dual structure with a resulting large space of topological solitons (the moduli space of self-dual Ginzburg-Landau vortices). We prove a theorem describing the adiabatic approximation of this system by a Hamiltonian system on the moduli space. The approximation holds for values of the Higgs self-coupling constant close to the self-dual (Bogomolny) value of 1. The viability of the approximation scheme depends upon the fact that self-dual vortices form a symplectic submanifold of the phase space (modulo gauge invariance). The theorem provides a rigorous description of slow vortex dynamics in the near self-dual limit.Comment: Minor typos corrected, one reference added and DOI give

Dynamics of earthquake nucleation process represented by the Burridge-Knopoff model

Dynamics of earthquake nucleation process is studied on the basis of the one-dimensional Burridge-Knopoff (BK) model obeying the rate- and state-dependent friction (RSF) law. We investigate the properties of the model at each stage of the nucleation process, including the quasi-static initial phase, the unstable acceleration phase and the high-speed rupture phase or a mainshock. Two kinds of nucleation lengths L_sc and L_c are identified and investigated. The nucleation length L_sc and the initial phase exist only for a weak frictional instability regime, while the nucleation length L_c and the acceleration phase exist for both weak and strong instability regimes. Both L_sc and L_c are found to be determined by the model parameters, the frictional weakening parameter and the elastic stiffness parameter, hardly dependent on the size of an ensuing mainshock. The sliding velocity is extremely slow in the initial phase up to L_sc, of order the pulling speed of the plate, while it reaches a detectable level at a certain stage of the acceleration phase. The continuum limits of the results are discussed. The continuum limit of the BK model lies in the weak frictional instability regime so that a mature homogeneous fault under the RSF law always accompanies the quasi-static nucleation process. Duration times of each stage of the nucleation process are examined. The relation to the elastic continuum model and implications to real seismicity are discussed.Comment: Title changed. Changes mainly in abstract and in section 1. To appear in European Physical Journal

Innate Recognition of Fungal Cell Walls

The emergence of fungal infections as major causes of morbidity and mortality in immunosuppressed individuals has prompted studies into how the host recognizes fungal pathogens. Fungi are eukaryotes and as such share many similarities with mammalian cells. The most striking difference, though, is the presence of a cell wall that serves to protect the fungus from environmental stresses, particularly osmotic changes [1]. This task is made challenging because the fungus must remodel itself to allow for cell growth and division, including the conversion to different morphotypes, such as occurs during germination of spherical spores into filamentous hyphae. The cell wall also connects the fungus with its environment by triggering intracellular signaling pathways and mediating adhesion to other cells and extracellular matrices. Here, important facts and concepts critical for understanding innate sensing of the fungal cell wall by mammalian pathogens are reviewed

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types

Influenza, Winter Olympiad, 2002

Prospective surveillance for influenza was performed during the 2002 Salt Lake City Winter Olympics. Oseltamivir was administered to patients with influenzalike illness and confirmed influenza, while their close contacts were given oseltamivir prophylactically. Influenza A/B was diagnosed in 36 of 188 patients, including 13 athletes. Prompt management limited the spread of this outbreak

The association between foot-care self efficacy beliefs and actual foot-care behaviour in people with peripheral neuropathy: a cross-sectional study

<p>Abstract</p> <p>Background</p> <p>People with diabetes and peripheral neuropathy often do not implement the foot-care behavioural strategies that are suggested by many health professionals. The concept of self-efficacy has been shown to be an effective predictor of behaviour in many areas of health. This study investigated the relationships between foot-care self-efficacy beliefs, self-reported foot-care behaviour and history of diabetes-related foot pathology in people with diabetes and loss of protective sensation in their feet.</p> <p>Methods</p> <p>Ninety-six participants were included in this cross-sectional study undertaken in a regional city of Australia. All participants had diabetes and clinically diagnosed loss of protective sensation in their feet. The participants completed a self-report pen-paper questionnaire regarding foot-care self efficacy beliefs (the "Foot Care Confidence Scale") and two aspects of actual foot-care behaviour-preventative behaviour and potentially damaging behaviour. Pearson correlation coefficients were then calculated to determine the association between foot-care self-efficacy beliefs and actual reported foot-care behaviour. Multiple analysis of variance was undertaken to compare mean self-efficacy and behaviour subscale scores for those with a history of foot pathology, and those that did not.</p> <p>Results</p> <p>A small positive correlation (r = 0.2, p = 0.05) was found between self-efficacy beliefs and preventative behaviour. There was no association between self-efficacy beliefs and potentially damaging behaviour. There was no difference in self-efficacy beliefs in people that had a history of foot pathology compared to those that did not.</p> <p>Conclusion</p> <p>There is little association between foot-care self-efficacy beliefs and actual foot-care behaviour. The usefulness of measuring foot-care self-efficacy beliefs to assess actual self foot-care behaviour using currently available instruments is limited in people with diabetes and loss of protective sensation.</p

Stories from the field:Women's networking as gender capital in entrepreneurial ecosystems

Women are underrepresented in successful entrepreneurial ecosystems and the creation of women-only entrepreneurial networks has been a widespread policy response. We examine the entrepreneurial ecosystem construct and suggest that it, and the role networks play in entrepreneurial ecosystems, can be analysed in terms of Bourdieu's socio-analysis as field, habitus and capital. Specifically, we develop the notion of gender capital as the skill set associated with femininity or from simply being recognized as feminine. We apply this to the development of women's entrepreneurial networks as a gender capital enhancing initiative. Using data from qualitative interviews with network coordinators and women entrepreneurs we reflect on the extent to which formally established women-only networks generate gender capital for their members and improve their ability to participate in the entrepreneurial ecosystem. The paper concludes by drawing out the implications of our analysis for theory, entrepreneurial practice and economic development policy

Dark sectors 2016 Workshop: community report

This report, based on the Dark Sectors workshop at SLAC in April 2016, summarizes the scientific importance of searches for dark sector dark matter and forces at masses beneath the weak-scale, the status of this broad international field, the important milestones motivating future exploration, and promising experimental opportunities to reach these milestones over the next 5-10 years