SEARCH · Engineering Papers
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
EuTl is Tetraauricupride structured and crystallizes in the cubic Pm-3m space group. The structure is three-dimensional. Eu is bonded in a body-centered cubic geometry to eight equivalent Tl atoms. All Eu–Tl bond lengths are 3.91 Å. Tl is bonded in a body-centered cubic geometry to eight equivalent Eu atoms.
Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
The Efficient Universal Trajectory Language (EUTL) is a language for specifying and representing trajectories for Air Traffic Management (ATM) concepts such as Trajectory-Based Operations (TBO). In these concepts, the communication of a trajectory between an aircraft and ground automation is fundamental. Historically, this trajectory exchange has not been done, leading to trajectory definitions that have been centered around particular application domains and, therefore, are not well suited for TBO applications. The EUTL trajectory language has been defined in the Prototype Verification System (PVS) formal specification language, which provides an operational semantics for the EUTL language. The hope is that EUTL will provide a foundation for mathematically verified algorithms that manipulate trajectories. Additionally, the EUTL language provides well-defined methods to unambiguously determine position and velocity information between the reported trajectory points. In this paper, we present the EUTL trajectory language in mathematical detail.
The past decades have witnessed a transformation in characterizing condensed matter systems with topology. Aided by a refined understanding of topological band structures with crystalline symmetries that has emerged recently, many electronic phases have been identified, and a plethora of materials have been predicted to host properties and functionalities. A key underlying question, also with respect to future application, is to what extent the related physical features can be manipulated, especially in the context of magnetic order. Here, we describe a paradigmatic semimetal that simultaneously incorporates multiple and sometimes conflicting topology which guarantees gaplessness and leads to an exceptionally rich family of descendent phases on lowering symmetry. We predict that this multicritical phase is realized in EuTl 2 . Starting from the parent semimetallic state, which already separates two topological insulating regimes, the interplay of inherent magnetism and strain allows for an exceptionally rich phase diagram of topological descendant states.