Ein Algorithmus zur Identifizierung von Elektronen mit dem BABAR Detektor wird entwickelt. Basierend auf Spuren, deren Teilchenidentität aus rein kinematischen Überlegungen gefolgert werden kann, wird für Impulse zwischen 0.5 und 2.5 GeV/c die Selektionseffizienz für Elektronen zu 90% bestimmt. Im gleichen Impulsbereich liegt die Wahrscheinlichkeit, Pionen als Elektronen zu identifizieren, zwischen 0.05% und 0.1%. Auf diesem Algorithmus basiert die Messung des inklusiven Elektronen Impulsspektrums aus B-Meson Zerfällen anhand der Daten, die mit dem BABAR Detector am asymmetrischen Speicherring PEP-II ("B-Factory") aufgezeichnet wurden. Das Volumen der analysierten Daten entspricht einer integrierten Luminosität von 4.13 1/fb auf der Y(4S) Resonanz und 0.97 1/fb bei einer um 40 MeV verringerten Schwerpunktsenergie. B - Anti-B Ereignisse werden anhand hochenergetischer Elektronen identifiziert. Elektronen von einem semileptonischen Zerfall des zweiten B-Mesons werden durch die relative Ladung und Impulsrichtung zum hochenergetischen Elektron vom Untergrund aus semileptonischen Charm Zerfällen isoliert. Das inklusive Verzweigungsverhältnis für den semileptonischen Zerfall des B-Mesons wird zu (10.85 +-0.22(stat.) +-0.34(sys))% gemessen. Zusammen mit der Lebenszeit von B-Mesonen lässt sich daraus |V_cb| bestimmen: |V_{cb}| = 0.0406 +-0.0009(exp) +-0.0019(theory). / An algorithm for identification of electrons with the BABAR detector is developed. Based on pure samples of electrons and hadrons obtained from data, we determine the electron identification efficiency to be above 90% for momenta above 0.5 GeV/c in the laboratory frame, while the pion fake rate lies between 0.05% and 0.1%. Based on this algorithm, a measurement of the inclusive lepton momentum spectrum in B meson decays is performed. We analyze 4.13 fb^-1 and 0.97 fb^-1 of data recorded at and slightly below the Upsilon(4S) resonance with the BABAR detector at the PEP-II a symmetric B-Factory. B-Bbar events are tagged by a high momentum electron. Using charge and angular correlations, leptons from a second semileptonic $B$ decay are separated from secondary charm semileptonic decays. The inclusive branching ratio is measured to be (10.85 +-0.22(stat.) +-0.34(sys))% . Combined with the B lifetime we determine |V_cb| = 0.0406 +-0.0009(exp) +-0.0019(theory).

