ADEPT: A Heuristic Program for Proving Theorems of Group Theory

A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its operation is basically heuristic, incorporating many of the techniques of the human mathematician in a "natural" way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made.

Erich Lessing: Arresting Time. Reportage Photography 1948-1973

Crawford, Alistair, Erich Lessing: Arresting Time. Reportage Photography 1948-1973 (New York: W. W. Norton & Co., 2005) RAE2008

Plasmonic Nanoparticles and Nanowires: Design, Fabrication and Application in Sensing.

This study involves two aspects of our investigations of plasmonics-active systems: (i) theoretical and simulation studies and (ii) experimental fabrication of plasmonics-active nanostructures. Two types of nanostructures are selected as the model systems for their unique plasmonics properties: (1) nanoparticles and (2) nanowires on substrate. Special focus is devoted to regions where the electromagnetic field is strongly concentrated by the metallic nanostructures or between nanostructures. The theoretical investigations deal with dimers of nanoparticles and nanoshells using a semi-analytical method based on a multipole expansion (ME) and the finite-element method (FEM) in order to determine the electromagnetic enhancement, especially at the interface areas of two adjacent nanoparticles. The experimental study involves the design of plasmonics-active nanowire arrays on substrates that can provide efficient electromagnetic enhancement in regions around and between the nanostructures. Fabrication of these nanowire structures over large chip-scale areas (from a few millimeters to a few centimeters) as well as FDTD simulations to estimate the EM fields between the nanowires are described. The application of these nanowire chips using surface-enhanced Raman scattering (SERS) for detection of chemicals and labeled DNA molecules is described to illustrate the potential of the plasmonics chips for sensing.

Interaction of Cryptococcus neoformans Rim101 and protein kinase A regulates capsule.

Cryptococcus neoformans is a prevalent human fungal pathogen that must survive within various tissues in order to establish a human infection. We have identified the C. neoformans Rim101 transcription factor, a highly conserved pH-response regulator in many fungal species. The rim101 multiply sign in circle mutant strain displays growth defects similar to other fungal species in the presence of alkaline pH, increased salt concentrations, and iron limitation. However, the rim101 multiply sign in circle strain is also characterized by a striking defect in capsule, an important virulence-associated phenotype. This capsular defect is likely due to alterations in polysaccharide attachment to the cell surface, not in polysaccharide biosynthesis. In contrast to many other C. neoformans capsule-defective strains, the rim101 multiply sign in circle mutant is hypervirulent in animal models of cryptococcosis. Whereas Rim101 activation in other fungal species occurs through the conserved Rim pathway, we demonstrate that C. neoformans Rim101 is also activated by the cAMP/PKA pathway. We report here that C. neoformans uses PKA and the Rim pathway to regulate the localization, activation, and processing of the Rim101 transcription factor. We also demonstrate specific host-relevant activating conditions for Rim101 cleavage, showing that C. neoformans has co-opted conserved signaling pathways to respond to the specific niche within the infected host. These results establish a novel mechanism for Rim101 activation and the integration of two conserved signaling cascades in response to host environmental conditions.

How actions create--not just reveal--preferences.

The neo-classical economics view that behavior is driven by - and reflective of - hedonic utility is challenged by psychologists' demonstrations of cases in which actions do not merely reveal preferences but rather create them. In this view, preferences are frequently constructed in the moment and are susceptible to fleeting situational factors; problematically, individuals are insensitive to the impact of such factors on their behavior, misattributing utility caused by these irrelevant factors to stable underlying preferences. Consequently, subsequent behavior might reflect not hedonic utility but rather this erroneously imputed utility that lingers in memory. Here we review the roles of these streams of utility in shaping preferences, and discuss how neuroimaging offers unique possibilities for disentangling their independent contributions to behavior.

Where are cultural and social in ecosystem services? A framework for constructive engagement

A focus on ecosystem services (ES) is seen as a means for improving decisionmaking. In the research to date, the valuation of the material contributions of ecosystems to human well-being has been emphasized, with less attention to important cultural ES and nonmaterial values. This gap persists because there is no commonly accepted framework for eliciting less tangible values, characterizing their changes, and including them alongside other services in decisionmaking. Here, we develop such a framework for ES research and practice, addressing three challenges: (1) Nonmaterial values are ill suited to characterization using monetary methods; (2) it is difficult to unequivocally link particular changes in socioecological systems to particular changes in cultural benefits; and (3) cultural benefits are associated with many services, not just cultural ES. There is no magic bullet, but our framework may facilitate fuller and more socially acceptable integrations of ES information into planning and management. © 2012 by American Institute of Biological Sciences. All rights reserved.

