Engineering Sciences/NOLTA-Circuits and Systems(Date:2010/11/11)

Presentation
表紙

,  

[Date]2010/11/11
[Paper #]
目次

,  

[Date]2010/11/11
[Paper #]
On Soundness Verification for Workflow Nets with Inhibitor Arcs

Yuki SHINOHARA,  Shingo YAMAGUCHI,  

[Date]2010/11/11
[Paper #]CAS2010-65,CST2010-38
A Probability-based State Space Analysis of Petri Nets

SERRANO Eleazar JIMENEZ,  

[Date]2010/11/11
[Paper #]CAS2010-66,CST2010-39
Heuristic Algorithms TPM and TMDLO for Minimizing Initial Markings of Timed Petri Nets

Satoru OCHIIWA,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2010/11/11
[Paper #]CAS2010-67,CST2010-40
On the Complexity of Three-Dimensional Orthogonal Face Routing

Satoshi TAYU,  Shuichi UENO,  

[Date]2010/11/11
[Paper #]CAS2010-68,CST2010-41
The simplest and smallest network on which the Ford-Fulkerson maximum flow procedure may fail to terminate

Toshihiko TAKAHASHI,  

[Date]2010/11/11
[Paper #]CAS2010-69,CST2010-42
Quasi-Equiripple Design of FIR Filters by Updating Weighting Function

Shosuke KITAMURA,  Kenji SUYAMA,  

[Date]2010/11/11
[Paper #]CAS2010-70,CST2010-43
An Improvement of Correction for Lens Distortion in Information Retrieval from Printed Image by Using Cellular Phones with Cameras

Hiroshi KUDO,  Takafumi SYONO,  Mutsuji MUNEYASU,  Yoshiko HANADA,  

[Date]2010/11/11
[Paper #]CAS2010-71,CST2010-44
On Transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges

Yasuwo HASEGAEA,  Toshiyuki MIYAMOTO,  

[Date]2010/11/11
[Paper #]CAS2010-72,CST2010-45
Design of CSD Coefficients FIR Filters using PSO with Perturbation

Takashi KONAKAHARA,  Kenji SUYAMA,  

[Date]2010/11/11
[Paper #]CAS2010-73,CST2010-46
Design of IIR Filters by Allocating Poles and Zeros using PSO

Takuya MATSUMOTO,  Kenji SUYAMA,  

[Date]2010/11/11
[Paper #]CAS2010-74,CST2010-47
Brayton-Moser equations with application to FitzHugh-Nagumo models

Naotake YOSHIDA,  Hiroaki YOSHIMURA,  

[Date]2010/11/11
[Paper #]CAS2010-75,CST2010-48
An Approach to Module Placement:Sequence Pair and its Expansion

Mineo KANEKO,  

[Date]2010/11/11
[Paper #]CAS2010-76,CST2010-49
A switching method of distances for keystroke dynamics

Yoshihiro Kaneko,  Yuji KINPARA,  Yuta SHIOMI,  

[Date]2010/11/11
[Paper #]CAS2010-77,CST2010-50
ADE-LIM for the Fast Transient Simulation of Multiconductor Transmission Lines and Its Estimation

Hiroki KUROBE,  Tadatoshi SEKINE,  Hideki ASAI,  

[Date]2010/11/11
[Paper #]CAS2010-78,CST2010-51
High-speed Electromagnetic Simulation Based on 3-D HIE-FDTD Method by Using GPU

Masaki UNNO,  Hideki ASAI,  

[Date]2010/11/11
[Paper #]CAS2010-79,CST2010-52
A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions

Hayato NIIMURA,  Toshiyuki MIYAMOTO,  

[Date]2010/11/11
[Paper #]CAS2010-80,CST2010-53
Task Scheduling based on Degradation of Control Performance by Job Skip in Cyber-physical Systems

Tatsuya YOSHIMOTO,  Toshimitsu USHIO,  

[Date]2010/11/11
[Paper #]CAS2010-81,CST2010-54
Braess's Paradox in Graph B^k with Two Sources

Shimpei HAMAGUCHI,  Takafumi KANAZAWA,  Toshimitsu USHIO,  

[Date]2010/11/11
[Paper #]CAS2010-82,CST2010-55
12>> 1-20hit(24hit)