Search for dissertations about: "Reducibility"

Showing result 1 - 5 of 12 swedish dissertations containing the word Reducibility.

  2. 1. Statistical and Dynamical Aspects of Intermediate Energy Nuclear Collisions

    Author : Roberta Ghetti; Fysiska institutionen; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; excitation function.; subthreshold pions; pion production; neutron cross-talk; correlation function; interferometry; intermittency; phase transition; thermal scaling; reducibility; multifragmentation; Heavy ion collisions; intermediate energy; Atomic and molecular physics; Atom- och molekylärfysik; Fysicumarkivet A:1997:Ghetti;

    Abstract : Studies of intermediate energy heavy ion reactions have revealed the existence of a number of reducibility and thermal scaling properties in nuclear multifragmentation. In particular, the probability of emitting n-fragments is reducible to the probability of emitting a single fragment through the binomial distribution. READ MORE

  4. 2. Type Theory with First-Order Data Types and Size-Change Termination

    Author : David Wahlstedt; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Abstract : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. READ MORE

  5. 3. Cobalt catalyst supports for Fischer-Tropsch synthesis

    Author : Fatima Pardo-Tarifa; Lars J. Pettersson; Olga Guerrero; KTH; []
    Keywords : Silica; alumina; zirconium; cerium; mesoporous materials; nanoparticles; microemulsion; atrane route; cobalt catalyst; Fischer-Tropsch synthesis; Chemical Engineering; Kemiteknik;

    Abstract : In the Fischer-Tropsch (FT) synthesis, CO and H2 (synthesis gas) are converted into hydrocarbons that can be further upgraded to high-quality fuels and chemicals. Different carbon sources such as natural gas, coal and biomass can be used as feed-stocks for the synthesis gas. READ MORE

  6. 4. Catalytic Incineration of CO and VOC Emissions over Supported Metal Oxide Catalysts

    Author : Per-Olof Larsson; Tillämpad biokemi; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Titania; Ceria; Manganese oxide; Copper oxide; VOC; CO; Ethanol; Ethyl acetate; Metal oxide catalysts; Catalytic combustion; Catalytic incineration; Alumina.; Chemical technology and engineering; Kemiteknik och kemisk teknologi; Fysicumarkivet A:1999:Larsson;

    Abstract : Catalytic incineration is one of the methods to reduce the emissions of CO and VOCs. Low operation temperature and low catalyst cost are essential parameters for catalytic incinerators. Pt/Al2O3 catalysts are frequently used today, but the cheaper metal oxide catalysts can be very competitive if comparable overall activity is obtained. READ MORE

  7. 5. Effective Distribution Theory

    Author : Fredrik Dahlgren; Viggo Stoltenberg-Hansen; Dag Normann; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; Mathematical logic; Matematisk logik;

    Abstract : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. READ MORE