The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL 2013) (2013)
Toyama
May 22, 2013 to May 24, 2013
ISSN: 0195-623X
ISBN: 978-1-4673-6067-8
TABLE OF CONTENTS

[Title page iii] (PDF)

pp. iii

Computational Medical and Health Care Technology (Abstract)

Y. Hata , Himeji Initiative in Comput. Med. & Health Technol., Univ. of Hyogo, Himeji, Japan
H. Nakajima , Technol. & Intellectual Property H.Q., Omron Corp., Kizugawa, Japan
pp. 1-5

Systems Health Care: Health Management Technology (Abstract)

H. Nakajima , Corp. R&D, Omron Corp., Kizugawa, Japan
T. Shiga , Corp. R&D, Omron Healthcare, Co., Ltd., Muko, Japan
Y. Hata , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
pp. 6-11

Wearable Human Activity Recognition by Electrocardiograph and Accelerometer (Abstract)

T. Fujimoto , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
H. Nakajima , Technol. & Intellectual, Property H.Q. OMRON Corp., Kizugawa, Japan
N. Tsuchiya , Technol. & Intellectual, Property H.Q. OMRON Corp., Kizugawa, Japan
H. Marukawa , Technol. & Intellectual, Property H.Q. OMRON Corp., Kizugawa, Japan
K. Kuramoto , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
S. Kobashi , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
Y. Hata , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
pp. 12-17

Gaze Estimation Using Electrooculogram Signals and Its Mathematical Modeling (Abstract)

Mingmin Yan , Interdiscipl. Grad. Sch. of Agric. & Eng., Univ. of Miyazaki, Miyazaki, Japan
H. Tamura , Dept. of Electr. & Electron. Eng., Univ. of Miyazaki, Miyazaki, Japan
K. Tanno , Dept. of Electr. & Electron. Eng., Univ. of Miyazaki, Miyazaki, Japan
pp. 18-22

Fuzzy Damage Extraction Method for Ultrasonic Nondestructive Testing Images (Abstract)

K. Tsukuda , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
T. Egawa , Kinden Corp., Kyoto, Japan
K. Taniguchi , Kinden Corp., Kyoto, Japan
K. Kuramoto , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
S. Kobashi , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
Y. Hata , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
pp. 23-28

Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits (Abstract)

R. Wille , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
Hongyan Zhang , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
R. Drechsler , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
pp. 29-34

Synthesis of Reversible Circuits Based on Products of Exclusive OR Sums (Abstract)

B. Schaeffer , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
Linh Tran , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
A. Gronquist , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
M. Perkowski , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
P. Kerntopf , Inst. of Comput. Sci., Warsaw Univ. of Technol., Warsaw, Poland
pp. 35-40

Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) Format (Abstract)

M. Hawash , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
M. Lukac , Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
M. Kameyama , Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
M. Perkowski , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
pp. 41-46

Analysis and Improvement of Transformation-Based Reversible Logic Synthesis (Abstract)

C. Chandak , IIT Kharagpur, Kharagpur, India
A. Chattopadhyay , MPSoC Archit. Res. Group, RWTH Aachen, Aachen, Germany
S. Majumder , MPSoC Archit. Res. Group, RWTH Aachen, Aachen, Germany
S. Maitra , Appl. Stat. Unit, Indian Stat. Inst., Kolkata, India
pp. 47-52

A Fuzzy Human Detection for Security System Using Infrared Laser Camera (Abstract)

T. Takeda , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
K. Kuramoto , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
S. Kobashi , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
Y. Hata , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
pp. 53-58

Mining Multi Human Locations Using Thermopile Array Sensors (Abstract)

M. Kuki , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
H. Nakajima , Technol. & Intellectual Property H.Q., Omron Corp., Kizugawa, Japan
N. Tsuchiya , Technol. & Intellectual Property H.Q., Omron Corp., Kizugawa, Japan
K. Kuramoto , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
S. Kobashi , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
Y. Hata , Grad. Sch. of Eng., Univ. of Hyogo, Himeji, Japan
pp. 59-64

On Selection of Intraocular Power Formula Using Support Vector Machines and Genetic Algorithm (Abstract)

N. Kamiura , Dept. of Electr. Eng. & Comput. Sci., Univ. of Hyogo, Himeji, Japan
T. Fukuda , Dept. of Electr. Eng. & Comput. Sci., Univ. of Hyogo, Himeji, Japan
A. Saitoh , Dept. of Electr. Eng. & Comput. Sci., Univ. of Hyogo, Himeji, Japan
T. Isokawa , Dept. of Electr. Eng. & Comput. Sci., Univ. of Hyogo, Himeji, Japan
N. Matsui , Dept. of Electr. Eng. & Comput. Sci., Univ. of Hyogo, Himeji, Japan
H. Tabuchi , Dept. of Ophthalmology, Tsukazaki Hosp., Himeji, Japan
pp. 65-70

