The Grail theorem prover: Type theory for syntax and semantics

As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the desired semantics of an expression inform the syntactic type and vice versa. Prototypical examples of the successful application of type-logical grammars to the syntax-semantics interface include coordination, quantifier scope and extraction.This chapter describes the Grail theorem prover, a series of tools for designing and testing grammars in various modern type-logical grammars which functions as a tool . All tools described in this chapter are freely available

Plant Modelling Framework: software for building and running crop models on the APSIM platform

The Plant Modelling Framework (PMF) is a software framework for creating models that represent the plant components of farm system models in the agricultural production system simulator (APSIM). It is the next step in the evolution of generic crop templates for APSIM, building on software and science lessons from past versions and capitalising on new software approaches. The PMF contains a top-level Plant class that provides an interface with the APSIM model environment and controls the other classes in the plant model. Other classes include mid-level Organ, Phenology, Structure and Arbitrator classes that represent specific elements or processes of the crop and sub-classes that the mid-level classes use to represent repeated data structures. It also contains low-level Function classes which represent generic mathematical, logical, procedural or reference code and provide values to the processes carried out by mid-level classes. A plant configuration file specifies which mid-level and Function classes are to be included and how they are to be arranged and parameterised to represent a particular crop model. The PMF has an integrated design environment to allow plant models to be created visually. The aims of the PMF are to maximise code reuse and allow flexibility in the structure of models. Four examples are included to demonstrate the flexibility of application of the PMF; 1. Slurp, a simple model of the water use of a static crop, 2. Oat, an annual grain crop model with detailed growth, development and resource use processes, 3. Lucerne, perennial forage model with detailed growth, development and resource use processes, 4. Wheat, another detailed annual crop model constructed using an alternative set of organ and process classes. These examples show the PMF can be used to develop models of different complexities and allows flexibility in the approach for implementing crop physiology concepts into model set up

Annual Clovers Around the World: Current Status and Future Prospects

This paper reviews the distribution and importance of annual clover (Trifolium) species for pasture and fodder production systems globally. Of the 158 recorded annual Trifolium species, 65.2% are endemic to the Mediterranean basin and surrounding areas, 14.6% to sub-Saharan Africa, 17.7% to the United States of America and 2.5% to Chile. Fourteen species have been commercialised, while other endemic and naturalised annual clovers are also utilised. Key species for self-regenerating pastures include T. subterraneum, T. michelianum and T. respinatum var. resupinatum, while major dual-purpose grazing and fodder species include T. incarnatum, T. vesiculosum, T. alexandrinum and T. respinatum var. majus. Less important commercial species include T. hirtum, T. squarrosum, T. nigrescens and T. cherleri. Australian scientists have also recently domesticated T. glanduliferum, T. spumosum, T. purpureum and T. dasyurum. The areas sown to annual clovers may increase in future years, due to increasing nitrogen (N) fertiliser costs, environmental concerns with N runoff. Climate change brings new challenges and opportunities for annual clovers. The forage plant genetic resource centres will be crucial for developing new adapted cultivars

CsI‐Antisolvent Adduct Formation in All‐Inorganic Metal Halide Perovskites

The excellent optoelectronic properties demonstrated by hybrid organic/inorganic metal halide perovskites are all predicated on precisely controlling the exact nucleation and crystallization dynamics that occur during film formation. In general, high‐performance thin films are obtained by a method commonly called solvent engineering (or antisolvent quench) processing. The solvent engineering method removes excess solvent, but importantly leaves behind solvent that forms chemical adducts with the lead‐halide precursor salts. These adduct‐based precursor phases control nucleation and the growth of the polycrystalline domains. There has not yet been a comprehensive study comparing the various antisolvents used in different perovskite compositions containing cesium. In addition, there have been no reports of solvent engineering for high efficiency in all‐inorganic perovskites such as CsPbI3. In this work, inorganic perovskite composition CsPbI3 is specifically targeted and unique adducts formed between CsI and precursor solvents and antisolvents are found that have not been observed for other A‐site cation salts. These CsI adducts control nucleation more so than the PbI2–dimethyl sulfoxide (DMSO) adduct and demonstrate how the A‐site plays a significant role in crystallization. The use of methyl acetate (MeOAc) in this solvent engineering approach dictates crystallization through the formation of a CsI–MeOAc adduct and results in solar cells with a power conversion efficiency of 14.4%.It is found that unique adducts form between CsI and dimethyl sulfoxide (DMSO) and certain antisolvents, such as methyl acetate, during film formation of the all‐inorganic perovskite CsPbI3. These adducts significantly influence crystallization and the power conversion efficiency of the resulting solar cells.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/154525/1/aenm201903365-sup-0001-SuppMat.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/154525/2/aenm201903365.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/154525/3/aenm201903365_am.pd

CsI‐Antisolvent Adduct Formation in All‐Inorganic Metal Halide Perovskites

The excellent optoelectronic properties demonstrated by hybrid organic/inorganic metal halide perovskites are all predicated on precisely controlling the exact nucleation and crystallization dynamics that occur during film formation. In general, high‐performance thin films are obtained by a method commonly called solvent engineering (or antisolvent quench) processing. The solvent engineering method removes excess solvent, but importantly leaves behind solvent that forms chemical adducts with the lead‐halide precursor salts. These adduct‐based precursor phases control nucleation and the growth of the polycrystalline domains. There has not yet been a comprehensive study comparing the various antisolvents used in different perovskite compositions containing cesium. In addition, there have been no reports of solvent engineering for high efficiency in all‐inorganic perovskites such as CsPbI3. In this work, inorganic perovskite composition CsPbI3 is specifically targeted and unique adducts formed between CsI and precursor solvents and antisolvents are found that have not been observed for other A‐site cation salts. These CsI adducts control nucleation more so than the PbI2–dimethyl sulfoxide (DMSO) adduct and demonstrate how the A‐site plays a significant role in crystallization. The use of methyl acetate (MeOAc) in this solvent engineering approach dictates crystallization through the formation of a CsI–MeOAc adduct and results in solar cells with a power conversion efficiency of 14.4%.It is found that unique adducts form between CsI and dimethyl sulfoxide (DMSO) and certain antisolvents, such as methyl acetate, during film formation of the all‐inorganic perovskite CsPbI3. These adducts significantly influence crystallization and the power conversion efficiency of the resulting solar cells.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/154525/1/aenm201903365-sup-0001-SuppMat.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/154525/2/aenm201903365.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/154525/3/aenm201903365_am.pd

Biomassa uit natuur & landschap

Ontdekkingstocht langs plekken en initiatieven in Nederland waar met veel verstand van zaken, een flinke dosis energie en enthousiasme en soms wat lef, gewerkt wordt aan het realiseren van en 'biobased landschap'. Een omgeving waarin beheer, naast natuurwaarden en een fraai landschap, óók energie en interessante producten oplevert

Extended Lambek calculi and first-order linear logic Richard Moot

The Syntactic Calculus (Lambek 1958) — often simply called the Lambek calculus, L, — is a beautiful system in many ways: Lambek grammars give a satisfactory syntactic analysis for the (context-free) core of natural language and, in addition, it provides a simple and elegant syntax-semantics interface