Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact)

In this artifact, we provide an implementation of the ?^res_var calculus, as described in the related article. The implementation is an extension of the Flix programming language compiler, supporting restrictable variants and the two partial pattern-matching constructs: choose and choose-?. The artifact consists of the extended Flix compiler, a Visual Studio Code extension supporting common IDE features such as syntax highlighting and type hovering, and a collection of Flix files demonstrating the use of restrictable variants. The Flix files correspond to examples presented in the paper. Users are invited to modify the Flix files in order to observe the influence of their changes on the inferred types in the provided programs

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants

We propose restrictable variants as a simple and practical alternative to extensible variants. Restrictable variants combine nominal and structural typing: a restrictable variant is an algebraic data type indexed by a type-level set formula that captures its set of active labels. We introduce new pattern-matching constructs that allows programmers to write functions that only match on a subset of variants, i.e., pattern-matches may be non-exhaustive. We then present a type system for restrictable variants which ensures that such non-exhaustive matches cannot get stuck at runtime. An essential feature of restrictable variants is that the type system can capture structure-preserving transformations: specifically the introduction and elimination of variants. This property is important for writing reusable functions, yet many row-based extensible variant systems lack it. In this paper, we present a calculus with restrictable variants, two partial pattern-matching constructs, and a type system that ensures progress and preservation. The type system extends Hindley-Milner with restrictable variants and supports type inference with an extension of Algorithm W with Boolean unification. We implement restrictable variants as an extension of the Flix programming language and conduct a few case studies to illustrate their practical usefulness

Characterization of rutile passivation layers formed on Magnéli-phase titanium oxide inert anodes

An ex situ characterization study has been performed on rutile passivation layers on inert anodes used for molten salt electrochemical studies. Rutile layer thicknesses were estimated using a number of ex situ methods, including laboratory and synchrotron X-ray diffraction and optical microscopy. The only phases in the anode detected by diffraction were the Magnéli phases (TinO2n-1, n = 5-6) of the unreacted anode and rutile (TiO2), which forms on electrolysis. These measurements validate a previously developed in situ energy-dispersive X-ray diffraction analysis technique [Scarlett, Madsen, Evans, Coelho, McGregor, Rowles, Lanyon & Urban (2009). J. Appl. Cryst. 42, 502-512]

Sample-displacement correction for whole-pattern profile fitting of powder diffraction data collected in capillary geometry

