Hokkaido University

Division of Computer Science

TCS Technical Report Series A

Research Reports

• TCS-TR-A-04-1
  Submitted: Wed Dec 8 21:12:47 2004
  Authors: Shin-ichi Minato and Hiroki Arimura
  Title: Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-2
  Submitted: Thu Feb 17 18:41:45 2005
  Authors: H. Hasegawa, M. Kudo and A. Nakamura
  Title: Reputation Extraction Using Both Structural and Content Information
  Contact: Atsuyoshi Nakamura
  Email: atsu@main.eng.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-3
  Submitted: Tue May 17 19:13:38 2005
  Authors: Shin-ichi Minato
  Title: VSOP (Valued-Sum-Of-Products) Calculator Based on Zero-Suppressed BDDs
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-4
  Submitted: Thu Jul 14 20:03:07 2005
  Authors: Jan Poland and Marcus Hutter
  Title: Defensive Universal Learning with Experts
  Contact: Jan Poland
  Email: jan@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-5
  Submitted: Mon Jul 18 22:27:53 2005
  Authors: Frank J. Balbach and Thomas Zeugmann
  Title: Teaching Learners that can only Perform Restricted Mind Changes
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-6
  Submitted: Wed Jul 20 15:32:08 2005
  Authors: Hiroki Arimura and Takeaki Uno
  Title: A Polynomial Space Polynomial Delay Algorithm for Enumeration of Maximal Motifs in a Sequence
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-7
  Submitted: Tue Jul 26 14:00:27 2005
  Authors: Jan Poland
  Title: FPL Analysis for Adaptive Bandits
  Contact: Jan Poland
  Email: jan@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-8
  Submitted: Sat Aug 27 05:48:53 2005
  Authors: Thomas Zeugmann
  Title: From Learning in the Limit to Stochastic Finite Learning
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-05-9
  Submitted: Tue Sep 27 19:19:30 2005
  Authors: Shin-ichi Minato
  Title: Finding All Simple Disjoint Decompositions in Frequent Itemset Data
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-10
  Submitted: Sun Jan 15 18:32:33 2006
  Authors: Shin-ichi Minato, Hirokazu Takahashi, Takeru Inoue, Hiroshi Tohjo, and Kan Toyoshima
  Title: A Framework of Programmable Multicast Applications Using Flexcast and Java Applet
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-11
  Submitted: Fri Mar 3 15:48:55 2006
  Authors: Jan Poland
  Title: Potential Functions for Stochastic Model Selection
  Contact: Jan Poland
  Email: jan@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-12
  Submitted: Mon Apr 10 20:29:57 2006
  Authors: Shin-ichi Minato and Hiroki Arimura
  Title: ZBDD-growth: An Efficient Method for Frequent Pattern Mining and Knowledge Indexing
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-13
  Submitted: Wed Apr 26 21:12:20 2006
  Authors: Frank J. Balbach and Thomas Zeugmann
  Title: On the Teachability of Randomized Learners
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-14
  Submitted: Thu May 25 15:47:39 2006
  Authors: Shin-ichi Minato
  Title: Symmetric Item Set Mining Using Zero-suppressed BDDs
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-15
  Submitted: Fri May 26 15:54:34 2006
  Authors: Atsuyoshi Nakamura
  Title: Learning-Related Complexity of Linear Ranking Functions
  Contact: Atsuyoshi Nakamura
  Email: atsu@main.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-16
  Submitted: Sat Jun 17 07:22:56 2006
  Authors: Ryutaro Kurai, Shin-ichi Minato, and Thomas Zeugmann
  Title: N-gram Analysis Based on Zero-suppressed BDDs
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-17
  Submitted: Mon Jul 3 10:48:13 2006
  Authors: Shin-ichi Minato
  Title: Generating Frequent Closed Item Sets Based on Zero-suppressed BDDs
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-18
  Submitted: Mon Jul 3 14:26:17 2006
  Authors: Shin-ichi Minato, Ken Satoh, and Taisuke Sato
  Title: Compiling Bayesian Networks by Symbolic Probability Calculation Using Zero-suppressed BDDs
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-19
  Submitted: Tue Jul 18 22:56:52 2006
  Authors: Hiroki Arimura and Takeaki Uno
  Title: A Polynomial Space and Polynomial Delay Algorithm for Enumerating Maximal Two-Dimensional Patterns with Wildcards
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-20
  Submitted: Wed Jul 19 01:25:12 2006
  Authors: Hiroki Arimura and Takeaki Uno
  Title: Effcient Algorithms for Mining Maximal Flexible Patterns in Texts and Sequences
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-21
  Submitted: Wed Sep 13 08:02:51 2006
  Authors: Tatsuya Asai, Seishi Okamoto, and Hiroki Arimura
  Title: An Adaptive Algorithm for Splitting Large Sets of Strings and Its Application to Efficient External Sorting
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-22
  Submitted: Sat Nov 11 16:00:09 2006
  Authors: Shin-ichi Minato and Kimihito Ito
  Title: Symmetric Item Set Mining Method Using ZBDDs and Application to Biological Data
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-06-23
  Submitted: Thu Nov 30 19:22:54 2006
  Authors: Jan Poland
  Title: Consistency Theorems for Discrete Bayesian Learning
  Contact: Jan Poland
  Email: jan@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-24
  Submitted: Tue Feb 13 15:21:54 2007
  Authors: Atsuyoshi Nakamura, Hiroyuki Hasegawa, Tomoya Saito, Mineichi Kudo
  Title: Flexible Wrappers for Keyword-Related Information
  Contact: Atsuyoshi Nakamura
  Email: atsu@main.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-25
  Submitted: Wed May 2 18:33:50 2007
  Authors: Shin-ichi Minato
  Title: Itemset Mining Based on Cofactor Implication
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-26
  Submitted: Mon May 7 22:01:47 2007
  Authors: H. Arimura, T. Uno, S. Shimozono
  Title: Time and Space Efficient Discovery of Maximal Geometric Subgraphs
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-27
  Submitted: Fri May 18 23:06:20 2007
  Authors: Shin-ichi Minato
  Title: A Theoretical Study on Variable Ordering of ZBDDs for Representing Frequent Itemsets
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-28
  Submitted: Thu Aug 9 18:09:16 2007
  Authors: Shin-ichi Minato and Nicolas Spyratos
  Title: Keyword Query Processing Using Binary Decision Diagrams under a Taxonomy Model
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-29
  Submitted: Fri Oct 5 17:39:29 2007
  Authors: Yohji Akama and Thomas Zeugmann
  Title: Consistent and Coherent Learning with δ-delay
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-30
  Submitted: Wed Oct 10 11:42:44 2007
  Authors: Shin-ichi Minato, Takeaki Uno, and Hiroki Arimura
  Title: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-31
  Submitted: Tue Oct 30 21:46:32 2007
  Authors: Steffen Lange, Thomas Zeugmann and Sandra Zilles
  Title: Learning Indexed Families of Recursive Languages from Positive Data
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-32
  Submitted: Sun Nov 18 05:47:18 2007
  Authors: Thomas Zeugmann and Sandra Zilles
  Title: Learning Recursive Functions
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-07-33
  Submitted: Sun Dec 30 11:38:38 2007
  Authors: Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller
  Title: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-08-34
  Submitted: Wed Jan 16 04:27:08 2008
  Authors: Shane Legg, Jan Poland, and Thomas Zeugmann
  Title: On the Limits of Learning with Computational Models
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-08-35
  Submitted: Fri Feb 8 20:36:30 2008
  Authors: Atsuyoshi Nakamura, Tomoya Saito and Mineichi Kudo
  Title: Algorithms for Finding a Minimum Repetition Structure of a String or a Tree
  Contact: Atsuyoshi Nakamura
  Email: atsu@main.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-08-36
  Submitted: Tue Nov 18 12:07:35 2008
  Authors: Takuya Kida
  Title: Suffix Tree Based VF-Coding for Compressed Pattern Matching
  Contact: Takuya Kida
  Email: kida@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-09-37
  Submitted: Mon Jan 12 09:39:23 2009
  Authors: Shin-ichi Minato and Takeaki Uno
  Title: Distinctive Frequent Itemset Mining from Time Segmented Databases Using ZDD-Based Symbolic Processing
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-09-38
  Submitted: Wed May 27 22:50:03 2009
  Authors: Takashi Katoh, Hiroki Arimura, and Kouichi Hirata
  Title: Mining Frequent Bipartite Episode from Event Sequences
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-09-39
  Submitted: Fri Nov 27 21:37:53 2009
  Authors: Charles Jordan and Thomas Zeugmann
  Title: Contributions to the Classification for Testability: Four Universal and One Existential Quantifier
  Contact: Charles Jordan
  Email: skip@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-40
  Submitted: Tue Feb 23 12:28:16 2010
  Authors: Yusaku Kaneta, Shin-ichi Minato, and Hiroki Arimura
  Title: An Efficient Matching Algorithm for Acyclic Regular Expressions with Bounded Depth
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-41
  Submitted: Mon Mar 1 10:53:04 2010
  Authors: Atsuyoshi Nakamura Hisashi Tosaka Mineichi Kudo
  Title: Mining Approximate Patterns with Frequent Locally Optimal Occurrences
  Contact: Atsuyoshi Nakamura
  Email: atsu@main.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-42
  Submitted: Wed Apr 14 19:50:57 2010
  Authors: Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato
  Title: Substring Indices Based on Sequence BDDs
  Contact: Shuhei Denzumi
  Email: shuhei-denzumi_25060204@frontier.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-43
  Submitted: Fri May 7 16:46:45 2010
  Authors: Yusaku Kaneta and Hiroki Arimura
  Title: Faster Bit-Parallel Algorithms for Unordered Pseudo-Tree Matching and Tree Homeomorphism
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-44
  Submitted: Mon May 17 20:09:03 2010
  Authors: Takashi Uemura, Satoshi Yoshida, and Takuya Kida
  Title: An Improvement of STVF Code by Almost Instantaneous Encoding
  Contact: Takuya Kida
  Email: kida@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-45
  Submitted: Tue Jun 29 00:45:57 2010
  Authors: Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga
  Title: Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-46
  Submitted: Sun Aug 8 19:17:26 2010
  Authors: Takashi Uemura, Satoshi Yoshida, Takuya Kida, Tatsuya Asai, and Seishi Okamoto
  Title: Training Parse Trees for Efficient VF Coding
  Contact: Takuya Kida
  Email: kida@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-47
  Submitted: Fri Nov 12 20:26:06 2010
  Authors: Yusaku Kaneta, Shin-ichi Minato, and Hiroki Arimuta
  Title: Fast Bit-Parallel Matching for Network and Regular Expressions
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-48
  Submitted: Fri Nov 19 18:37:18 2010
  Authors: Satoshi Yoshida and Takuya Kida
  Title: On Performance of Compressed Pattern Matching on VF Codes
  Contact: Takuya Kida
  Email: kida@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-10-49
  Submitted: Fri Dec 17 21:02:47 2010
  Authors: Rūsiņš Freivalds and Thomas Zeugmann
  Title: On the Amount of Nonconstructivity in the Inductive Inference of Recursive Functions
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-11-50
  Submitted: Mon Feb 21 10:16:09 2011
  Authors: Shin-ichi Minato
  Title: PiDD: A New Decision Diagram for Manipulating Sets of Permutations
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-11-51
  Submitted: Mon Mar 28 04:51:00 2011
  Authors: Takashi Uemura and Hiroki Arimura
  Title: Sparse and Truncated Suffix Trees on Variable-Length Codes
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-11-52
  Submitted: Sat Apr 2 22:12:47 2011
  Authors: Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura and Shin-ichi Minato
  Title: Counter Examples to the Conjecture on the Complexity of BDD Binary Operations
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-11-53
  Submitted: Sat Apr 30 21:55:10 2011
  Authors: Shuhei Denzumi, Ryo Yoshinaka, Shin-ichi Minato, and Hiroki Arimura
  Title: Efficient Algorithms on Sequence Binary Decision Diagrams for Manipulating Sets of Strings
  Contact: Hiroki Arimura
  Email: arim@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-11-54
  Submitted: Mon Oct 17 16:43:08 2011
  Authors: Jun Kawahara, Toshiki Saitoh, Ryo Yoshinaka and Shin-ichi Minato
  Title: Counting Primitive Sorting Networks by PiDDs
  Contact: Jun Kawahara
  Email: jkawahara@erato.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-12-55
  Submitted: Mon Mar 12 20:27:45 2012
  Authors: Sanjay Jain, Frank Stephan, and Thomas Zeugmann
  Title: On the Amount of Nonconstructivity in Learning Formal Languages from Text
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-12-56
  Submitted: Sun Apr 22 00:19:44 2012
  Authors: Norihiro Yamada and Shin-ichi Minato
  Title: A PiDD-Based Method for Generating Conjugacy Classes of Permutation Groups
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-12-57
  Submitted: Thu Apr 26 20:12:23 2012
  Authors: Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato
  Title: Shared-Memory Parallel Algorithms for Frontier-Based Search
  Contact: Shogo Takeuchi
  Email: takeuchi@erato.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-12-58
  Submitted: Tue Jun 19 17:26:31 2012
  Authors: Koji Tabata, Atsuyoshi Nakamura and Mineichi Kudo
  Title: Fast Approximation Algorithm for the 1-Median Problem
  Contact: Atsuyoshi Nakamura
  Email: atsu@main.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-12-59
  Submitted: Tue Aug 21 18:18:44 2012
  Authors: Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, and Yasuhiro Hayashi
  Title: Loss Minimization of Power Distribution Networks with Guaranteed Error Bound
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-12-60
  Submitted: Tue Sep 18 16:48:08 2012
  Authors: Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato
  Title: ZDD-Based Computation of the Number of Paths in a Graph
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-12-61
  Submitted: Mon Nov 12 11:00:18 2012
  Authors: Satoshi Yoshida and Takuya Kida
  Title: Effective Variable-Length-to-Fixed-Length Coding via a Re-Pair Algorithm
  Contact: Takuya Kida
  Email: kida@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-62
  Submitted: Thu Apr 11 20:31:46 2013
  Authors: Takahisa Toda
  Title: Fast Construction of ZDDs from Large-scale Hypergraphs
  Contact: Takahisa Toda
  Email: toda@erato.ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-63
  Submitted: Thu Apr 25 19:56:25 2013
  Authors: Shin-ichi Minato
  Title: Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-64
  Submitted: Fri Apr 26 18:26:09 2013
  Authors: Hiroaki Iwashita, Yoshio Nakazawa, Jun Kawahara, Takeaki Uno, and Shin-ichi Minato
  Title: Efficient Computation of the Number of Paths in a Grid Graph with Minimal Perfect Hash Functions
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-65
  Submitted: Tue Jun 11 16:08:22 2013
  Authors: Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato
  Title: Graphillion: Software Library Designed for Very Large Sets of Graphs in Python
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-66
  Submitted: Tue Jun 18 21:13:17 2013
  Authors: Shin-ichi Minato
  Title: Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets (Revised Ed.)
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-67
  Submitted: Sat Sep 21 11:26:52 2013
  Authors: Yuma Inoue, Takahisa Toda, and Shin-ichi Minato
  Title: Implicit Generation of Pattern-Avoiding Permutations Based on PiDD
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-68
  Submitted: Thu Oct 24 01:33:31 2013
  Authors: Rūsiņš Freivalds and Thomas Zeugmann
  Title: Active Learning of Classes of Recursive Functions by Ultrametric Algorithms
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-13-69
  Submitted: Tue Dec 17 16:02:22 2013
  Authors: Hiroaki Iwashita and Shin-ichi Minato
  Title: Efficient Top-Down ZDD Construction Techniques Using Recursive Specifications
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-70
  Submitted: Tue Jan 28 01:30:25 2014
  Authors: Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, and Yasuhiro Hayashi
  Title: Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-71
  Submitted: Sat Apr 12 18:24:58 2014
  Authors: Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, and Kunihiko Sadakane
  Title: A Compact and Fast Index Structure for Families of Sets
  Contact: Shuhei Denzumi
  Email: denzumi@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-72
  Submitted: Tue Apr 22 13:27:41 2014
  Authors: Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, and Jun Sese
  Title: Fast Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Mining
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-73
  Submitted: Mon May 26 21:11:02 2014
  Authors: Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, and Shin-ichi Minato
  Title: Fast Regular Expression Matching Using Dual Glushkov NFA
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-74
  Submitted: Wed Jul 16 21:58:09 2014
  Authors: Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi
  Title: Packet Classication for Global Network View of Software-Dened Networking
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-75
  Submitted: Thu Jul 17 15:18:55 2014
  Authors: Yuma Inoue and Shin-ichi Minato
  Title: An Efficient Method of Indexing All Topological Orders for a Given DAG
  Contact: Yuma Inoue
  Email: yuma@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-76
  Submitted: Tue Sep 30 20:00:08 2014
  Authors: Jun Kawahara, Takeru Inoue, Hiroaki Iwashita and Shin-ichi Minato
  Title: Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-77
  Submitted: Fri Oct 3 19:03:25 2014
  Authors: Muhammad Kholilurrohman and Shin-ichi Minato
  Title: An Efficient Algorithm for Enumerating Eulerian Paths
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-78
  Submitted: Mon Oct 6 21:33:52 2014
  Authors: Yuma Inoue, Takahisa Toda and Shin-ichi Minato
  Title: Generating Sets of Permutations with Pattern Occurrence Counts Using PiDDs
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-14-79
  Submitted: Thu Oct 9 18:09:11 2014
  Authors: Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi and Shin-ichi Minato
  Title: Enumerating Eulerian Trails Based on Line Graph Conversion
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-16-80
  Submitted: Fri Oct 14 19:44:04 2016
  Authors: Yuma Inoue and Shin-ichi Minato
  Title: Acceleration of ZDD Construction for Subgraph Enumeration via Path-width Optimization
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-17-81
  Submitted: Thu Jun 1 17:25:12 2017
  Authors: Hirofumi Suzuki and Shin-ichi Minato
  Title: ZDD-Based Enumeration of Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems
  Contact: Shin-ichi Minato
  Email: minato@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-17-82
  Submitted: Sat Nov 4 19:16:59 2017
  Authors: Ziyuan Gao, Sanjay Jain, Frank Stephan, and Thomas Zeugmann
  Title: On the Help of Bounded Shot Verifiers, Comparers, and Standardisers in Inductive Inference
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  
• TCS-TR-A-19-83
  Submitted: Wed Jul 24 17:32:59 2019
  Authors: Thomas Zeugmann
  Title: Taking Discrete Roots in the Field Z_p and in the Ring Z_p^e
  Contact: Thomas Zeugmann
  Email: thomas@ist.hokudai.ac.jp
  Abstract.
  
  

©Copyright Notice:
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.