A NASA/RAE cooperation in the development of a real-time knowledge-based autopilot

As part of a US/UK cooperative aeronautical research program, a joint activity between the NASA Dryden Flight Research Facility and the Royal Aerospace Establishment on knowledge-based systems was established. This joint activity is concerned with tools and techniques for the implementation and validation of real-time knowledge-based systems. The proposed next stage of this research is described, in which some of the problems of implementing and validating a knowledge-based autopilot for a generic high-performance aircraft are investigated

Semicontinuous Bioreactor Production of Recombinant Butyrylcholinesterase in Transgenic Rice Cell Suspension Cultures.

An active and tetrameric form of recombinant butyrylcholinesterase (BChE), a large and complex human enzyme, was produced via semicontinuous operation in a transgenic rice cell suspension culture. After transformation of rice callus and screening of transformants, the cultures were scaled up from culture flask to a lab scale bioreactor. The bioreactor was operated through two phases each of growth and expression. The cells were able to produce BChE during both expression phases, with a maximum yield of 1.6 mg BChE/L of culture during the second expression phase. Cells successfully regrew during a 5-day growth phase. A combination of activity assays and Western blot analysis indicated production of an active and fully assembled tetramer of BChE

Hubble Space Telescope NICMOS Imaging of W3 IRS 5: A Trapezium in the Making?

We present Hubble Space Telescope NICMOS imaging of W3 IRS 5, a binary high-mass protostar. In addition to the two protostars, NICMOS images taken in the F222M and F160W filters show three new 2.22 micron sources with very red colors; these sources fall within a region 5600 AU in diameter, and are coincident with a 100 solar mass dense molecular clump. Two additional point sources are found within 0.4'' (800 AU) of one of the high-mass protostars; these may be stellar companions or unresolved emission knots from an outflow. We propose that these sources constitute a nascent Trapezium system in the center of the W3 IRS 5 cluster containing as many as five proto OB stars. This would be the first identification of a Trapezium still deeply embedded in its natal gas.Comment: accepted to ApJ letter

A panchromatic view of PKS 0558-504: an ideal laboratory to study the disk-jet link

PKS 0558-504 is the brightest radio-loud Narrow-Line Seyfert 1 galaxy at X-ray energies. Here we present results from the radio, optical, UV, and X-ray bands obtained with Swift, XMM, and ATCA during a 10-day monitoring campaign in September 2008. The simultaneous coverage at several wavelengths makes it possible to investigate in detail the broadband spectral energy distribution (SED) and the energetic of this source. The main results can be summarized as follows. The ATCA reveals the presence of an extended radio emission in PKS 0558-504 with two lobe-like structures at ~7" from the bright central source. The extended radio structure and the low value of the radio-loudness similar to radio-quiet Seyfert galaxies coupled with constraints from higher energy bands argue against a jet-dominated emission. The study of the SED, which is dominated by a nearly constant optical-UV emission, supports the conclusion that PKS 0558-504 is accreting at super-Eddington rate. This conclusion was reached assuming M_BH=2.5e8 M_sun, which was obtained with a new scaling method based on X-ray spectral variability results. A comparison between the accretion luminosity and the kinetic power associated with the jet suggests that in this source the accretion power dominates in agreement with the results obtained from Radiation-MHD simulations of Galactic black holes (GBHs) accreting at the Eddington rate. The combined findings from this panchromatic investigation strongly suggest that PKS 0558-504 is a large-scale analog of GBHs in their highly accreting intermediate state. Importantly, PKS 0558-504 may also be the prototype of the parent population of the very radio-loud NLS1s recently detected at gamma-ray energies.Comment: 11 pages, 5 figures, 3 tables, accepted for publication in Ap

Observing Serendipity in Digital Information Environments

