82,511 research outputs found

    Genetics of common polygenic ischaemic stroke: current understanding and future challenges.

    Get PDF
    Stroke is the third commonest cause of death and the major cause of adult neurological disability worldwide. While much is known about conventional risk factors such as hypertension, diabetes and incidence of smoking, these environmental factors only account for a proportion of stroke risk. Up to 50% of stroke risk can be attributed to genetic risk factors, although to date no single risk allele has been convincingly identified as contributing to this risk. Advances in the field of genetics, most notably genome wide association studies (GWAS), have revealed genetic risks in other cardiovascular disease and these techniques are now being applied to ischaemic stroke. This paper covers previous genetic studies in stroke including candidate gene studies, discusses the genome wide association approach, and future techniques such as next generation sequencing and the post-GWAS era. The review also considers the overlap from other cardiovascular diseases and whether findings from these may also be informative in ischaemic stroke

    Asymmetric Epoxidation: A Twinned Laboratory and Molecular Modeling Experiment for Upper-Level Organic Chemistry Students

    Get PDF
    The coupling of a student experiment involving the preparation and use of a catalyst for the asymmetric epoxidation of an alkene with computational simulations of various properties of the resulting epoxide is set out in the form of a software toolbox from which students select appropriate components. At the core of these are the computational spectroscopic tools, whereby a measured spectrum can be interpreted in some detail using theoretical simulations. These include a range of modern chiroptical methods to accompany the increased use of such techniques in modern teaching laboratories. Computational experiments are captured in a Wiki-based electronic laboratory notebook, which features data-stamping, authenticated entries, and inclusion of semantically intact data via interactive models rendered within the Wiki using JSmol and its referencing via a digital object identifier (DOI) to a digital data repository

    Coordination in software agent systems

    Get PDF

    Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum

    Get PDF
    The wide deployment of tokens for digital assets on top of Ethereum implies the need for powerful trading platforms. Vickrey auctions have been known to determine the real market price of items as bidders are motivated to submit their own monetary valuations without leaking their information to the competitors. Recent constructions have utilized various cryptographic protocols such as ZKP and MPC, however, these approaches either are partially privacy-preserving or require complex computations with several rounds. In this paper, we overcome these limits by presenting Trustee as a Vickrey auction on Ethereum which fully preserves bids' privacy at relatively much lower fees. Trustee consists of three components: a front-end smart contract deployed on Ethereum, an Intel SGX enclave, and a relay to redirect messages between them. Initially, the enclave generates an Ethereum account and ECDH key-pair. Subsequently, the relay publishes the account's address and ECDH public key on the smart contract. As a prerequisite, bidders are encouraged to verify the authenticity and security of Trustee by using the SGX remote attestation service. To participate in the auction, bidders utilize the ECDH public key to encrypt their bids and submit them to the smart contract. Once the bidding interval is closed, the relay retrieves the encrypted bids and feeds them to the enclave that autonomously generates a signed transaction indicating the auction winner. Finally, the relay submits the transaction to the smart contract which verifies the transaction's authenticity and the parameters' consistency before accepting the claimed auction winner. As part of our contributions, we have made a prototype for Trustee available on Github for the community to review and inspect it. Additionally, we analyze the security features of Trustee and report on the transactions' gas cost incurred on Trustee smart contract.Comment: Presented at Financial Cryptography and Data Security 2019, 3rd Workshop on Trusted Smart Contract

    An Efficient Representation of Euclidean Gravity I

    Full text link
    We explore how the topology of spacetime fabric is encoded into the local structure of Riemannian metrics using the gauge theory formulation of Euclidean gravity. In part I, we provide a rigorous mathematical foundation to prove that a general Einstein manifold arises as the sum of SU(2)_L Yang-Mills instantons and SU(2)_R anti-instantons where SU(2)_L and SU(2)_R are normal subgroups of the four-dimensional Lorentz group Spin(4) = SU(2)_L x SU(2)_R. Our proof relies only on the general properties in four dimensions: The Lorentz group Spin(4) is isomorphic to SU(2)_L x SU(2)_R and the six-dimensional vector space of two-forms splits canonically into the sum of three-dimensional vector spaces of self-dual and anti-self-dual two-forms. Consolidating these two, it turns out that the splitting of Spin(4) is deeply correlated with the decomposition of two-forms on four-manifold which occupies a central position in the theory of four-manifolds.Comment: 31 pages, 1 figur

    Spatial-temporal rainfall simulation using generalized linear models

    Get PDF
    We consider the problem of simulating sequences of daily rainfall at a network of sites in such a way as to reproduce a variety of properties realistically over a range of spatial scales. The properties of interest will vary between applications but typically will include some measures of "extreme'' rainfall in addition to means, variances, proportions of wet days, and autocorrelation structure. Our approach is to fit a generalized linear model (GLM) to rain gauge data and, with appropriate incorporation of intersite dependence structure, to use the GLM to generate simulated sequences. We illustrate the methodology using a data set from southern England and show that the GLM is able to reproduce many properties at spatial scales ranging from a single site to 2000 km 2 ( the limit of the available data)

    VMEXT: A Visualization Tool for Mathematical Expression Trees

    Full text link
    Mathematical expressions can be represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf nodes). Expression trees are an important mechanism for storing and processing mathematical expressions as well as the most frequently used visualization of the structure of mathematical expressions. Typically, researchers and practitioners manually visualize expression trees using general-purpose tools. This approach is laborious, redundant, and error-prone. Manual visualizations represent a user's notion of what the markup of an expression should be, but not necessarily what the actual markup is. This paper presents VMEXT - a free and open source tool to directly visualize expression trees from parallel MathML. VMEXT simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users to quickly spot deficiencies in the Content MathML markup that does not affect the presentation of the expression. Identifying such discrepancies previously required reading the verbose and complex MathML markup. VMEXT also allows one to visualize similar and identical elements of two expressions. Visualizing expression similarity can support support developers in designing retrieval approaches and enable improved interaction concepts for users of mathematical information retrieval systems. We demonstrate VMEXT's visualizations in two web-based applications. The first application presents the visualizations alone. The second application shows a possible integration of the visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts LaTeX input to parallel MathML, computes basic similarity measures for mathematical expressions, and visualizes the results using VMEXT.Comment: 15 pages, 4 figures, Intelligent Computer Mathematics - 10th International Conference CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceeding
    corecore