RIMS Conference Papers

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 2161 to 2180 of 3516

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

rss_1.0 rss_2.0 atom_1.0