1,347 research outputs found

    Report of the panel on the land surface: Process of change, section 5

    Get PDF
    The panel defined three main areas of study that are central to the Solid Earth Science (SES) program: climate interactions with the Earth's surface, tectonism as it affects the Earth's surface and climate, and human activities that modify the Earth's surface. Four foci of research are envisioned: process studies with an emphasis on modern processes in transitional areas; integrated studies with an emphasis on long term continental climate change; climate-tectonic interactions; and studies of human activities that modify the Earth's surface, with an emphasis on soil degradation. The panel concluded that there is a clear requirement for global coverage by high resolution stereoscopic images and a pressing need for global topographic data in support of studies of the land surface

    Modelling the Dynamics of an Aedes albopictus Population

    Full text link
    We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314

    The interplay of intrinsic and extrinsic bounded noises in genetic networks

    Get PDF
    After being considered as a nuisance to be filtered out, it became recently clear that biochemical noise plays a complex role, often fully functional, for a genetic network. The influence of intrinsic and extrinsic noises on genetic networks has intensively been investigated in last ten years, though contributions on the co-presence of both are sparse. Extrinsic noise is usually modeled as an unbounded white or colored gaussian stochastic process, even though realistic stochastic perturbations are clearly bounded. In this paper we consider Gillespie-like stochastic models of nonlinear networks, i.e. the intrinsic noise, where the model jump rates are affected by colored bounded extrinsic noises synthesized by a suitable biochemical state-dependent Langevin system. These systems are described by a master equation, and a simulation algorithm to analyze them is derived. This new modeling paradigm should enlarge the class of systems amenable at modeling. We investigated the influence of both amplitude and autocorrelation time of a extrinsic Sine-Wiener noise on: (i)(i) the Michaelis-Menten approximation of noisy enzymatic reactions, which we show to be applicable also in co-presence of both intrinsic and extrinsic noise, (ii)(ii) a model of enzymatic futile cycle and (iii)(iii) a genetic toggle switch. In (ii)(ii) and (iii)(iii) we show that the presence of a bounded extrinsic noise induces qualitative modifications in the probability densities of the involved chemicals, where new modes emerge, thus suggesting the possibile functional role of bounded noises

    Deep to shallow-marine sedimentology and impact of volcanism within the Middle Triassic Palaeo-Tethyan Semantan Basin, Singapore

    Get PDF
    The Middle Triassic Pulau Ayer Chawan Formation is a predominantly deep-marine, occasionally shallow-marine sedimentary succession, deposited in the Singapore sector of the Palaeo-Tethyan Semantan Basin. The formation provides an important record of the dynamic interplay between a siliciclastic sedimentary system and the products of an adjacent active volcanic arc. It is characterised by six sub-environments, including: deep-marine turbidite fan, deep-marine background sedimentation, subaqueous debris cone, shallow-marine, volcanically-sourced turbidite fan, and hyaloclastite mound or ridge. Turbidite fan deposits preserve the input of both siliciclastic and volcaniclastic sediments from the shelf, transported into the deep-marine environment by a suite of subaqueous sediment gravity flow processes, including: turbidity currents; mixed flow types (hybrid event beds); concentrated and hyper concentrated sediment gravity flows, and debris flows. Thick heterolithic successions of debrites were likely sourced through regular collapse of an unstable shelf. The presence of hybrid event beds, encountered within the deep-marine turbidite fans, supports a slope that was out-of-grade, and may have been actively retreating towards the hinterland. Together, these factors suggest regional-scale uplift of the eastern margins of the Semantan Basin during Triassic times, most likely facilitated through volcanic activity in the adjacent Palaeo-Tethys Sukhothai Arc. Evidence for contemporaneous, arc-related magmatism includes ubiquitous volcaniclastic sedimentary rocks within formation, including pyroclastic density current deposits and perhaps more-strikingly through the hyaloclastites of the Nanyang Member. The hyaloclastites formed through quenching of magmas delivered into the deep-marine setting from a series of sub-sea vents or mounds

    Stochastic modelling of reaction-diffusion processes: algorithms for bimolecular reactions

    Full text link
    Several stochastic simulation algorithms (SSAs) have been recently proposed for modelling reaction-diffusion processes in cellular and molecular biology. In this paper, two commonly used SSAs are studied. The first SSA is an on-lattice model described by the reaction-diffusion master equation. The second SSA is an off-lattice model based on the simulation of Brownian motion of individual molecules and their reactive collisions. In both cases, it is shown that the commonly used implementation of bimolecular reactions (i.e. the reactions of the form A + B -> C, or A + A -> C) might lead to incorrect results. Improvements of both SSAs are suggested which overcome the difficulties highlighted. In particular, a formula is presented for the smallest possible compartment size (lattice spacing) which can be correctly implemented in the first model. This implementation uses a new formula for the rate of bimolecular reactions per compartment (lattice site).Comment: 33 pages, submitted to Physical Biolog

    A marker of biological age explains individual variation in the strength of the adult stress response

    Get PDF
    This research was funded by the Biotechnology and Biological Sciences Research Council (BBSRC) under grants BB/J016446/1, BB/J015091/1 and BB/J016292/1. The project has also received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement no. AdG 666669 (D.N.) and 268926 (P.M.)) K.A.S. was also funded by a BBSRC David Phillips Research Fellowship. The raw data and R script from this experiment are publicly available at: https://doi.org/10.5281/zenodo.846830 [38].The acute stress response functions to prioritize behavioural and physiological processes that maximize survival in the face of immediate threat. There is variation between individuals in the strength of the adult stress response that is of interest in both evolutionary biology and medicine. Age is an established source of this variation-stress responsiveness diminishes with increasing age in a range of species-but unexplained variation remains. Since individuals of the same chronological age may differ markedly in their pace of biological ageing, we asked whether biological age-measured here via erythrocyte telomere length-predicts variation in stress responsiveness in adult animals of the same chronological age. We studied two cohorts of European starlings in which we had previously manipulated the rate of biological ageing by experimentally altering the competition experienced by chicks in the fortnight following hatching. We predicted that individuals with greater developmental telomere attrition, and hence greater biological age, would show an attenuated corticosterone (CORT) response to an acute stressor when tested as adults. In both cohorts, we found that birds with greater developmental telomere attrition had lower peak CORT levels and a more negative change in CORT levels between 15 and 30 min following stress exposure. Our results, therefore, provide strong evidence that a measure of biological age explains individual variation in stress responsiveness: birds that were biologically older were less stress responsive. Our results provide a novel explanation for the phenomenon of developmental programming of the stress response: observed changes in stress physiology as a result of exposure to early-life adversity may reflect changes in ageing.Publisher PDFPeer reviewe

    Efficient Parallel Statistical Model Checking of Biochemical Networks

    Full text link
    We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture

    Comparing methods suitable for monitoring marine mammals in low visibility conditions during seismic surveys

    Get PDF
    Funding: This work was supported by the Joint Industry Programme on E&P Sound and Marine Life - Phase III. TAM was partially supported by CEAUL (funded by FCT - Fundação para a Ciência e a Tecnologia, Portugal, through the project UID/MAT/00006/2013).Loud sound emitted during offshore industrial activities can impact marine mammals. Regulations typically prescribe marine mammal monitoring before and/or during these activities to implement mitigation measures that minimise potential acoustic impacts. Using seismic surveys under low visibility conditions as a case study, we review which monitoring methods are suitable and compare their relative strengths and weaknesses. Passive acoustic monitoring has been implemented as either a complementary or alternative method to visual monitoring in low visibility conditions. Other methods such as RADAR, active sonar and thermal infrared have also been tested, but are rarely recommended by regulatory bodies. The efficiency of the monitoring method(s) will depend on the animal behaviour and environmental conditions, however, using a combination of complementary systems generally improves the overall detection performance. We recommend that the performance of monitoring systems, over a range of conditions, is explored in a modelling framework for a variety of species.Publisher PDFPeer reviewe

    Molecular Remodeling of Tip Links Underlies Mechanosensory Regeneration in Auditory Hair Cells

    Get PDF
    Sound detection by inner ear hair cells requires tip links that interconnect mechanosensory stereocilia and convey force to yet unidentified transduction channels. Current models postulate a static composition of the tip link, with protocadherin 15 (PCDH15) at the lower and cadherin 23 (CDH23) at the upper end of the link. In terminally differentiated mammalian auditory hair cells, tip links are subjected to sound-induced forces throughout an organism\u27s life. Although hair cells can regenerate disrupted tip links and restore hearing, the molecular details of this process are unknown. We developed a novel implementation of backscatter electron scanning microscopy to visualize simultaneously immuno-gold particles and stereocilia links, both of only a few nanometers in diameter. We show that functional, mechanotransduction-mediating tip links have at least two molecular compositions, containing either PCDH15/CDH23 or PCDH15/PCDH15. During regeneration, shorter tip links containing nearly equal amounts of PCDH15 at both ends appear first. Whole-cell patch-clamp recordings demonstrate that these transient PCDH15/PCDH15 links mediate mechanotransduction currents of normal amplitude but abnormal Ca(2+)-dependent decay (adaptation). The mature PCDH15/CDH23 tip link composition is re-established later, concomitant with complete recovery of adaptation. Thus, our findings provide a molecular mechanism for regeneration and maintenance of mechanosensory function in postmitotic auditory hair cells and could help identify elusive components of the mechanotransduction machinery
    corecore