Abstract: Recent in situ experimentation at the Australian Synchrotron resulted in the nucleation and crystallization of material on the walls of the capillary reaction vessels. This lining of the capillary walls, without filling the bulk of the capillary volume, produced an artefact in the diffraction data due to sample displacement across the capillary. In effect, the experiment was examining simultaneously two samples displaced by equal and opposite amounts from the diffractometer centre. This was exaggerated by the fact that large-diameter (1 mm) capillaries had been used in order to increase the total sample volume and hence maximize the amount of material formed and examined. The effect of this displacement was to shift the diffraction peaks simultaneously to both lower and higher angles than their `ideal' positions, causing peak splitting in many instances. A model has been developed which considers the sample as being effectively two flat plate samples, thus allowing for correction through the use of sample displacement. An additional problem resulted from the oriented growth of the material on the capillary walls, producing preferred orientation in the observed data. The correction model can also be extended to model such anisotropic peak splitting caused by this preferential orientation of the crystallites on the capillary wall

Women, Confidence, and Leadership: What Do Utah Women Leaders Think?

In 2014, the Utah Women & Leadership Project team collected data from various sources to understand some of the issues in Utah regarding women, confidence, and leadership. Why does this matter? Utah consistently ranks at or near the bottom of national studies on the status of women. For example, in 2013, the Center for American Progress released a report titled“ The State of Women in America: A 50-State Analysis of How Women Are Faring Across the Nation.” This report ranked Utah last of all 50 states in terms of women holding positions of decision making and leadership

Photoionization of High Altitude Gas in a Supernova-Driven Turbulent Interstellar Medium

We investigate models for the photoionization of the widespread diffuse ionized gas in galaxies. In particular we address the long standing question of the penetration of Lyman continuum photons from sources close to the galactic midplane to large heights in the galactic halo. We find that recent hydrodynamical simulations of a supernova-driven interstellar medium have low density paths and voids that allow for ionizing photons from midplane OB stars to reach and ionize gas many kiloparsecs above the midplane. We find ionizing fluxes throughout our simulation grids are larger than predicted by one dimensional slab models, thus allowing for photoionization by O stars of low altitude neutral clouds in the Galaxy that are also detected in Halpha. In previous studies of such clouds the photoionization scenario had been rejected and the Halpha had been attributed to enhanced cosmic ray ionization or scattered light from midplane H II regions. We do find that the emission measure distributions in our simulations are wider than those derived from Halpha observations in the Milky Way. In addition, the horizontally averaged height dependence of the gas density in the hydrodynamical models is lower than inferred in the Galaxy. These discrepancies are likely due to the absence of magnetic fields in the hydrodynamic simulations and we discuss how magnetohydrodynamic effects may reconcile models and observations. Nevertheless, we anticipate that the inclusion of magnetic fields in the dynamical simulations will not alter our primary finding that midplane OB stars are capable of producing high altitude diffuse ionized gas in a realistic three-dimensional interstellar medium.Comment: ApJ accepted. 17 pages, 7 figure

Variability in Ultrasound Education among Emergency Medicine Residencies

Objective: Education in emergency ultrasound (EUS) has become an essential part of emergency medicine (EM) resident training. In 2009, comprehensive residency training guidelines were published to ensure proficiency in ultrasound education. The American College of Emergency Physicians (ACEP) recommends that 150 ultrasound exams be performed for physician competency. Our goal is to evaluate the current ultrasound practices among EM residency programs and assess the need for further formalization of EUS training.Methods: We generated a survey using an online survey tool and administered via the internet. The survey consisted of 25 questions that included multiple choice and free text answers. These online survey links were sent via email to EM ultrasound directors at all 149 American College of Graduate Medical Education EM residency programs in April 2008. We surveyed programs regarding EUS curriculum and residency proficiency requirements and descriptive statistics were used to report the survey findings.Results: Sixty-five residency programs responded to the survey. The average number of ultrasound exams required by programs for EUS competency was 137 scans. However, the majority of programs 42/65 (64%) require their residents to obtain 150 scans or greater for competency. Fifty-one out of 64 (79%) programs reported having a structured ultrasound curriculum while 14/64 (21%) of programs reported that EUS training is primarily resident self-directed. In terms of faculty credentialing, 29/62 (47%) of residency programs have greater than 50% of faculty credentialed. Forty-four out of 61 (72%) programs make EUS a required rotation. Thirty-four out of 63 (54%) programs felt that they were meeting all their goals for resident EUS education.Conclusion: Currently discrepancies exist between EM residency programs in ultrasound curriculum and perceived needs for achieving proficiency in EUS. Although a majority of residency programs require 150 ultrasound exams or more to achieve resident competency, overall the average number of scans required by all programs is 137 exams. This number is less than that recommended by ACEP for physician competency. These data suggest that guidelines are needed to help standardize ultrasound training for all EM residency programs. [West J Emerg Med 2010; 11(4):314-318.

A furnace and environmental cell for the in situ investigation of molten salt electrolysis using high-energy X-ray diffraction

This paper describes the design, construction and implementation of a relatively large controlled-atmosphere cell and furnace arrangement. The purpose of this equipment is to facilitate the in situ characterization of materials used in molten salt electrowinning cells, using high-energy X-ray scattering techniques such as synchrotron-based energy-dispersive X-ray diffraction. The applicability of this equipment is demonstrated by quantitative measurements of the phase composition of a model inert anode material, which were taken during an in situ study of an operational Fray-Farthing-Chen Cambridge electrowinning cell, featuring molten CaCl(2) as the electrolyte. The feasibility of adapting the cell design to investigate materials in other high-temperature environments is also discussed

Uncovering Extreme Nonlinear Dynamics in Solids Through Time-Domain Field Analysis

Time-domain analysis of harmonic fields with sub-cycle resolution is now experimentally viable due to the emergence of sensitive, on-chip techniques for petahertz-scale optical-field sampling. We demonstrate how such a time-domain, field-resolved analysis uncovers the extreme nonlinear electron dynamics responsible for high-harmonic generation within solids. Time-dependent density functional theory was used to simulate harmonic generation from a solid-state band-gap system driven by near- to mid-infrared waveforms. Particular attention was paid to regimes where both intraband and interband emission mechanisms play a critical role in shaping the nonlinear response. We show that a time-domain analysis of the harmonic radiation fields identifies the interplay between intra- and interband dynamical processes underlying the nonlinear light generation. With further analysis, we show that changes to the dominant emission regime can occur after only slight changes to the peak driving intensity and central driving wavelength. Time-domain analysis of harmonic fields also reveals, for the first time, the possibility of rapid changes in the dominant emission mechanism within the temporal window of the driving pulse envelope. Finally, we examine the experimental viability of performing time-domain analysis of harmonic fields with sub-cycle resolution using realistic parameters