124 research outputs found
Ruddy Shelduck Tadorna ferruginea home range and habitat use during the non-breeding season in Assam, India
India is an important non-breeding ground for migratory waterfowl in the Central Asian Flyway. Millions of birds visit wedands across the country, yet information on their distribution, abundance, and use of resources is rudimentary at best. Limited information suggests that populations of several species of migratory ducks are declining due to encroachment of wedand habitats largely by agriculture and industry. The development of conservation strategies is stymied by a lack of ecological information on these species. We conducted a preliminary assessment of the home range and habitat use of Ruddy Shelduck Tadornaferruginea in the northeast Indian state of Assam. Seven Ruddy Shelducks were fitted with solar-powered Global Positioning System (GPS) satellite transmitters, and were tracked on a daily basis during the winter of 2009-2010. Locations from all seven were used to describe habitat use, while locations from four were used to quantify their home range, as the other three had too few locations (<30) for home range estimation. A Brownian Bridge Movement Model (BBMM), used to estimate home ranges, found that the Ruddy Shelduck had an average core use area (i.e. the contour defining 50% of positions) of 40 km 2 (range = 22-87 km2) and an average home range (95% contour) of 610 km2 (range = 222-1,550 km2). Resource Selection Functions (RSF), used to describe habitat use, showed that the birds frequented riverine wetlands more than expected, occurred on grasslands and shrublands in proportion to their availability, and avoided woods and cropland habitats. The core use areas for three individuals (75%) were on the Brahmaputra River, indicating their preference for riverine habitats. Management and protection of riverine habitats and nearby grasslands may benefit conservation efforts for the Ruddy Shelduck and waterfowl species that share these habitats during the non-breeding seaso
Responses of global waterbird populations to climate change vary with latitude
While climate change continues to present a major threat to global biodiversity and ecosystems, most research on climate change impacts do not have the resolution to detect changes in species abundance and are often limited to temperate ecosystems. This limits our understanding of global responses in species abundance—a determinant of ecosystem function and services—to climate change including in the highly-biodiverse tropics. We address this knowledge gap by quantifying abundance responses to climate change in waterbirds, an indicator taxon of wetland biodiversity, at 6,822 sites between −55° and 64°. Using 1,303,651 count records since 1990 of 390 species, we show that with temperature increase, the abundance of species and populations decreased at lower latitudes, particularly in the tropics, but increased at higher latitudes. These contrasting responses to temperature increase according to latitude indicate potential global-scale poleward shifts of species abundance under climate change, providing empirical support for predictions by earlier studies. The negative responses to temperature increase in tropical species and populations are of conservation concern, as they are often also threatened by other anthropogenic factors. Our results suggest that existing biases in studies towards temperate regions could underestimate the impact of climate change on waterbirds and other species
ISA semantics for ARMV8-A, RISC-V, and ChERI-MIPs
Architecture specifications notionally define the fundamental interface between hardware and software: the envelope of allowed behaviour for processor implementations, and the basic assumptions for software development and verification. But in practice, they are typically prose and pseudocode documents, not rigorous or executable artifacts, leaving software and verification on shaky ground.
In this paper, we present rigorous semantic models for the sequential behaviour of large parts of the mainstream ARMv8-A, RISC-V, and MIPS architectures, and the research CHERI-MIPS architecture, that are complete enough to boot operating systems, variously Linux, FreeBSD, or seL4. Our ARMv8-A models are automatically translated from authoritative ARM-internal definitions, and (in one variant) tested against the ARM Architecture Validation Suite.
We do this using a custom language for ISA semantics, Sail, with a lightweight dependent type system, that supports automatic generation of emulator code in C and OCaml, and automatic generation of proof-assistant definitions for Isabelle, HOL4, and (currently only for MIPS) Coq. We use the former for validation, and to assess specification coverage. To demonstrate the usability of the latter, we prove (in Isabelle) correctness of a purely functional characterisation of ARMv8-A address translation. We moreover integrate the RISC-V model into the RMEM tool for (user-mode) relaxed-memory concurrency exploration. We prove (on paper) the soundness of the core Sail type system.
We thereby take a big step towards making the architectural abstraction actually well-defined, establishing foundations for verification and reasoning.</jats:p
Is Mercury Orange a selective stain for thiols?
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/42852/1/10735_2005_Article_BF01005240.pd
The influence of visual flow and perceptual load on locomotion speed
Visual flow is used to perceive and regulate movement speed during locomotion. We assessed the extent to which variation in flow from the ground plane, arising from static visual textures, influences locomotion speed under conditions of concurrent perceptual load. In two experiments, participants walked over a 12-m projected walkway that consisted of stripes that were oriented orthogonal to the walking direction. In the critical conditions, the frequency of the stripes increased or decreased. We observed small, but consistent effects on walking speed, so that participants were walking slower when the frequency increased compared to when the frequency decreased. This basic effect suggests that participants interpreted the change in visual flow in these conditions as at least partly due to a change in their own movement speed, and counteracted such a change by speeding up or slowing down. Critically, these effects were magnified under conditions of low perceptual load and a locus of attention near the ground plane. Our findings suggest that the contribution of vision in the control of ongoing locomotion is relatively fluid and dependent on ongoing perceptual (and perhaps more generally cognitive) task demands
Recommended from our members
A novel transport mechanism for MOMP in Chlamydophila pneumoniae and its putative role in immune-therapy
Major outer membrane proteins (MOMPs) of Gram negative bacteria are one of the most intensively studied membrane proteins. MOMPs are essential for maintaining the structural integrity of bacterial outer membranes and in adaptation of parasites to their hosts. There is evidence to suggest a role for purified MOMP from Chlamydophila pneumoniae and corresponding MOMP-derived peptides in immune-modulation, leading to a reduced atherosclerotic phenotype in apoE−/− mice via a characteristic dampening of MHC class II activity. The work reported herein tests this hypothesis by employing a combination of homology modelling and docking to examine the detailed molecular interactions that may be responsible. A three-dimensional homology model of the C. pneumoniae MOMP was constructed based on the 14 transmembrane β-barrel crystal structure of the fatty acid transporter from Escherichia coli, which provides a plausible transport mechanism for MOMP. Ligand docking experiments were used to provide details of the possible molecular interactions driving the binding of MOMP-derived peptides to MHC class II alleles known to be strongly associated with inflammation. The docking experiments were corroborated by predictions from conventional immuno-informatic algorithms. This work supports further the use of MOMP in C. pneumoniae as a possible vaccine target and the role of MOMP-derived peptides as vaccine candidates for immune-therapy in chronic inflammation that can result in cardiovascular events
Evaluation of appendicitis risk prediction models in adults with suspected appendicitis
Background
Appendicitis is the most common general surgical emergency worldwide, but its diagnosis remains challenging. The aim of this study was to determine whether existing risk prediction models can reliably identify patients presenting to hospital in the UK with acute right iliac fossa (RIF) pain who are at low risk of appendicitis.
Methods
A systematic search was completed to identify all existing appendicitis risk prediction models. Models were validated using UK data from an international prospective cohort study that captured consecutive patients aged 16–45 years presenting to hospital with acute RIF in March to June 2017. The main outcome was best achievable model specificity (proportion of patients who did not have appendicitis correctly classified as low risk) whilst maintaining a failure rate below 5 per cent (proportion of patients identified as low risk who actually had appendicitis).
Results
Some 5345 patients across 154 UK hospitals were identified, of which two‐thirds (3613 of 5345, 67·6 per cent) were women. Women were more than twice as likely to undergo surgery with removal of a histologically normal appendix (272 of 964, 28·2 per cent) than men (120 of 993, 12·1 per cent) (relative risk 2·33, 95 per cent c.i. 1·92 to 2·84; P < 0·001). Of 15 validated risk prediction models, the Adult Appendicitis Score performed best (cut‐off score 8 or less, specificity 63·1 per cent, failure rate 3·7 per cent). The Appendicitis Inflammatory Response Score performed best for men (cut‐off score 2 or less, specificity 24·7 per cent, failure rate 2·4 per cent).
Conclusion
Women in the UK had a disproportionate risk of admission without surgical intervention and had high rates of normal appendicectomy. Risk prediction models to support shared decision‐making by identifying adults in the UK at low risk of appendicitis were identified
Studies in Indian cereal smuts-I. Cereal smuts and their control by the development of resistant varieties
This article does not have an abstract
- …