IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Mathematical Systems Science and its applications

Workshop Date : 2012-07-02 - 2012-07-03 / Issue Date : 2012-06-25

MSS2012-1
A Robust Algebraic Phase Unwrapping Based on Spline Approximation
Daichi Kitahara, Isao Yamada (Tokyo Inst. of Tech.)
pp. 1 - 6

MSS2012-2
Sparsification of time windows for EEG signal classification during motor imagery
Hiroshi Higashi, Toshihisa Tanaka (TUAT)
pp. 7 - 12

MSS2012-3
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.)
pp. 13 - 18

MSS2012-4
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)
pp. 19 - 24

MSS2012-5
Image Colorization Based on The Mixed L0/L1 Norm Minimization
Kazunori Uruma (TUS), Katsumi Konishi (Kogakuin Univ.), Tomohiro Takahashi, Toshihiro Furukawa (TUS)
pp. 25 - 30

MSS2012-6
A method for tracking kernel principal subspace
Toshihisa Tanaka (TUAT)
pp. 31 - 36

MSS2012-7
Verification of embedded software in Assembly code by SMT prover
Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.)
pp. 37 - 42

MSS2012-8
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)
pp. 43 - 48

MSS2012-9
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)
pp. 49 - 54

MSS2012-10
An Evaluation of Heuristic Fault Simulation Algorithms for Transient Faults in Sequential Circuits
Taiga Takata, Masayoshi Yoshimura, Yusuke Matsunaga (Kyushu Univ.)
pp. 55 - 60

MSS2012-11
A Quantitative Approach of Soft Error Rate Estimation by Monte-Carlo Simulation
Ken Yano, Takanori Hayashida, Toshinori Sato (Fukuokadai)
pp. 61 - 66

MSS2012-12
On efficiently computing of indirect implications
Yusuke Matsunaga (Kyushu Univ.)
pp. 67 - 72

MSS2012-13
[Invited Talk] Model-based Development: An enabler of the birth of SKYACTIV Technology
Yasuhiro Harada (Mazda)
pp. 73 - 76

MSS2012-14
An Evacuation Behavior Simulation Introduced by Mutual Concessions of Agents
Sanae Ogihara, Kentaro Tani, Yoshinobu Maeda (Niigata Univ.)
pp. 77 - 80

MSS2012-15
Fast Simulation of Multiconductor Transmission Lines Using Nodal Block Relaxation (NBR) Method
Takahiro Takasaki, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.)
pp. 81 - 85

MSS2012-16
On Minimum Feedback Vertex Sets in Graphs
Asahi Takaoka, Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 87 - 92

MSS2012-17
Lexicographic ranking and unranking of derangements in cycle notation
Kenji Mikawa (Niigata Univ.), Ken Tanaka (Kanagawa Univ.)
pp. 93 - 96

MSS2012-18
On effects of difference in available information on waiting time for battery charging for electric vehicles
Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.)
pp. 97 - 102

MSS2012-19
Redundancy of the center of mass trajectory of a gymnastic skill on the high bar
Taiga Yamasaki, Kiyoshi Gotoh, Xin Xin (Okayama Pref. Univ.)
pp. 103 - 107

MSS2012-20
Finding All Solutions of Piecewise-Linear Circuits Using SCIP
Kiyotaka Yamamura, Takayuki Ishii (Chuo Univ.)
pp. 109 - 114

MSS2012-21
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.)
pp. 115 - 120

MSS2012-22
[Invited Talk] The Road to Normally-Off Computing
Hiroshi Nakamura (Univ. of Tokyo)
p. 121

MSS2012-23
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.)
pp. 123 - 128

MSS2012-24
Multipopulation Replicator Dynamics with Capitation Tax and Subsidy under Incomplete Information
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.)
pp. 129 - 132

MSS2012-25
A Study of Car Control and Assignment Problem in MCE Systems Using Mixed Integer Programming
Tatsuya Minegishi, Toshiyuki Miyamoto (Osaka Univ.)
pp. 133 - 138

MSS2012-26
Fair QoS resource allocation for multi-tier server systems based on mechanism design
Yusuke Aoki, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.)
pp. 139 - 142

MSS2012-27
Co-scheduling of Communication and Control of Multi-Hop Control Networks.
Yasuki Nanamori, Toshimitsu Ushio (Osaka Univ.)
pp. 143 - 148

MSS2012-28
Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems
Masashi Nomura, Shigemasa Takai (Osaka Univ.)
pp. 149 - 154

MSS2012-29
Computation Method for Optimal Control of Large-Scale Systems with Discrete-Valued Inputs
Koichi Kobayashi, Kunihiko Hiraishi (JAIST)
pp. 155 - 158

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan