Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
CAS2017-40
After the Symposium "Circuits and Systems Based on Imprecision-Tolerant Computing Schemes"
Shunsuke Koshita (Tohoku Univ.)
pp. 1 - 2
CAS2017-41
Modeling and simulation of motion of a multirotor in a light wind
Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT)
pp. 3 - 8
CAS2017-42
Modeling and simulation of motion of an underwater robot in a mild stream
Munenari Sako, Kouki Fukuda, Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT)
pp. 9 - 12
CAS2017-43
[Invited Talk]
Recent Advances in Optimization Methods Applied to Sparse Signal Processing
Masao Yamagishi (Tokyo Inst. of Tech.)
p. 13
CAS2017-44
[Invited Talk]
On the Recognition of Unit Grid Intersection Graphs
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 15 - 20
CAS2017-45
[Invited Talk]
Some Optimization Problems in Energy Management Systems
Kota Hirato (TOSHIBA Energy Systems & Solutions)
p. 21
CAS2017-46
An Effectiveness on a Fieldwork with Smart Voice Messaging system
Masanori Okada (Kanazawa Gakuin Univ.), Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji (JAIST)
pp. 41 - 44
CAS2017-47
The stable transmission tree and minimum cost transmission tree on wireless sensor network with mobile sink along the boundary
Yoshihiro Kaneko, Tsubasa Yamada, Takuya Tsujimoto (Gifu Univ.)
pp. 45 - 50
CAS2017-48
Document classification on unknown class using transfer learning
Masato Shirai (Shimane Univ.), Jianquan Liu (NEC)
pp. 51 - 56
CAS2017-49
Logic to represent change of event frequency
Osamu Takaki (Gunma Univ.)
pp. 57 - 62
CAS2017-50
[Invited Talk]
Supervisory Control with Linear Temporal Logic Specifications
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.)
pp. 63 - 66
CAS2017-51
Performance Comparison of Machine Learning and Process Mining in Evaluation of Software Development Processes
Hitoshi Shiozawa, Kunihiko Hiraishi (JAIST)
pp. 83 - 88
CAS2017-52
Quantitative safety assessment of telemedicine using the MCCA
Kenji Fujita, Toshiaki Aoki, Kunihiko Hiraishi (JAIST)
pp. 89 - 94
CAS2017-53
[Invited Talk]
Open Data of Air Traffic and its Application
Megumi Oka, Yutaka Fukuda (ENRI)
pp. 95 - 100
CAS2017-54
Generating covering arrays by combining heuristic search and backtracking
Toshiki Sato, Toshihiko Takahashi (Niigata Univ.)
pp. 101 - 103
CAS2017-55
Independent Spanning Trees on Pancake Graphs
Daichi Matsui, Toshinori Yamada (Saitama Univ.)
pp. 105 - 109
CAS2017-56
Dynamic Compact Routing Tolerating Node Faults
Yuki Takahashi, Toshinori Yamada (Saitama Univ.)
pp. 111 - 116
CAS2017-57
Hierarchical Reinforcement Learning of Stationary Policy Satisfying Linear Temporal Logic Constraints
Yuma Yamakura, Toshimitsu Ushio (Osaka Univ.)
pp. 117 - 122
CAS2017-58
Game Model of Selfish Consumers in Power Consumption Reduction Problem under Aggregator's Incentive Allocation
Yuta Hasegawa, Takafumi Kanazawa (Osaka Univ.)
pp. 123 - 128
CAS2017-59
Imitative Dynamics Based on Ordered Weighted Average of Payoff Differences and Its Relation with Equilibrium Concepts in Multicriteria Games
Kosuke Iewaki, Takafumi Kanazawa (Osaka Univ.)
pp. 129 - 133
CAS2017-60
Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagrams
Kazuya Tominaga, Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.)
pp. 135 - 140
CAS2017-61
Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems
Ryosuke Ushijima (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Andrea Veronica Porco, Morikazu Nakamura (Univ. of the Ryukyus)
pp. 141 - 145
CAS2017-62
A SAT-based method for generating locating arrays
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 147 - 152
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.