IEICE Trans

Tadao KASAMI

A Soft-Input and Output Iterative Bounded-Distance and Encoding-Based Decoding Algorithm for Product Codes Hitoshi TOKUSHIGE Marc FOSSORIER Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/02/01 Vol. E92-A No. 2 pp. 671-672 Type of Manuscript: LETTER Category: Coding Theory Keyword: iterative decoding, bounded-distance decoding, encoding-based decoding, product code,
	Summary \| Full Text:PDF(106.2KB)

Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code Kenji YASUNAGA Toru FUJIWARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/03/01 Vol. E90-A No. 3 pp. 698-701 Type of Manuscript: LETTER Category: Coding Theory Keyword: local weight distribution, minimal codeword, Reed-Muller code, binary shift,
	Summary \| Full Text:PDF(86KB)

Selection of Test Patterns in an Iterative Erasure and Error Decoding Algorithm for Non-binary Block Codes Hitoshi TOKUSHIGE Ippei HISADOMI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/11/01 Vol. E89-A No. 11 pp. 3355-3359 Type of Manuscript: LETTER Category: Coding Theory Keyword: iterative decoding, erasure and error decoding, test pattern, non-binary code,
	Summary \| Full Text:PDF(598.9KB)

On the Generative Power of Grammars for RNA Secondary Structure Yuki KATO Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/01/01 Vol. E88-D No. 1 pp. 53-64 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science) Category: Keyword: RNA secondary structure, pseudoknot, multiple context-free grammar, tree adjoining grammar,
	Summary \| Full Text:PDF(390.5KB)

Reduced Complexity Iterative Decoding Using a Sub-Optimum Minimum Distance Search Jun ASATANI Takuya KOUMOTO Kenichi TOMITA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/10/01 Vol. E86-A No. 10 pp. 2596-2600 Type of Manuscript: Special Section LETTER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: minimum distance search, near optimality condition, Reed-Muller code, iterative decoding,
	Summary \| Full Text:PDF(558.1KB)

Selection Method of Test Patterns in Soft-Decision Iterative Bounded Distance Decoding Algorithms Hitoshi TOKUSHIGE Takuya KOUMOTO Marc P.C. FOSSORIER Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/10/01 Vol. E86-A No. 10 pp. 2445-2451 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: soft-decision decoding, iterative decoding, algebraic decoding, BCH code, covering code,
	Summary \| Full Text:PDF(402.9KB)

A Soft-Decision Iterative Decoding Algorithm Using a Top-Down and Recursive Minimum Distance Search Jun ASATANI Kenichi TOMITA Takuya KOUMOTO Toyoo TAKATA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/10/01 Vol. E85-A No. 10 pp. 2220-2228 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: minimum distance search, recursive maximum likelihood decoding, minimum weight codewords, Reed-Muller code, iterative decoding,
	Summary \| Full Text:PDF(671.8KB)

Selection of Search Centers in Iterative Soft-Decision Decoding Algorithms Hitoshi TOKUSHIGE Kentaro NAKAMAYE Takuya KOUMOTO Yuansheng TANG Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/10/01 Vol. E84-A No. 10 pp. 2397-2403 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: iterative decoding, bounded-distance decoding, soft decision decoding, BCH code,
	Summary \| Full Text:PDF(358.8KB)

The Optimal Sectionalized Trellises for the Generalized Version of Viterbi Algorithm of Linear Block Codes and Its Application to Reed-Muller Codes Yuansheng TANG Toru FUJIWARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-A No. 11 pp. 2329-2340 Type of Manuscript: PAPER Category: Coding Theory Keyword: linear block code, sectionalization, minimal sectionalized trellis, generalized Viterbi algorithm, computational complexity,
	Summary \| Full Text:PDF(508.3KB)

An Improvement to GMD-Like Decoding Algorithms Hitoshi TOKUSHIGE Yuansheng TANG Takuya KOUMOTO Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/10/25 Vol. E83-A No. 10 pp. 1963-1965 Type of Manuscript: Special Section LETTER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: soft-decision iterative decoding, multiple GMD decoding, early termination conditions, binary block codes,
	Summary \| Full Text:PDF(196.1KB)

MAP and LogMAP Decoding Algorithms for Linear Block Codes Using a Code Structure Yuichi KAJI Ryujiro SHIBUYA Toru FUJIWARA Tadao KASAMI Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/10/25 Vol. E83-A No. 10 pp. 1884-1890 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: MAP decoding, BCJR algorithm, turbo codes, trellis diagram, linear block codes,
	Summary \| Full Text:PDF(556.9KB)

