15,761 research outputs found

    Appropriate small scale mechanization

    Get PDF
    Poster prepared for a share fair, Addis Ababa, May 201

    A Logic-Independent IDE

    Full text link
    The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, search, and change management.Comment: In Proceedings UITP 2014, arXiv:1410.785

    Magnetic and electric phase control in epitaxial EuTiO3_3 from first principles

    Full text link
    We propose a design strategy - based on the coupling of spins, optical phonons, and strain - for systems in which magnetic (electric) phase control can be achieved by an applied electric (magnetic) field. Using first-principles density-functional theory calculations, we present a realization of this strategy for the magnetic perovskite EuTiO3_3.Comment: Significantly revised for clarit

    Ferroelectricity in the Dion-Jacobson CsBiNb2_2O7_7 from first principles

    Full text link
    We have studied ferroelectricity in Dion-Jacobson CsBiNb2_2O7_7 from first principles. Using group-theoretical analysis and first-principles density functional calculations of the total energy and phonons, we perform a systematic study of the energy surface around a paraelectric prototypic phase. Our results suggest that CsBiNb2_2O7_7 is a ferroelectric with a polarization of Ps_s=40μ\muC cm2^{-2}. We propose further experiments to clarify this point

    Local environments

    Get PDF
    corecore