Showing results 93041 to 93060 of 275279
Form-based Approach for Enterprise Process Modeling Kim, Kyung-Ho; Kim, Young-Gul, 1996 Asia-Pacific DSI Conference, pp.1087 - 1096, 1996-06 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Formal analysis framework for lossy interface adapter chaining = 손실이 있는 인터페이스 어댑터 체인의 수학적 분석link Chung, Yoo- Chul; 정유철; et al, 한국과학기술원, 2010 |
Formal analysis of efficient multicast in IP networks = 인터넷에서의 효율적인 멀티캐스트에 관한 연구link Kim, Chang-Han; 김창한; et al, 한국과학기술원, 2007 |
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 |
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 |
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 |
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 |
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances Kim, Moonzoo, ATVA, 2007 |
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 |
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 |
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 |
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 |
Discover