Sufficient Conditions for Ruling-Out Useless Iterative Steps in a Class of Iterative Decoding Algorithms Tadao KASAMI Yuansheng TANG Takuya KOUMOTO Toru FUJIWARA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/10/25 Vol. E82-A No. 10 pp. 2061-2073 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: soft-decision, iterative decoding, binary block codes, ruling-out conditions, early termination conditions,
	Summary \| Full Text:PDF(652.3KB)

On the Number of Minimum Weight Codewords of Subcodes of Reed-Muller Codes Hitoshi TOKUSHIGE Toyoo TAKATA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/10/25 Vol. E81-A No. 10 pp. 1990-1997 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: minimum weight codeword, Reed-Muller code, subcode,
	Summary \| Full Text:PDF(578.6KB)

A Recursive Maximum Likelihood Decoding Algorithm for Some Transitive Invariant Binary Block Codes Tadao KASAMI Hitoshi TOKUSHIGE Toru FUJIWARA Hiroshi YAMAMOTO Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/09/25 Vol. E81-A No. 9 pp. 1916-1924 Type of Manuscript: PAPER Category: Information Theory and Coding Theory Keyword: recursive maximum likelihood decoding, transitive invariant codes, Reed-Muller codes, extended BCH codes,
	Summary \| Full Text:PDF(790.4KB)

Security Verification of Real-Time Cryptographic Protocols Using a Rewriting Approach Takehiko TANAKA Yuichi KAJI Hajime WATANABE Toyoo TAKATA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/04/25 Vol. E81-D No. 4 pp. 355-363 Type of Manuscript: PAPER Category: Software Theory Keyword: security verification, cryptographic protocol, timestamp, conditional term rewriting system, network security,
	Summary \| Full Text:PDF(893KB)

A Sufficient Condition for Ruling Out Some Useless Test Error Patterns in Iterative Decoding Algorithms Takuya KOUMOTO Tadao KASAMI Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/02/25 Vol. E81-A No. 2 pp. 321-326 Type of Manuscript: PAPER Category: Information Theory and Coding Theory Keyword: binary linear code, chase algorithm, iterative decoding, sufficient condition, optimality test,
	Summary \| Full Text:PDF(509.9KB)

Low Weight Subtrellises for Binary Linear Block Codes and Their Applications Tadao KASAMI Takuya KOUMOTO Toru FUJIWARA Hiroshi YAMAMOTO Yoshihisa DESAKI Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1997/11/25 Vol. E80-A No. 11 pp. 2095-2103 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: subtrellis diagram, low weight, binary linear code, recursive decoding algorithm, subtrellis search,
	Summary \| Full Text:PDF(751.6KB)

An Evaluation Method of the Block Error Probability by Using a Low-Weight Sub-Trellis Diagram Kenichi TOMITA Toyoo TAKATA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1997/11/25 Vol. E80-A No. 11 pp. 2104-2110 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Coding Theory Keyword: block error probability, block code, low-weight subtrellis diagram and union bound,
	Summary \| Full Text:PDF(486.1KB)

Error Performance of Multilevel Block Coded 8-PSK Modulations Using Unequal Error Protection Codes for the Rayleigh Fading Channel Robert H. Moirelos-ZARAGOZA Nobuyuki UETSUKI Toyoo TAKATA Tadao KASAMI Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1997/06/25 Vol. E80-A No. 6 pp. 1143-1149 Type of Manuscript: PAPER Category: Information Theory and Coding Theory Keyword: coded modulation, unequal error protection, multilevel codes,
	Summary \| Full Text:PDF(602.1KB)

Syntactic Unification Problems under Constrained Substitutions Kazuhiro TAKADA Yuichi KAJI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/05/25 Vol. E80-D No. 5 pp. 553-561 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: unification problem, decidability, computational complexity, order-sorted signature, tree automata,
	Summary \| Full Text:PDF(739.2KB)

An lmproved Method for Formal Security Verification of Cryptographic Protocols Hajime WATANABE Toru FUJIWARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/07/25 Vol. E79-A No. 7 pp. 1089-1096 Type of Manuscript: PAPER Category: Information Security Keyword: authentication, computer security, cryptographic protocol, protocol verification,
	Summary \| Full Text:PDF(689.3KB)

Assignment of Data Types to Words in a Natural Language Specification Yasunori ISHIHARA Atsushi OHSAKI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/06/25 Vol. E79-D No. 6 pp. 820-828 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: natural language specification, algebraic specification, data type,
	Summary \| Full Text:PDF(777.8KB)

