K. Cho

Learn More
The COSMOS simulator provides fast and accurate switch-level modeling of MOS digital circuits. It attains high performance by preprocessing the transistor network into a functionally equivalent Boolean representation. This description, produced by the symbolic analyzer ANAMOS, captures all aspects of switch-level networks including bidirectional(More)
The COSMOS symbolic fault simulator generates test sets for combinational and sequential MOS circuits represented at the switch level. All aspects of switch-level networks including bidirectional transistors, stored charge, different signal strengths, and indeterminate (<italic>X</italic>) logic values are captured. To generate tests for a circuit, the(More)
The performance of control and water-stressed 10-d-old wheat seedlings was compared. During short-term water stress (irrigation was withheld for 9 d), rates of photosynthesis and transpiration, stomatal conductance, and relative water content decreased whereas the proline content increased. Chloroplast proteins were extracted from the leaves, separated by(More)
The aim of the present study is to verify the functional and anatomical neural pathways which innervate the urinary bladder in the central nervous system of the rat. To identify the functional neural pathway, the urinary bladder was stimulated by infusing formalin for 2 h. Then, brain and spinal cord were dissected out and immunohistochemistry was done by(More)
BlogAlpha is a home automation system that uses a home automation robot ApriAlpha to integrate the legacy appliances in a home. It provides a blog interface to receive the user's request remotely in a natural language and show the state of the home. A robot works as intelligent glue that connects and automates legacy appliances, allowing users to introduce(More)
Cutaneous T-cell lymphomas (CTCL) represent a heterogeneous group of peripheral T-cell lymphomas arising in the skin and show considerable variations in clinicopathological features. This study was designed to examine viral genomes and cellular proliferation markers in CTCLs arising in Korea. On the basis of their morphologic characteristics and(More)
  • 1