• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 19 matches

• 2024
• 
  Jin Nakazato, Kousuke Nakagawa, Koki Itoh, Romain Fontugne, Manabu Tsukada, Hiroshi Esaki:
  WebRTC over 5 G: A Study of Remote Collaboration QoS in Mobile Environment. J. Netw. Syst. Manag. 32(1): 1 (2024)
• 2023
• 
  Takao Murakami, Hiromi Arai, Koki Hamada, Takuma Hatano, Makoto Iguchi, Hiroaki Kikuchi, Atsushi Kuromasa, Hiroshi Nakagawa, Yuichi Nakamura, Kenshiro Nishiyama, Ryo Nojima, Hidenobu Oguri, Chiemi Watanabe, Akira Yamada, Takayasu Yamaguchi, Yuji Yamaoka:
  Designing a Location Trace Anonymization Contest. Proc. Priv. Enhancing Technol. 2023(1): 225-243 (2023)
• 2022
• 
  Koki Nakagawa, Yusuke Sakai, Yuki Funabora, Shinji Doki:
  Turning a Functional Cloth Into an Actuator by Combining Thread-Like Thin Artificial Muscles and Embroidery Techniques. IEEE Robotics Autom. Lett. 7(3): 5827-5833 (2022)
• 
  Yuki Nakabayashi, Tastuki Arai, Miruku Ozaki, Koki Kawamura, Koki Tsuboji, Maho Nakagawa, Yasuhiro Nitta, Ryotaro Haba, Sho Hamano, Yuki Matsutani, Yuki Mashiyama, Maki Sugimoto:
  Mingle with an Amoeba. ICAT-EGVE (Posters and Demos) 2022: 55-56
• 
  Kenta Yokoe, Tadayoshi Aoyama, Yuki Funabora, Koki Nakagawa, Yusuke Sakai, Masaru Takeuchi, Yasuhisa Hasegawa:
  Control Method of Fabric Actuator Suit for Gaze Guidance in Immersive Spaces. MHS 2022: 1-2
• 2021
• 
  Keidai Iiyama, Kento Tomita, Bhavi A. Jagatia, Tatsuwaki Nakagawa, Koki Ho:
  Deep Reinforcement Learning for Safe Landing Site Selection with Concurrent Consideration of Divert Maneuvers. CoRR abs/2102.12432 (2021)
• 
  Takao Murakami, Hiromi Arai, Koki Hamada, Takuma Hatano, Makoto Iguchi, Hiroaki Kikuchi, Atsushi Kuromasa, Hiroshi Nakagawa, Yuichi Nakamura, Kenshiro Nishiyama, Ryo Nojima, Hidenobu Oguri, Chiemi Watanabe, Akira Yamada, Takayasu Yamaguchi, Yuji Yamaoka:
  Designing a Location Trace Anonymization Contest. CoRR abs/2107.10407 (2021)
• 2018
• 
  Ryo Nojima, Hidenobu Oguri, Hiroaki Kikuchi, Hiroshi Nakagawa, Koki Hamada, Takao Murakami, Yuji Yamaoka, Chiemi Watanabe:
  How to Handle Excessively Anonymized Datasets. J. Inf. Process. 26: 477-485 (2018)
• 2015
• 
  Yuichiro Koiwa, Jun Miura, Koki Nakagawa:
  Human activity modeling and prediction for assisting appliance operations. IECON 2015: 1507-1512
• 2013
• 
  Yusuke Abe, Kohei Ishii, Takashi Isoyama, Itsuro Saito, Yusuke Inoue, Masami Sato, Shintaro Hara, Kyohei Hosoda, Koki Ariyoshi, Hidemoto Nakagawa, Toshiya Ono, Kyoko Fukazawa, Kazuhiko Ishihara, Kou Imachi:
  The helical flow total artificial heart: Implantation in goats. EMBC 2013: 2720-2723
• 
  Kohei Ishii, Kyohei Hosoda, Takashi Isoyama, Itsuro Saito, Koki Ariyoshi, Yusuke Inoue, Masami Sato, Shintaro Hara, Xinyang Lee, Sheng-Yuan Wu, Toshiya Ono, Hidemoto Nakagawa, Kou Imachi, Yusuke Abe:
  Pulsatile driving of the helical flow pump. EMBC 2013: 2724-2727
• 
  Sheng-Yuan Wu, Itsuro Saito, Takashi Isoyama, Yusuke Inoue, Kohei Ishii, Masami Sato, Shintaro Hara, Kyohei Hosoda, Koki Ariyoshi, Xinyang Li, Hidemoto Nakagawa, Toshiya Ono, Yusuke Abe:
  Relation between left atrial pressure and the corresponding pulse pressure in the helical flow total artificial heart. EMBC 2013: 671-674
• 1997
• 
  Kokichi Futatsugi, Ataru T. Nakagawa:
  An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. ICFEM 1997: 170-182
• 1994
• 
  Ataru T. Nakagawa, Kokichi Futatsugi:
  Formalizing humans in software processes. ISPW 1994: 60-61
• 1991
• 
  Ataru T. Nakagawa, Kokichi Futatsugi:
  Propagating changes in algebraic specifications. Softw. Eng. J. 6(6): 476-486 (1991)
• 1990
• 
  Ataru T. Nakagawa, Kokichi Futatsugi:
  Software Process à la Algebra: OBJ for OBJ. ICSE 1990: 12-23
• 1989
• 
  Ataru T. Nakagawa, Kokichi Futatsugi:
  Stepwise Refinement Process with Modularity: An Algebraic Approach. ICSE 1989: 166-177
• 
  Ataru T. Nakagawa, Kokichi Futatsugi:
  Product-based process models. ISPW 1989: 101-105
• 1988
• 
  Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu:
  Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE 1988: 334-343