Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 14:25 |
Shizuoka |
|
A Study on Spin Update Method of Ising Model Yuki Naito, Kunihiro Fujiyoshi (TUAT) CAS2018-61 MSS2018-37 |
Ising model, which consists of spins and interactions of them, is a novel way to solve combinatorial optimization proble... [more] |
CAS2018-61 MSS2018-37 pp.19-24 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 14:50 |
Shizuoka |
|
Simultaneous aging evaluation of multiple live line AC/DC converters Fumihiko Ishiyama, Yohei Toriumi (NTT) CAS2018-62 MSS2018-38 |
We are investigating countermeasure technique against electromagnetic noise by investigating our own method. We applied ... [more] |
CAS2018-62 MSS2018-38 pp.25-30 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 15:15 |
Shizuoka |
|
A Reordering Method via Rules Pairing based on Average Weights Takashi Fuchino, Takashi Harada, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.) CAS2018-63 MSS2018-39 |
[more] |
CAS2018-63 MSS2018-39 pp.31-36 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 15:50 |
Shizuoka |
|
Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2018-64 MSS2018-40 |
Petri net is a graphical and mathematical modeling tool describes distributed systems.
For dynamic analysis of Petri ne... [more] |
CAS2018-64 MSS2018-40 pp.37-42 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 16:15 |
Shizuoka |
|
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets Kohei Fujimori, Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2018-65 MSS2018-41 |
State space generator is one of the analysis functions of Petri net
design tool HiPS (Hierarchical Petri net Simulator)... [more] |
CAS2018-65 MSS2018-41 pp.43-47 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 16:40 |
Shizuoka |
|
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) CAS2018-66 MSS2018-42 |
We propose a Petri net model for the heart rate variability biofeedback.
The model focusses on the Respiratory Sinus A... [more] |
CAS2018-66 MSS2018-42 pp.49-54 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 17:15 |
Shizuoka |
|
[Invited Talk]
Robust Optimization and its Application to Supervised Learning Akiko Takeda (U.Tokyo) CAS2018-67 MSS2018-43 |
There are various uncertainties in real-world problems. When formulating them as mathematical optimization problems, we ... [more] |
CAS2018-67 MSS2018-43 p.55 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 10:35 |
Shizuoka |
|
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.) CAS2018-68 MSS2018-44 |
[more] |
CAS2018-68 MSS2018-44 pp.83-88 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 11:00 |
Shizuoka |
|
Study on Mid-term Planning of Radiographer Scheduling Problem Toshiyuki Miyamoto, Kuniyuki Hidaka (Osaka Univ.) CAS2018-69 MSS2018-45 |
Those who perform diagnosis and treatment of patients using medical imaging diagnostic apparatuses such as MRI and CT in... [more] |
CAS2018-69 MSS2018-45 pp.89-93 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 11:25 |
Shizuoka |
|
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) CAS2018-70 MSS2018-46 |
[more] |
CAS2018-70 MSS2018-46 pp.95-98 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 13:00 |
Shizuoka |
|
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) CAS2018-71 MSS2018-47 |
[more] |
CAS2018-71 MSS2018-47 pp.99-103 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 13:25 |
Shizuoka |
|
On an approximated polynomial function by neural networks with parametric rectified linear units Kazuya Ozawa, Toshihiro Tachibana, Hideo Nakano, Hideaki Okazaki (SIT) CAS2018-72 MSS2018-48 |
In this report we discuss learnings of a polynomial function approximation by a neural network with rectified linear uni... [more] |
CAS2018-72 MSS2018-48 pp.105-110 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 13:50 |
Shizuoka |
|
A Study of Degradation Diagnosis of Lithium-ion Battery Using Neural Networks Masahito Arima, Lei Lin, Masahiro Fukui (Ritsumeikan Univ.) CAS2018-73 MSS2018-49 |
The battery aggregation of lithium-ion battery is studied in order to solve the problem of output fluctuation and time m... [more] |
CAS2018-73 MSS2018-49 pp.111-114 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 14:15 |
Shizuoka |
|
Fast Implementation for All-pair Shortest Paths on Vector Computation Yasuhiro Takashima (Univ. of Kitakyushu), Takuya Araki, Takeo Hosomi, Yuichi Nakamura (NEC) CAS2018-74 MSS2018-50 |
[more] |
CAS2018-74 MSS2018-50 pp.115-119 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 14:50 |
Shizuoka |
|
Process mining approach for the conformance checking of discrete-event simulation model Kenji Uehara, Kunihiko Hiraishi (JAIST) CAS2018-75 MSS2018-51 |
Discrete-event simulation is an effective method to reproduce the target system behavior and to investigate its mechanis... [more] |
CAS2018-75 MSS2018-51 pp.121-126 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 15:15 |
Shizuoka |
|
On formal verification of mathematical programming models by algebraic specifications Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) CAS2018-76 MSS2018-52 |
To apply a solver for optimization problems, we need to formalize a problem into a form acceptable by the solver.
In th... [more] |
CAS2018-76 MSS2018-52 pp.127-130 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 15:40 |
Shizuoka |
|
Extension of Frequency Logic for Cooperation Analysis of Diverse Data
-- Towards Evaluation of Larger Business Process Based on Frequency Logic -- Osamu Takaki (Gunma Univ.) CAS2018-77 MSS2018-53 |
The previous papers [1,2] presented a formal logic called “Frequency Logic” to represent a change in the frequency of an... [more] |
CAS2018-77 MSS2018-53 pp.131-136 |