Satoru MIYANO


Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information
Yoshimasa MIWA Yuki MURAKAMI Qi-Wei GE Chen LI Hiroshi MATSUNO Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/12/01
Vol. E93-A  No. 12  pp. 2717-2729
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
Petri netsignaling pathwayfiring delay timestochastic decision ruleconflict resolution
 Summary | Full Text:PDF(2.1MB)

Petri Net Based Descriptions for Systematic Understanding of Biological Pathways
Hiroshi MATSUNO Chen LI Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11  pp. 3166-3174
Type of Manuscript:  INVITED SURVEY PAPER
Category: 
Keyword: 
Petri netsystems biologybiological pathwaysmodelingsimulation
 Summary | Full Text:PDF(729.4KB)

Modeling and Simulation of Fission Yeast Cell Cycle on Hybrid Functional Petri Net
Sachie FUJITA Mika MATSUI Hiroshi MATSUNO Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11  pp. 2919-2928
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Hybrid Systems
Keyword: 
hybrid functional Petri netGenomic Object Netbiological pathwayscell cyclesimulation
 Summary | Full Text:PDF(1.1MB)

FOREWORD
Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/01/25
Vol. E83-D  No. 1  pp. 1-2
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(14.1KB)

Design Aspects of Discovery Systems
Osamu MARUYAMA Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/01/25
Vol. E83-D  No. 1  pp. 61-70
Type of Manuscript:  INVITED PAPER (Special Issue on Surveys on Discovery Science)
Category: 
Keyword: 
scientific knowledge discoveryviewviewscopedesign
 Summary | Full Text:PDF(470.8KB)

Learning Theory Toward Genome Informatics
Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/05/25
Vol. E78-D  No. 5  pp. 560-567
Type of Manuscript:  Special Section PAPER (Special Issue on Algorithmic Learning Theory)
Category: Machine Learning and Its Applications
Keyword: 
PAC-learningcomputational complexityknowledge acquisitiongenome informaics
 Summary | Full Text:PDF(765.2KB)

Parallel Algorithms for Refutation Tree Problem on Formal Graph Systems
Tomoyuki UCHIDA Takayoshi SHOUDAI Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/02/25
Vol. E78-D  No. 2  pp. 99-112
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
algorithm and computational complexityformal graph systemrefutation treetwo-terminal series parallel graphouterplanar graph
 Summary | Full Text:PDF(1MB)

Complexity of Finding Alphabet Indexing
Shinichi SHIMOZONO Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/01/25
Vol. E78-D  No. 1  pp. 13-18
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
algorithm and computational complexityalphabet indexinglocal search algorithmNP-completePLS-complete
 Summary | Full Text:PDF(568.3KB)

A Parallel Algorithm for the Maximal Co-Hitting Set Problem
Takayoshi SHOUDAI Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/02/25
Vol. E76-D  No. 2  pp. 296-298
Type of Manuscript:  LETTER
Category: Algorithm and Computational Complexity
Keyword: 
algorithm and computational complexityparallel algorithmmaximal co-hitting set problemminimal set cover problemmaximal independent set problem
 Summary | Full Text:PDF(200.5KB)

Algorithmic Learning Theory with Elementary Formal Systems
Setsuo ARIKAWA Satoru MIYANO Ayumi SHINOHARA Takeshi SHINOHARA Akihiro YAMAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/07/25
Vol. E75-D  No. 4  pp. 405-414
Type of Manuscript:  INVITED PAPER (Special Issue on Algorithmic Learning Theory)
Category: 
Keyword: 
algorithmic learning theorycomputational learning theoryelementary formal system
 Summary | Full Text:PDF(936.2KB)