Physiological levels of PTEN control the size of the cellular Ins(1,3,4,5,6)P5 pool

To understand how a signaling molecule's activities are regulated, we need insight into the processes controlling the dynamic balance between its synthesis and degradation. For the Ins(1,3,4,5,6)P5 signal, this information is woefully inadequate. For example, the only known cytosolic enzyme with the capacity to degrade Ins(1,3,4,5,6)P5 is the tumour-suppressor PTEN [J.J. Caffrey, T. Darden, M.R. Wenk, S.B. Shears, FEBS Lett. 499 (2001) 6 ], but the biological relevance has been questioned by others [E.A. Orchiston, D. Bennett, N.R. Leslie, R.G. Clarke, L. Winward, C.P. Downes, S.T. Safrany, J. Biol. Chem. 279 (2004) 1116 ]. The current study emphasizes the role of physiological levels of PTEN in Ins(1,3,4,5,6)P5 homeostasis. We employed two cell models. First, we used a human U87MG glioblastoma PTEN-null cell line that hosts an ecdysone-inducible PTEN expression system. Second, the human H1299 bronchial cell line, in which PTEN is hypomorphic due to promoter methylation, has been stably transfected with physiologically relevant levels of PTEN. In both models, a novel consequence of PTEN expression was to increase Ins(1,3,4,5,6)P5 pool size by 30-40% (p<0.01); this response was wortmannin-insensitive and, therefore, independent of the PtdIns 3-kinase pathway. In U87MG cells, induction of the G129R catalytically inactive PTEN mutant did not affect Ins(1,3,4,5,6)P(5) levels. PTEN induction did not alter the expression of enzymes participating in Ins(1,3,4,5,6)P5 synthesis. Another effect of PTEN expression in U87MG cells was to decrease InsP6 levels by 13% (p<0.02). The InsP6-phosphatase, MIPP, may be responsible for the latter effect; we show that recombinant human MIPP dephosphorylates InsP6 to D/L-Ins(1,2,4,5,6)P5, levels of which increased 60% (p<0.05) following PTEN expression in U87MG cells. Overall, our data add higher inositol phosphates to the list of important cellular regulators [Y. Huang, R.P. Wernyj, D.D. Norton, P. Precht, M.C. Seminario, R.L. Wange, Oncogene, 24 (2005) 3819 ] the levels of which are modulated by expression of the highly pleiotropic PTEN protein.

Monitoring SO2 emission at the Soufriere Hills Volcano: implications for changes in eruptive conditions

info:eu-repo/semantics/published

Priority research questions for the UK food system

The rise of food security up international political, societal and academic agendas has led to increasing interest in novel means of improving primary food production and reducing waste. There are however, also many 'post-farm gate' activities that are critical to food security, including processing, packaging, distributing, retailing, cooking and consuming. These activities all affect a range of important food security elements, notably availability, affordability and other aspects of access, nutrition and safety. Addressing the challenge of universal food security, in the context of a number of other policy goals (e.g. social, economic and environmental sustainability), is of keen interest to a range of UK stakeholders but requires an up-to-date evidence base and continuous innovation. An exercise was therefore conducted, under the auspices of the UK Global Food Security Programme, to identify priority research questions with a focus on the UK food system (though the outcomes may be broadly applicable to other developed nations). Emphasis was placed on incorporating a wide range of perspectives ('world views') from different stakeholder groups: policy, private sector, non-governmental organisations, advocacy groups and academia. A total of 456 individuals submitted 820 questions from which 100 were selected by a process of online voting and a three-stage workshop voting exercise. These 100 final questions were sorted into 10 themes and the 'top' question for each theme identified by a further voting exercise. This step also allowed four different stakeholder groups to select the top 7-8 questions from their perspectives. Results of these voting exercises are presented. It is clear from the wide range of questions prioritised in this exercise that the different stakeholder groups identified specific research needs on a range of post-farm gate activities and food security outcomes. Evidence needs related to food affordability, nutrition and food safety (all key elements of food security) featured highly in the exercise. While there were some questions relating to climate impacts on production, other important topics for food security (e.g. trade, transport, preference and cultural needs) were not viewed as strongly by the participants.

The WASP Project and the SuperWASP Cameras

The SuperWASP cameras are wide-field imaging systems at the Observatorio del Roque de los Muchachos on the island of La Palma in the Canary Islands, and at the Sutherland Station of the South African Astronomical Observatory. Each instrument has a field of view of some 482 deg2 with an angular scale of 13.7" pixel-1, and is capable of delivering photometry with accuracy better than 1% for objects having V~7.0-11.5. Lower quality data for objects brighter than V~15.0 are stored in the project archive. The systems, while designed to monitor fields with high cadence, are capable of surveying the entire visible sky every 40 minutes. Depending on the observational strategy, the data rate can be up to 100 Gbytes per night. We have produced a robust, largely automatic reduction pipeline and advanced archive, which are used to serve the data products to the consortium members. The main science aim of these systems is to search for bright transiting exoplanet systems suitable for spectroscopic follow-up observations. The first 6 month season of SuperWASP-North observations produced light curves of ~6.7 million objects with 12.9 billion data points.

