Engineering Sciences/NOLTA-Mathematical Systems Science and its applications(Date:2016/11/24)

[Invited Talk] On Recording and Analyzing for Science Communication Focused on ``Interaction among Various People''

Shin Aida(Toyohashi-Tech),  

[Paper #]CAS2016-66,MSS2016-46
Representation and analysis of C Source Code by using The Program Graph

Tateo Okubo(Iwate Pref Univ.),  Kazuya Fukuhara(i-MOS),  Toshimitsu Inomata(Iwate Pref Univ.),  Eiji Sugino(Iwate Pref Univ.),  Yoshikazu Arai(Iwate Pref Univ.),  Shintaro Imai(Iwate Pref Univ.),  

[Paper #]CAS2016-64,MSS2016-44
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network

Masashi Yamada(Soka Univ.),  Norihiko Shinomiya(Soka Univ.),  

[Paper #]CAS2016-61,MSS2016-41
The shortest twice flight routes of UAV on square grid graph with inside depot

Yoshihiro Kaneko(Gifu Univ.),  Kani(Gifu Univ.),  Mase Kennichi(Niigata Univ.),  

[Paper #]CAS2016-59,MSS2016-39
Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems

Hiroki Yamada(Osaka Univ.),  Shigemasa Takai(Osaka Univ.),  

[Paper #]CAS2016-62,MSS2016-42
Hardware Trojan with Sensor Trigger

Takato Iwase(Meijo Univ.),  Yusuke Nozaki(Meijo Univ.),  Masaya Yoshikawa(Meijo Univ.),  

[Paper #]CAS2016-58,MSS2016-38
A Fast Search Method for Run-Based Tries via Pointers

Takashi Harada(Kanagawa Univ.),  Ken Tanaka(Kanagawa Univ.),  Kenji Mikawa(Niigata Univ.),  

[Paper #]CAS2016-60,MSS2016-40
[Invited Talk] The Past, Present, and Future of Video Search: Query Object from Known to Unknown

Jianquan Liu(NEC),  Shoji Nishimura(NEC),  Takuya Araki(NEC),  Yuichi Nakamura(NEC),  

[Paper #]CAS2016-67,MSS2016-47
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),  

[Paper #]CAS2016-65,MSS2016-45
Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS)

Yojiro Harie(Shinshu Univ.),  Katsumi Wasaki(Shinshu Univ.),  

[Paper #]CAS2016-63,MSS2016-43
Detection of mode confusion in human machine systems using user models with time information.

Yoshiki Maeda(Osaka Univ.),  Toshimitsu Ushio(Osaka Univ.),  

[Paper #]CAS2016-75,MSS2016-55
A Note on the Spanning Subgraph Isomorphism Problem

Satoshi Tayu(Tokyo Tech),  Kenji Ichikawa(Tokyo Tech),  Shuichi Ueno(Tokyo Tech),  

[Paper #]CAS2016-69,MSS2016-49
[Invited Talk] Introduction to Token Swapping Problem

Katsuhisa Yamanaka(Iwate Univ.),  

[Paper #]CAS2016-72,MSS2016-52
Imitation Dynamics with Population-Varying Revision Intervals of Strategies

Manao Machida(Osaka Univ.),  Takafumi Kanazawa(Osaka Univ.),  

[Paper #]CAS2016-74,MSS2016-54
On the Complexity of Finding a Largest Common Subtree of Trees

Hiroki Katsumata(Tokyo Tech),  Satoshi Tayu(Tokyo Tech),  Shuichi Ueno(Tokyo Tech),  

[Paper #]CAS2016-70,MSS2016-50
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs

Yuta Inaba(Tokyo Tech),  Satoshi Tayu(Tokyo Tech),  Shuichi Ueno(Tokyo Tech),  

[Paper #]CAS2016-71,MSS2016-51
Formal Description of Synchronization by Functional Definition of Synchronous Circuits

Shunji Nishimura(Kumamoto Univ.),  Motoki Amagasaki(Kumamoto Univ.),  Toshinori Sueyoshi(Kumamoto Univ.),  

[Paper #]CAS2016-73,MSS2016-53
Subsidy-based Stabilization of Nonequilibrium Target State in Population Games with Unknown Payoff Functions

Masaya Kinoshita(Osaka Univ.),  Takafumi Kanazawa(Osaka Univ.),  

[Paper #]CAS2016-76,MSS2016-56
A Note on Reliablity-Aware Clock Skew Scheduling in High-Level Synthesis

Keisuke Inoue(KTC),  

[Paper #]CAS2016-68,MSS2016-48