Search for dissertations about: "Reducibility"

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

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

    University dissertation from Experimental High-Energy Physics

    Author : Roberta Ghetti; [1997]
    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;

    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

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

    University dissertation from Experimental High-Energy Physics

    Author : David Wahlstedt; [2004]
    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

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

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Fatima Pardo-Tarifa; Lars J. Pettersson; Olga Guerrero; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; 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

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

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Per-Olof Larsson; [1999]
    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;

    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

  5. 5. Effective Distribution Theory

    University dissertation from Uppsala : Matematiska institutionen

    Author : Fredrik Dahlgren; Uppsala universitet.; [2007]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys 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