A Broken Line Classification Method of Mathematical Graphs for Automating Translation into Scalable Vector Graphic (Abstract)

N. Takagi , Dept. of Intell. Syst. Design Eng., Toyama Prefectural Univ., Toyama, Japan
Jianjun Chen , Grad. Sch. of Eng., Toyama Prefectural Univ., Toyama, Japan
pp. 71-76

On Synthesis and Verification from Event Diagrams in a Robot Theatre Application (Abstract)

M. Perkowski , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
A. Bhutada , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
M. Lukac , Kameyama Lab., Tohoku Univ., Sendai, Japan
M. Sunardi , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
pp. 77-83

Remarks on Applications of Shapes of Decision Diagrams in Classification of Multiple-Valued Logic Functions (Abstract)

S. Stankovic , Rovio Entertainment, Ltd., Tampere, Finland
R. S. Stankovic , Fac. of Electron., Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia
J. Astola , Dept. of Signal Process., Tampere Univ. of Technol., Tampere, Finland
pp. 84-89

A Machine to Evaluate Decomposed Multi-Terminal Multi-Valued Decision Diagrams for Characteristic Functions (Abstract)

H. Nakahara , Kagoshima Univ., Kagoshima, Japan
T. Sasao , Kyushu Inst. of Technol., Fukuoka, Japan
M. Matsuura , Kyushu Inst. of Technol., Fukuoka, Japan
pp. 90-95

A Transfer Function Model for Ternary Switching Logic Circuits (Abstract)

M. A. Thornton , Southern Methodist Univ., Dallas, TX, USA
pp. 103-108

Spectral Response of Ternary Logic Netlists (Abstract)

M. A. Thornton , Southern Methodist Univ., Dallas, TX, USA
T. W. Manikas , Southern Methodist Univ., Dallas, TX, USA
pp. 109-116

A Study on Essentially Minimal Clones (Abstract)

H. Machida , Int. Christian Univ., Tokyo, Japan
I. G. Rosenberg , Univ. de Montreal, Montréal, QC, Canada
pp. 117-122

A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones (Abstract)

M. Couceiro , Univ. Paris Dauphine, Paris, France
L. Haddad , Dept. of Math. & Comput. Sci., R. Mil. Coll. of Canada, Kingston, ON, Canada
K. Scholzel , Math. Res. Unit, Univ. of Luxembourg, Luxembourg, Luxembourg
T. Waldhauser , Bolyai Inst., Univ. of Szeged, Szeged, Hungary
pp. 123-128

On the Clones Containing a Near-Unanimity Function (Abstract)

D. Zhuk , Dept. of Mech. & Math., Moscow State Univ., Moscow, Russia
S. Moiseev , Dept. of Mech. & Math., Moscow State Univ., Moscow, Russia
pp. 129-134

Intersections with Slupecki Partial Clones on a Finite Set (Abstract)

L. Haddad , Math. et Inf., Coll. militaire R. du Canada, Kingston, ON, Canada
K. Scholzel , Math. Res. Unit, Univ. of Luxembourg, Luxembourg, Luxembourg
pp. 135-140

Not Finitely Definable Partial Clones on a Finite Set (Abstract)

B. A. Romov , Bayard Rustin Ed. Complex, New York, NY, USA
pp. 141-145

Design and Evaluation of a Differential Switching Gate for Low-Voltage Applications (Abstract)

M. Natsui , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
K. Kashiuchi , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
T. Hanyu , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
pp. 146-151

A Successive Approximation A/D Converter Using Generalized Non-Binary Algorithm (Abstract)

Y. Kurisu , Dept. of Inf. & Commun. Sci., Sophia Univ., Tokyo, Japan
T. Sasaki , Dept. of Inf. & Commun. Sci., Sophia Univ., Tokyo, Japan
T. Waho , Dept. of Inf. & Commun. Sci., Sophia Univ., Tokyo, Japan
pp. 152-157

A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations (Abstract)

K. Okamoto , Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
N. Homma , Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
T. Aoki , Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
pp. 158-163

Dramatically Low-Transistor-Count High-Speed Ternary Adders (Abstract)

