日本ソフトウェア科学会第 25 回大会（2008 年度）論文集 1 Verification of Java programs under fairness assumption Vinh Cuong Tran, Hideki Hashimoto, Yoshinori Tanabe and Masami Hagiya

Source URL: cent.xii.jp

FEC on IPv6 for Reliable Multicast 米山 清二郎 Seijiro Yoneyama 砂原 秀樹 Hideki Sunahara

Source URL: www.internetconference.org

3-D Interaction with Wall-Sized Display and Information Transportation using Mobile Phones Hideki Koike Masataka Toyoura

Source URL: www.hci.iis.u-tokyo.ac.jp

Unconditionally Secure Anonymous Encryption and Group Authentication? Goichiro Hanaoka1 , Junji Shikata2 , Yumiko Hanaoka3 , and Hideki Imai1 1 3

Source URL: www.iacr.org

Mass Measurement by Hideki Nakazawa composed in 2002, modified in 2003 The aim of this performance piece is to put something into a state between to be known and to be unknown. The performance has two stages and an appen

Source URL: aloalo.co.jp

Building a Simulation Model of the Currency Basket Peg System Michiru Kunitomo ∗1 Takashi Iba ∗2 Hideki Takayasu ∗3 *1 Graduate School of Media and Governance, Keio University

Source URL: web.sfc.keio.ac.jp

Sonification of Muscular Activity in Human Movements Using the Temporal Patterns in EMG Masaki Matsubara∗ , Hiroko Terasawa† , Hideki Kadone∗ , Kenji Suzuki† and Shoji Makino∗ ∗ University of Tsukuba, Ibarak

Source URL: www.slis.tsukuba.ac.jp

• Multimodal interaction
• Display technology
• Sonification
• Mind-body interventions
• Physiology
• Psychotherapy
• Biofeedback
• Electromyography
• Pitch
• Medicine
• Biology
• Waves

Progress Reports Estimation of Minimum Principal Stress from an Extended Leak-off Test Onboard the Chikyu Drilling Vessel and Suggestions for Future Test Procedures by Weiren Lin, Koji Yamamoto, Hisao Ito, Hideki Masago

Source URL: www.sci-dril.net

• Technology
• Petroleum production
• Petroleum engineering
• Petroleum geology
• Drilling fluid
• Hydraulic fracturing
• Casing
• Drilling rig
• Scientific drilling
• Petroleum
• Oil wells
• Oilfield terminology

Workshop Reports Core–Log–Seismic Integration—New Scientific and Technological Challenges by Philippe Gaillot, Hideki Masago, Moe Kyaw Thu, and Hisao Ito

Source URL: www.sci-dril.net

• Marine geology
• Petrophysics
• Integrated Ocean Drilling Program
• Logging while drilling
• Mud logging
• Nankai Trough
• Chikyū
• Geology
• Petroleum
• Earth

Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE Yang Cui1,2 , Kirill Morozov1 , Kazukuni Kobara1,2 , and Hideki Imai1,2 1

Source URL: imi.kyushu-u.ac.jp