2781 | Modeling a traffic control system using formal specification 차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998 |
2782 | LOOKER: Integrated Log Analysis Tool for UNIX Systems 차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998 |
2783 | Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs 차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997 |
2784 | A Formal Semantics for SCR Specifications 차성덕, '97 정형기법 워크숍, pp.77 - 88, 1997 |
2785 | Lepton flavor violation in the MSSM 고병원, CTP miniworkshop, 1998 |
2786 | A new method for extracting the weak phase gamma from B-->DK^(*) decays 고병원, 1998년도 한국물리학회, 1998 |
2787 | A Simple Technique to Measure Generation Lifetime in Partially Depleted SOI MOSFETS Hyung-Cheol Shin, 5th International Conference on VLSI and CAD, pp.55 - 59, 1997 |
2788 | Characteristics of Pollutants Transport and Reduction Methods of Contamination around Kimpo Landfill Site Ja-Kong Koo, The Sixth NTU-KU-KAIST Tri-Lateral Seminar / Workshop on Civil Engineering, pp.371 - 376, 1996 |
2789 | Robustness of Learning Systems Subject to Noise: Case Study in Forecasting Chaos 김형관, Korean Management Science and Operations Research Society '97 Fall Conf., pp.181 - 184, 1997 |
2790 | Enhanced Forecasting through Second-Order Learning: Case Study in Predicting Capacity Utilization 김형관, '97 Fall Conf. Proc., Korean Institute of Industrial Engineers, pp.1 - 4, 1997 |
2791 | Predicting the Consumer Price Index through Data Mining Tools 김형관, Korean Society of Consumer Studies Conf. Proc., pp.104 - 114, 1997 |
2792 | Productivity through Intranet Agents 김형관, Korean CALS/EC Society '97 Summer Conf., pp.187 - 201, 1997 |
2793 | EFCI 스위치만으로 이루어진 ATM망에서의 새로운 폭주 제어 방식의 제안 신병철, 한국통신학회 추계종합학술발표회 논문집, pp.924 - 927, 1997 |
2794 | Contribution of $b\rightarrow s g g$ through the QCD anomaly in exclusivedecays $B \rightarrow (\eta^{'}, \eta) (K, K^* )$ Ko, Pyungwon, The 4th International Workshop on Particle Physics Phenomenology, 1998 |
2795 | 주파수도약 다중접속 시스템에서의 논리 AND 패킷 결합방식에 관한 연구 김상우, 한국통신학회 추계종합학술대회 논문집, pp.871 - 874, 1997 |
2796 | Organic pollutant transport in un saturated porous media by atmospheric breathin rocess(I) - partition coefficient 구자공, 한국토양환경학회 추계 학술발표회, pp.50 - 53, 1996 |
2797 | Ecology-Economy Balance and Social Usefulness Assessment Using Life Cycle Assessment Methodology : A Case Study of Steel and Concrete Bridge Comparison Ja-Kong Koo, International Conference of Ecobalance, 1996 |
2798 | Sharp inequalities of Ito integrals 최창선, Applied Mathematics Workshop- Probability and Queueing Theory, pp.371 - 380, 1996 |
2799 | Issues related with the recent high-$Q^2$ events 고병원, CTP Miniworkshop at Pusan National University, 1997 |
2800 | A Queue with Periodic Markov Modulated Bernoulli Process Choi, Bong Dae, 4th World Congress of the Bernoulli Society, 1996 |