The SuperWASP wide-field exoplanetary transit survey: candidates from fields 23 h <RA <03 h

Photometric transit surveys promise to complement the currently known sample of extra-solar planets (ESPs) by providing additional information on the planets and especially their radii. Here, we present ESP candidates from one such survey called, the Wide Angle Search for Planets (WASP) obtained with the SuperWASP wide-field imaging system. Observations were taken with SuperWASP North located in La Palma during the 2004 April to October observing season. The data cover fields between 23 and 03 h in RA at declinations above +12. This amounts to over ~400000 stars with V magnitudes 8-13.5. For the stars brighter than 12.5, we achieve better than 1 per cent photometric precision. Here, we present 41 sources with low-amplitude variability between ~1 and 10 mmag, from which we select 12 with periods between 1.2 and 4.4 d as the most promising ESP candidates. We discuss the properties of these ESP candidates, the expected fraction of transits recovered for our sample and implications for the frequency and detection of hot-Jupiters.

WASP-1b and WASP-2b: Two new transiting exoplanets detected with SuperWASP and SOPHIE

We have detected low-amplitude radial-velocity variations in two stars, USNO-B1.0 1219-0005465 (GSC 02265-00107 = WASP-1) and USNO-B1.0 0964-0543604 (GSC 00522-01199 = WASP-2). Both stars were identified as being likely host stars of transiting exoplanets in the 2004 SuperWASP wide-field transit survey. Using the newly commissioned radial-velocity spectrograph SOPHIE at the Observatoire de Haute-Provence, we found that both objects exhibit reflex orbital radial-velocity variations with amplitudes characteristic of planetary-mass companions and in-phase with the photometric orbits. Line-bisector studies rule out faint blended binaries as the cause of either the radial-velocity variations or the transits. We perform preliminary spectral analyses of the host stars, which together with their radial-velocity variations and fits to the transit light curves yield estimates of the planetary masses and radii. WASP-1b and WASP-2b have orbital periods of 2.52 and 2.15 d, respectively. Given mass estimates for their F7V and K1V primaries, we derive planet masses 0.80-0.98 and 0.81-0.95 times that of Jupiter, respectively. WASP-1b appears to have an inflated radius of at least 1.33 RJup, whereas WASP-2b has a radius in the range 0.65-1.26 RJup.

Status of SuperWASP I (La Palma)

SuperWASP is an ultra-wide field (over 300 sq. degrees) photometric survey project designed to monitor stars between 7 - 15 mag to high precision and with high cadence over long (greater than or equal to2 months) timescales. The primary science goal of this project is the detection of exoplanetary transits, as well as NEOs and optical transients. The resulting photometric catalogue will be made public via a web-based interface. The SuperWASP instrument consists of an array of cameras each with a 7.8degrees x 7.8degrees field of view, guided by a robotic fork mount and sited in a fibreglass enclosure at the Observatorio de Roque de los Muchachos (ORM), La Palma, Canary Islands. In this progress report, we describe the specifications of the instrument, its semi-automated operation and pipeline data reduction.

The WASP project in the era of robotic telescope networks

We present the current status of the WASP project, a pair of wide angle photometric telescopes, individually called SuperWASP. SuperWASP-I is located in La Palma, and SuperWASP-II at Sutherland in South Africa. SW-I began operations in April 2004. SW-II is expected to be operational in early 2006. Each SuperWASP instrument consists of up to 8 individual cameras using ultra-wide field lenses backed by high-quality passively cooled CCDs. Each camera covers 7.8 x 7.8 sq degrees of sky, for nearly 500 sq degrees of total sky coverage. One of the current aims of the WASP project is the search for extra-solar planet transits with a focus on brighter stars in the magnitude range similar to 8 to 13. Additionally, WASP will search for, optical transients, track Near-Earth Objects, and study many types of variable stars and extragalactic objects. The collaboration has developed a custom-built reduction pipeline that achieves better than I percent photometric precision. We discuss future goals, which include: nightly on-mountain reductions that could be used to automatically drive alerts via a small robotic telescope network, and possible roles of the WASP telescopes as providers in such a network. Additional technical details of the telescopes, data reduction, and consortium members and institutions can be found on the web site at: http://www.superwasp.org/. (c) 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.