240 research outputs found
Direct Emission
No full textThe decay mode KL! + e + e may provide an interesting testing ground for CP violation. A theoretical model predicts a branching ratio of 3 10 7 and a CP-violating asymmetry of 14%. Experimentally, only an upper limit has been established so far. We have conducted an experimental search for the decay mode with the 13-GeV/c proton synchrotron at KEK. We have observed 12 5events, and obtained the branching ratio of Br = (5 2) 10 7 (preliminary) for this decay mode. In this report, we describe in detail results of the experiment. c 1997 by Noboru Sasao. 1 Physics Motivation The rare decay KL! + e + e may provide an interesting testing ground to investigate CP violation. It is expected to occur via a + intermediate state converting the virtual photon into an e + e pair. Figure 1 shows Feynman diagrams relevant to the decay. There are two dominant amplitudes for the process: an internal Bremsstrahlung (IB) associated with the KL! + mode and a direct magnetic dipole (M1) transition. The virtual photons for these two amplitudes have di erent CP properties; the former is CP even while the latter is CP odd. Thus, their interference gives rise to CP-violating e ects. One may establis
Noboru Taguma's, "reasons I didn't report for physical examination and pre-induction"
No full textNoboru Taguma lists his reasons why he didn't report for physical examination and pre-induction.The Japanese American Archival Collection documents the people, places, and daily life of Japanese Americans, primarily those who lived in the once thriving community of pre-war Florin in the Sacramento region, as well as the conditions in American incarceration camps during World War II. The approximately 7,000 original items include personal and official letters, photographs, diaries, arts and crafts, newsletters, textiles, camps artifacts, yearbooks and other publications
Fubini’s Theorem
Get PDFFubini theorem is an essential tool for the analysis of high-dimensional space [8], [2], [3], a theorem about the multiple integral and iterated integral. The author has been working on formalizing Fubini’s theorem over the past few years [4], [6] in the Mizar system [7], [1]. As a result, Fubini’s theorem (30) was proved in complete form by this article.National Institute of Technology, Gifu College, 2236-2 Kamimakuwa, Motosu, Gifu, JapanGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.Heinz Bauer. Measure and Integration Theory. Walter de Gruyter Inc., 2002.Vladimir Igorevich Bogachev and Maria Aparecida Soares Ruas. Measure theory, volume 1. Springer, 2007.Noboru Endou. Fubini’s theorem on measure. Formalized Mathematics, 25(1):1–29, 2017. doi:10.1515/forma-2017-0001.Noboru Endou. Integral of non positive functions. Formalized Mathematics, 25(3):227–240, 2017. doi:10.1515/forma-2017-0022.Noboru Endou. Fubini’s theorem for non-negative or non-positive functions. Formalized Mathematics, 26(1):49–67, 2018. doi:10.2478/forma-2018-0005.Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.P. R. Halmos. Measure Theory. Springer-Verlag, 1974.271677
Kecemasan Yang Dialami Tokoh Noboru Terao Ketika Menghadapi Hubungan Jarak Jauh Dalam Novel Hoshi No Koe Karya Waku Oba
No full textABSTRAK
Penelitian ini meneliti kecemasan yang dialami tokoh Noboru Terao dalam novel Hoshi no Koe. Novel tersebut menceritakan tentang sepasang kekasih yang terpisah antara bumi dan luar angkasa. Kedua tokoh utama terpaksa harus menjalani hubungan jarak jauh. Dalam menjalani hubungan jarak jauh kedua tokoh mengalami berbagai macam kecemasan. Dari cerita novel tersebut, penulis tertarik untuk meneliti kecemasan yang dialami tokoh dalam menghadapi hubungan jarak jauh pada novel tersebut. Tokoh utama dalam novel ini ada dua yaitu Noboru Terao dan Mikako Nagamine, namun pada penelitian ini peneliti akan meneliti kecemasan yang dialami tokoh Noboru Terao saja. Penelitian ini akan menggunakan teori kecemasan yang ditemukan oleh Freud. Penelitian ini akan menggunakan metode deskriptif analisis. Objek penelitiannya merupakan kutipan-kutipan yang berkaitan dengan kecemasan yang dialami Noboru Terao ketika menjalani hubungan jarak jauh. Karena kecemasan merupakan bidang psikologi, penelitian ini akan menggunakan pendekatan psikologi sastra. Dari penelitian ini dapat disimpulkan bahwa dalam novel Hoshi no Koe teraplikasikan teori kecemasan melewati tokoh.
Kata Kunci : kecemasan, psikologi sastra, hoshi no koe
ABSTRACT
This research examines the anxiety of the character Noboru Terao in the novel Hoshi no Koe. The Novel tells the story of a separate pair of lovers between the earth and outer space. The two main characters are forced to undergo long-distance relationships. In undergoing a long-distance relationship, both figures experience various kinds of anxiety. From the novel\u27s story, the author is interested in researching the anxiety experienced by the figure in facing a long-distance relationship to the novel. The main characters in the novel are both Noboru Terao and Mikako Nagamine, but in this research researchers will examine the anxiety experienced by the Noboru Terao figure. This study will use the anxiety theory discovered by Freud. This research will use a descriptive method of analysis. The object of the research is a collection related to the anxiety that Noboru Terao experienced when undergoing a long-distance relationship. Because anxiety is a field of psychology, this study will use a literary psychology approach. From this research can be concluded that in the novel Hoshi No Koe applied the theory of anxiety through the figure.
Keyword : anxiety, psychology literature, hoshi no ko
Double Series and Sums
No full textIn this paper the author constructs several properties for double series and its convergence. The notions of convergence of double sequence have already been introduced in our previous paper [18]. In section 1 we introduce double series and their convergence. Then we show the relationship between Pringsheim-type convergence and iterated convergence. In section 2 we study double series having non-negative terms. As a result, we have equality of three type sums of non-negative double sequence. In section 3 we show that if a non-negative sequence is summable, then the sequence of rearrangement of terms is summable and it has the same sums. In the last section two basic relations between double sequences and matrices are introduced.This work was supported by JSPS KAKENHI 23500029.Gifu National College of Technology Gifu, JapanGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. Tarski’s classes and ranks. Formalized Mathematics, 1(3):563-567, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek. Representation theorem for stacks. Formalized Mathematics, 19(4): 241-250, 2011. doi:10.2478/v10037-011-0033-2.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Czesław Bylinski. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.Czesław Bylinski. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.Czesław Bylinski. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.Czesław Bylinski. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241-245, 1996.Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Bylinski. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Noboru Endou, Keiko Narita, and Yasunari Shidama. The Lebesgue monotone convergence theorem. Formalized Mathematics, 16(2):167-175, 2008. doi:10.2478/v10037-008-0023-1.Noboru Endou, Hiroyuki Okazaki, and Yasunari Shidama. Double sequences and limits. Formalized Mathematics, 21(3):163-170, 2013. doi:10.2478/forma-2013-0018.Fuguo Ge and Xiquan Liang. On the partial product of series and related basic inequalities. Formalized Mathematics, 13(3):413-416, 2005.Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5): 841-845, 1990.Artur Korniłowicz. On the real valued functions. Formalized Mathematics, 13(1):181-187, 2005.Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990.Gilbert Lee. Weighted and labeled graphs. Formalized Mathematics, 13(2):279-293, 2005.Konrad Raczkowski and Andrzej Nedzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Bo Zhang and Yatsuka Nakamura. The definition of finite sequences and matrices of probability, and addition of matrices of real elements. Formalized Mathematics, 14(3): 101-108, 2006. doi:10.2478/v10037-006-0012-1
First-principles study of the contractive reconstruction of gold and silver monolayers on gold, silver and aluminum
No full textUsing first-principles calculations in conjunction with modeling techniques, the author has investigated the structures of Au and Ag monolayers on a number of metal surfaces. Au(100) has a c(26 {times} 68) surface unit cell and the reconstruction has been interpreted as the top layer transforming to a contracted hexagonal-close-packed layer, superimposed on the square lattice of the underlying substrate atoms. Similar reconstructions have been observed on the 5d fcc metals Ir and Pt, but not in the 4d Rh, Pd, and Ag. The author studied the energetics of a monolayer of Au and Ag using first-principles calculations. The author found that it is energetically favorable for both Au and Ag to transform from a square to hexagonal arrangement and to contract to a higher surface density, but Au gains substantially more energy than Ag. This is true both for a monolayer in isolation as well as on top of a jellium surface. The author also calculated the mismatch energy (energy loss when the top layer loses registry with the substrate) for Au and Ag, and found that Ag has a slightly higher mismatch energy. The first-principles results thus offer a strong indication that Au(100) can reconstruct but Ag will not. The reconstruction is further studied with a 2 dimensional Frenkel-Kontorowa model, with parameters extracted from the total energy calculations. The author found that it is indeed energetically favorable for the top layer of Au(100), but not for Ag, to transform to a hexagonal-close-packed structure and contract. 85 refs., 34 figs., 8 tabs
- …
