Locally Polynomially Bounded Structures

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise implicitly defined over the basic functions in the language.Comment: Change of titl

Towards a relation extraction framework for cyber-security concepts

In order to assist security analysts in obtaining information pertaining to their network, such as novel vulnerabilities, exploits, or patches, information retrieval methods tailored to the security domain are needed. As labeled text data is scarce and expensive, we follow developments in semi-supervised Natural Language Processing and implement a bootstrapping algorithm for extracting security entities and their relationships from text. The algorithm requires little input data, specifically, a few relations or patterns (heuristics for identifying relations), and incorporates an active learning component which queries the user on the most important decisions to prevent drifting from the desired relations. Preliminary testing on a small corpus shows promising results, obtaining precision of .82.Comment: 4 pages in Cyber & Information Security Research Conference 2015, AC

Fail-safe system for activity cooled supersonic and hypersonic aircraft

A fail-safe-system concept was studied as an alternative to a redundant active cooling system for supersonic and hypersonic aircraft which use the heat sink of liquid-hydrogen fuel for cooling the aircraft structure. This concept consists of an abort maneuver by the aircraft and a passive thermal protection system (TPS) for the aircraft skin. The abort manuever provides a low-heat-load descent from normal cruise speed to a lower speed at which cooling is unnecessary, and the passive TPS allows the aircraft skin to absorb the abort heat load without exceeding critical skin temperature. On the basis of results obtained, it appears that this fail-safe-system concept warrants further consideration, inasmuch as a fail-safe system could possibly replace a redundant active cooling system with no increase in weight and would offer other potential advantages

Cell death and degeneration in the symbiotic dinoflagellates of the coral Stylophora pistillata during bleaching

Rising sea temperatures are increasing the incidences of mass coral bleaching (the dissociation of the coral–algal symbiosis) and coral mortality. In this study, the effects of bleaching (induced by elevated light and temperature) on the condition of symbiotic dinoflagellates (Symbiodinium sp.) within the tissue of the hard coral Stylophora pistillata (Esper) were assessed using a suite of techniques. Bleaching of S. pistillata was accompanied by declines in the maximum potential quantum yield of photosynthesis (Fv/Fm, measured using pulse amplitude modulated [PAM] fluorometry), an increase in the number of Sytox-green-stained algae (indicating compromised algal membrane integrity and cell death), an increase in 2’,7’-dichlorodihydrofluroscein diacetate (H2DCFDA)- stained algae (indicating increased oxidative stress), as well as ultrastructural changes (vacuolisation, losses of chlorophyll, and an increase in accumulation bodies). Algae expelled from S. pistillata exhibited a complete disorganisation of cellular contents; expelled cells contained only amorphous material. In situ samples taken during a natural mass coral bleaching event on the Great Barrier Reef in February 2002 also revealed a high number of Sytox-labelled algae cells in symbio. Dinoflagellate\ud degeneration during bleaching seems to be similar to the changes resulting from senescence-phase cell death in cultured algae. These data support a role for oxidative stress in the mechanism of coral bleaching and highlight the importance of algal degeneration during the bleaching of a reef coral

The discovery of very red counterparts to faint X-ray sources

We present deep K-band imaging at the positions of four very faint X-ray sources found in the UK ROSAT Deep Survey to have no optical counterpart brighter than R~23. Likely identifications are found within the ROSAT error circle in all four fields with R-K colours of between 3.2 +/- 0.4 and 6.4 +/- 0.6. From a consideration of the R-K colours and X-ray to optical luminosity ratios of the candidate identifications, we tentatively classify two of the X-ray sources as very distant (z ~ 1) clusters of galaxies, one as a narrow emission line galaxy and one as an obscured QSO.Comment: 7 pages, LaTeX, 7 figures (1 postscript file each). Uses mn.sty and epsf.sty. Accepted by MNRAS. For more information see http://www.astro.soton.ac.uk/~amn/UKdee

Assessment feedback only on demand: Supporting the few not supplying the many

There are many pressures on academics to ‘satisfy’ students’ needs for feedback, not least the inclusion of questions about feedback. Many have commentated on the lack of student engagement with summative feedback while most believe that feedback is necessary to improve individual student performance. Several have looked at a range of reasons why students do not collect their feedback, but investigated in this article is how many students collected summative feedback and why they did so. This article outlines an action research–based intervention that involved offering feedback ‘on demand’ to undergraduate students and utilised access statistics data from the virtual learning environment to identify the actual rate of feedback collection by students. Investigated is whether or not there is a discernible preference for seeking feedback where there is a difference between the expected grade and the actual grade. Student survey and the virtual learning environment access data were used to indicate whether students are satisfied with a few short comments and a marking grid, if the mark is similar to their expectations. The resource efficiency and effectiveness for academic staff in terms of providing detailed individual feedback to all students are discussed. </jats:p

Modelling the alumina abundance of oxygen-rich evolved stars in the Large Magellanic Cloud

In order to determine the composition of the dust in the circumstellar envelopes of oxygen-rich asymptotic giant branch (AGB) stars we have computed a grid of modust radiative-transfer models for a range of dust compositions, mass-loss rates, dust shell inner radii and stellar parameters. We compare the resulting colours with the observed oxygen-rich AGB stars from the SAGE-Spec Large Magellanic Cloud (LMC) sample, finding good overall agreement for stars with a mid-infrared excess. We use these models to fit a sample of 37 O-rich AGB stars in the LMC with optically thin circumstellar envelopes, for which 5$-$35-$\mu$m Spitzer infrared spectrograph (IRS) spectra and broadband photometry from the optical to the mid-infrared are available. From the modelling, we find mass-loss rates in the range $\sim 8\times10^{-8}$ to $5\times10^{-6}$ M$_{\odot}\ \mathrm{yr}^{-1}$, and we show that a grain mixture consisting primarily of amorphous silicates, with contributions from amorphous alumina and metallic iron provides a good fit to the observed spectra. Furthermore, we show from dust models that the AKARI [11]$-$[15] versus [3.2]$-$[7] colour-colour diagram, is able to determine the fractional abundance of alumina in O-rich AGB stars.Comment: 22 pages, 17 figures, accepted MNRA

Spin and exchange coupling for Ti embedded in a surface dipolar network

We have studied the spin and exchange coupling of Ti atoms on a Cu$_2$N/Cu(100) surface using density functional theory. We find that individual Ti have a spin of 1.0 (i.e., 2 Bohr Magneton) on the Cu$_2$N/Cu(100) surface instead of spin-1/2 as found by Scanning Tunneling Microscope. We suggest an explanation for this difference, a two-stage Kondo effect, which can be verified by experiments. By calculating the exchange coupling for Ti dimers on the Cu$_2$N/Cu(100) surface, we find that the exchange coupling across a `void' of 3.6\AA\ is antiferromagnetic, whereas indirect (superexchange) coupling through a N atom is ferromagnetic. We confirm the existence of superexchange interactions by varying the Ti-N angle in a model trimer calculation. For a square lattice of Ti on Cu$_2$N/Cu(100), we find a novel spin striped phase