219,840 research outputs found

    Conférence de M. Yutaka Yoshida : Manichaean Sogdian letters discovered in Bāzāklik

    No full text
    Yoshida Yutaka. Conférence de M. Yutaka Yoshida : Manichaean Sogdian letters discovered in Bāzāklik. In: École pratique des hautes études, Section des sciences religieuses. Annuaire. Tome 109, 2000-2001. 2000. pp. 233-236

    Timed Runtime Monitoring for Multiparty Conversations

    No full text
    We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribble with clocks, resets, and clock predicates constraining the times in which interactions should occur. We present a timed API for Python to program distributed implementations of Scribble specifications. A dynamic verification framework ensures the safe execution of applications written with our timed API: we have implemented dedicated runtime monitors that check that each interaction occurs at a correct timing with respect to the corresponding Scribble specification. The performance of our implementation and its practicability are analysed via benchmarking

    Letter, Setsuyo K. Yoshida to War Relocation Authority

    No full text
    A copy of a letter from Setsuyo K. Yoshida to the War Relocation Authority. The letter explains Mrs. Yoshida's feelings about her repatriation to Japan and requests to accompany her husband and act like a family since she is expecting a baby in January 1946. She mentions how she and her husband are law abiding natural born citizens who were interned at Tule Lake. She mentions how the act of detainment is a black mark on American history. She makes a comparison to Italians and Germans who the USA was also at war with but those citizens were not detained.This letter speaks for herself, and for her father, Tokuzo Rokuta, and her son, Toshika Yoshida. 4 pages, single sided. Paper, ink.Collected by Louis M. Noyes at Tule Lake

    Dipoena amamiensis Yoshida 1985

    No full text
    Dipoena amamiensis (Yoshida, 1985) ** Pholcomma amamiense Yoshida, 1985: 11, figs. 4-5, 11-12; Dipoena amamiensis: Yoshida, 1991: 35, figs. 5-6; Dipoena amamiensis: Paik, 1995: 33, figs. 7-12; Dipoena kayaensis Paik, 1996: 42, figs. 1-14, syn.n. Material examined: 1 ♀ [21] Khasan Distr, env. of Andreevka Vill, 42º35-36'N 131º13'E, 11- 15.08.1998, YM. COMMENTS. The first record in Russia. Known also from Japan south of Hokkaido (Tsurusaki, personal communication), Korea and southern China [Song et al., 1999].Published as part of Marusik, Yuri M. & Koponen, Seppo, 2000, New data on spiders (Aranei) from the Maritime Province, Russian Far East, pp. 55-68 in Arthropoda Selecta 9 (1) on page 65, DOI: 10.5281/zenodo.82271

    Arithmetic of the Yoshida Lift.

    No full text
    Co-Chairs: Stephen M. DeBacker and Christopher M. Skinner This thesis concerns the arithmetic properties of the Yoshida lift, Y, which is a scalar- valued holomorphic Siegel modular form of degree 2 obtained as the theta lift of a pair of automorphic forms f1,f2 on D×, where D is a definite quaternion algebra over Q. Specifically, we define a refined version of the Yoshida lift, Y, which has the special property that it preserves p-integral structures and is not identically zero under mild conditions. For p-integrality, we compute a formula for the Fourier coefficients aT of Y by exploiting an inherent freedom in the definition of Y. The formula for aT in turn allows us to compute the Bessel model of the Yoshida lift, and apply an argument of Cornut–Vatsal to conclude that Y is non-zero. Furthermore, if we assume Artin’s conjecture on primitive roots, then we show that Y is in fact not zero modulo p.PhDMathematicsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/77876/1/jxj_1.pd

    Anelosimus exiguus Yoshida 1986

    No full text
    Anelosimus exiguus Yoshida, 1986 Anelosimus exiguus Yoshida, 1986: 37, f. 13 – 16; Zhu, 1998: 289, f. 195 A – D; Song, Zhu & Chen, 1999: 95, f. 44 G – H, M; Yoshida, 2003: 66, f. 149 – 152; Yoshida, 2009: 368, f. 125 – 126. Material examined. Hainan Island: Bawangling Mountain (19 °07ʹN, 109 °04ʹE), 1 male, 6 November 2008, G. X. Han leg.; 1 male, 22 May 2009, C. Zhang leg.; Jianfengling Mountain (19 °07ʹN, 109 ° 13 ʹE), 1 male, 30 May 2009, C. Zhang leg.; 2 males, 9 August 1990, M. B. Gu leg.; Limu Mountain (19 ° 10 ʹN, 109 ° 39 ʹE), 1 male, 19 August 2007, G. X. Han leg.; Wuzhi Mountain (18 ° 39 ʹN, 109 ° 19 ʹE), 1 male, 23 November 2008, G. X. Han leg. Description. See Yoshida (1986). Distribution. China (Hainan), Japan, Ryukyu Is.Published as part of Zhang, Bao-Shi, Liu, Long & Zhang, Feng, 2011, The cobweb spiders of the genus Anelosimus Simon, 1891 (Araneae: Theridiidae) in Hainan Island, China, pp. 49-59 in Zootaxa 2833 on page 58, DOI: 10.5281/zenodo.27732

    Matrix Model and beta-deformed N=4 SYM

    No full text
    This work is the result of the ideas developed by Ken Yoshida about the possibility of extending the range of applications of the matrix model approach to the computation of the holomorphic superpotential of the beta-deformed N=4 super Yang-Mills theory both in the presence of a mass term and in the massless limit. Our formulae, while agreeing with all the existing results we can compare with, are valid also in the case of spontaneously broken gauge symmetry. We dedicate this paper to the memory of Ken, an unforgettable friend for all of us and a great scientist

    Chileseius paracamposi Yoshida-Shaul & Chant

    No full text
    Chileseius paracamposi Yoshida-Shaul & Chant Chileseius paracamposi Yoshida-Shaul & Chant, 1991: 95. Specimens examined. One female on Drimys winteri J.R. Forster et G. Forster "Canelo" (Winteraceae). Near Ushuaia (Argentina); 54 º 50 ' 51 " S, 68 º 29 ' 19 " W; 18 m asl. 10 January 2013. Comments. This species was previously known from Chile. Measurements and other characteristics of the unique specimen collected fit well with the description of the species by Yoshida-Shaul & Chant (1991).Published as part of Ferragut, Francisco & Navia, Denise, 2015, Phytoseiid mites (Acari: Phytoseiidae) from Patagonia and Tierra del Fuego, pp. 525-550 in Zootaxa 3990 (4) on page 527, DOI: 10.11646/zootaxa.3990.4.3, http://zenodo.org/record/24068

    Coleosoma margaritum Yoshida 1985

    No full text
    Coleosoma margaritum Yoshida, 1985 ** Chikuni, 1989: 33, f. 19; Song et al., 1999: f. 52e-f, i. Material examined: 5 ♀♀ [10] S part Ussuri Reserve, 43º39'N 132º33'E, 29- 31.07.1998, YM; 10 ♀♀ [21] Khasan Distr, env. of Andreevka Vill, 42º35-36'N 131º13'E, 11- 15.08.1998, YM. COMMENTS. The first record of the genus and species in Russia. Known also from Korea, Japan, and China [Song et al., 1999].Published as part of Marusik, Yuri M. & Koponen, Seppo, 2000, New data on spiders (Aranei) from the Maritime Province, Russian Far East, pp. 55-68 in Arthropoda Selecta 9 (1) on page 65, DOI: 10.5281/zenodo.82271
    corecore