How functional programming mattered

In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding ‘Yes!’. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs

Decomposing the parameter space of biological networks via a numerical discriminant approach

Many systems in biology (as well as other physical and engineering systems) can be described by systems of ordinary differential equation containing large numbers of parameters. When studying the dynamic behavior of these large, nonlinear systems, it is useful to identify and characterize the steady-state solutions as the model parameters vary, a technically challenging problem in a high-dimensional parameter landscape. Rather than simply determining the number and stability of steady-states at distinct points in parameter space, we decompose the parameter space into finitely many regions, the number and structure of the steady-state solutions being consistent within each distinct region. From a computational algebraic viewpoint, the boundary of these regions is contained in the discriminant locus. We develop global and local numerical algorithms for constructing the discriminant locus and classifying the parameter landscape. We showcase our numerical approaches by applying them to molecular and cell-network models

Overview of recent physics results from the national spherical torus experiment (NSTX)

The National Spherical Torus Experiment (NSTX) has made considerable progress in advancing the scientific understanding of high performance long-pulse plasmas needed for future spherical torus (ST) devices and ITER. Plasma durations up to 1.6 s (five current redistribution times) have been achieved at plasma currents of 0.7 MA with non-inductive current fractions above 65% while simultaneously achieving beta(T) and beta(N) values of 17% and 5.7 (%m T MA(-1)), respectively. A newly available motional Stark effect diagnostic has enabled validation of current-drive sources and improved the understanding of NSTX 'hybrid'-like scenarios. In MHD research, ex-vessel radial field coils have been utilized to infer and correct intrinsic EFs, provide rotation control and actively stabilize the n = 1 resistive wall mode at ITER-relevant low plasma rotation values. In transport and turbulence research, the low aspect ratio and a wide range of achievable in the NSTX provide unique data for confinement scaling studies, and a new microwave scattering diagnostic is being used to investigate turbulent density fluctuations with wavenumbers extending from ion to electron gyro-scales. In energetic particle research, cyclic neutron rate drops have been associated with the destabilization of multiple large toroidal Alfven eigenmodes (TAEs) analogous to the 'sea-of-TAE' modes predicted for ITER, and three-wave coupling processes have been observed for the first time. In boundary physics research, advanced shape control has enabled studies of the role of magnetic balance in H-mode access and edge localized mode stability. Peak divertor heat flux has been reduced by a factor of 5 using an H-mode-compatible radiative divertor, and lithium conditioning has demonstrated particle pumping and results in improved thermal confinement. Finally, non-solenoidal plasma start-up experiments have achieved plasma currents of 160 kA on closed magnetic flux surfaces utilizing coaxial helicity injection.X1132Nsciescopu