LIVVkit 2.1: Automated and extensible ice sheet model validation

A collection of scientific analyses, metrics, and visualizations for robust validation of ice sheet models is presented using the Land Ice Verification and Validation toolkit (LIVVkit), version 2.1, and the LIVVkit Extensions repository (LEX), version 0.1. This software collection targets stand-alone ice sheet or coupled Earth system models,...

Description and evaluation of the Community Ice Sheet Model (CISM) v2.1

We describe and evaluate version 2.1 of the Community Ice Sheet Model (CISM). CISM is a parallel, 3-D thermomechanical model, written mainly in Fortran, that solves equations for the momentum balance and the thickness and temperature evolution of ice sheets. CISM's velocity solver incorporates a hierarchy of Stokes flow approximations, including...

Nonlinear dynamics in a magnetic Josephson junction

We theoretically consider a Josephson junction formed by a ferromagnetic spacer with a strong spin-orbit interaction or a magnetic spin valve, i.e., a bilayer with one static and one free layer. Electron spin transport facilitates a nonlinear dynamical coupling between the magnetic moment and charge current, which consists of normal and...

Once more, into the soup

In one of the earlier essays in this department, we discussed a number of acronyms all having to do with system design, and all having the form "x-centered design." The purpose of that essay was to demonstrate a broad framework within which to understand human-centered computing (HCC), and also to show the various convergences and divergences of...

Dynamics of thin-film spin-flip transistors with perpendicular source-drain magnetizations

The theory of the Rayleigh distribution and some of its applications