Sökning: "Reducibility"
Visar resultat 1 - 5 av 12 avhandlingar innehållade ordet Reducibility.
1. Statistical and Dynamical Aspects of Intermediate Energy Nuclear Collisions
Sammanfattning : 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. LÄS MER
2. Type Theory with First-Order Data Types and Size-Change Termination
Sammanfattning : 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. LÄS MER
3. Cobalt catalyst supports for Fischer-Tropsch synthesis
Sammanfattning : 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. LÄS MER
4. Catalytic Incineration of CO and VOC Emissions over Supported Metal Oxide Catalysts
Sammanfattning : 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. LÄS MER
5. Effective Distribution Theory
Sammanfattning : 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. LÄS MER