博碩士論文查詢聯邦系統首頁 聯絡信箱 關於我們 加入我們

caltechETD 檢索結果共 5156 筆,本頁資料從第 217 筆到第 228 筆

In this thesis, the hypothesis that photoautotrophic Fe(II)-oxidizing bacteria catalyzed the deposition of Banded Iron Formations (BIFs), an enigmatic class of ancient sedimentary rocks is explored. Ecophysiological, geochemical, genetic and biochemical approaches are taken to elucidate the molecular mechanism of photoautotrophic Fe(II) oxidation in an effort to identif....

By Laura Rosemary Croal--California Institute of Technology--2005-05-31
發佈到Facebook發佈到Plurk

Zeolite and molecular sieve materials are broadly used as ion-exchangers, adsorbents and catalysts in the chemical industry. Zeolites are typically synthesized by using organic molecules as structure-directing agents (SDA). The SDA should be removed from the pore cavity of the zeolite framework to create microporous void space before the zeolite can be used for further ....

By Hyunjoo Lee--California Institute of Technology--2005-05-27
發佈到Facebook發佈到Plurk

Visual quality, low computational cost, and numerical stability are foremost goals in computer animation. An important ingredient in achieving these goals is the conservation of fundamental motion invariants. For example, rigid and deformable body simulation has benefited greatly from conservation of linear and angular momenta. In the case of fluids, however, none of th....

By Sharif Mohamed Elcott--California Institute of Technology--2005-05-27
發佈到Facebook發佈到Plurk

Zirconocene precatalysts with sterically bulky alkyl groups were designed in order to obtain models for the propagating species in zirconocene-catalyzed alkene polymerization. Alkyllithium reagents Li(CH2CEt3) and Li(CH2CMe2CH2Ph) were prepared and utilized in methyl alkylzirconocene synthesis. Dialkyl and methyl alkylzirconocenes of the form [(eta-5-C5H5) (eta-5-C5Me5)....

By Sara Bernadine Klamo--California Institute of Technology--2005-05-27
發佈到Facebook發佈到Plurk

Pyridinium and indolium-derived aminocarbene complexes of platinum and palladium were prepared by oxidative addition of pyridinium and 2-chloro-indolium carbene precursors. These complexes were synthesized in order to study the degree to which aminocarbene ligands pi-bond with the transition-metals to which they are bound. X-Ray crystal structures show minimal multiple ....

By Jonathan Scharle Owen--California Institute of Technology--2005-05-27
發佈到Facebook發佈到Plurk

Relations are everywhere. In particular, we think and reason in terms of mathematical and English sentences that state relations. However, we teach our students much more about how to manipulate functions than about how to manipulate relations. Consider functions. We know how to combine functions to make new functions, how to evaluate functions efficiently, and how to t....

By Matthew M. Cook--California Institute of Technology--2005-05-27
發佈到Facebook發佈到Plurk

We present a methodology for realistic compiler development in an existing formal methods framework. Program transformations and analyses are implemented as term rewrites and inference rules, and automated proof search techniques are used to drive the compilation process. This approach allows the programmer to implement the compiler succinctly, declaratively, and modula....

By Nathaniel Asoka Gray--California Institute of Technology--2005-05-27
發佈到Facebook發佈到Plurk

Let F be an abelian extension of an imaginary quadratic field K with Galois group G. We form the Galois-equivariant L-function of the motive h(Spec F)(j) where the Tate twists j are negative integers. The leading term in the Taylor expansion at s=0 decomposes over the group algebra Q[G] into a product of Artin L-functions indexed by the characters of G. We construct a m....

By Jennifer Michelle Johnson--California Institute of Technology--2005-05-26
發佈到Facebook發佈到Plurk

The experiments discussed in this thesis focus on the interaction of a single trapped atom with the single mode of a high-finesse optical cavity, in the regime of strong coupling. Chapter 1 gives a brief introduction, after which Chapter 2 describes our recent measurements of the transmission spectrum of the atom-cavity system. The spectrum exhibits a clearly resolved v....

By Andreea Boca--California Institute of Technology--2005-05-26
發佈到Facebook發佈到Plurk

In the past decade, due to compelling measurements of the angular power spectrum of the cosmic microwave background (CMB) radiation, the large-scale matter distribution, the recent acceleration of the expansion rate of the Universe over cosmic time, and the current expansion rate (the Hubble constant), cosmology has culminated in a standard model of the Universe. By con....

By Kris Sigurdson--California Institute of Technology--2005-05-26
發佈到Facebook發佈到Plurk

In this thesis we present a method for slack matching asynchronous circuits, described as a collection of handshaking expansions. We present an execution model for a restricted class of HSE. We define the number of messages that a process contains. The static slack, dynamic slack and dynamic threshold are defined. We state sufficient conditions under which the dynamic s....

By Piyush Prakash--California Institute of Technology--2005-05-26
發佈到Facebook發佈到Plurk

In this thesis we present two new advancements in verified scientific computing using interval analysis: 1. The Corner Taylor Form (CTF) interval extension. The CTF is the first interval extension for multivariate polynomials that guarantees smaller excess width than the natural extension on any input interval, large or small. To help with the proofs we introduce the co....

By Marcel Gavriliu--California Institute of Technology--2005-05-26
發佈到Facebook發佈到Plurk


 

計畫贊助者: