Studies on logic programming language for constraint-based natural language analysis

A study on logic programming language based on first-order formulae

Studies on disjunctive logic programming

Context-dependent natural language processing based on scene analysis

Semantics for interactive higher-order functional-logic programming

Studies on facilities for persistent programming languages and their implementations

Research on special classes of multiple-valued logic functions based on fuzzy logic

Studies on statistical approaches in stochastic programming

Studies on logic simulation and hardware description languages

Studies on optimization based solution methods for variational inequality problems

Studies on robust language and dialogue processing for spoken dialogue systems

Building morphology-based statistical models for Japanese language

A programming environment for reactive and concurrent systems using Petri nets and temporal logic

Studies on high-performance flow injection analysis for environmental and biological materials

Studies on speech recognition based on accurate phoneme modeling

Studies on a Novel Process for Nitrogen Utilization using Iron-based Intermetallic Compounds

Organization and analysis of access facilities for set-valued objects based on signature files

Studies on performance analysis of flexible manufacturing cells

Control System Analysis and Synthesis Based on Matrix Inequalities

Studies on improvement of mechanical properties by microstructural control for MoSi[2] based composites

Studies on photocatalysis by silica and silica-based materials

Design and analysis of VLSI circuits based on directed acyclic graphs

A whole mantle attenuation tomography based on the ISC amplitude data analysis

Determination of constitutive relations of fault slip based on seismic wave analysis

Structural studies on highly oriented thin films of silicon-based polymers