87,573 research outputs found

    A continuum of aqueous alteration in the carbonaceous chondrites.

    Get PDF
    Accepted versio

    Optimizing the computation of overriding

    Full text link
    We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitude. For the first time, response times compatible with real-time reasoning are obtained with nonmonotonic KBs of this size

    An efficient sparse conjugate gradient solver using a Beneš permutation network

    Get PDF
    © 2014 Technical University of Munich (TUM).The conjugate gradient (CG) is one of the most widely used iterative methods for solving systems of linear equations. However, parallelizing CG for large sparse systems is difficult due to the inherent irregularity in memory access pattern. We propose a novel processor architecture for the sparse conjugate gradient method. The architecture consists of multiple processing elements and memory banks, and is able to compute efficiently both sparse matrix-vector multiplication, and other dense vector operations. A Beneš permutation network with an optimised control scheme is introduced to reduce memory bank conflicts without expensive logic. We describe a heuristics for offline scheduling, the effect of which is captured in a parametric model for estimating the performance of designs generated from our approach

    Water droplet excess free energy determined by cluster mitosis using guided molecular dynamics

    Get PDF
    Atmospheric aerosols play a vital role in affecting climate by influencing the properties and lifetimes of clouds and precipitation. Understanding the underlying microscopic mechanisms involved in the nucleation of aerosol droplets from the vapour phase is therefore of great interest. One key thermodynamic quantity in nucleation is the excess free energy of cluster formation relative to that of the saturated vapour. In our current study, the excess free energy is extracted for clusters of pure water modelled with the TIP4P/2005 intermolecular potential using a method based on nonequilibrium molecular dynamics and the Jarzynski relation. The change in free energy associated with the "mitosis" or division of a cluster of N water molecules into two N/2 sub-clusters is evaluated. This methodology is an extension of the disassembly procedure used recently to calculate the excess free energy of argon clusters [H. Y. Tang and I. J. Ford, Phys. Rev. E 91, 023308 (2015)]. Our findings are compared to the corresponding excess free energies obtained from classical nucleation theory (CNT) as well as internally consistent classical theory (ICCT). The values of the excess free energy that we obtain with the mitosis method are consistent with CNT for large cluster sizes but for the smallest clusters, the results tend towards ICCT; for intermediate sized clusters, we obtain values between the ICCT and CNT predictions. Furthermore, the curvature-dependent surface tension which can be obtained by regarding the clusters as spherical droplets of bulk density is found to be a monotonically increasing function of cluster size for the studied range. The data are compared to other values reported in the literature, agreeing qualitatively with some but disagreeing with the values determined by Joswiak et al. [J. Phys. Chem. Lett. 4, 4267 (2013)] using a biased mitosis approach; an assessment of the differences is the main motivation for our current study

    Detection of high levels of congenital transmission of toxoplasma gondii in natural urban populations of mus domesticus

    Get PDF
    The relative importance of different transmission routes of Toxoplasma gondii has been a matter for debate. This ubiquitous parasite is generally thought to be transmitted by infective oocysts excreted by the definitive host, the cat. Ingestion of undercooked meat has also been considered an important route of transmission in many mammals while congenital transmission has generally been considered relatively rare. Experimental studies demonstrate the ability of T. gondii to be transmitted congenitally, but few studies have investigated the frequency of this transmission route in natural populations. We use PCR amplification of the SAG1 gene to investigate the frequency of congenital transmission in a wild population of mice (Mus domesticus) and show that congenital transmission is occurring in 75% of pregnancies in this population. Furthermore, for infected pregnant mice, transmission occurs to at least one foetus in 100% of cases while variable penetrance of congenital infection is observed. These high levels of congenital transmission in this wild population of mice, taken together with other recent data on congenital transmission in sheep, suggests that this phenomenon might be more widespread than previously thought

    Takayasu arteritis in childhood: retrospective experience from a tertiary referral centre in the United Kingdom.

    Get PDF
    Takayasu arteritis (TA) is an idiopathic large-vessel vasculitis affecting the aorta and its major branches. Although the disease rarely affects children, it does occur, even in infants. The objective of this study was to evaluate the clinical features, disease activity, treatment and outcome of childhood TA in a tertiary UK centre

    Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets

    Full text link
    We analyze a timed Petri net model of an emergency call center which processes calls with different levels of priority. The counter variables of the Petri net represent the cumulated number of events as a function of time. We show that these variables are determined by a piecewise linear dynamical system. We also prove that computing the stationary regimes of the associated fluid dynamics reduces to solving a polynomial system over a tropical (min-plus) semifield of germs. This leads to explicit formul{\ae} expressing the throughput of the fluid system as a piecewise linear function of the resources, revealing the existence of different congestion phases. Numerical experiments show that the analysis of the fluid dynamics yields a good approximation of the real throughput.Comment: 21 pages, 4 figures. A shorter version can be found in the proceedings of the conference FORMATS 201

    El Nino and the Indian rainfall in June

    Get PDF
    We have addressed the question of whether the massive deficit of 42% in rainfall over the Indian region in June 2014 can be attributed primarily to the El Nino. We have shown that the variation of convection over the Northern part of the Tropical West Pacific (NWTP: 120–150E, 20–30N) plays a major role in determining the all-India rainfall in June with deficit (excess) in rainfall associated with enhancement (suppression) of convection over NWTP. In June 2014, the outgoing long wave radiation (OLR) anomaly over this region was unfavourable, whereas in June 2015, the OLR anomaly over NWTP was favourable and the all-India rainfall was 16% higher than the long-term average. We find that during El Niño, when the convection over the equatorial central Pacific intensifies, there is a high propensity for intensification of convection over NWTP. Thus, El Niño appears to have an impact on the rainfall over the Indian region via its impact on the convection over the West Pacific, particularly over NWTP. This occurred in June 2014, which suggests that the large deficit in June 2014, could be primarily attributed to the El Nino acting via intensification of convection over NWT
    corecore