• 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 Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe:
  Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints. J. Supercomput. 80(9): 12297-12312 (2024)
• 2023
• 
  Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura:
  Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). SEKE 2023: 363-366
• 2022
• 
  Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata:
  Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5): 823-832 (2022)
• 
  Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara:
  An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking. ICMLC 2022: 118-193
• 
  Shogo Kotani, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuo Motoyoshi, Keisuke Hoshikawa:
  Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data. ICMLC 2022: 209-214
• 
  Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura:
  The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling. ICMLC 2022: 242-247
• 
  Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano:
  Machine Learning for Protein Solubility Prediction. ICMLC 2022: 237-241
• 
  Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara:
  Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. SEKE 2022: 574-579
• 2021
• 
  Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata:
  Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method. Int. J. Softw. Eng. Knowl. Eng. 31(11&12): 1541-1559 (2021)
• 
  Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata:
  Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. SEKE 2021: 114-119
• 2020
• 
  Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata:
  Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. SICE 2020: 1210-1215
• 
  Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata:
  Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method. CoRR abs/2010.15280 (2020)
• 2019
• 
  Tsukasa Miura, Masaki Sakakibara, Hirotsugu Takahashi, Tadayuki Taura, Keiji Tatani, Yusuke Oike, Takayuki Ezaki:
  A 6.9 μm Pixel-Pitch 3D Stacked Global Shutter CMOS Image Sensor with 3M Cu-Cu connections. 3DIC 2019: 1-2
• 
  Masaki Nakamura, Kazutoshi Sakakibara:
  Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers. MoDELS (Companion) 2019: 732-733
• 2018
• 
  Masaki Sakakibara, Koji Ogawa, Shin Sakai, Yasuhisa Tochigi, Katsumi Honda, Hidekazu Kikuchi, Takuya Wada, Yasunobu Kamikubo, Tsukasa Miura, Masahiko Nakamizo, Naoki Jyo, Ryo Hayashibara, Shinya Miyata, Satoshi Yamamoto, Yoshiyuki Ota, Hirotsugu Takahashi, Tadayuki Taura, Yusuke Oike, Keiji Tatani, Takayuki Ezaki, Teruo Hirayama:
  A 6.9-µm Pixel-Pitch Back-Illuminated Global Shutter CMOS Image Sensor With Pixel-Parallel 14-Bit Subthreshold ADC. IEEE J. Solid State Circuits 53(11): 3017-3025 (2018)
• 
  Masaki Sakakibara, Koji Ogawa, Shin Sakai, Yasuhisa Tochigi, Katsumi Honda, Hidekazu Kikuchi, Takuya Wada, Yasunobu Kamikubo, Tsukasa Miura, Masahiko Nakamizo, Naoki Jyo, Ryo Hayashibara, Yohei Furukawa, Shinya Miyata, Satoshi Yamamoto, Yoshiyuki Ota, Hirotsugu Takahashi, Tadayuki Taura, Yusuke Oike, Keiji Tatani, Takashi Nagano, Takayuki Ezaki, Teruo Hirayama:
  A back-illuminated global-shutter CMOS image sensor with pixel-parallel 14b subthreshold ADC. ISSCC 2018: 80-82
• 2016
• 
  Eisuke Sakakibara, Fumitaka Homae, Shingo Kawasaki, Yukika Nishimura, Ryu Takizawa, Shinsuke Koike, Akihide Kinoshita, Hanako Sakurada, Mika Yamagishi, Fumichika Nishimura, Akane Yoshikawa, Aya Inai, Masaki Nishioka, Yosuke Eriguchi, Jun Matsuoka, Yoshihiro Satomura, Naohiro Okada, Chihiro Kakiuchi, Tsuyoshi Araki, Chiemi Kan, Maki Umeda:
  Detection of resting state functional connectivity using partial correlation analysis: A study using multi-distance and whole-head probe near-infrared spectroscopy. NeuroImage 142: 590-601 (2016)
• 2012
• 
  Masaki Sakakibara, Yusuke Oike, Takafumi Takatsuka, Akihiko Kato, Katsumi Honda, Tadayuki Taura, Takashi Machida, Jun Okuno, Atsuhiro Ando, Taketo Fukuro, Tomohiko Asatsuma, Suzunori Endo, Junpei Yamamoto, Yasuhiro Nakano, Takumi Kaneshige, Ikuhiro Yamamura, Takayuki Ezaki, Teruo Hirayama:
  An 83dB-dynamic-range single-exposure global-shutter CMOS image sensor with in-pixel dual storage. ISSCC 2012: 380-382
• 2005
• 
  Masaki Sakakibara, Shoji Kawahito, Dwi Handoko, Nobuo Nakamura, Hiroki Satoh, Mizuho Higashi, Keiji Mabuchi, Hirofumi Sumi:
  A high-sensitivity CMOS image sensor with gain-adaptive column amplifiers. IEEE J. Solid State Circuits 40(5): 1147-1156 (2005)