Browse by Title 

Showing results 93041 to 93060 of 275279

93041
Form-based Approach for Enterprise Process Modeling

Kim, Kyung-Ho; Kim, Young-Gul, 1996 Asia-Pacific DSI Conference, pp.1087 - 1096, 1996-06

93042
Form-finding of topologically complex shells

Kang, Pilseong; Youn, Sung-Kie, The 5th International Conference on Computational Methods (ICCM2014), University of Liverpool, 2014-07-28

93043
FORM: A flexible data model for integrated CASE environments

Kim, Duk-Hyun; Park, Sung Joo, DATA KNOWLEDGE ENGINEERING, v.22, no.2, pp.133 - 158, 1997-04

93044
Formability classifier for a TV back panel part with machine learning

Fazily, Piemaan; Cho, Donghyuk; Choi, Hyunsung; Cho, Joon Ho; Lee, Jongshin; Yoon, Jeong Whan, INTERNATIONAL JOURNAL OF MATERIAL FORMING, v.16, no.6, 2023-11

93045
Formability of Superplastic Al Alloy Sheets

Lee, Hyuck Mo; Lee, DN; Jeong, SK; Choi, JH; Hong, SH; Hong, SS; Lee, JS, Conference on Superplastic Forming

93046
Formability of the Steel Sheet at the Intermediate Strain Rate

Huh, Hoon; Kim, Seok Bong; Han, Soo Sik; Park, Sung Ho, Proceedings of AEPA 2004, pp.403~408, 2004, 2004

93047
Formability of the steel sheet at the intermediate strain rate

Huh, Hoon; Lim, JH; Kim, SB; Han, SS; Park, SH, ADVANCES IN ENGINEERING PLASTICITY AND ITS APPLICATIONS, PTS 1 AND 2 BOOK SERIES: KEY ENGINEERING MATERIALS, v.274-276, pp.403 - 408, 2004

93048
Formability of ultra-fine grained AA6061 for high strength bolt manufacturing

Choi, J.S.; Jin, Y.G.; Lee, H.C.; Im, Yong-Taek, Ultrafine Grained & Nanostructured Materials, pp.5 -, University of Tehran, 2009-11-14

93049
Formability Prediction of Advanced High Strength Steel with a New Ductile Fracture Criterion

Yanshan Lou; Sungjun Lim; Jeehyang Huh; Huh, Hoon, NUMISHEET 2011, NUMISHEET 2011, 2011-08-21

93050
Formal analysis framework for lossy interface adapter chaining = 손실이 있는 인터페이스 어댑터 체인의 수학적 분석link

Chung, Yoo- Chul; 정유철; et al, 한국과학기술원, 2010

93051
Formal analysis of efficient multicast in IP networks = 인터넷에서의 효율적인 멀티캐스트에 관한 연구link

Kim, Chang-Han; 김창한; et al, 한국과학기술원, 2007

93052
Formal construction and verification of home service robots: A case study

Kim, Moonzoo; Kang, KC, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3707, pp.429 - 443, 2005

93053
FORMAL DEFINITION AND ENTROPY CALCULATION OF HIERARCHICAL ATTRIBUTED RANDOM GRAPH

SEONG, DS; KIM, HS; Park, Kyu Ho, PATTERN RECOGNITION LETTERS, v.13, no.8, pp.545 - 555, 1992-08

93054
Formal development of an operation monitoring and control system for nuclear reactors using Event-B method

Kim, Jihun; Park, Moon-Ghu, INTERNATIONAL JOURNAL OF ENERGY RESEARCH, v.44, no.10, pp.8170 - 8180, 2020-08

93055
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination

Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20

93056
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances

Kim, Moonzoo, ATVA, 2007

93057
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances

Kim, Moonzoo, International Symposium on Automated Technology for Verification and Analysis, pp.489 - 500, ATVA, 2007-10-24

93058
Formal Modeling and Verification of Safety-Critical Software

Yoo J.; Jee, Eunk Young; Cha S., IEEE SOFTWARE, v.26, no.3, pp.42 - 49, 2009

93059
Formal or informal human collaboration approach to maritime safety using FRAM

Lee, Joohee; Yoon, Wan Chul; Chung, Hyun, COGNITION TECHNOLOGY & WORK, v.22, no.4, pp.861 - 875, 2020-11

93060
Formal Representation of Guarded Logic Programs Using Petri Net Model

정인정; 이흥규, Proc. of the 20th Korea Information Science Society Fall Conf., v.20, no.2, pp.1081 - 1084, 한국정보과학회, 1993

rss_1.0 rss_2.0 atom_1.0