Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2013] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [Japanese] / [English]
CAS2016-58
Hardware Trojan with Sensor Trigger
Takato Iwase, Yusuke Nozaki, Masaya Yoshikawa (Meijo Univ.)
pp. 1 - 6
CAS2016-59
The shortest twice flight routes of UAV on square grid graph with inside depot
Yoshihiro Kaneko, Kani (Gifu Univ.), Mase Kennichi (Niigata Univ.)
pp. 7 - 12
CAS2016-60
A Fast Search Method for Run-Based Tries via Pointers
Takashi Harada, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.)
pp. 13 - 18
CAS2016-61
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network
Masashi Yamada, Norihiko Shinomiya (Soka Univ.)
pp. 19 - 24
CAS2016-62
Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems
Hiroki Yamada, Shigemasa Takai (Osaka Univ.)
pp. 25 - 30
CAS2016-63
Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS)
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.)
pp. 31 - 35
CAS2016-64
Representation and analysis of C Source Code by using The Program Graph
Tateo Okubo (Iwate Pref Univ.), Kazuya Fukuhara (i-MOS), Toshimitsu Inomata, Eiji Sugino, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.)
pp. 37 - 42
CAS2016-65
Effects of Time-Varying Parameters in Particle Swarm Optimization of Multiple Swarms under Search-Time Constraints
Yuya Asato (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Morikazu Nakamura (Univ. of the Ryukyus)
pp. 43 - 48
CAS2016-66
[Invited Talk]
On Recording and Analyzing for Science Communication Focused on ``Interaction among Various People''
-- Conversations on Radiactivity in Iwaki-city --
Shin Aida (Toyohashi-Tech)
pp. 69 - 71
CAS2016-67
[Invited Talk]
The Past, Present, and Future of Video Search: Query Object from Known to Unknown
Jianquan Liu, Shoji Nishimura, Takuya Araki, Yuichi Nakamura (NEC)
pp. 73 - 77
CAS2016-68
A Note on Reliablity-Aware Clock Skew Scheduling in High-Level Synthesis
Keisuke Inoue (KTC)
pp. 79 - 82
CAS2016-69
A Note on the Spanning Subgraph Isomorphism Problem
Satoshi Tayu, Kenji Ichikawa, Shuichi Ueno (Tokyo Tech)
pp. 83 - 88
CAS2016-70
On the Complexity of Finding a Largest Common Subtree of Trees
Hiroki Katsumata, Satoshi Tayu, Shuichi Ueno (Tokyo Tech)
pp. 89 - 92
CAS2016-71
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs
Yuta Inaba, Satoshi Tayu, Shuichi Ueno (Tokyo Tech)
pp. 93 - 96
CAS2016-72
[Invited Talk]
Introduction to Token Swapping Problem
-- An generalization of Amidakuji --
Katsuhisa Yamanaka (Iwate Univ.)
p. 97
CAS2016-73
Formal Description of Synchronization by Functional Definition of Synchronous Circuits
Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.)
pp. 99 - 104
CAS2016-74
Imitation Dynamics with Population-Varying Revision Intervals of Strategies
Manao Machida, Takafumi Kanazawa (Osaka Univ.)
pp. 105 - 108
CAS2016-75
Detection of mode confusion in human machine systems using user models with time information.
Yoshiki Maeda, Toshimitsu Ushio (Osaka Univ.)
pp. 109 - 112
CAS2016-76
Subsidy-based Stabilization of Nonequilibrium Target State in Population Games with Unknown Payoff Functions
Masaya Kinoshita, Takafumi Kanazawa (Osaka Univ.)
pp. 113 - 116
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.