Our Interests & Research Subjects



Research Subjects

Our laboratory is currently involved in the following 6 research subjects:
  1. Sequential data mining and event sequence corpus generation 
  2. WEB intelligence: Intelligent WEB browsing and semi-automatic learning of WEB keyword spices
  3. Autonomous distributed control of the traffic with a multi-agent  system
  4. Developing SMT solvers that enable correctness verification of Hardware/Software
  5. Developing an efficient algorithm for non-monotone dualization
  6. Developing a visualization tool to help discovering knowledge in bio-chemical networks
In Subject (4) and (5), we are collaborating with Prof. N. Tamura in Kobe University, who is the project leader of the 2008 - 2011 Grant-in-Aid for Scientific Research (A) (20240003). In Subject (6), we are collaborating with Prof. K. Inoue in National Institute of Informatics, who is the project leader of the 2008 - 2011 Grant-in-Aid for Scientific Research (A) "Inference-based Hypothesis-finding and its Application to Systems Biology" (20240016).




















Comments