7,281 research outputs found

    On conservativity of concurrent Haskell

    Get PDF
    The calculus CHF models Concurrent Haskell extended by concurrent, implicit futures. It is a process calculus with concurrent threads, monadic concurrent evaluation, and includes a pure functional lambda-calculus which comprises data constructors, case-expressions, letrec-expressions, and Haskell’s seq. Futures can be implemented in Concurrent Haskell using the primitive unsafeInterleaveIO, which is available in most implementations of Haskell. Our main result is conservativity of CHF, that is, all equivalences of pure functional expressions are also valid in CHF. This implies that compiler optimizations and transformations from pure Haskell remain valid in Concurrent Haskell even if it is extended by futures. We also show that this is no longer valid if Concurrent Haskell is extended by the arbitrary use of unsafeInterleaveIO

    Confronting the Robinson Crusoe paradigm with household-size heterogeneity

    Get PDF
    Modern macroeconomics empirically addresses economy-wide incentives behind economic actions by using insights from the way a single representative household would behave. This analytical approach requires that incentives of the poor and the rich are strictly aligned. In empirical analysis a challenging complication is that consumer and income data are typically available at the household level, and individuals living in multimember households have the potential to share goods within the household. The analytical approach of modern macroeconomics would require that intra-household sharing is also strictly aligned across the rich and the poor. Here we have designed a survey method that allows the testing of this stringent property of intra-household sharing and find that it holds: once expenditures for basic needs are subtracted from disposable household income, household-size economies implied by the remainder household incomes are the same for the rich and the poor

    The flux of carbonyl sulfide and carbon disulfide between the atmosphere and a spruce forest

    Get PDF
    Turbulent fluxes of carbonyl sulfide (COS) and carbon disulfide (CS2) were measured over a spruce forest in Central Germany using the relaxed eddy accumulation (REA) technique. A REA sampler was developed and validated using simultaneous measurements of CO2 fluxes by REA and by eddy correlation. REA measurements were conducted during six campaigns covering spring, summer, and fall between 1997 and 1999. Both uptake and emission of COS and CS2 by the forest were observed, with deposition occurring mainly during the sunlit period and emission mainly during the dark period. On the average, however, the forest acts as a sink for both gases. The average fluxes for COS and CS2 are -93 ± 11.7 pmol m-2 s-1 and -18 ± 7.6 pmol m-2 s-1, respectively. The fluxes of both gases appear to be correlated to photosynthetically active radiation and to the CO2 and \chem{H_2O} fluxes, supporting the idea that the air-vegetation exchange of both gases is controlled by stomata. An uptake ratio COS/CO2 of 10 ± 1.7 pmol m mol-1 has been derived from the regression line for the correlation between the COS and CO2 fluxes. This uptake ratio, if representative for the global terrestrial net primary production, would correspond to a sink of 2.3 ± 0.5 Tg COS yr-1

    Genetic engineering of baker’s and wine yeasts using formaldehyde hyperresistance-mediating plasmids

    Get PDF
    Yeast multi-copy vectors carrying the for maldehyde-resistance marker gene SFA have proved to be a valuable tool for research on industrially used strains of Saccharomyces cerevisiae. The genetics of these strains is often poorly understood, and for various reasons it is not possible to simply subject these strains to protocols of genetic engineering that have been established for laboratory strains of S. cerevisiae. We tested our vectors and protocols using 10 randomly picked baker’s and wine yeasts all of which could be transformed by a simple protocol with vectors conferring hyperresistance to formaldehyde. The application of formaldehyde as a selecting agent also offers the advantage of its biodegradation to CO2 during fermentation, i.e., the selecting agent will be consumed and therefore its removal during down-stream processing is not necessary. Thus, this vector provides an expression system which is simple to apply and inexpensive to use. Key words: · Yeast · Transformation · Hyperresistance to formaldehyd

    Eine ökologische Hühnermast mit "100-%-Bio-Futter" ist möglich

    Get PDF
    The purpose of the present study was to test an organic feed for chicken production. Different feed mixtures with reduced dietary energy level (< 12 MJ AME/kg) and reduced content of essential amino acids were investigated. In case of reduction a constant ratio of amino acids to energy was considered. Under the future European law for organic products all raw materials used for the feed were of organic origin. The feed consumption of the different feeding groups ran conversely proportional to the diets energy level. The obtained fattening performance and carcass yield reached a high level under the circumstances of organic production

    Ein Frankfurter Physiker, der die Welt veränderte : Hans Albrecht Bethes bewegtes Leben

    Get PDF
    Der Nobelpreisträger Hans Albrecht Bethe war einer der ganz großen Physiker des 20. Jahrhunderts. Er gilt als einer der Väter der modernen Quantenphysik. In seiner Bedeutung für die Entwicklung der modernen Physik kommt er selbst Werner Heisenberg oder Max Planck sehr nahe. Er ist in Frankfurt aufgewachsen, hat hier das Goethe-Gymnasium besucht und an der Universität Frankfurt studiert. 1933 musste er emigrieren, da seine Mutter jüdischen Glaubens war. In seiner Heimatstadt Frankfurt ist er bisher fast unbekannt geblieben. Aus Sorge, dass Hitler-Deutschland »die Bombe« zuerst bauen könnte, unterstützte Bethe die USA bei der Entwicklung der Atombombe. Robert Oppenheimer holte ihn 1941 zum Manhattan Project nach Los Alamos (New Mexico). Hans Bethe war der führende theoretische Konstrukteur der Bombe. Doch Zeit seines Lebens glaubte er, damit das Falsche getan zu haben. Nach dem Krieg engagierte er sich für die Rüstungskontrolle. Bethe initiierte 1959 die Genfer Konferenz führender Forscher zur Empfehlung eines kontrollierten Teststoppabkommens und beriet den damaligen US-Präsidenten Dwight Eisenhower bei Fragen zur Einstellung von Kernwaffenversuchen. Er war in den USA und weltweit ein Wissenschaftler mit großem politischem und moralischem Einfluss. ..

    Existenzgründungen in der Landwirtschaft

    Get PDF
    Despite the substantial structural change in agriculture there is interest to run an organic farm by highly qualified people, who do not come from a farm. The process of starting a farm is complex and requires a high intensity of consulting and coaching. The main topics are: How to find a suitable object, conception/planning of the farm, financing, age safety, special legal questions of taxes and inheritance
    corecore