221 research outputs found

    ϒ(nS)→Bcρ, BcK⁎ decays with perturbative QCD approach

    No full text
    AbstractInspired by the potential prospects of ϒ(nS) data samples (n=1,2,3) at LHC and SuperKEKB, ϒ(nS)→Bcρ, BcK⁎ decays are studied phenomenologically with pQCD approach. Branching ratios for ϒ(nS)→Bcρ and BcK⁎ decays are estimated to reach up to O(10−11) and O(10−12), respectively. Given the identification and detection efficiency of final states, searching for these weak decay modes should be fairly challenging experimentally in the future

    Safe recursion with higher types and BCK-algebra

    No full text
    AbstractIn previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook's function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK-algebras consisting of certain polynomial-time algorithms. It will follow from this semantics that safe recursion with arbitrary result type built up from N and ⊸ as well as recursion over trees and other data structures remains within polynomial time. In its original formulation SLR supported only natural numbers and recursion on notation with first-order functional result type

    An ordered structure of pseudo-BCI-algebras

    No full text
    summary:In Chajda's paper (2014), to an arbitrary BCI-algebra the author assigned an ordered structure with one binary operation which possesses certain antitone mappings. In the present paper, we show that a similar construction can be done also for pseudo-BCI-algebras, but the resulting structure should have two binary operations and a set of couples of antitone mappings which are in a certain sense mutually inverse. The motivation for this approach is the well-known fact that every commutative BCK-algebra is in fact a join-semilattice and we try to obtain a similar result also for the non-commutative case and for pseudo-BCI-algebras which generalize BCK-algebras, see e.g. Imai and Iséki (1966) and Iséki (1966)

    Sifat-sifat Fantastik-Ideal pada aljabar BCI

    No full text
    INDONESIA Aljabar BCI merupakan bagian dari struktur aljabar dimana di dalamnya terdapat grupoid yang mempunyai elemen khusus dan memenuhi sifat-sifat tertentu. Pada tahun 1966, Y. Imai dan K. Iseki memperkenalkan perkembangan dari struktur aljabar, yaitu Aljabar BCK. Pada tahun yang sama, K. Iseki memperkenalkan gagasan baru, yaitu Aljabar BCI yang merupakan perumuman dari Aljabar BCK sehingga Aljabar BCK termuat di dalam Aljabar BCI. Pada penelitian sebelumnya telah dibahas mengenai ideal-ideal pada Aljabar BCI. Fantastik-ideal merupakan salah satu dari ideal-ideal yang ada pada Aljabar BCI. Jika l adalah ideal pada Alabar BCI , maka l adalah fantastik-ideal. jika dan hanya jika x*y∈l berkibat x*(y*(y*x))∈l,∀x,y∈X. Jika l dan G adalah ideal dari Aljabar BCI X dengan l⊆G dan l adalah fantastik-ideal dari X maka G adalah fantastik-ideal dari X. Pada Aljabar BCI kondisi (i) l fantastik-ideal, (ii) (x*(0*(0*x)))∈∀x∈X, (iii) Jika u*x∈l dan u*y∈l maka (u*(y*(y*x)))∈l,∀u,x,y∈X adalah ekivalen. Dan pada Aljabar BCI kondisi (i) x*y=x*(y*(y*x))), (ii) x*y(y*y*x))=y*(x*(x*y)), (iii) X adalah Aljabar BCK komutatif adalah ekivalen, serta ekivalen pada kondisi (i) {0} adalah fantastik-ideal, (ii) Setiap ideal pada X adalah fantastik-ideal, (iii) x*y=x*(y*(y*x)),∀x,y∈X, (iv) X adalah Aljabar BCK komutatif. Penelitian ini menghasilkan bukti dari beberapa proposisi dan teorema fantastik-ideal pada aljabar BCI yang berlaku maupun tidak berlaku umum. Akan tetapi penelitian ini hanya fokus pada satu ideal saja, yaitu fantastik-ideal. Oleh karena itu untuk penulis skripsi selanjutnya penulis menyarankan untuk membahas ideal-ideal lain yang ada pada Aljabar BCI atau struktur aljabar lain. ENGLISH BCI algebra is a part of algebra structure which is consists of grupoid that has specific elements and fulfill one of the certain characteristic. In 1966’s, Y. Imai and K. Iseki introduced a development of algebra structure that is BCK algebra. In the same year, K. Iseki introduced the new concept that is BCI Algebra as a generalization of BCK algebra, with the result that BCK Algebra contained in BCI Algebra. In the previous study ideals on BCI algebra had been explained. Fantastic Ideal is on of ideals that contained in BCI algebra. If l is ideal of BCI algebra then l is fantastic ideal if and only if x*y∈l then x*(y*(y*x))∈l,∀x,y∈X. if l and G is ideal from BCI algebra with l⊆G and l is fantastic ideal of X then G is fantastic ideal of X. In BCI algebra , condition (i) l fantastic ideal, (ii) (x*(0*(0*x)))∈∀x∈X, (iii)if u*x∈l and u*y∈l then (u*(y*(y*x)))∈l,∀u,x,y∈X is equivalent. In BCI algebra condition (i) x*y=x*(y*(y*x))), (ii) x*y(y*y*x))=y*(x*(x*y)), (iii) X is comutative BCK algebra is equivalent, also conditions of (i) {0} is fantastic ideal, (ii) each ideal to X is fantastic ideal, (iii) x*y=x*(y*(y*x)),∀x,y∈X, (iv) X comutative BCK algebra. This research obtains a proof from several proposition and the theorem of fantastic ideal on BCI algebra that is generally valid or not. This reserach focuses on one ideal, that is fantastic ideal. So, to the next researcher, author suggest to explain other ideals that is in BCI algebra or other algebra structure

    The D0 Run IIb luminosity measurement

    No full text
    An assessment of the recorded integrated luminosity is presented for data collected with the D0 detector at the Fermilab Tevatron Collider from June 2006 to September 2011 (Run IIb). In addition, a measurement of the effective cross-section for inelastic interactions, also referred to as the luminosity constant, is reported. This measurement incorporates new features that lead to a substantial improvement in the precision of the result. A luminosity constant of σLM=48.3±1.9±0.6mb is obtained, where the first uncertainty is due to the accuracy of the inelastic cross-section used by both CDF and D0, and the second uncertainty is due to D0 sources. The recorded luminosity for the highest ET jet trigger is Lrec=9. 2±0.4fb-1, with a relative uncertainty of 4.3%. © 2012 Elsevier B.V

    Arithmeticity at 0

    No full text
    summary:The concept of the (dual) binary discriminator was introduced by R. Halas, I. G. Rosenberg and the author in 1999. We study finite algebras having the (dual) discriminator as a term function. In particular, a simple characterization is obtained for such algebras with a majority term function

    A semiotic analysis of the short stories of Leonid Andreyev, 1900-1909

    No full text
    This thesis applies the techniques of semiotic analysis to a selection of short stories by Leonid Andreyev in an attempt to offer one answer to the problems of categorising Andreyev's unique art and placing it within a literary-evolutionary perspective. The semiotic method was chosen because of its ability both to assimilate literary texts to the supra-individual processes with which it works, and at the same time to delineate an author's particular contribution to these processes. Drawing on a range of literary theory from early Russian Formalism onwards, the study proceeds from one level to another according to a principle of "degree of abstraction", so that each level constitutes firstly an independent account of Andreyev's texts in itself, and secondly one stage in an overall analysis. The analysis at each level pinpoints, in its own terms, a series of semiotic tensions or clashes as being at the heart of Andreyev's literary system. Conflict within his stories between the principles of poetry and prose, metaphor and metonymy, 'discourse' and 'story' and between codes of allegory and codes of reference are among the major tensions highlighted. These tensions are in turn used to account for the fantastic element in Andreyev's stories (tension and ambiguity being the key features of Fantastic literature as defined by many literary theoreticians).The unique, Andreyevan version of the Fantastic is viewed as an index of Andreyev's position in literary evolution at a point of transition between an older, authoritative, transitive mode of narration and a more recent, non-authoritative mode which has come to dominate much twentieth-century literature. The final reference-point for all these tensions is demonstrated to be a shift in modern culture as a whole towards a more impersonal. Mythic thought-system, a shift at the centre of which the art of Leonid Andreyev can be convincingly placed. The material drawn upon includes, in addition to the corpus of Andreyev stories specified, a wide range of works by Andreyev's contemporaries and also the hitherto unexploited draft-manuscripts to a number of Andreyev stories held in the Hoover Institution, U.S.A.A Glossary of the most commonly used theoretical terms is provided at the end of the study

    Production of prompt charmonia in e(+)e(-) annihilation at root s approximate to 10.6 GeV

    No full text
    The production of prompt J/psi, psi(2S), chi(c1), and chi(c2) is studied using a 32.4 fb(-1) data sample collected with the Belle detector at Y(4S) and at 60 MeV below the resonance. The yield of prompt J/psi mesons in the Y(4S) sample is compatible with that of continuum production; we set an upper limit B(Y(4S)-->J/psiX) < 1.9 x 10(-4) at the 95% confidence level, and find sigma(e(+)e(-)-> J/psi X) = 1.47 +/- 0.10 +/- 0.13 pb. The cross sections for prompt psi(2S) and direct J/psi are measured. The J/psi momentum spectrum, production angle distribution, and polarization are studied.Physics, MultidisciplinarySCI(E)0ARTICLE5null8

    Measurement of Beta(B-over-bar(0)-> D(+)l(-)(nu)over-bar) and determination of vertical bar V(cb)vertical bar

    No full text
    We present a measurement of the branching fraction for the semileptonic B decay (B) over bar (0) --> D(+)l(-)(v) over bar, where l(-) can be either an electron or a muon. We find Gamma((B) over bar (0) --> D(+)l(-)(v) over bar) = (13.79 +/- 0.76 +/- 2.51) ns(-1), and the resulting branching fraction B((B) over bar (0) --> D(+)e(-)(v) over bar) = (2.13 +/- 0.12 +/- 0.39)%, where the first error is statistical and the second systematic. We also investigate the (B) over bar (0) --> D(+)l(-)(v) over bar form factor and the implications of the result for \V(cb)\. From a fit to the differential decay distribution we obtain the rate normalization \V(cb)\F(D)(1) = (4.11 +/- 0.44 +/- 0.52) X 10(-2). Using a theoretical calculation of F(D)(1), the Cabibbo-Kobayashi-Maskawa matrix element \V(cb)\ = (4.19 +/- 0.45 +/- 0.53 +/- 0.30) x 10(-2) is obtained, where the last error comes from the theoretical uncertainty of F(D)(1). The results are based on a data sample of 10.2 fb(-1) recorded at the gamma(4S) resonance with the Belle detector at the KEKB e(+)e(-) collider. (C) 2002 Elsevier Science B.V. All rights reserved.Physics, MultidisciplinarySCI(E)43ARTICLE3-4258-26852

    Determination of vertical bar V-cb vertical bar using the semileptonic decay (B)over-bar0 -> D*(+)e(-)(nu)over-bar

    No full text
    We present a measurement of the Cabibbo-Kobayashi-Maskawa (CKM) matrix element \V-cb\ using a 10.2 fb(-1) data sample recorded at the gamma(4S) resonance with the Belle detector at the KEKB asymmetric e(+)e(-) storage ring. By extrapolating the differential decay width of the (B) over bar (0) --> D*(+)e(-)(v) over bar decay to the kinematic limit at which the D*(+) is at rest with respect to the (B) over bar (0,) we extract the product of \V-cb\ with the normalization of the decay form factor F(1), \V-cb\F(1) = (3.54 +/- 0.19 +/- 0.18) x 10(-2), where the first error is statistical and the second is systematic. A value Of \V-cb\ = (3.88 +/- 0.21 +/- 0.20 +/- 0.19) x 10(-2) is obtained using a theoretical calculation of F(l), where the third error is due to the theoretical uncertainty in the value of F(l). The branching fraction B((B) over bar (0) --> D*(+)e(-) (v) over bar) is measured to be (4.59 +/- 0.23 +/- 0.40) x 10(-2). (C) 2002 Elsevier Science B.V. All rights reserved.Physics, MultidisciplinarySCI(E)0ARTICLE3-4247-25752
    corecore