The stripe-backed weasel Mustela strigidorsa: taxonomy, ecology, distribution and status

1. The stripe-backed weasel Mustela strigidorsa is one of the rarest and least-known mustelids in the world. Its phylogenetic relationships with other Mustela species remain controversial, though several unique morphological features distinguish it from congeners. 2. It probably lives mainly in evergreen forests in hills and mountains, but has also been recorded from plains forest, dense scrub, secondary forest, grassland and farmland. Known sites range in altitude from 90 m to 2500 m. Data are insufficient to distinguish between habitat and altitudes which support populations, and those where only dispersing animals may occur. 3. It has been confirmed from many localities in north-east India, north and central Myanmar, south China, north Thailand, north and central Laos, and north and central Vietnam. Given the limited survey effort, the number of recent records shows that the species is not as rare as hitherto believed. Neither specific nor urgent conservation needs are apparent.

Numerical study on hydrate bearing sediments during gas production

The fully coupled methane hydrate model developed in Cambridge was adopted in this numerical study on gas production trial at the Eastern Nankai Trough, Japan 2013. Based on the latest experimental data of hydrate soil core samples, the clay parameters at Eastern Nankai site were successfully calibrated. With updated clay parameters and site geometry, a 50 days gas production trail was numerically simulated in FLAC2D. The geomechanical behaviour of hydrate bearing sediments under 3 different depressurization strategies were explored and discussed. The results from both axisymmetrical and plane-strain models suggest, the slope of the seabed only affects mechanical properties while no significant impact on the dissociation, temperature and pore pressure. For mechanical deformation after PT recovery, there are large settlements above the perforation zone and small uplift underneath the production zone. To validate the fully coupled model, numerical simulation with finer mesh in the hydrate production zone was carried out. The simulation results suggest good agreement between our model and JOE's results on history matching of gas and water production during trial. Parameter sensitivity of gas production is also investigated and concluded the sea water salinity is a dominant factor for gas production.

A hardware proof of concept of a sailing robot for ocean observation

M J Neal, A hardware proof of concept of a sailing robot for ocean observation, IEEE Journal of Oceanic Engineering, 2006 accepted for publication RAE2008

Strategic intelligence, Counter-Intelligence and Alliance Diplomacy in Anglo-French relations before the Second World War

Jackson, Peter, and Joe Maiolo, 'Strategic intelligence, Counter-Intelligence and Alliance Diplomacy in Anglo-French relations before the Second World War', Military History (2006) 65(2) pp.417-461 RAE2008

Centres and limit cycles for an extended Kukles system

Hill, Joe M., Lloyd, Noel G., Pearson, Jane M., 'Centres and limit cycles for an extended Kukles system', Electronic Journal of Differential Equations, Vol. 2007(2007), No. 119, pp. 1-23.

Algorithmic derivation of isochronicity conditions

Hill, Joe M., Lloyd, Noel G., Pearson, Jane M., 'Algorithmic derivation of isochronicity conditions', Nonlinear Analysis (2007) 67, 52-69.

Limit cycles of a predator-prey model with intratrophic predation

Hill, Joe M., Lloyd, Noel G., Pearson, Jane M., 'Limit cycles of a predator-prey model with intratrophic predation', Journal of Mathematical Analysis and Applications Volume 349, Issue 2, 15 January 2009, Pages 544-555

Desire Amongst the Dodgems: Alain Platel and the Scene of Seduction

Kear, Adrian, 'Desire Amongst the Dodgems: Alain Platel and the Scene of Seduction', In: Contemporary Theatres in Europe: A Critical Companion, Joe Kelleher and Nicholas Ridout (eds), (New York: Routledge), pp.106-119, 2006 RAE2008

Absence of turnover and futile cycling of sucrose in leaves of Lolium temulentum L.: implications for metabolic compartmentation

Cairns, A. J., Gallagher, J. A. (2004). Absence of turnover and futile cycling of sucrose in leaves of Lolium temulentum L.: implications for metabolic compartmentation. Planta, 219 (5), 836-846. Sponsorship: BBSRC RAE2008

Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light

Chungui Lu, Olga A. Koroleva, John F. Farrar, Joe Gallagher, Chris J. Pollock, and A. Deri Tomos (2002). Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light. Plant Physiology, 130 (3) pp.1335-1348 Sponsorship: BBSRC RAE2008

Cloning and characterization of a putative fructosyltransferase and two putative invertase genes from the temperate grass Lolium temulentum L.

J. A. Gallagher, A. J. Cairns and C. J. Pollock (2004). Cloning and characterization of a putative fructosyltransferase and two putative invertase genes from the temperate grass Lolium temulentum L. Journal of Experimental Botany, 55 (397) pp.557-569 Sponsorship: BBSRC RAE2008

Distúrbios do metabolismo do cobre, ferro e zinco

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.