Engineering Sciences/NOLTA-Mathematical Systems Science and its applications(Date:2015/06/17)

Presentation
[Invited Lecture] A consideration on a pseudo-positive real function

Tetsuo Nishi(Kyushu Univ.),  

[Date]2015-06-17
[Paper #]CAS2015-11,VLD2015-18,SIP2015-42,MSS2015-11
On the Complexity of Mining Maximal Frequent Subgraphs

Satoshi Tayu(Tokyo Tech),  Shuni Go(Tokyo Tech),  Shuichi Ueno(Tokyo Tech),  

[Date]2015-06-17
[Paper #]CAS2015-7,VLD2015-14,SIP2015-38,MSS2015-7
Extension of One-Instruction-Set Computer and Its Evaluation

Noriaki Sakamoto(Tokyo Tech),  Tanvir Ahmed(Tokyo Tech),  Jason H. Anderson(Univ. of Toronto),  Yuko Hara-Azumi(Tokyo Tech),  

[Date]2015-06-17
[Paper #]CAS2015-4,VLD2015-11,SIP2015-35,MSS2015-4
The characteristic of routes selected by degree centrality-aware distance vector routing

Yoshihiro Kaneko(Gifu Univ.),  

[Date]2015-06-17
[Paper #]CAS2015-8,VLD2015-15,SIP2015-39,MSS2015-8
The difference in profit allocation of participants in deregulated electricity markets

Ryo Hase(Soka Univ.),  Norihiko Shinomiya(Soka Univ.),  

[Date]2015-06-17
[Paper #]CAS2015-9,VLD2015-16,SIP2015-40,MSS2015-9
Stability of Matching on Stable Matching Problem with Multicriteria Preference List

Hideki Kinjo(Okinawa Univ.),  Morikazu Nakamura(Univ. of the Ryukyus),  

[Date]2015-06-17
[Paper #]CAS2015-3,VLD2015-10,SIP2015-34,MSS2015-3
Choreography Realization by Re-constructible Decomposition of Acyclic Relations

Toshiyuki Miyamoto(Osaka Univ.),  

[Date]2015-06-17
[Paper #]CAS2015-2,VLD2015-9,SIP2015-33,MSS2015-2
Accelerating techniques for test pattern compaction for large circuits

Yusuke Matsunaga(Kyushu Univ.),  

[Date]2015-06-17
[Paper #]CAS2015-5,VLD2015-12,SIP2015-36,MSS2015-5
Constrained vector fitting and its application to filter characteristics approximation

Toshiki Matsubara(Gifu Univ.),  Toshikazu Sekine(Gifu Univ.),  Yasuhiro Takahashi(Gifu Univ.),  

[Date]2015-06-17
[Paper #]CAS2015-10,VLD2015-17,SIP2015-41,MSS2015-10
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-state Probabilities

Koichi Kobayashi(Hokkaido Univ.),  Kunihiko Hiraishi(JAIST),  

[Date]2015-06-17
[Paper #]CAS2015-1,VLD2015-8,SIP2015-32,MSS2015-1
A Case Study of Symbolic Model Checking of Large Scale Hardware IP

Yuta Morimitsu(Okayama Pref. Univ.),  Tomoyuki Yokogawa(Okayama Pref. Univ.),  Masafumi Kondo(Kawasaki Univ. of Medical Welfare),  Hisashi Miyazaki(Kawasaki Univ. of Medical Welfare),  Yoichiro Sato(Okayama Pref. Univ.),  Kazutami Arimoto(Okayama Pref. Univ.),  

[Date]2015-06-17
[Paper #]CAS2015-6,VLD2015-13,SIP2015-37,MSS2015-6
[Panel Discussion] The Role of System and Signal Processing Subsociety

Atsushi Takahashi(Tokyo Tech),  Yoshihiro Kaneko(Gifu Univ.),  Yusuke Matsunaga(Kyushu Univ.),  Osamu Hoshuyama(NEC),  Yuichi Nakamura(NEC),  

[Date]2015-06-17
[Paper #]CAS2015-12,VLD2015-19,SIP2015-43,MSS2015-12
Multi-channel Feedforward ANC System Using Microphone Arrays for Noise Source Separation

Satoshi Kinoshita(Kansai Univ.),  Yoshinobu Kajikawa(Kansai Univ.),  

[Date]2015-06-18
[Paper #]CAS2015-16,VLD2015-23,SIP2015-47,MSS2015-16
Stabilization of Nonequilibrium Target State in Population Games Using Capitation Tax and Subsidy

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

[Date]2015-06-18
[Paper #]CAS2015-13,VLD2015-20,SIP2015-44,MSS2015-13
Multipopulation Game Dynamics Generated by Population-Independent Pairwise Proportional Imitation

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

[Date]2015-06-18
[Paper #]CAS2015-14,VLD2015-21,SIP2015-45,MSS2015-14
Non-Frequency-Overlapping Dual-Sweep Waveform for De-Ramp Processing in FM Continuous Wave Radar

Osamu Hoshuyama(NEC),  Minoru Kobayashi(NEC),  Masafumi Emura(NEC),  

[Date]2015-06-18
[Paper #]CAS2015-17,VLD2015-24,SIP2015-48,MSS2015-17
Software model checking of embedded assembly programs by symbolic execution

Ryosuke Konoshita(Kanazawa Univ.),  Satoshi Yamane(Kanazawa Univ.),  

[Date]2015-06-18
[Paper #]CAS2015-15,VLD2015-22,SIP2015-46,MSS2015-15
A design method of the Low Delay Band-Pass Maximally Flat FIR Digital Differentiators

Takashi Yoshida(Tokyo Univ. of Science),  Naoyuki Aikawa(Tokyo Univ. of Science),  

[Date]2015-06-18
[Paper #]CAS2015-18,VLD2015-25,SIP2015-49,MSS2015-18
Compensation of Nonlinear Distortions for Parametric Array Loudspeakers

Yuta Hatano(Kansai Univ.),  Satoshi Kinoshita(Kansai Univ.),  Chuang Shi(Kansai Univ.),  Yoshinobu Kajikawa(Kansai Univ.),  

[Date]2015-06-18
[Paper #]CAS2015-19,VLD2015-26,SIP2015-50,MSS2015-19