Mon, Jul 2 AM Signal Processing 09:20 - 10:40 |
(1) |
09:20-09:40 |
A Robust Algebraic Phase Unwrapping Based on Spline Approximation |
Daichi Kitahara, Isao Yamada (Tokyo Inst. of Tech.) |
(2) |
09:40-10:00 |
Sparsification of time windows for EEG signal classification during motor imagery |
Hiroshi Higashi, Toshihisa Tanaka (TUAT) |
(3) |
10:00-10:20 |
Wavelet-based Content-Aware Image Coding with Rate-Dependent Seam Carving |
Yuichi Tanaka (Tokyo Univ. of Agriculture and Tech.), Taichi Yoshida (Keio Univ.), Madoka Hasegawa, Shigeo Kato (Utsunomiya Univ.), Masaaki Ikehara (Keio Univ.) |
(4) |
10:20-10:40 |
A Study on Two-layer Coding for HDR Images with Multiple Tone-mapping Effects |
Takao Jinno (Toyohashi Tech Univ.), Hiroya Watanabe, Masahiro Okuda (The Univ. of Kitakyushu) |
|
10:40-10:50 |
Break ( 10 min. ) |
Mon, Jul 2 AM Signal Processing II 10:50 - 11:30 |
(5) |
10:50-11:10 |
Image Colorization Based on The Mixed L0/L1 Norm Minimization |
Kazunori Uruma (TUS), Katsumi Konishi (Kogakuin Univ.), Tomohiro Takahashi, Toshihiro Furukawa (TUS) |
(6) |
11:10-11:30 |
A method for tracking kernel principal subspace |
Toshihisa Tanaka (TUAT) |
Mon, Jul 2 PM VLSI Design Technology I 13:00 - 14:00 |
(7) |
13:00-13:20 |
Verification of embedded software in Assembly code by SMT prover |
Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) |
(8) |
13:20-13:40 |
On a Wideband Fast Fourier Transform Using A Piecewise Linear Approximation
-- Applied to a Radio Telescope Spectrometer -- |
Hiroki Nakahara, Hiroyuki Nakanishi (Kaoghima Univ.), Tsutomu Sasao (KIT) |
(9) |
13:40-14:00 |
An asynchronous tree arbiter with ability of concealing metastable operation duration time |
Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Kuniaki Ohyama, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ) |
|
14:00-14:10 |
Break ( 10 min. ) |
Mon, Jul 2 PM VLSI Design Technology II 14:10 - 15:10 |
(10) |
14:10-14:30 |
An Evaluation of Heuristic Fault Simulation Algorithms for Transient Faults in Sequential Circuits |
Taiga Takata, Masayoshi Yoshimura, Yusuke Matsunaga (Kyushu Univ.) |
(11) |
14:30-14:50 |
A Quantitative Approach of Soft Error Rate Estimation by Monte-Carlo Simulation |
Ken Yano, Takanori Hayashida, Toshinori Sato (Fukuokadai) |
(12) |
14:50-15:10 |
On efficiently computing of indirect implications |
Yusuke Matsunaga (Kyushu Univ.) |
|
15:10-15:20 |
Break ( 10 min. ) |
Mon, Jul 2 PM Invited Talk I Chair: Toshimitsu Ushio (Osaka Univ.) 15:20 - 16:20 |
(13) |
15:20-16:20 |
[Invited Talk]
Model-based Development: An enabler of the birth of SKYACTIV Technology |
Yasuhiro Harada (Mazda) |
|
16:20-16:30 |
Break ( 10 min. ) |
Mon, Jul 2 PM Panel Discussion 16:30 - 17:50 |
(14) |
16:30-17:50 |
Recent Hot Topics in the System and Signal-Processing Sub-society |
Tue, Jul 3 AM Circuits and System I 09:10 - 10:30 |
(15) |
09:10-09:30 |
An Evacuation Behavior Simulation Introduced by Mutual Concessions of Agents |
Sanae Ogihara, Kentaro Tani, Yoshinobu Maeda (Niigata Univ.) |
(16) |
09:30-09:50 |
Fast Simulation of Multiconductor Transmission Lines Using Nodal Block Relaxation (NBR) Method |
Takahiro Takasaki, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.) |
(17) |
09:50-10:10 |
On Minimum Feedback Vertex Sets in Graphs |
Asahi Takaoka, Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) |
(18) |
10:10-10:30 |
Lexicographic ranking and unranking of derangements in cycle notation |
Kenji Mikawa (Niigata Univ.), Ken Tanaka (Kanagawa Univ.) |
|
10:30-10:40 |
Break ( 10 min. ) |
Tue, Jul 3 AM Circuits and System II 10:40 - 12:00 |
(19) |
10:40-11:00 |
On effects of difference in available information on waiting time for battery charging for electric vehicles |
Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.) |
(20) |
11:00-11:20 |
Redundancy of the center of mass trajectory of a gymnastic skill on the high bar |
Taiga Yamasaki, Kiyoshi Gotoh, Xin Xin (Okayama Pref. Univ.) |
(21) |
11:20-11:40 |
Finding All Solutions of Piecewise-Linear Circuits Using SCIP |
Kiyotaka Yamamura, Takayuki Ishii (Chuo Univ.) |
(22) |
11:40-12:00 |
Secure Scan Architecture on RSA Circuit Using State Dependent Scan Flip Flop against Scan-Based Side Channel Attack |
Yuta Atobe, Youhua Shi, Masao Yanagisawa, Nozomu Togawa (Waseda Univ.) |
Tue, Jul 3 PM Invited Talk II Chair: Akihisa Yamada (Sharp) 13:10 - 14:10 |
(23) |
13:10-14:10 |
[Invited Talk]
The Road to Normally-Off Computing |
Hiroshi Nakamura (Univ. of Tokyo) |
|
14:10-14:20 |
Break ( 10 min. ) |
Tue, Jul 3 PM Mathematical Systems Science and its Applications I 14:20 - 15:40 |
(24) |
14:20-14:40 |
A visualization method for cancer classification based on protein distribution data from the cell array |
Hironori Kitakaze, Shouhei Igawa, Tsuyoshi Ito (Oshima Col.), Tomoko Furuya (Yamaguchi Univ.), Masahiro Kanda (Oshima Col.), Nobuhiko Ikeda (Tokuyama Col.), Hiroshi Matsuno (Yamaguchi Univ.) |
(25) |
14:40-15:00 |
Multipopulation Replicator Dynamics with Capitation Tax and Subsidy under Incomplete Information |
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.) |
(26) |
15:00-15:20 |
A Study of Car Control and Assignment Problem in MCE Systems Using Mixed Integer Programming |
Tatsuya Minegishi, Toshiyuki Miyamoto (Osaka Univ.) |
(27) |
15:20-15:40 |
Fair QoS resource allocation for multi-tier server systems based on mechanism design |
Yusuke Aoki, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.) |
|
15:40-15:50 |
Break ( 10 min. ) |
Tue, Jul 3 PM Mathematical Systems Science and its Applications I 15:50 - 16:50 |
(28) |
15:50-16:10 |
Co-scheduling of Communication and Control of Multi-Hop Control Networks. |
Yasuki Nanamori, Toshimitsu Ushio (Osaka Univ.) |
(29) |
16:10-16:30 |
Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems |
Masashi Nomura, Shigemasa Takai (Osaka Univ.) |
(30) |
16:30-16:50 |
Computation Method for Optimal Control of Large-Scale Systems with Discrete-Valued Inputs |
Koichi Kobayashi, Kunihiko Hiraishi (JAIST) |