2161 | 2.4-GHz Integrated CMOS Switch Mixer and Quadrature VCO 신형철, 제9회 반도체학술대회, 제9회 반도체학술대회, 2002-02 |
2162 | Adaptive Marking for Aggregated Flows Yeom, Ikjun, IEEE Globecom, 2001 |
2163 | A New Wide-Dimensional Floating Microstructure Fabrication Technology Using Laterally Anodized and Oxidized Porous Silicon as a Sacrificial Layer with Double Diffusion 한철희, 반도체 학술대회, pp.167 - 168, 1999 |
2164 | An Improved Differential Fixpoint Iteration Method for Program Analysis Kwangkeun Yi, The Third Asian Workshop on Programming Languages and Systems, 2002 |
2165 | Systematic Evaluation of Fault Trees using Real-Time Model Checker UPPAAL Cha, Sungdeok, Int'l Symposium on the future of I&C for NPP(ISOFIC 2002), 2002 |
2166 | Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS Cha, Sungdeok, 8th International Conference, TACAS 2002, 2002 |
2167 | Large Scale Statistical Prediction of Protein-Protein Interaction by Potentially Interacting Domain (PID) Pair. H. Park Jong, Genome Informatics, pp.42 - 50, 2002 |
2168 | The Conservation of Protein Interaction Network in Evolution H. Park Jong, Genome Informatics, pp.135 - 140, 2001 |
2169 | A Capacitive-Type CMOS Fingerprint Sensor with Parasitic Capacitance Suppression sna Local Threshold level Adijustment 윤의식, 제9회 반도체학술대회, 한국 반도체학술대회, 2002-02 |
2170 | [2.1System] implementation state and the directions of development of technical high school in korea Kim, Choon Gil, Journal of the Japan Institute of Industrial Education, pp.1 - 8, 2001 |
2171 | Fabrication of a Solenoid-Type Microwave Transformer Choi, Y.-S.; Yoon, Jun-Bo; Kim, B.-I.; Yoon, Euisik; Han, C.-H., 11th International Conference on Solid-State Sensors and Actuators (Transducers'01), pp.1564 - 1567, 11th International Conference on Solid-State Sensors and Actuators (Transducers'01), 2001-06 |
2172 | 21세기 수학 교육의 동향: NCTM의 Principles and Standards for School Mathematics에 나타난 수학 교수?학습 이론을 중심으로 최영한, Research Communication of Natural Science (배재대학교 자연과학 심포지움), pp.63 - 78, 2002 |
2173 | Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis Jonghun Park, IEEE International Conference on Robotics and Automation, 2000 |
2174 | A Formal Specification Approach to Design Generic Software for Control of High-Fidelity Virtual Factory Jonghun Park, Industrial Engineering Research Conference, 2000 |
2175 | A Polynomial-Complexity Deadlock Avoidance Policy for Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings Jonghun Park, IEEE International Conference on Decision and Control, 2000 |
2176 | A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers Jonghun Park, IEEE International Conference on Robotics and Automation, 2001 |
2177 | A direct Analysis of Heavy Metal Ions in Environmental Water Samples 윤의식, 제8회 한국전기화학회, 2002 |
2178 | 1차 및 2차 통계방법에 기초한 잡음에 강인한 음성특징추출 길이만, 한국뇌학회 학술대회, pp.126 -, 2001 |
2179 | Protein Interactions in the Whole Human Genome H. Park Jong, Genome Informatics, pp.318 - 319, 2002 |
2180 | 25nm Bulk MOSFET with Floating Gate Spacer Hyung-Cheol Shin, Silicon Nanoelectronics Workshop, pp.12 - 13, 2000 |