A spin- and angle-resolving photoelectron spectrometer

A new type of hemispherical electron energy analyzer that permits angle and spin resolved photoelectron spectroscopy has been developed. The analyzer permits standard angle resolved spectra to be recorded with a two-dimensional detector in parallel with spin detection using a mini-Mott polarimeter. General design considerations as well as technical solutions are discussed and test results from the Au(111) surface state are presented

Inductive-Inductive Definitions

This article presents a new extension of inductive definitions, namely inductive-inductive definitions

Island properties dominate species traits in determining plant colonizations in an archipelago system

The extrinsic determinants hypothesis emphasizes the essential role of environmental heterogeneity in species' colonization. Consequently, high resident species diversity can increase community susceptibility to colonizations because good habitats may support more species that are functionally similar to colonizers. On the other hand, colonization success is also likely to depend on species traits. We tested the relative importance of environmental characteristics and species traits in determining colonization success using census data of 587 vascular plant species collected about 70 yr apart from 471 islands in the archipelago of SW Finland. More specifically, we explored potential new colonization as a function of island properties (e.g. location, area, habitat diversity, number of resident species per unit area), species traits (e.g. plant height, life-form, dispersal vector, Ellenberg indicator values, association with human impact), and species' historical distributions (number of inhabited islands, nearest occurrence). Island properties and species' historical distributions were more effective than plant traits in explaining colonization outcomes. Contrary to the extrinsic determinants hypothesis, colonization success was neither associated with resident species diversity nor habitat diversity per se, although colonization was lowest on sparsely vegetated islands. Our findings lead us to propose that while plant traits related to dispersal and establishment may enhance colonization, predictions of plant colonizations primarily require understanding of habitat properties and species' historical distributions.Peer reviewe

Perennials as Future Grain Crops: Opportunities and Challenges

Perennial grain crops could make a valuable addition to sustainable agriculture, potentially even as an alternative to their annual counterparts. The ability of perennials to grow year after year significantly reduces the number of agricultural inputs required, in terms of both planting and weed control, while reduced tillage improves soil health and on-farm biodiversity. Presently, perennial grain crops are not grown at large scale, mainly due to their early stages of domestication and current low yields. Narrowing the yield gap between perennial and annual grain crops will depend on characterizing differences in their life cycles, resource allocation, and reproductive strategies and understanding the trade-offs between annualism, perennialism, and yield. The genetic and biochemical pathways controlling plant growth, physiology, and senescence should be analyzed in perennial crop plants. This information could then be used to facilitate tailored genetic improvement of selected perennial grain crops to improve agronomic traits and enhance yield, while maintaining the benefits associated with perennialism

Multimodal Dependent Type Theory

We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode theory allow us to use the same type theory to compute and reason in many modal situations, including guarded recursion, axiomatic cohesion, and parametric quantification. We reproduce examples from prior work in guarded recursion and axiomatic cohesion, thereby demonstrating that MTT constitutes a simple and usable syntax whose instantiations intuitively correspond to previous handcrafted modal type theories. In some cases, instantiating MTT to a particular situation unearths a previously unknown type theory that improves upon prior systems. Finally, we investigate the metatheory of MTT. We prove the consistency of MTT and establish canonicity through an extension of recent type-theoretic gluing techniques. These results hold irrespective of the choice of mode theory, and thus apply to a wide variety of modal situations