Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a semilattice of effects grounds understanding of the essential issues and provides guidance when designing new effect systems. By contrast, sequential effect systems—where the order of effects is important—lack an established algebraic structure on effects. We present an abstract polymorphic effect system parameterized by an effect quantale—an algebraic structure with well-defined properties that can model the effects of a range of existing sequential effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that for most effect quantales, there is an induced notion of iterating a sequential effect; that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work; and that this induced notion of iteration is as precise as possible when defined. We also position effect quantales with respect to work on categorical semantics for sequential effect systems, clarifying the distinctions between these systems and our own in the course of giving a thorough survey of these frameworks. Our derived iteration construct should generalize to these semantic structures, addressing limitations of that work. Finally, we consider the relationship between sequential effects and Kleene Algebras, where the latter may be used as instances of the former.
more »
« less
Magneto-dependent plasmon drag in permalloy structures
Plasmon-enhanced photovoltages in 1D profile-modulated permalloy films strongly depend on magnetic field, with a characteristic hysteresis. The effect is discussed in terms of the anomalous Nernst effect.
more »
« less
- Award ID(s):
- 1830886
- NSF-PAR ID:
- 10167817
- Date Published:
- Journal Name:
- CLEO: QELS_Fundamental Science
- Page Range / eLocation ID:
- JTu2D.14
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract The gun embodiment effect is the consequence caused by wielding a gun on judgments of whether others are also holding a gun. This effect could be responsible for real-world instances when police officers shoot an unarmed person because of the misperception that the person had a gun. The gun embodiment effect is an instance of embodied cognition for which a person’s tool-augmented body affects their judgments. The replication crisis in psychology has raised concern about embodied cognition effects in particular, and the issue of low statistical power applies to the original research on the gun embodiment effect.Thus, the first step was to conduct a high-powered replication. We found a significant gun embodiment effect in participants’ reaction times and in their proportion of correct responses, but not in signal detection measures of bias, as had been originally reported. To help prevent the gun embodiment effect from leading to fatal encounters, it would be useful to know whether individuals with certain traits are less prone to the effect and whether certain kinds of experiences help alleviate the effect. With the new and reliable measure of the gun embodiment effect, we tested for moderation by individual differences related to prior gun experience, attitudes, personality, and factors related to emotion regulation and impulsivity. Despite the variety of these measures, there was little evidence for moderation. The results were more consistent with the idea of the gun embodiment effect being a universal, fixed effect, than being a flexible, malleable effect.more » « less
-
Hermenegildo, M.V. (Ed.)We describe a new concrete approach to giving predictable error locations for sequential (flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on either computing a bottom-up effect and comparing it to a declaration (e.g., method annotation) or leaning on constraint-based type inference. These approaches do not necessarily report program locations that precisely indicate where a program may “go wrong” at runtime. Instead of relying on constraint solving, we draw on the notion of a residual from literature on ordered algebraic structures. Applying these to effect quantales (a large class of sequential effect systems) yields an implementation approach which accepts exactly the same program as an original effect quantale, but for effect-incorrect programs is guaranteed to fail type-checking with predictable error locations tied to evaluation order. We have implemented this idea in a generic effect system implementation framework for Java, and report on experiences applying effect systems from the literature and novel effect systems to Java programs. We find that the reported error locations with our technique are significantly closer to the program points that lead to failed effect checks.more » « less
-
more » « less
Abstract The temporal storage effect—that species coexist by partitioning abiotic niches that vary in time—is thought to be an important explanation for how species coexist. However, empirical studies that measure multiple mechanisms often find the storage effect is weak. We believe this mismatch is because of a shortcoming of theoretical models used to study the storage effect: that while the storage effect is described as having just three requirements (partitioning of temporal variation, buffered population growth, and a covariance between environment and density‐dependence), models used to study the storage effect make four assumptions, which are mathematically subtle but biologically important. In this paper, we examine those assumptions. First, models assume that environmental variation leads to a rapid impact on density‐dependence. We find that delays in density‐dependence (including delays caused by competition between cohorts) weaken the storage effect. Second, models assume that intraspecific competition is almost identical to interspecific competition. We find that unless resource or predator partitioning are virtually absent, then variation‐independent mechanisms will overshadow the benefits of the storage effect. Third, models assume even though there is vast variation in the environment, species are equally adapted on average (i.e., zero fitness‐differences). We show that fitness differences are particularly problematic in the storage effect because specializing on temporally rare niches is far less effective than specializing on other types of rare niches. Finally, models assume that stochastic extinctions can be ignored, and invader growth can determine coexistence. We show that storage effects tend to reduce mean persistence times, even if invader growth rates are positive. These results suggest that the assumptions needed for the storage effect are strict: if the first or second assumption is relaxed, it will greatly weaken the stabilizing mechanism; if the third or fourth assumption is relaxed, it will create a diversity‐destroying effect that may undermine coexistence. We examine three real‐world communities—annual plants, tropical forests, and iguanid lizards—and find that empirical studies suggest that all three communities violate multiple assumptions. This suggests that the temporal storage effect is probably not an important explanation for species diversity in most systems.
-
Abstract. The evaluation of aerosol radiative effect on broadband hemispherical solar flux is often performed using simplified spectral and directional scattering characteristics of atmospheric aerosol and underlying surface reflectance. In this study we present a rigorous yet fast computational tool that accurately accounts for detailed variability of both spectral and angular scattering properties of aerosol and surface reflectance in calculation of direct aerosol radiative effect. The tool is developed as part of the GRASP (Generalized Retrieval of Aerosol and Surface Properties) project. We use the tool to evaluate instantaneous and daily average radiative efficiencies (radiative effect per unit aerosol optical thickness) of several key atmospheric aerosol models over different surface types. We then examine the differences due to neglect of surface reflectance anisotropy, nonsphericity of aerosol particle shape and accounting only for aerosol angular scattering asymmetry instead of using full phase function. For example, it is shown that neglecting aerosol particle nonsphericity causes mainly overestimation of the aerosol cooling effect and that magnitude of this overestimate changes significantly as a function of solar zenith angle (SZA) if the asymmetry parameter is used instead of detailed phase function. It was also found that the nonspherical–spherical differences in the calculated aerosol radiative effect are not modified significantly if detailed BRDF (bidirectional reflectance distribution function) is used instead of Lambertian approximation of surface reflectance. Additionally, calculations show that usage of only angular scattering asymmetry, even for the case of spherical aerosols, modifies the dependence of instantaneous aerosol radiative effect on SZA. This effect can be canceled for daily average values, but only if sun reaches the zenith; otherwise a systematic bias remains. Since the daily average radiative effect is obtained by integration over a range of SZAs, the errors vary with latitude and season. In summary, the present analysis showed that use of simplified assumptions causes systematic biases, rather than random uncertainties, in calculation of both instantaneous and daily average aerosol radiative effect. Finally, we illustrate application of the rigorous aerosol radiative effect calculations performed as part of GRASP aerosol retrieval from real POLDER/PARASOL satellite observations.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- The DOI is not currently available.