Eine der stärksten Erweiterungen der klassischen Theorie formaler Sprachen und Automaten ist die Einbeziehung von Gewichten oder Vielfachheiten aus einem Halbring. Diese Dissertation untersucht gewichtete Automaten über Strukturen mit Nebenläufigkeit. Wir erweitern die Arbeit von Lodaya und Weil und erhalten so ein Modell gewichteter verzweigender Automaten, in dem die Berechnung des Gewichts einer parallelen Komposition anders als die einer sequentiellen Komposition gehandhabt wird. Die von Lodaya und Weil eingeführten Automaten modellieren Nebenläufigkeit durch Verzweigen. Ein verzweigender Automat ist ein endlicher Automat mit drei verschiedenen Typen von Transitionen. Sequentielle Transitionen überführen durch Ausführen eines Ereignisses einen Zustand in einen anderen. Dagegen sind Gabel- und Binde-Transitionen für das Verzweigen verantwortlich. Läufe dieser Automaten werden beschrieben durch sequentiell-parallele posets, kurz sp-posets. Alle Transitionen des Automaten werden in unserem Modell mit Gewichten versehen. Neben dem Nichtdeterminismus und der sequentiellen Komposition wollen wir nun auch die parallele Komposition quantitativ behandeln. Dafür benötigen wir eine Gewichtsstruktur mit einer Addition, einer sequentiellen und einer parallelen Multiplikation. Solch eine Struktur, genannt Bihalbring, besteht damit de facto aus zwei Halbringen mit derselben additiven Struktur. Weiterhin muss die parallele Multiplikation kommutativ sein. Das Verhalten eines gewichteten verzweigenden Automaten ist dann eine Funktion, die jeder sp-poset ein Element eines Bihalbrings zuordnet. Das Hauptresultat charakterisiert das Verhalten dieser Automaten im Sinne von Kleenes und Schützenbergers Sätzen über das Zusammenfallen der Klassen der erkennbaren und der rationalen Sprachen bzw. formalen Potenzreihen. Darüber hinaus untersuchen wir den Abschluss dieser Verhalten unter allen rationalen Operationen und unter dem Hadamard-Produkt. Letztlich diskutieren wir Zusammenhänge zwischen Reihen und Sprachen im Rahmen verzweigender Automaten. / One of the most powerful extensions of classical formal language and automata theory is the consideration of weights or multiplicities from a semiring. This thesis investigates weighted automata over structures incorporating concurrency. Extending work by Lodaya and Weil, we propose a model of weighted branching automata in which the calculation of the weight of a parallel composition is handled differently from the calculation of the weight of a sequential composition. The automata as proposed by Lodaya and Weil model concurrency by branching. A branching automaton is a finite-state device with three different types of transitions. Sequential transitions transform a state into another one by executing an action. In contrast, fork and join transitions are responsible for branching. Executions of such systems can be described by sequential-parallel posets, or sp-posets for short. In the model considered here all kinds of transitions are equipped with weights. Beside non-determinism and sequential composition we would like to deal with the parallel composition in a quantitative way. Therefore, we are in need of a weight structure equipped with addition, a sequential, and, moreover, a parallel multiplication. Such a structure, called a bisemiring, is actually composed of two semirings with the same additive structure. Moreover, the parallel multiplication has to be commutative. Now, the behavior of a weighted branching automaton is a function that associates with every sp-poset an element from the bisemiring. The main result characterizes the behavior of these automata in the spirit of Kleene's and Schützenberger's theorems about the coincidence of recognizable and rational languages, and formal power series, respectively. Moreover, we investigate the closure of behaviors under all rational operations and under Hadamard-product. Finally, we discuss connections between series and languages within our setting.

Es wird die Axiomatisierbarkeit einer Klasse von temporalen Prädikatenlogiken über verzweigenden Strukturen gezeigt. Entscheidbarkeitsresultate folgen für diverse Fragmente dieser Logiken. Anwendungen werden diskutiert.

No description available.

The radiative &amp / #969 / &amp / #8594 / &amp / #960 / 0&amp / #960 / 0&amp / #947 / , &amp / #961 / &amp / #8594 / &amp / #960 / 0&amp / #960 / 0&amp / #947 / , &amp / #969 / &amp / #8594 / &amp / #960 / +&amp / #960 / &amp / #8722 / &amp / #947 / and &amp / #961 / &amp / #8594 / &amp / #960 / +&amp / #960 / &amp / #8722 / &amp / #947 / decays are studied by adding the effect of vector meson mixing to the amplitude of these decays. For the above decays we consider only &amp / #961 / &amp / #8722 / &amp / #969 / mixing. In addition to the &amp / #961 / &amp / #8722 / &amp / #969 / mixing, we also analyse the contributions coming from different intermediate states to examine the decay mechanism of these decays in a phenomenological framework. For &amp / #969 / &amp / #8594 / &amp / #960 / 0&amp / #960 / 0&amp / #947 / decay, we consider the contributions of the &amp / #961 / -meson and &amp / #963 / -meson intermediate states and of the kaon-loop, and for the &amp / #961 / &amp / #8594 / &amp / #960 / 0&amp / #960 / 0&amp / #947 / decay we calculate the amplitude using the contributions of the &amp / #969 / -meson and &amp / #963 / -meson intermediate states and pion-loop. Moreover, the radiative &amp / #969 / &amp / #8594 / &amp / #960 / +&amp / #960 / &amp / #8722 / &amp / #947 / decay is studied by considering the contributions of &amp / #963 / -meson and &amp / #961 / -meson intermediate states and the decay &amp / #961 / &amp / #8594 / &amp / #960 / +&amp / #960 / &amp / #8722 / &amp / #947 / is investigated by taking into account the contributions of bremmsstrahlung, pion-loop and &amp / #963 / - meson intermediate state amplitude. We also estimate the coupling constant g&amp / #969 / &amp / #963 / &amp / #947 / utilizing the latest experimental value of the branching ratio &amp / #969 / &amp / #8594 / &amp / #960 / 0&amp / #960 / 0&amp / #947 / .

