Minimal Type Theory (MTT)

Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph

Tunnel spin polarization of Ni80Fe20/SiO2 probed with a magnetic tunnel transistor

The tunnel spin polarization of Ni80Fe20/SiO2 interfaces has been investigated using a magnetic tunnel transistor (MTT). The MTT with a Ni80Fe20/SiO2 emitter shows a magnetocurrent of 74% at 100 K, corresponding to a tunnel spin polarization of the Ni80Fe20/SiO2 interface of 27%. This is only slightly lower than the value of 34% for Ni80Fe20/Al2O3 interfaces determined in similar MTT structures. This suggests that SiO2 can be applied in semiconductor spintronic devices, for example in ferromagnet/SiO2/Si tunnel contacts for spin injection.\ud \u

Quality characteristics of edible linseed oil

In this review the quality properties of linseed oil for food uses are discussed as well as factors affecting this quality. Linseed oil has a favourable fatty acid composition with a high linolenic acid content. Linseed oil contains nearly 60% á-linolenic acid, compared with 25% for plant oils generally. The content of linolenic acid and omega-3 fatty acids is reported to be high in linseed grown in northern latitudes. The composition of fatty acids, especially unsaturated fatty acids, reported in different studies varies considerably for linseed oil. This variation depends mainly on differences in the examined varieties and industrial processing treatments. The fatty acid composition leads also to some problems, rancidity probably being the most challenging. Some information has been published concerning oxidation and taste, whereas only a few studies have focused on colour or microbiological quality. Rancidity negatively affects the taste and odour of the oil. There are available a few studies on effects of storage on composition of linseed oil. In general, storage and heat promote auto-oxidation of fats, as well as decrease the amounts of tocopherols and vitamin E in linseed oil. Several methods are available to promote the quality of the oil, including agronomic methods and methods of breeding as well as chemical, biotechnological and microbiological methods. Time of harvesting and weather conditions affect the quality and yield of the oil

Influence of EU policy on agricultural nutrient losses and the state of receiving surface waters in Finland

In Finland, the first large-scale efforts to control nutrient loading from agriculture got under way with the introduction of the EU Agri-Environmental Program in 1995. We examined whether these efforts have decreased agricultural nutrient losses and improved the quality of receiving waters. To do so we used monitoring data on fluxes of nutrients and total suspended solids in agricultural catchments in 1990–2004 and on the water quality of agriculturally loaded rivers, lakes and estuaries in 1990–2005. No clear reduction in loading or improvement in water quality was detected. Hydrological fluctuations do not seem to have eclipsed the effects of the measures taken, since there was no systematic pattern in runoff in the period studied. The apparent inefficiency of the measures taken may be due to the large nutrient reserves of the soil, which slowed down nutrient reductions within the period studied. Simultaneous changes in agricultural production (e.g. regional specialisation) and in climate may also have counteracted the effects of agri-environmental measures. The actions to reduce agricultural loading might have been more successful had they focused specifically on the areas and actions that contribute most to the current loading

Managing Sonchus arvensis using mechanical and cultural methods

Perennial sow-thistle (Sonchus arvensis L.) represents an increasing problem in Finland. Options for mechanical and cultural control of S. arvensis were studied in a field experiment on clay soil under organic production. The experiment consisted of different crop sequences: spring cereal (barley, Hordeum vulgare L., in 2001, oats, Avena sativa L., in 2002) with or without inter-row hoeing and/or stubble cultivation, bare fallow, fibre hemp (Cannabis sativa L.), and ley with mowing. In 2003 the entire field was sown to spring wheat. Crop plant and Sonchus shoot density and dry mass prior to cereal harvest and crop yield were assessed. The control effect was rated: bare fallow > ley > cereal with or without inter-row hoeing > poor growth fibre hemp. Bare fallow was an effective but costly way to reduce S. arvensis infestation. Introduction of a regularly mown green fallow or silage ley in the crop rotation is advisable. Mechanical weed control by inter-row hoeing in cereals limits S. arvensis growth. Infestation might also be reduced by stubble cultivation in autumn. When managing S. arvensis using mechanical and cultural methods, appropriate options, including a competitive crop, should be chosen for the specific field and rotation

On choice rules in dependent type theory

In a dependent type theory satisfying the propositions as types correspondence together with the proofs-as-programs paradigm, the validity of the unique choice rule or even more of the choice rule says that the extraction of a computable witness from an existential statement under hypothesis can be performed within the same theory. Here we show that the unique choice rule, and hence the choice rule, are not valid both in Coquand\u2019s Calculus of Constructions with indexed sum types, list types and binary disjoint sums and in its predicative version implemented in the intensional level of the Minimalist Founda- tion. This means that in these theories the extraction of computational witnesses from existential statements must be performed in a more ex- pressive proofs-as-programs theory