R. F. Mirzaee , Dept. of Comput. Eng., Islamic Azad Univ., Tehran, Iran
M. H. Moaiyeri , Nanotechnol. & Quantum Comput. Lab., Shahid Beheshti Univ., Tehran, Iran
M. Maleknejad , Nanotechnol. & Quantum Comput. Lab., Shahid Beheshti Univ., Tehran, Iran
K. Navi , Fac. of Electr. & Comput. Eng, Shahid Beheshti Univ., Tehran, Iran
O. Hashemipour , Fac. of Electr. & Comput. Eng, Shahid Beheshti Univ., Tehran, Iran
pp. 170-175

The Complexity of Lukasiewicz Logic (Abstract)

M. Goldstern , Vienna Univ. of Technol., Vienna, Austria
pp. 176-181

On Hyper Co-Clones (Abstract)

J. Colic , Univ. of Novi Sad, Novi Sad, Serbia
H. Machida , Int. Christian Univ., Tokyo, Japan
J. Pantovic , Univ. of Novi Sad, Novi Sad, Serbia
pp. 182-185

Clones of Partial Cofunctions (Abstract)

S. Kerkhoff , Inst. fur Algebra, Tech. Univ. Dresden, Dresden, Germany
F. M. Schneider , Inst. fur Algebra, Tech. Univ. Dresden, Dresden, Germany
pp. 186-191

Boolean Max-Co-Clones (Abstract)

A. A. Bulatov , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
pp. 192-197

Four Decades of Multi-Valued Logic: Lists of Highly Cited Papers (Abstract)

T. Sasao , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
pp. 198-202

Chaotic Time Series Prediction Using Neuro-Fuzzy Systems with Cluster-Based Tribes Optimization Algorithm (Abstract)

Cheng-Hung Chen , Dept. of Electr. Eng., Nat. Formosa Univ., Yunlin, Taiwan
Rong-Zuo Jhang , Dept. of Electr. Eng., Nat. Formosa Univ., Yunlin, Taiwan
Yen-Yun Liao , Dept. of Electr. Eng., Nat. Formosa Univ., Yunlin, Taiwan
pp. 203-208

Highly Reliable Non-Volatile Logic Circuit Technology and Its Application (Abstract)

H. Kimura , ROHM Co., Ltd., Kyoto, Japan
Z. Zhong , ROHM Co., Ltd., Kyoto, Japan
Y. Mizuochi , ROHM Co., Ltd., Kyoto, Japan
N. Kinouchi , ROHM Co., Ltd., Kyoto, Japan
Y. Ichida , ROHM Co., Ltd., Kyoto, Japan
Y. Fujimori , ROHM Co., Ltd., Kyoto, Japan
pp. 212-218

Tense Operators and Dynamic De Morgan Algebras (Abstract)

I. Chajda , Dept. of Algebra & Geometry, Palacky Univ. Olomouc, Olomouc, Czech Republic
J. Paseka , Dept. of Math. & Stat., Masaryk Univ., Brno, Czech Republic
pp. 219-224

On the Combinatorics of Tolerance Relations (Abstract)

D. A. Simovici , Dept. of Comp. Sci., Univ. of Massachusetts Boston, Boston, MA, USA
pp. 225-230

On Natural Eight-Valued Reasoning (Abstract)

N. Kamide , Fac. of Inf. Technol. & Bus., Cyber Univ. (Japan Cyber Educ. Inst., Ltd.), Tokyo, Japan
pp. 231-236

Embedding-Based Methods for Trilattice Logic (Abstract)

N. Kamide , Fac. of Inf. Technol. & Bus., Cyber Univ., Tokyo, Japan
pp. 237-242

On the Semigroup of Equational Classes of Finite Functions (Abstract)

J. Almeida , Fac. de Cienc., Univ. do Porto, Porto, Portugal
M. Couceiro , Lamsade - Univ. Paris Dauphine, Paris, France
T. Waldhauser , Bolyai Inst., Univ. of Szeged, Szeged, Hungary
pp. 243-247

Comparing Performance of a Multiple-Valued Time-Based Serial Data Link with Other Serial Links (Abstract)

M. Rashdan , Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
J. W. Haslett , Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
pp. 248-253

Lowering Error Floors in Stochastic Decoding of LDPC Codes Based on Wire-Delay Dependent Asynchronous Updating (Abstract)

N. Onizawa , Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
W. J. Gross , Dept. of Electr. & Comput. Eng., McGill Univ., Montreal, QC, Canada
T. Hanyu , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
V. C. Gaudet , Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
pp. 254-259

Expandable MVL Inverter Compatible with Standard CMOS Process and Its Application to MVL Hysteresis Comparator (Abstract)