Thesis (Ph.D.); Submitted to the University of California Berkeley, Berkeley, CA (US); 1 Jun 2004. / Published through the Information Bridge: DOE Scientific and Technical Information. "LBNL--56278" Burke, Jason Timothy. USDOE Director. Office of Science. Office of High Energy and Nuclear Physics. Division of Nuclear Physics (US) 06/01/2004. Report is also available in paper and microfiche from NTIS.

Thesis (Ph.D.); Submitted to Univ. of California, Berkeley, CA (US); 1 Jun 2003. / Published through the Information Bridge: DOE Scientific and Technical Information. "LBNL--54350" Scielzo, Nicholas David. USDOE Director. Office of Science. Nuclear Physics (US) 06/01/2003. Report is also available in paper and microfiche from NTIS.

No description available.

No description available.

L'interférence entre la désintégration du méson $\Bs$ vers un état final propre de CP, directement ou via le mélange $\Bs-\Bsb$, donne lieu à une phase violant CP mesurable $\phi_s$, dont la valeur dans le Modèle Standard est $\phi_s^{MS} = (-0.0370\pm 0.0006)~\mathrm{rad}$. Cependant, des contributions de Nouvelle Physique peuvent intervenir dans ce processus et modifier la valeur de $\phi_s$. À l'heure actuelle, la mesure la plus précise de $\phi_s$ est donnée par l'expérience LHCb et la valeur moyenne mondiale est $\phi_s^{\rm{exp}} = (-0.021 \pm 0.032)~\mathrm{rad}$, dominée par l'incertitude statistique.Dans ce contexte, l'étude de la désintégration $\Bs \to \etac \phi$ est effectuée en utilisant les données de collisions $pp$ correspondant à une luminosité intégrée de~3.0\invfb, collectées avec le détecteur LHCb avec le Run~1 du LHC. La première observation de la désintégration $\Bs \to \etac \phi$ est obtenue, avec le méson \etac reconstruit dans les quatres modes de désintégration $p\bar p$, $ K^+ K^- \pi^+ \pi^-$ , $\pi^+\pi^-\pi^+\pi^-$ et $K^+K^-K^+K^-$ et $\phi(1020)$ reconstruit dans le mode $K^+K^-$. La désintégration $ \Bs \to \jpsi \phi $ est utilisée comme canal de normalisation.Le rapport de branchement mesuré est $\mathcal B (B^{0}_{s} \to \eta_{c} \phi) = \left(5.01 \pm 0.53 \pm 0.27 \pm 0.63 \right) \times 10^{-4}$, où la première incertitude est statistique, la seconde est systématique et la troisième incertitude est due à la connaissance limitée des rapports d'embranchement externes. / The interference between $\Bs$ meson decay amplitudes to CP final state directly or via mixing gives rise to a measurable CP-violating phase $\phi_s$, which is predicted to be $\phi_s^{SM} = (-0.0370\pm0.0006)~\mathrm{rad}$ in the Standard Model. However, such process may receive contributions from New Physics and change the value of $\phi_s$. At present, the most precise measurement of $\phi_s$ is given by the LHCb experiment and the world average is $\phi_s^{\rm{exp}} = (-0.021\pm 0.032)~\mathrm{rad}$, with uncertainty still dominated by the statistics.In this context, a study of $\Bs \to \etac \phi$ decays is performed using $pp$ collision data corresponding to an integrated luminosity of~3.0\invfb, collected with the LHCb detector during the Run~1 of the LHC. The observation of the decay $\Bs \to \etac \phi$ is reported, where the \etac meson is reconstructed in the $p\bar p$, $K^+K^-\pi^+\pi^-$, $\pi^+\pi^-\pi^+\pi^-$ and $K^+K^-K^+K^-$ decay modes and the $\phi(1020)$ in the $K^+ K^-$ decay mode. The decay $\Bs \to \jpsi \phi$ is used as a normalisation channel.The measured branching fraction is $\mathcal B (B^{0}_{s} \to \eta_{c} \phi) = \left(5.01 \pm 0.53 \pm 0.27 \pm 0.63 \right) \times 10^{-4}$, where the first uncertainty is statistical, the second systematic and the third uncertainty is due to the limited knowledge of the external branching fractions.