The Weight Distributions of Cosets of the Second-Order Reed-Muller Code of Length 128 in the Third-Order Reed-Muller Code of Length 128 Tadao KASAMI Toru FUJIWARA Yoshihisa DESAKI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/04/25 Vol. E79-A No. 4 pp. 600-608 Type of Manuscript: PAPER Category: Information Theory and Coding Theory Keyword: linear block codes, Reed-Muller codes, coset and weight distribution,
	Summary \| Full Text:PDF(632.2KB)

Analysis of Aliasing Probability for MISRs by Using Complete Weight Distributions Kazuhiko IWASAKI Sandeep K. GUPTA Prawat NAGVAJARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/12/25 Vol. E78-A No. 12 pp. 1691-1698 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Keyword: BIST, aliasing probability, error-correcting codes, complete weight distribution,
	Summary \| Full Text:PDF(591.2KB)

Average Complexity Evaluation of an MLD Algorithm Using the Trellis Structure for a Linear Block Code Hidehisa NAGANO Toru FUJIWARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/09/25 Vol. E78-A No. 9 pp. 1209-1214 Type of Manuscript: Special Section LETTER (Special Section on Information Theory and Its Applications) Category: Keyword: maximum likelihood decoding, linear block code, BCH code, Reed-Muller code, L-section minimal trellis diagram,
	Summary \| Full Text:PDF(451KB)

An Improved Union Bound on Block Error Probability for Closest Coset Decoding Kenichi TOMITA Toyoo TAKATA Tadao KASAMI Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/09/25 Vol. E78-A No. 9 pp. 1077-1085 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Keyword: block error probability, block modulation code, closest coset decoding, and union bound,
	Summary \| Full Text:PDF(673.2KB)

A Polynomial Time Learning Algorithm for Recognizable Series Hiroyuki OHNISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/10/25 Vol. E77-D No. 10 pp. 1077-1085 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: computational learning theory, recognizable series, automata, formal language,
	Summary \| Full Text:PDF(669.2KB)

A Polynomial-Time Recognizable Subclass of Lexical-Functional Grammars Sachiko ANDO Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/10/25 Vol. E77-D No. 10 pp. 1067-1076 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: lexical-functional grammar, modified head grammar, formal language, generative capacity,
	Summary \| Full Text:PDF(754.6KB)

A Method for Computing the Weight Distribution of a Block Code by Using Its Trellis Diagram Yoshihisa DESAKI Toru FUJIWARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/08/25 Vol. E77-A No. 8 pp. 1230-1237 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Keyword: block codes, weight distribution, trellis diagram, BCH codes,
	Summary \| Full Text:PDF(693.2KB)

A Note on Inadequacy of the Model for Learning from Queries Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/08/25 Vol. E77-D No. 8 pp. 861-868 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: computational learning theory, learning correctly from queries, formal language, extracting long counter example,
	Summary \| Full Text:PDF(715.1KB)

On Branch Labels of Parallel Components of the L-Section Minimal Trellis Diagrams for Binary Linear Block Codes Tadao KASAMI Toru FUJIWARA Yoshihisa DESAKI Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/06/25 Vol. E77-A No. 6 pp. 1058-1068 Type of Manuscript: PAPER Category: Information Theory and Coding Theory Keyword: linear block codes, trellis diagram, parallel structure and Reed-Muller codes,
	Summary \| Full Text:PDF(867KB)

Finite State Translation Systems and Parallel Multiple Context-Free Grammars Yuichi KAJI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/06/25 Vol. E77-D No. 6 pp. 619-630 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: finite state translation systems, parallel multiple context-free grammars, tree automata, computational complexity, formal languages,
	Summary \| Full Text:PDF(925KB)

A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies Yasunori ISHIHARA Hiroyuki SEKI Tadao KASAMI Jun SHIMABUKURO Kazuhiko OKAWA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/12/25 Vol. E76-D No. 12 pp. 1479-1489 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: natural language specification, algebraic specification, communication protocol, translation,
	Summary \| Full Text:PDF(951.3KB)

A Verification Method via Invariant for Communication Protocols Modeled as Extended Communicating Finite-State Machines Masahiro HIGUCHI Osamu SHIRAKAWA Hiroyuki SEKI Mamoru FUJII Tadao KASAMI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1993/11/25 Vol. E76-B No. 11 pp. 1363-1372 Type of Manuscript: PAPER Category: Signaling System and Communication Protocol Keyword: integral register, unbounded communication channel, safety property, term rewriting system, OSI session protocol,
	Summary \| Full Text:PDF(892KB)

