IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Circuits and Systems

Workshop Date : 2010-11-18 - 2010-11-19 / Issue Date : 2010-11-11

CAS2010-65
On Soundness Verification for Workflow Nets with Inhibitor Arcs
Yuki Shinohara, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 1 - 5

CAS2010-66
A Probability-based State Space Analysis of Petri Nets
Eleazar Jimenez Serrano (Kyushu Univ.)
pp. 7 - 12

CAS2010-67
Heuristic Algorithms TPM and TMDLO for Minimizing Initial Markings of Timed Petri Nets
Satoru Ochiiwa, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 13 - 18

CAS2010-68
On the Complexity of Three-Dimensional Orthogonal Face Routing
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 19 - 24

CAS2010-69
The simplest and smallest network on which the Ford-Fulkerson maximum flow procedure may fail to terminate
Toshihiko Takahashi (Niigata Univ.)
pp. 25 - 30

CAS2010-70
Quasi-Equiripple Design of FIR Filters by Updating Weighting Function
Shosuke Kitamura, Kenji Suyama (Tokyo Denki Univ.)
pp. 31 - 36

CAS2010-71
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.)
pp. 37 - 40

CAS2010-72
On Transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.)
pp. 41 - 46

CAS2010-73
Design of CSD Coefficients FIR Filters using PSO with Perturbation
Takashi Konakahara, Kenji Suyama (Tokyo Denki Univ.)
pp. 47 - 52

CAS2010-74
Design of IIR Filters by Allocating Poles and Zeros using PSO
Takuya Matsumoto, Kenji Suyama (Tokyo Denki Univ.)
pp. 53 - 58

CAS2010-75
Brayton-Moser equations with application to FitzHugh-Nagumo models
Naotake Yoshida, Hiroaki Yoshimura (Waseda Univ.)
pp. 59 - 62

CAS2010-76
[Invited Talk] An Approach to Module Placement: Sequence Pair and its Expansion
Mineo Kaneko (JAIST)
p. 63

CAS2010-77
A switching method of distances for keystroke dynamics
Yoshihiro Kaneko, Yuji Kinpara, Yuta Shiomi (Gifu Univ.)
pp. 65 - 70

CAS2010-78
ADE-LIM for the Fast Transient Simulation of Multiconductor Transmission Lines and Its Estimation
Hiroki Kurobe, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.)
pp. 71 - 76

CAS2010-79
High-speed Electromagnetic Simulation Based on 3-D HIE-FDTD Method by Using GPU
Masaki Unno, Hideki Asai (Shizuoka Univ.)
pp. 77 - 82

CAS2010-80
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.)
pp. 83 - 88

CAS2010-81
Task Scheduling based on Degradation of Control Performance by Job Skip in Cyber-physical Systems
Tatsuya Yoshimoto, Toshimitsu Ushio (Osaka Univ.)
pp. 89 - 94

CAS2010-82
Braess's Paradox in Graph B^k with Two Sources
Shimpei Hamaguchi, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.)
pp. 95 - 99

CAS2010-83
Decentralized Supervisory Control for Timed Discrete Event Systems
Masashi Nomura, Shigemasa Takai (Osaka Univ.)
pp. 101 - 106

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan