30,199 research outputs found

    Hidden-Markov Program Algebra with iteration

    Full text link
    We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation that compares two programs with respect to their information leakage; and we propose a program algebra for source-level reasoning about such programs, in particular as a means of establishing that an "implementation" program leaks no more than its "specification" program. This joins two themes: we extend our earlier work, having iteration but only qualitative, by making it quantitative; and we extend our earlier quantitative work by including iteration. We advocate stepwise refinement and source-level program algebra, both as conceptual reasoning tools and as targets for automated assistance. A selection of algebraic laws is given to support this view in the case of quantitative noninterference; and it is demonstrated on a simple iterated password-guessing attack

    Geometric, electronic properties and the thermodynamics of pure and Al--doped Li clusters

    Get PDF
    The first--principles density functional molecular dynamics simulations have been carried out to investigate the geometric, the electronic, and the finite temperature properties of pure Li clusters (Li10_{10}, Li12_{12}) and Al--doped Li clusters (Li10_{10}Al, Li10_{10}Al2_2). We find that addition of two Al impurities in Li10_{10} results in a substantial structural change, while the addition of one Al impurity causes a rearrangement of atoms. Introduction of Al--impurities in Li10_{10} establishes a polar bond between Li and nearby Al atom(s), leading to a multicentered bonding, which weakens the Li--Li metallic bonds in the system. These weakened Li--Li bonds lead to a premelting feature to occur at lower temperatures in Al--doped clusters. In Li10_{10}Al2_2, Al atoms also form a weak covalent bond, resulting into their dimer like behavior. This causes Al atoms not to `melt' till 800 K, in contrast to the Li atoms which show a complete diffusive behavior above 400 K. Thus, although one Al impurity in Li10_{10} cluster does not change its melting characteristics significantly, two impurities results in `surface melting' of Li atoms whose motions are confined around Al dimer.Comment: 9 pages, 7 figure

    Energy performance plan analysis in a new ecological city

    Get PDF
    Conforming to urban development needs, in accordance with ecological and low-carbon requirements, is the first priority of contemporary urban construction. At the first stages of planning a new town, energy planning and analysis, and establishing sustainable energy development strategies, are methods to reinforce the ideal of an ecological city. Therefore, to meet urban planning requirements, energy planning often requires determination of the energy consumption index, and knowledge of local energy demands and natural and social environments (to build a reasonable energy structure), adjusted through the evaluation,design, and optimization of the construction of ecological cities. This paper explores energy planning through an analysis of the application of energy sources in the planning of the eco-city of Jinan City

    GM wheat development in China: current status and challenges to commercialization

    Get PDF

    2-((E)-{(S)-(6-Meth­oxy­quinolin-4-yl)[(2S)-8-vinyl­quinuclidin-2-yl]methyl­imino}­meth­yl)phenol

    Get PDF
    The title compound, C27H29N3O2, adopts an E configuration with respect to the C=N bond. The molecular structure is stabilized by inter­molecular O—H⋯N inter­actions between a hy­droxy H atom and the N atom on the quinoline ring

    Supervised Functional PCA with Covariate Dependent Mean and Covariance Structure

    Full text link
    Incorporating covariate information into functional data analysis methods can substantially improve modeling and prediction performance. However, many functional data analysis methods do not make use of covariate or supervision information, and those that do often have high computational cost or assume that only the scores are related to covariates, an assumption that is usually violated in practice. In this article, we propose a functional data analysis framework that relates both the mean and covariance function to covariate information. To facilitate modeling and ensure the covariance function is positive semi-definite, we represent it using splines and design a map from Euclidean space to the symmetric positive semi-definite matrix manifold. Our model is combined with a roughness penalty to encourage smoothness of the estimated functions in both the temporal and covariate domains. We also develop an efficient method for fast evaluation of the objective and gradient functions. Cross-validation is used to choose the tuning parameters. We demonstrate the advantages of our approach through a simulation study and an astronomical data analysis.Comment: 24 pages, 15 figure

    Channelling Multimodality Through a Unimodalizing Transport: Warp-U Sampler and Stochastic Bridge Sampling

    Full text link
    Monte Carlo integration is fundamental in scientific and statistical computation, but requires reliable samples from the target distribution, which poses a substantial challenge in the case of multi-modal distributions. Existing methods often involve time-consuming tuning, and typically lack tailored estimators for efficient use of the samples. This paper adapts the Warp-U transformation [Wang et al., 2022] to form multi-modal sampling strategy called Warp-U sampling. It constructs a stochastic map to transport a multi-modal density into a uni-modal one, and subsequently inverts the transport but with new stochasticity injected. For efficient use of the samples for normalising constant estimation, we propose (i) an unbiased estimation scheme based coupled chains, where the Warp-U sampling is used to reduce the coupling time; and (ii) a stochastic Warp-U bridge sampling estimator, which improves its deterministic counterpart given in Wang et al. [2022]. Our overall approach requires less tuning and is easier to apply than common alternatives. Theoretically, we establish the ergodicity of our sampling algorithm and that our stochastic Warp-U bridge sampling estimator has greater (asymptotic) precision per CPU second compared to the Warp-U bridge estimator of Wang et al. [2022] under practical conditions. The advantages and current limitations of our approach are demonstrated through simulation studies and an application to exoplanet detection

    Hecke Groups, Dessins d’Enfants and the Archimedean Solids

    Get PDF
    Grothendieck’s dessins d’enfants arise with ever-increasing frequency in many areas of 21st century mathematical physics. In this paper, we review the connections between dessins and the theory of Hecke groups. Focussing on the restricted class of highly symmetric dessins corresponding to the so-called Archimedean solids, we apply this theory in order to provide a means of computing representatives of the associated conjugacy classes of Hecke subgroups in each case. The aim of this paper is to demonstrate that dessins arising in mathematical physics can point to new and hitherto unexpected directions for further research. In addition, given the particular ubiquity of many of the dessins corresponding to the Archimedean solids, the hope is that the computational results of this paper will prove useful in the further study of these objects in mathematical physics contexts
    • …
    corecore