On Structural Complexity of the L-Section Minimal Trellis Diagrams for Binary Linear Block Codes Tadao KASAMI Toyoo TAKATA Toru FUJIWARA Shu LIN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/09/25 Vol. E76-A No. 9 pp. 1411-1421 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Keyword: linear code, block code, trellis diagram, Reed-Muller code,
	Summary \| Full Text:PDF(819.9KB)

A System for Deciding the Security of Cryptographic Protocols Hajime WATANABE Toru FUJIWARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/01/25 Vol. E76-A No. 1 pp. 96-103 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: computer security, cryptographic protocol, protocol verification,
	Summary \| Full Text:PDF(630.8KB)

Comparison of Aliasing Probability for Multiple MISRs and M-Stage MISRs with m Inputs Kazuhiko IWASAKI Shou-Ping FENG Toru FUJIWARA Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/11/25 Vol. E75-D No. 6 pp. 835-841 Type of Manuscript: Special Section PAPER (Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems) Category: Keyword: BIST, aliasing probability, multiple MISR, M-stage MISR with m imputs, binary symmetric channel,
	Summary \| Full Text:PDF(578.4KB)

A Method of Composing Communication Protocols with Priority Service Masahiro HIGUCHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-B No. 10 pp. 1032-1042 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: communication protocol, communicating sequential machines, safety property, verification, reachability analysis,
	Summary \| Full Text:PDF(878.3KB)

FOREWORD Tadao KASAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/09/25 Vol. E75-A No. 9 pp. 1045-1045 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF(59KB)

On the Generative Capacity of Lexical-Functional Grammars Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/07/25 Vol. E75-D No. 4 pp. 509-516 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: lexical-functional grammars, formal language, automata, generative capacity,
	Summary \| Full Text:PDF(713.1KB)

The Universal Recognition Problems for Parallel Multiple Context-Free Grammars and for Their Subclasses Yuichi KAJI Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/07/25 Vol. E75-D No. 4 pp. 499-508 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: parallel multiple context-free grammars, universal recognition problem, computational complexity, formal language,
	Summary \| Full Text:PDF(810.4KB)

The Universal Recognition Problems for Multiple Context-Free Grammars and for Linear Context-Free Rewriting Systems Yuichi KAJI Ryuichi NAKANISI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/01/25 Vol. E75-D No. 1 pp. 78-88 Type of Manuscript: Special Section PAPER (Special Section on Theoretical Foundations of Computing) Category: Keyword: multiple context-free grammars, recognition problem, computational complexity, formal language,
	Summary \| Full Text:PDF(881.6KB)

Error Performance of Multi Stage Hard-Decision Bounded Distance Decoding for Multi-Level Block Modulation Codes Mitsuteru KATAOKA Toyoo TAKATA Tadao KASAMI Satoshi UJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1991/09/25 Vol. E74-A No. 9 pp. 2555-2562 Type of Manuscript: Special Section PAPER (Special Issue on Information Theory and Its Applications) Category: Keyword:
	Summary \| Full Text:PDF(544.8KB)

Cross-Over Component Code Construction for Multi-Level Block Modulation Codes Tadao KASAMI Toyoo TAKATA Toru FUJIWARA Shu LIN
Publication: IEICE TRANSACTIONS (1976-1990) Publication Date: 1990/10/25 Vol. E73-E No. 10 pp. 1657-1665 Type of Manuscript: Special Section PAPER (Special Issue on Communication Theory and Its Applications) Category: Modulation and Demodulation Keyword:
	Summary \| Full Text:PDF(734.8KB)

Functional Programming for the Telegram Analysis Problem Yuji SUGIYAMA Koji TORII Tadao KASAMI
Publication: IEICE TRANSACTIONS (1976-1990) Publication Date: 1988/05/25 Vol. E71-E No. 5 pp. 523-529 Type of Manuscript: PAPER Category: Software Theory Keyword:
	Summary \| Full Text:PDF(602.9KB)

Some NP-Complete Problems for Bounded Petri Nets Toshiro ARAKI Kenichi TANIGUCHI Tadao KASAMI
Publication: IEICE TRANSACTIONS (1976-1990) Publication Date: 1976/07/25 Vol. E59-E No. 7 pp. 7-8 Type of Manuscript: LETTER Category: Computers Keyword:
	Summary \| Full Text:PDF(157.6KB)