Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS, SIP, VLD |
2015-06-17 09:20 |
Hokkaido |
Otaru University of Commerce |
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-state Probabilities Koichi Kobayashi (Hokkaido Univ.), Kunihiko Hiraishi (JAIST) CAS2015-1 VLD2015-8 SIP2015-32 MSS2015-1 |
In this paper, we consider the problem of finding a probabilistic Boolean network (PBN) based on network structure and d... [more] |
CAS2015-1 VLD2015-8 SIP2015-32 MSS2015-1 pp.1-6 |
MSS, CAS, SIP, VLD |
2015-06-17 09:45 |
Hokkaido |
Otaru University of Commerce |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations Toshiyuki Miyamoto (Osaka Univ.) CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
MSS, CAS, SIP, VLD |
2015-06-17 10:10 |
Hokkaido |
Otaru University of Commerce |
Stability of Matching on Stable Matching Problem with Multicriteria Preference List Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus) CAS2015-3 VLD2015-10 SIP2015-34 MSS2015-3 |
In the stable matching problem, we are given a set of men and women, and each member's preference list that orders membe... [more] |
CAS2015-3 VLD2015-10 SIP2015-34 MSS2015-3 pp.13-18 |
MSS, CAS, SIP, VLD |
2015-06-17 10:45 |
Hokkaido |
Otaru University of Commerce |
Extension of One-Instruction-Set Computer and Its Evaluation Noriaki Sakamoto, Tanvir Ahmed (Tokyo Tech), Jason H. Anderson (Univ. of Toronto), Yuko Hara-Azumi (Tokyo Tech) CAS2015-4 VLD2015-11 SIP2015-35 MSS2015-4 |
Subleq computer is one of the best-known Turing-Complete One-Instruction-Set Computers. Subleq instruction is a three-op... [more] |
CAS2015-4 VLD2015-11 SIP2015-35 MSS2015-4 pp.19-24 |
MSS, CAS, SIP, VLD |
2015-06-17 11:10 |
Hokkaido |
Otaru University of Commerce |
Accelerating techniques for test pattern compaction for large circuits Yusuke Matsunaga (Kyushu Univ.) CAS2015-5 VLD2015-12 SIP2015-36 MSS2015-5 |
This paper presents accelerating techniques for test pattern compaction algorithm applicable for
large scale circuits.... [more] |
CAS2015-5 VLD2015-12 SIP2015-36 MSS2015-5 pp.25-30 |
MSS, CAS, SIP, VLD |
2015-06-17 11:35 |
Hokkaido |
Otaru University of Commerce |
A Case Study of Symbolic Model Checking of Large Scale Hardware IP Yuta Morimitsu, Tomoyuki Yokogawa (Okayama Pref. Univ.), Masafumi Kondo, Hisashi Miyazaki (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) CAS2015-6 VLD2015-13 SIP2015-37 MSS2015-6 |
[more] |
CAS2015-6 VLD2015-13 SIP2015-37 MSS2015-6 pp.31-36 |
MSS, CAS, SIP, VLD |
2015-06-17 13:20 |
Hokkaido |
Otaru University of Commerce |
On the Complexity of Mining Maximal Frequent Subgraphs Satoshi Tayu, Shuni Go, Shuichi Ueno (Tokyo Tech) CAS2015-7 VLD2015-14 SIP2015-38 MSS2015-7 |
[more] |
CAS2015-7 VLD2015-14 SIP2015-38 MSS2015-7 pp.37-42 |
MSS, CAS, SIP, VLD |
2015-06-17 13:45 |
Hokkaido |
Otaru University of Commerce |
The characteristic of routes selected by degree centrality-aware distance vector routing Yoshihiro Kaneko (Gifu Univ.) CAS2015-8 VLD2015-15 SIP2015-39 MSS2015-8 |
In the research area of ad-hoc network, distance vector-type routing is fundamental. This network requires no fixed infr... [more] |
CAS2015-8 VLD2015-15 SIP2015-39 MSS2015-8 pp.43-48 |
MSS, CAS, SIP, VLD |
2015-06-17 14:10 |
Hokkaido |
Otaru University of Commerce |
The difference in profit allocation of participants in deregulated electricity markets Ryo Hase, Norihiko Shinomiya (Soka Univ.) CAS2015-9 VLD2015-16 SIP2015-40 MSS2015-9 |
This paper presents a method to discover efficient trades in a deregulated electricity market model consisting of four t... [more] |
CAS2015-9 VLD2015-16 SIP2015-40 MSS2015-9 pp.49-52 |
MSS, CAS, SIP, VLD |
2015-06-17 14:35 |
Hokkaido |
Otaru University of Commerce |
Constrained vector fitting and its application to filter characteristics approximation Toshiki Matsubara, Toshikazu Sekine, Yasuhiro Takahashi (Gifu Univ.) CAS2015-10 VLD2015-17 SIP2015-41 MSS2015-10 |
[more] |
CAS2015-10 VLD2015-17 SIP2015-41 MSS2015-10 pp.53-58 |
MSS, CAS, SIP, VLD |
2015-06-17 15:15 |
Hokkaido |
Otaru University of Commerce |
[Invited Lecture]
A consideration on a pseudo-positive real function Tetsuo Nishi (Kyushu Univ.) CAS2015-11 VLD2015-18 SIP2015-42 MSS2015-11 |
[more] |
CAS2015-11 VLD2015-18 SIP2015-42 MSS2015-11 pp.59-64 |
MSS, CAS, SIP, VLD |
2015-06-17 16:20 |
Hokkaido |
Otaru University of Commerce |
[Panel Discussion]
The Role of System and Signal Processing Subsociety
-- Society Activity and Job Search -- Atsushi Takahashi (Tokyo Tech), Yoshihiro Kaneko (Gifu Univ.), Yusuke Matsunaga (Kyushu Univ.), Osamu Hoshuyama, Yuichi Nakamura (NEC) CAS2015-12 VLD2015-19 SIP2015-43 MSS2015-12 |
The four technical committees of System and Signal Processing Subsociety have been holding joint workshop since 2010. We... [more] |
CAS2015-12 VLD2015-19 SIP2015-43 MSS2015-12 p.65 |
MSS, CAS, SIP, VLD |
2015-06-18 09:20 |
Hokkaido |
Otaru University of Commerce |
Stabilization of Nonequilibrium Target State in Population Games Using Capitation Tax and Subsidy Masaya Kinoshita, Takafumi Kanazawa (Osaka Univ.) CAS2015-13 VLD2015-20 SIP2015-44 MSS2015-13 |
In a large population which consists of many selfish players, their selfish strategy selection may lead an undesirable p... [more] |
CAS2015-13 VLD2015-20 SIP2015-44 MSS2015-13 pp.67-70 |
MSS, CAS, SIP, VLD |
2015-06-18 09:45 |
Hokkaido |
Otaru University of Commerce |
Multipopulation Game Dynamics Generated by Population-Independent Pairwise Proportional Imitation Manao Machida, Takafumi Kanazawa (Osaka Univ.) CAS2015-14 VLD2015-21 SIP2015-45 MSS2015-14 |
Multipopulation games model conflicts among many players who have various roles. The imitative protocol describes when a... [more] |
CAS2015-14 VLD2015-21 SIP2015-45 MSS2015-14 pp.71-76 |
MSS, CAS, SIP, VLD |
2015-06-18 10:10 |
Hokkaido |
Otaru University of Commerce |
Software model checking of embedded assembly programs by symbolic execution Ryosuke Konoshita, Satoshi Yamane (Kanazawa Univ.) CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 |
We have developed a software verification system for embedded assembly programs.
It dynamically generates a model by th... [more] |
CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 pp.77-81 |
MSS, CAS, SIP, VLD |
2015-06-18 10:45 |
Hokkaido |
Otaru University of Commerce |
Multi-channel Feedforward ANC System Using Microphone Arrays for Noise Source Separation Satoshi Kinoshita, Yoshinobu Kajikawa (Kansai Univ.) CAS2015-16 VLD2015-23 SIP2015-47 MSS2015-16 |
Multi-channel feedforward ANC system can reduce various noise such as the broad-band noise by arranging the reference mi... [more] |
CAS2015-16 VLD2015-23 SIP2015-47 MSS2015-16 pp.83-88 |
MSS, CAS, SIP, VLD |
2015-06-18 11:10 |
Hokkaido |
Otaru University of Commerce |
Non-Frequency-Overlapping Dual-Sweep Waveform for De-Ramp Processing in FM Continuous Wave Radar Osamu Hoshuyama, Minoru Kobayashi, Masafumi Emura (NEC) CAS2015-17 VLD2015-24 SIP2015-48 MSS2015-17 |
[more] |
CAS2015-17 VLD2015-24 SIP2015-48 MSS2015-17 pp.89-93 |
MSS, CAS, SIP, VLD |
2015-06-18 11:35 |
Hokkaido |
Otaru University of Commerce |
A design method of the Low Delay Band-Pass Maximally Flat FIR Digital Differentiators Takashi Yoshida, Naoyuki Aikawa (Tokyo Univ. of Science) CAS2015-18 VLD2015-25 SIP2015-49 MSS2015-18 |
[more] |
CAS2015-18 VLD2015-25 SIP2015-49 MSS2015-18 pp.95-98 |
MSS, CAS, SIP, VLD |
2015-06-18 12:00 |
Hokkaido |
Otaru University of Commerce |
Compensation of Nonlinear Distortions for Parametric Array Loudspeakers
-- In the case of changing the amplitude of input signal -- Yuta Hatano, Satoshi Kinoshita, Chuang Shi, Yoshinobu Kajikawa (Kansai Univ.) CAS2015-19 VLD2015-26 SIP2015-50 MSS2015-19 |
Reproduction sound of the parametric array loudspeaker (PAL) contains many nonlinear distortions.
Nonlinear distortions... [more] |
CAS2015-19 VLD2015-26 SIP2015-50 MSS2015-19 pp.99-102 |