Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
CAS2018-61
A Study on Spin Update Method of Ising Model
Yuki Naito, Kunihiro Fujiyoshi (TUAT)
pp. 19 - 24
CAS2018-62
Simultaneous aging evaluation of multiple live line AC/DC converters
Fumihiko Ishiyama, Yohei Toriumi (NTT)
pp. 25 - 30
CAS2018-63
A Reordering Method via Rules Pairing based on Average Weights
Takashi Fuchino, Takashi Harada, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.)
pp. 31 - 36
CAS2018-64
Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.)
pp. 37 - 42
CAS2018-65
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
Kohei Fujimori, Yojiro Harie, Katsumi Wasaki (Shinshu Univ.)
pp. 43 - 47
CAS2018-66
A Petri net model for heart rate variability biofeedback
Sachie Shinzato, Morikazu Nakamura (Univ. of the Ryujyus), Hideki Kinjo (Okinawa Univ.), Itsuki Kunita (Univ. of the Ryujyus)
pp. 49 - 54
CAS2018-67
[Invited Talk]
Robust Optimization and its Application to Supervised Learning
Akiko Takeda (U.Tokyo)
p. 55
CAS2018-68
Numerical evaluation of parking lot layouts by the layered multi-agent simulation techniques
Takeshi Oyama, Kazutoshi Sakakibara, Masaki Nakamura (Toyama Pref. Univ.), Takuya Matsumoto (Sohatsu), Makoto Ohara (Kobe Univ.)
pp. 83 - 88
CAS2018-69
Study on Mid-term Planning of Radiographer Scheduling Problem
Toshiyuki Miyamoto, Kuniyuki Hidaka (Osaka Univ.)
pp. 89 - 93
CAS2018-70
Water level prediction technology in urban rivers using pump operation data
Tetsutaro Yamada, Hiroshi Sasahara, Yoshifumi Iida, Takashi Kakinuma, Seiichi Nagai, Hiroshi Kameda (Mitsubishi Electric)
pp. 95 - 98
CAS2018-71
How to build a polynomial function enclosure for Neural Networks with parametric rectified linear units
Hideaki Okazaki, Kazuya Ozawa, Kaito Isogai, Toshihiro Tachibana, Hideo Nakano (SIT)
pp. 99 - 103
CAS2018-72
On an approximated polynomial function by neural networks with parametric rectified linear units
Kazuya Ozawa, Toshihiro Tachibana, Hideo Nakano, Hideaki Okazaki (SIT)
pp. 105 - 110
CAS2018-73
A Study of Degradation Diagnosis of Lithium-ion Battery Using Neural Networks
Masahito Arima, Lei Lin, Masahiro Fukui (Ritsumeikan Univ.)
pp. 111 - 114
CAS2018-74
Fast Implementation for All-pair Shortest Paths on Vector Computation
Yasuhiro Takashima (Univ. of Kitakyushu), Takuya Araki, Takeo Hosomi, Yuichi Nakamura (NEC)
pp. 115 - 119
CAS2018-75
Process mining approach for the conformance checking of discrete-event simulation model
Kenji Uehara, Kunihiko Hiraishi (JAIST)
pp. 121 - 126
CAS2018-76
On formal verification of mathematical programming models by algebraic specifications
Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.)
pp. 127 - 130
CAS2018-77
Extension of Frequency Logic for Cooperation Analysis of Diverse Data
-- Towards Evaluation of Larger Business Process Based on Frequency Logic --
Osamu Takaki (Gunma Univ.)
pp. 131 - 136
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.