• 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 16 matches

• 2023
• 
  Xiaotian Zhang, Hiroki Goto, Shouhei Shirafuji, Keiji Okuhara, Noritaka Takamura, Naoya Kagawa, Hiroyasu Baba, Jun Ota:
  Measurement Pose Optimization for Joint Offset Calibration with a Hand-Eye Camera. ICARA 2023: 11-14
• 2016
• 
  Makoto Takamura, Hajime Okamoto, Kazuaki Furukawa, Hiroshi Yamaguchi, Hiroki Hibino:
  Energy Dissipation in Graphene Mechanical Resonators with and without Free Edges. Micromachines 7(9): 158 (2016)
• 
  Jixin Han, Rina Fujino, Ryota Tamura, Mamoru Shimaoka, Hiroki Mikami, Moriyuki Takamura, Sachio Kamiya, Kazuhiko Suzuki, Takahiro Miyajima, Keiji Kimura, Hironori Kasahara:
  Reducing parallelizing compilation time by removing redundant analysis. SEPS@SPLASH 2016: 1-9
• 2014
• 
  Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi:
  Describing Software Specification by Combining SysML with the B Method. ISSRE Workshops 2014: 146-151
• 
  Tomohiro Hirano, Hideo Yamamoto, Shuhei Iizuka, Kohei Muto, Takashi Goto, Tamami Wake, Hiroki Mikami, Moriyuki Takamura, Keiji Kimura, Hironori Kasahara:
  Evaluation of Automatic Power Reduction with OSCAR Compiler on Intel Haswell and ARM Cortex-A9 Multicores. LCPC 2014: 239-252
• 2013
• 
  Midori Sugaya, Hiroki Takamura, Yoichi Ishiwata, Satoshi Kagami, Kimio Kuramitsu:
  Online Kernel Log Analysis for Robotics Application. Inf. Media Technol. 8(1): 208-221 (2013)
• 
  Midori Sugaya, Hiroki Takamura, Yoichi Ishiwata, Satoshi Kagami, Kimio Kuramitsu:
  Online Kernel Log Analysis for Robotics Application. J. Inf. Process. 21(1): 53-66 (2013)
• 
  Hiroki Takamura:
  International standardization of Open Systems Dependability. ISSRE (Supplemental Proceedings) 2013: 46
• 
  Hideo Yamamoto, Tomohiro Hirano, Kohei Muto, Hiroki Mikami, Takashi Goto, Dominic Hillenbrand, Moriyuki Takamura, Keiji Kimura, Hironori Kasahara:
  OSCAR Compiler Controlled Multicore Power Reduction on Android Platform. LCPC 2013: 155-168
• 2012
• 
  Hiroki Takamura:
  Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator. Stud Logica 100(6): 1137-1148 (2012)
• 2011
• 
  Hiroki Takamura:
  Powers of positive elements in C*-algebras. Math. Log. Q. 57(5): 481-484 (2011)
• 2010
• 
  Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa:
  A Dependability Case Editor with Pattern Library. HASE 2010: 170-171
• 2009
• 
  Yukihiro Bandoh, Hiroki Ohbayashi, Seishi Takamura, Kazuto Kamikura, Yoshiyuki Yashima:
  Mathematical analysis of the energy compaction affected by the dimensionality of Karhunen-Lòeve transform. ICIP 2009: 21-24
• 2006
• 
  Hiroki Takamura:
  The variety of modal FL_ew-algebras is generated by its finite simple members. Advances in Modal Logic 2006: 469-479
• 2005
• 
  Hiroki Takamura:
  An introduction to the theory of c*-algegras in constructive mathematics. From sets and types to topology and analysis 2005
• 2003
• 
  Hiroki Takamura:
  Every Free Biresiduated Lattice is Semisimple. Reports Math. Log. 37: 125-133 (2003)