We often interact with digital information environments to find useful information. But sometimes useful information finds us unexpectedly, propelling us in new and exciting directions. We might come across information serendipitously when looking for information on something else, or when we are not looking for anything in particular. In previous studies, people have self-reported that they come across information serendipitously. However, there has been limited success in directly observing people doing so. To see if we could have more success, we conducted naturalistic observations of 45 users interacting with different types of digital information environments. Without priming them about serendipity, we asked the users to conduct self-chosen naturalistic information tasks, which varied from broad tasks such as browsing online news to narrow tasks such as finding a particular product to buy. We noted several examples where users either 1) stated they were looking for information on a particular topic or product and unexpectedly found useful/potentially useful information about something else or 2) unexpectedly found useful/potentially useful information when not looking for anything in particular. Our findings suggest that, with a carefully-considered approach, serendipity-related information interaction behaviour can be directly observed. Direct observation allows designers of digital information environments to better understand this behaviour and use this understanding to reason about ways of designing new or improving existing support for serendipity

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Fresh Activity in Old Systems: Radio AGN in Fossil Groups of Galaxies

We present the first systematic 1.4 GHz Very Large Array radio continuum survey of fossil galaxy group candidates. These are virialized systems believed to have assembled over a gigayear in the past through the merging of galaxy group members into a single, isolated, massive elliptical galaxy and featuring an extended hot X-ray halo. We use new photometric and spectroscopic data from SDSS Data Release 7 to determine that three of the candidates are clearly not fossil groups. Of the remaining 30 candidates, 67% contain a radio-loud (L_1.4GHz > 10^23 W Hz^-1) active galactic nucleus (AGN) at the center of their dominant elliptical galaxy. We find a weak correlation between the radio luminosity of the AGN and the X-ray luminosity of the halo suggesting that the AGN contributes to energy deposition into the intragroup medium. We only find a correlation between the radio and optical luminosity of the central elliptical galaxy when we include X-ray selected, elliptically dominated non-fossil groups, indicating a weak relationship between AGN strength and the mass assembly history of the groups. The dominant elliptical galaxy of fossil groups is on average roughly an order of magnitude more luminous than normal group elliptical galaxies in optical, X-ray, and radio luminosities and our findings are consistent with previous results that the radio-loud fraction in elliptical galaxies is linked to the stellar mass of a population. The current level of activity in fossil groups suggests that AGN fueling continues long after the last major merger. We discuss several possibilities for fueling the AGN at the present epoch.Comment: Accepted for publication in A

Poststroke Trajectories: The Process of Recovery Over the Longer Term Following Stroke

We adopted a grounded theory approach to explore the process of recovery experienced by stroke survivors over the longer term who were living in the community in the United Kingdom, and the interacting factors that are understood to have shaped their recovery trajectories. We used a combination of qualitative methods. From the accounts of 22 purposively sampled stroke survivors, four different recovery trajectories were evident: (a) meaningful recovery, (b) cycles of recovery and decline, (c) ongoing disruption, (d) gradual, ongoing decline. Building on the concept of the illness trajectory, our findings demonstrate how multiple, interacting factors shape the process and meaning of recovery over time. Such factors included conception of recovery and meanings given to the changing self, the meanings and consequences of health and illness experiences across the life course, loss, sense of agency, and enacting relationships. Awareness of the process of recovery will help professionals better support stroke survivors

Going beyond defining: Preschool educators\u27 use of knowledge in their pedagogical reasoning about vocabulary instruction

Previous research investigating both the knowledge of early childhood educators and the support for vocabulary development present in early childhood settings has indicated that both educator knowledge and enacted practice are less than optimal, which has grave implications for children\u27s early vocabulary learning and later reading achievement. Further, the nature of the relationship between educators\u27 knowledge and practice is unclear, making it difficult to discern the best path towards improved knowledge, practice, and children\u27s vocabulary outcomes. The purpose of the present study was to add to the existing literature by using stimulated recall interviews and a grounded approach to examine how 10 preschool educators used their knowledge to made decisions about their moment-to-moment instruction in support of children\u27s vocabulary development. Results indicate that educators were thinking in highly context-specific ways about their goals and strategies for supporting vocabulary learning, taking into account important knowledge of their instructional history with children and of the children themselves to inform their decision making in the moment. In addition, they reported thinking about research-based goals and strategies for supporting vocabulary learning that went beyond simply defining words for children. Implications for research and professional development are discussed