This thesis presents an analysis of inclusive semileptonic $B \to X_u e \nu$ decays using approximately 454 million $\Upsilon(4S) \to B \bar{B}$ decays collected during the years 1999 to 2008 with the BABAR detector. The electron energy, $E_e$, and the invariant mass squared of the electron-neutrino pair,$ q^2$, are reconstructed, where the neutrino kinematics is deduced from the decay products of both B mesons. The final hadronic state,$ X_u$, consists of a sum of many hadronic channels, each of which contains at least one $u$ quark. The variables $q^2$ and $E_e$ are then combined to compute the maximum kinematically allowed invariant mass squared of the hadronic system, $s_h^{max}$. Using these kinematic quantities, the partial branching fraction, $\Delta BR(B \to X_u e \nu)$, unfolded for detector effects, is measured to be $\Delta BR(E_e>2.0 GeV, s_h^{max}<3.52 GeV^2) = (3.33 \pm 0.18 \pm 0.21) \times 10^{-4} in the $\Upsilon(4S)$ and \Delta \tilde{\BR}(\tilde E_e>1.9 GeV, \tilde {s}^{max}_{h} < 3.5 GeV^2) = (4.57 \pm 0.24 \pm 0.32) \times 10^{-4} in the $B$ meson rest frames. The quoted errors are statistical and systematic, respectively. The CKM matrix element $|V_{ub}|$ is determined from the measured $\Delta \tilde{\BR}$ using theoretical calculation based on Heavy Quark Expansion. The result is $|V_{ub}| = (4.19 \pm 0.18{}^{+0.26}_{-0.20} {}^{+0.26}_{-0.25}) \times 10^{-3}, where the errors represent experimental uncertainties, uncertainties from HQE parameters and theoretical uncertainties, respectively.

No description available.

Thesis (Ph. D.)--University of Washington, 2001. / Vita. Includes bibliographical references (leaves 81-96).

Thesis (Ph. D.)--West Virginia University, 2001. / Title from document title page. Document formatted into pages; contains xi, 147 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 128-143).

This dissertation examines the archaeological and textual evidence for religion at the site of Knossos during the Mycenaean phases of administration (LM II-LM IIIB1). Several methodological issues in the nature of the evidence are addressed. The Linear B documents, due to their economic nature, offer limited information about religion. Moreover, the tablets from Knossos belong to at least two different phases of administration. The archaeological evidence for the different phases of cult use is often difficult to assess given the continued use of the palace over an extended period of time. To address these issues, the evidence from Knossos is divided into two temporal phases so that the textual evidence can be closely examined alongside its contemporary archaeological evidence for cult. This process has allowed for a more accurate view of the religion at Knossos in the Late Bronze Age. An evolution in the religious beliefs and practices are evident in the material culture. The presence of Indo-European divinities into the Knossian pantheon by the newly-installed Greek-speaking elite population is apparent from the outset, while previous Minoan style shrines continue to be used. In the later phase, numerous Minoan divinities are included in ritual offerings, while some Greek divinities are now given local epithets. Also at this time, Minoan shrine types gradually go out of use, whereas bench sanctuaries (a shrine type common to both Minoans and Mycenaeans) become the norm. The overall nature of Mycenaean religious assemblages at Knossos represents a unique blend of both Minoan and Mycenaean religious beliefs and practices. / text

published_or_final_version / Medicine / Master / Doctor of Medicine

published_or_final_version / abstract / Medicine / Doctoral / Doctor of Philosophy

published_or_final_version / abstract / toc / Medicine / Master / Master of Philosophy

Revised; Originally Published: 2000 / 8 pp. / Whether you are beginning a new landscape or renovating an existing one, planning ahead can prevent many problems. The majority of maintenance requirements and plant problems result from either selecting the wrong kind of plant for a location or planting an inferior specimen of the selected plant type. In other words, there are two decisions to be made: ▪ What species, or kind, of tree are you going to buy — an oak, pine, mesquite, or acacia? ▪ Assuming you decide on an oak, which one in the row of oaks at the nursery are you going to buy? The first decision is called Plant Selection and the second is Selecting Plants. Our goal is to install the right plant in the right place. This publication will cover the factors involved in making good decisions to achieve this goal.

Cette thèse porte sur la vérification des règles ajoutées de l'Atelier B en utilisant une plate-forme appelée BCARe qui repose sur un plongement de la théorie sous-jacente à la méthode B (théorie de B) dans l'assistant à la preuve Coq. En particulier, nous proposons trois approches pour prouver la validité d'une règle, ce qui revient à prouver une formule exprimée dans la théorie de B. Ces trois approches ont été évaluées sur les règles de la base de règles de SIEMENS IC-MOL. La première approche dite autarcique est développée avec le langage de tactiques de Coq Ltac. Elle repose sur une première étape qui consiste à déplier tous les opérateurs ensemblistes pour obtenir une formule de la logique du premier ordre. Puis nous appliquons une procédure de décision qui met en oeuvre une heuristique naïve en ce qui concerne les instanciations. La deuxième approche, dite sceptique,appelle le prouveur automatique de théorèmes Zenon après avoir effectué l'étape de normalisation précédente. Nous vérifions ensuite les preuves trouvées par Zenon dans le plongement profond de B en Coq. La troisième approche évite l'étape de normalisation précédente grâce à une extension de Zenon utilisant des règles d'inférence spécifiques à la théorie de B. Ces règles sont obtenues grâce à la technique de superdéduction. Cette dernière approche est généralisée en une extension de Zenon à toute théorie grâce à un calcul dynamique des règles de superdéduction. Ce nouvel outil, appelé Super Zenon, peut par exemple prouver des problèmes issus de la bibliothèque de problèmes TPTP.