Thu, Nov 18 AM CST (1)
10:30 - 11:45 |
| (1) |
10:30-10:55 |
On Soundness Verification for Workflow Nets with Inhibitor Arcs |
Yuki Shinohara, Shingo Yamaguchi (Yamaguchi Univ.) |
| (2) |
10:55-11:20 |
A Probability-based State Space Analysis of Petri Nets |
Eleazar Jimenez Serrano (Kyushu Univ.) |
| (3) |
11:20-11:45 |
Heuristic Algorithms TPM and TMDLO for Minimizing Initial Markings of Timed Petri Nets |
Satoru Ochiiwa, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
Thu, Nov 18 PM CAS (1)
13:00 - 14:15 |
| (4) |
13:00-13:25 |
On the Complexity of Three-Dimensional Orthogonal Face Routing |
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) |
| (5) |
13:25-13:50 |
The simplest and smallest network on which the Ford-Fulkerson maximum flow procedure may fail to terminate |
Toshihiko Takahashi (Niigata Univ.) |
| (6) |
13:50-14:15 |
Quasi-Equiripple Design of FIR Filters by Updating Weighting Function |
Shosuke Kitamura, Kenji Suyama (Tokyo Denki Univ.) |
Thu, Nov 18 PM CST (2)
14:30 - 15:20 |
| (7) |
14:30-14:55 |
An improvement of correction for lens distortion in information retrieval from printed image by using cellular phones with cameras |
Hiroshi Kudo, Takafumi Shono, Mitsuji Muneyasu, Yoshiko Hanada (Kansai Univ.) |
| (8) |
14:55-15:20 |
On Transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges |
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) |
Thu, Nov 18 PM CAS (2)
15:30 - 16:45 |
| (9) |
15:30-15:55 |
Design of CSD Coefficients FIR Filters using PSO with Perturbation |
Takashi Konakahara, Kenji Suyama (Tokyo Denki Univ.) |
| (10) |
15:55-16:20 |
Design of IIR Filters by Allocating Poles and Zeros using PSO |
Takuya Matsumoto, Kenji Suyama (Tokyo Denki Univ.) |
| (11) |
16:20-16:45 |
Brayton-Moser equations with application to FitzHugh-Nagumo models |
Naotake Yoshida, Hiroaki Yoshimura (Waseda Univ.) |
Thu, Nov 18 PM CAS Invited Lecture
17:00 - 18:00 |
| (12) |
17:00-18:00 |
[Invited Talk]
An Approach to Module Placement: Sequence Pair and its Expansion |
Mineo Kaneko (JAIST) |
Fri, Nov 19 AM CAS (3)
10:00 - 11:15 |
| (13) |
10:00-10:25 |
A switching method of distances for keystroke dynamics |
Yoshihiro Kaneko, Yuji Kinpara, Yuta Shiomi (Gifu Univ.) |
| (14) |
10:25-10:50 |
ADE-LIM for the Fast Transient Simulation of Multiconductor Transmission Lines and Its Estimation |
Hiroki Kurobe, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.) |
| (15) |
10:50-11:15 |
High-speed Electromagnetic Simulation Based on 3-D HIE-FDTD Method by Using GPU |
Masaki Unno, Hideki Asai (Shizuoka Univ.) |
Fri, Nov 19 PM CST and IEEE CASS Kansai Chapter Lecture
13:00 - 15:00 |
| |
- |
|
| (16) |
13:00-14:00 |
|
| (17) |
14:00-15:00 |
|
Fri, Nov 19 PM CST (3)
15:10 - 17:00 |
| |
- |
|
| (18) |
15:20-15:45 |
A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions |
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) |
| (19) |
15:45-16:10 |
Task Scheduling based on Degradation of Control Performance by Job Skip in Cyber-physical Systems |
Tatsuya Yoshimoto, Toshimitsu Ushio (Osaka Univ.) |
| (20) |
16:10-16:35 |
Braess's Paradox in Graph B^k with Two Sources |
Shimpei Hamaguchi, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.) |
| (21) |
16:35-17:00 |
Decentralized Supervisory Control for Timed Discrete Event Systems |
Masashi Nomura, Shigemasa Takai (Osaka Univ.) |
: 
n
sic
bau
-it
gu
-u