A knowledge based software engineering environment testbed

The Carnegie Group Incorporated and Boeing Computer Services Company are developing a testbed which will provide a framework for integrating conventional software engineering tools with Artifical Intelligence (AI) tools to promote automation and productivity. The emphasis is on the transfer of AI technology to the software development process. Experiments relate to AI issues such as scaling up, inference, and knowledge representation. In its first year, the project has created a model of software development by representing software activities; developed a module representation formalism to specify the behavior and structure of software objects; integrated the model with the formalism to identify shared representation and inheritance mechanisms; demonstrated object programming by writing procedures and applying them to software objects; used data-directed and goal-directed reasoning to, respectively, infer the cause of bugs and evaluate the appropriateness of a configuration; and demonstrated knowledge-based graphics. Future plans include introduction of knowledge-based systems for rapid prototyping or rescheduling; natural language interfaces; blackboard architecture; and distributed processin

Deterministic entanglement of two neutral atoms via Rydberg blockade

We demonstrate the first deterministic entanglement of two individually addressed neutral atoms using a Rydberg blockade mediated controlled-NOT gate. Parity oscillation measurements reveal an entanglement fidelity of $F=0.58\pm0.04$, which is above the entanglement threshold of $F=0.5$, without any correction for atom loss, and $F=0.71\pm0.05$ after correcting for background collisional losses. The fidelity results are shown to be in good agreement with a detailed error model.Comment: 4 figure

The presence of valine at residue 129 in human prion protein accelerates amyloid formation

The polymorphism at residue 129 of the human PRNP gene modulates disease susceptibility and the clinicopathological phenotypes in human transmissible spongiform encephalopathies. The molecular mechanisms by which the effect of this polymorphism are mediated remain unclear. It has been shown that the folding, dynamics and stability of the physiological, alpha-helix-rich form of recombinant PrP are not affected by codon 129 polymorphism. Consistent with this, we have recently shown that the kinetics of amyloid formation do not differ between protein containing methionine at codon 129 and valine at codon 129 when the reaction is initiated from the a-monomeric PrPC-like state. In contrast, we have shown that the misfolding pathway leading to the formation of beta-sheet-rich, soluble oligomer waS favoured by the presence of methionine, compared with valine, at position 129. In the present work, we examine the effect of this polymorphism on the kinetics of an alternative misfolding pathway, that of amyloid formation using partially folded PrP allelomorphs. We show that the valine 129 allelomorph forms amyloids with a considerably shorter lag phase than the methionine 129 allelomorph both under spontaneous conditions and when seeded with pre-formed amyloid fibres. Taken together, our studies demonstrate that the effect of the codon 129 polymorphism depends on the specific misfolding pathway and on the initial conformation of the protein. The inverse propensities of the two allelomorphs to misfold in vitro through the alternative oligomeric and amyloidogenic pathways could explain some aspects of prion diseases linked to this polymorphism such as age at onset and disease incubation time. (c) 2005 Federation of European Biochemical Societies. Published by Elsevier B.V. All rights reserved

Exploring efficacy in personal constraint negotiation: an ethnography of mountaineering tourists

Limited work has explored the relationship between efficacy and personal constraint negotiation for adventure tourists, yet efficacy is pivotal to successful activity participation as it influences people’s perceived ability to cope with constraints, and their decision to use negotiation strategies. This paper explores these themes with participants of a commercially organised mountaineering expedition. Phenomenology-based ethnography was adopted to appreciate the social and cultural mountaineering setting from an emic perspective. Ethnography is already being used to understand adventure participation, yet there is considerable scope to employ it further through researchers immersing themselves into the experience. The findings capture the interaction between the ethnographer and the group members, and provide an embodied account using their lived experiences. Findings reveal that personal mountaineering skills, personal fitness, altitude sickness and fatigue were the four key types of personal constraint. Self-efficacy, negotiation-efficacy and other factors, such as hardiness and motivation, influenced the effectiveness of negotiation strategies. Training, rest days, personal health, and positive self-talk were negotiation strategies. A conceptual model illustrates these results and demonstrates the interplay between efficacy and the personal constraint negotiation journey for led mountaineers

Analytic Representation of The Dirac Equation

In this paper we construct an analytical separation (diagonalization) of the full (minimal coupling) Dirac equation into particle and antiparticle components. The diagonalization is analytic in that it is achieved without transforming the wave functions, as is done by the Foldy-Wouthuysen method, and reveals the nonlocal time behavior of the particle-antiparticle relationship. We interpret the zitterbewegung and the result that a velocity measurement (of a Dirac particle) at any instant in time is, as reflections of the fact that the Dirac equation makes a spatially extended particle appear as a point in the present by forcing it to oscillate between the past and future at speed c. From this we infer that, although the form of the Dirac equation serves to make space and time appear on an equal footing mathematically, it is clear that they are still not on an equal footing from a physical point of view. On the other hand, the Foldy-Wouthuysen transformation, which connects the Dirac and square root operator, is unitary. Reflection on these results suggests that a more refined notion (than that of unitary equivalence) may be required for physical systems

Rydberg state mediated quantum gates and entanglement of pairs of neutral atoms

Experiments performed within the last year have demonstrated Rydberg state mediated quantum gates and deterministic entanglement between pairs of trapped neutral atoms. These experiments validate ten year old proposals for Rydberg mediated quantum logic, but are only the beginning of ongoing efforts to improve the fidelity of the results obtained and scale the experiments to larger numbers of qubits. We present here a summary of the results to date, along with a critical evaluation of the prospects for higher fidelity Rydberg gates.Comment: submitted to ICAP 2010 proceeding

Progress in thin film GaAs solar cells

Solar cells using polycrystalline films of gallium arsenid

Estimating the spectrum of a density matrix with LOCC

The problem of estimating the spectrum of a density matrix is considered. Other problems, such as bipartite pure state entanglement, can be reduced to spectrum estimation. A local operations and classical communication (LOCC) measurement strategy is shown which is asymptotically optimal. This means that, for a very large number of copies, it becomes unnecessary to perform collective measurements which should be more difficult to implement in practice.Comment: 12 pages, uses iopart.cls and iopart10.clo. Improved version. v3: Reference updated, added journal referenc