A. A. Mannan , Dept. of Electr. & Electron. Eng., Univ. of Miyazaki, Miyazaki, Japan
K. Tanno , Dept. of Electr. & Electron. Eng., Univ. of Miyazaki, Miyazaki, Japan
H. Tamura , Dept. of Electr. & Electron. Eng., Univ. of Miyazaki, Miyazaki, Japan
T. Toyama , Dept. of Electr. & Electron. Eng., Univ. of Miyazaki, Miyazaki, Japan
A. Darmawansyah , Dept. of Electr. Eng., Univ. of Brawijaya, Malang, Indonesia
pp. 260-265

Noise-Tolerant Model of a Ternary Inverter Based on Markov Random Field (Abstract)

G. Tangim , Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
S. N. Yanushkevich , Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
S. Kasai , Res. Center for Integrated Quantum Electron., Hokkaido Univ., Sapporo, Japan
V. P. Shmerko , Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
pp. 278-283

Minimization of the Number of Edges in an EVMDD by Variable Grouping for Fast Analysis of Multi-State Systems (Abstract)

S. Nagayama , Dept. of Comput. & Network Eng., Hiroshima City Univ., Hiroshima, Japan
T. Sasao , Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan
J. T. Butler , Dept. of Electr. & Comp. Eng., Naval Postgrad. Sch., Monterey, CA, USA
pp. 284-289

Secure Key Storage Using State Machines (Abstract)

Nan Li , R. Inst. of Technol. (KTH), Stockholm, Sweden
S. S. Mansouri , R. Inst. of Technol. (KTH), Stockholm, Sweden
E. Dubrova , R. Inst. of Technol. (KTH), Stockholm, Sweden
pp. 290-295

The Impact of Address Arithmetic on the GPU Implementation of Fast Algorithms for the Vilenkin-Chrestenson Transform (Abstract)

D. B. Gajic , Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia
R. S. Stankovic , Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia
pp. 296-301

Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem (Abstract)

B. Steinbach , Inst. of Comput. Sci., Freiberg Univ. of Min. & Technol., Freiberg, Germany
C. Posthoff , Dept. of Comput. & Inf. Technol., Univ. of the West Indies, St. Augustine, Trinidad and Tobago
pp. 302-309

Ternary Logic Network Justification Using Transfer Matrices (Abstract)

M. A. Thornton , Southern Methodist Univ., Dallas, TX, USA
J. L. Dworak , Southern Methodist Univ., Dallas, TX, USA
pp. 310-315

Debugging of Reversible Circuits Using pDDs (Abstract)

L. Tague , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
M. Soeken , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
S. Minato , Hokkaido Univ., Sapporo, Japan
R. Drechsler , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
pp. 316-321

Analysis of Reversible and Quantum Finite State Machines Using Homing, Synchronizing and Distinguishing Input Sequences (Abstract)

M. Lukac , Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
M. Kameyama , Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
M. Perkowski , Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
P. Kerntopf , Inst. of Comput. Sci., Warsaw Univ. of Technol., Warsaw, Poland
pp. 322-327

Exact Template Matching Using Boolean Satisfiability (Abstract)

N. Abdessaied , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
M. Soeken , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
R. Wille , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
R. Drechsler , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
pp. 328-333

Synthesis of Balanced Ternary Reversible Logic Circuit (Abstract)

B. Mondal , Dept. of Comput. Sci. & Eng., B.P. Poddar Inst. of Manage. & Technol., Kolkata, India
P. Sarkar , Dept. of R&D of VLSI Technol., Simplex Infrastruct. Ltd., Kolkata, India
P. K. Saha , Dept. of Comput. Sci. & Technol., B.P.C. Inst. of Technol. Krishnagar, Nadia, India
S. Chakraborty , Dept. of Comput. Sci. & Technol., Bengal Eng. & Sci. Univ., Shibpur, India
pp. 334-339

Contribution to the Study of Multiple-Valued Bent Functions (Abstract)

C. Moraga , Eur. Centre for Soft Comput., Mieres, Spain
M. Stankovic , Fac. of Electron., Dept. of Comput. Sci., Univ. of Nis, Niš, Serbia
R. S. Stankovic , Fac. of Electron., Dept. of Comput. Sci., Univ. of Nis, Niš, Serbia
S. Stojkovic , Fac. of Electron., Dept. of Comput. Sci., Univ. of Nis, Niš, Serbia
pp. 340-345

Alternative Proof of Mulholland's Theorem and New Solutions to Mulholland Inequality (Abstract)

M. Petrik , Inst. of Comput. Sci., Prague, Czech Republic
M. Navara , Dept. of Cybern., Czech Tech. Univ. in Prague, Prague, Czech Republic
P. Sarkoci , Dept. of Math. & Descriptive Geometry, Slovak Univ. of Technol., Bratislava, Slovakia
pp. 346-351
120 ms
(Ver 3.3 (11022016))