PHYSICAL REVIEW D 69, 103004 共2004兲 Propagation of extremely high energy leptons in Earth: Implications for their detection by the IceCube neutrino telescope Shigeru Yoshida,* Rie Ishibashi,† and Hiroko Miyamoto D

Source URL: www.ppl.phys.chiba-u.jp

Timed Runtime Monitoring for Multiparty Conversations Rumyana Neykova Laura Bocchi Nobuko Yoshida

Source URL: mrg.doc.ic.ac.uk

Fragmentation of Random Trees Z. Kalay1 and E. Ben-Naim2 1 Institute for Integrated Cell-Material Sciences (WPI-iCeMS), Kyoto University, Yoshida Ushinomiya-cho, Sakyo-ku, , Japan 2

Source URL: cnls.lanl.gov

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Vasco T. Vasconcelos Nobuko Yoshida

Source URL: places08.di.fc.ul.pt

• Concurrent programming languages
• Edsger W. Dijkstra
• Parallel computing
• Distributed computing
• Concurrent computing
• Programming language
• Go
• Type system
• Modularity
• Concurrency
• Limbo

Timed Multiparty Session Types? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London, London, UK Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real

Source URL: mrg.doc.ic.ac.uk

Microsoft Word - ご利用規約.docx

Source URL: hbf.yoshida-p.net

Crowdsourcing for Evaluating Machine Translation Quality Shinsuke Goto, Donghui Lin, Toru Ishida Department of Social Informatics, Kyoto University Yoshida-Honmachi, Sakyo-Ku, Kyoto, Japan o-u

Source URL: www.ai.soc.i.kyoto-u.ac.jp

Academic Center 北部構内 for Computing and Media Studies, Kyoto University / North Building Transportation Guide Yoshida Honmachi, Sakyo-ku, Kyoto Tel Fax

Source URL: www.media.kyoto-u.ac.jp

th IUMRS-ICAM 2017 The 15 International Conference on Advanced Materials Venue : Kyoto University, Yoshida Campus, Kyoto, Japan

Source URL: www.mrs-j.org

【論文・雑誌記事】 （英文） 1）Shiomori T, Miyamoto H, Makishima K, Yoshida M, Fujiyoshi T, Udaka T, Inaba T, Hiraki N: Evaluation of bedmaking-related airborne and surface methicillin-resisitant Staphyloco

Source URL: www.hori.or.jp