Takeyuki TAMURA


A Fixed-Parameter Algorithm for Detecting a Singleton Attractor in an AND/OR Boolean Network with Bounded Treewidth
Chia-Jung CHANG Takeyuki TAMURA Kun-Mao CHAO Tatsuya AKUTSU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/01/01
Vol. E98-A  No. 1  pp. 384-390
Type of Manuscript:  PAPER
Category: Algorithms and Data Structures
Keyword: 
Boolean networkattractorpartial k-treefixed-parameter algorithm
 Summary | Full Text:PDF

On the Complexity of Inference and Completion of Boolean Networks from Given Singleton Attractors
Hao JIANG Takeyuki TAMURA Wai-Ki CHING Tatsuya AKUTSU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/11/01
Vol. E96-A  No. 11  pp. 2265-2274
Type of Manuscript:  PAPER
Category: General Fundamentals and Boundaries
Keyword: 
Boolean networksingleton attractornetwork completionanother solution problem
 Summary | Full Text:PDF

Integer Programming-Based Approach to Attractor Detection and Control of Boolean Networks
Tatsuya AKUTSU Yang ZHAO Morihiro HAYASHIDA Takeyuki TAMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/12/01
Vol. E95-D  No. 12  pp. 2960-2970
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
Boolean networksgenetic networksattractorsinteger programmingnonlinear discrete systems
 Summary | Full Text:PDF

An Efficient Method of Computing Impact Degrees for Multiple Reactions in Metabolic Networks with Cycles
Takeyuki TAMURA Yang CONG Tatsuya AKUTSU Wai-Ki CHING 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/12/01
Vol. E94-D  No. 12  pp. 2393-2399
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
metabolic networksBoolean networksimpact degreerobustness
 Summary | Full Text:PDF

Exact Algorithms for Finding a Minimum Reaction Cut under a Boolean Model of Metabolic Networks
Takeyuki TAMURA Tatsuya AKUTSU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/08/01
Vol. E93-A  No. 8  pp. 1497-1507
Type of Manuscript:  PAPER
Category: Algorithms and Data Structures
Keyword: 
metabolic networkreaction cutalgorithmboolean modelrobustness
 Summary | Full Text:PDF

On Finding a Fixed Point in a Boolean Network with Maximum Indegree 2
Tatsuya AKUTSU Takeyuki TAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/08/01
Vol. E92-A  No. 8  pp. 1771-1778
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: Theory
Keyword: 
Boolean networkgenetic networkattractorfixed pointboolean satisfiability problem
 Summary | Full Text:PDF

Detecting a Singleton Attractor in a Boolean Network Utilizing SAT Algorithms
Takeyuki TAMURA Tatsuya AKUTSU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/02/01
Vol. E92-A  No. 2  pp. 493-501
Type of Manuscript:  PAPER
Category: Algorithms and Data Structures
Keyword: 
Boolean networksingleton attractorfixed pointSATNP-hard
 Summary | Full Text:PDF

Inferring Pedigree Graphs from Genetic Distances
Takeyuki TAMURA Hiro ITO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/02/01
Vol. E91-D  No. 2  pp. 162-169
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: Graph Algorithms
Keyword: 
algorithmdirected acyclic graphdistance matrixpedigreegenetic distance
 Summary | Full Text:PDF

Approximation Algorithms for Optimal RNA Secondary Structures Common to Multiple Sequences
Takeyuki TAMURA Tatsuya AKUTSU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/05/01
Vol. E90-A  No. 5  pp. 917-923
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
computational biologyRNA secondary structure predictionapproximation algorithms
 Summary | Full Text:PDF

Efficient Methods for Determining DNA Probe Orders
Hiro ITO Kazuo IWAMA Takeyuki TAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/05/01
Vol. E89-A  No. 5  pp. 1292-1298
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
DNAhybridizationprobefragmentPQ-tree
 Summary | Full Text:PDF