RIMS Conference Papers

Recent Items

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

3241
Ceramic Matrix Composites : Carbon Fiber-Reinforced Silicon Carbide Composites and Silicon Carbide Fiber-Reinforced Sillicon Carbide Composites

조건, 4th Composite Materials Conference-Advanced Composites, Agency for Defense Development, pp.293 - 306, 1993

3242
탄소-탄소 복합재료 제조 : 프로판가스를 이용한 저압 화학기상증착법 제조 공정변수에 대한 연구

조건, 춘계 한국재료학회, 충남대, 1993

3243
Performance of Reed-Solomon Coded Spread-Spectrum Network

김상우, 대한전자공학회 추계 종합학술대회, pp.7 - 9, 1987

3244
Adaptive Rate Coding in Frequency-Hopped Random Access Communication Systems

Sang-Wu Kim, Proc. of IEEE GLOBECOM '92, pp.884 - 888, 1992

3245
Pattern-Driven Planning and Scheduling (PDPS) Expert

Park, Sang Chan, IEEE Region 10 Conference, pp.504 - 508, 1987

3246
Integrating Inductive Learning and Simulation in Rule-based Scheduling

Park, Sang Chan, Int'll Workshop for Expert Systems in Engineering, pp.152 - 167, 1990

3247
SHERPA - Knowledge based DSS for Criminal Investigation

Park, Sang Chan, The National Meeting of DSI, pp.645 - 646, 1994

3248
High Strength Formable Automotive Structural Steel

Kim, Young-Gil, 26th International Symposium on Automotive Technology and Automation-Conference on new and Altenative Materials for the Automotive Industries, pp.269 - 276, ISATA, 1993-09

3249
Effects of Alloying Elements and Heat Treatments on Mechanical Properties and Precipitation Behavior in Co-free W-bearing Maraging Steels

Kim, Young-Gil, Maraging Steels 1988, The Minerals and Materials Society, pp.107 - 203, The Minerals, Metals & Materials Society, 1988-01

3250
Performance Improvement of Pingpong Algorithm Applying New Seed Selection Method

황승호, 한국통신학회 하계학술발표회, 1992

3251
An Automated Electron-Beam Diagnostic System

Seung-Ho Hwang, Japanese Electron-Beam Testing Symposium, 1990

3252
BEAVER: A Behavioral Formal Verifier of VLSI Design

Seung-Ho Hwang, IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, 1989

3253
An Efficient Design Correctness Checker of Finite-State Machines

Seung-Ho Hwang, Proceedings of IEEE International Conference on Computer-Aided Design, pp.410 - 413, 1987

3254
An Accurate Delay Modeling Technique for Switch - level Timing Verification

Seung-Ho Hwang, ACM/IEEE Design Automation Conference, pp.227 - 233, 1986

3255
Sources of Industrial Productivity and Strategies for Research

Steven Hyung Kim, Internation Conference of Production Research, pp.117 - 123, 1987

3256
A Mathematical Framework for Intelligent Manufacturing Systems

Steven Hyung Kim, Proc. Symposium on Integrated and Intelligent Manufacturing, pp.1 - 8, 1986

3257
On a Consultive Expert System for Design Axiomatics

Steven Hyung Kim, Intelligent Manufacturing Systems, 1986

3258
On an Expert System for Design and Manufacturing

Steven Hyung Kim, COMPINT '85, ACM and IEEE Computer Society Int. Conf, pp.89 - 95, 1985

3259
Impact of Plasma Charging Damage and Diode Protection on Scaled Thin Oxide

Hyung-Cheol Shin, IEDM Technical Digest, pp.467 - 470, 1993

3260
Plasma-Etching induced Damage to Thin Oxide

Hyung-Cheol Shin, IEEE/SEMI Advanced Semiconductor Manufacturing Conference, pp.79 - 83, 1992

rss_1.0 rss_2.0 atom_1.0