160981 | Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011 |
160982 | Proving Syntactic Properties of Exceptions in an Ordered Logical Framework Kwangkeun Yi, International Symposium on Functional and Logic Programming, 2001 |
160983 | Provision of network survivability using Restricted P-Cycle = RPC 이용한 장애 복구 방법과 적용 방법link Ryu, Mi-Sun; 류미선; et al, 한국정보통신대학교, 2003 |
160984 | Provisioning connections of different bandwidth granularities in large optical WDM mesh networks with multi-hop grooming capability Ho, Q.-D.; Lee, Man Seop, Network Architectures, Management, and Applications IV, 2006-09-05 |
160985 | Prox1 serves as a biosensor reflecting the integrity and lymphatic identity of schlemm's canal = Schlemm's canal의 무결성과 림프관 특성을 반영하는 전사인자 Prox1link Park, Dae-Young; Koh, Gou Young; et al, 한국과학기술원, 2015 |
160986 | Proxemics-based mobile messenger design = 프로세믹스 기반 모바일 메신저 디자인link Shin, In-geon; Lim, Youn-kyung; et al, 한국과학기술원, 2019 |
160987 | Proximal dental caries detection using CNNs and level set based crown extraction = CNN과 Level Set 기반의 치관 영역 추출을 이용한 자동 인접면 치아 우식 검출 시스템link Choi, Joon Hyang; Kim, Changick; et al, 한국과학기술원, 2016 |
160988 | Proximal policy optimization (PPO) based reinforcement learning model for scalable 3D X-point array structure design considering signal integrity issues = 신호무결성을 고려한 스케일러블 3차원 크로스포인트 어레이 구조 설계를 위한 근위 정책 최적화 기반 강화학습 모델link Son, Kyungjune; Kim, Joungho; et al, 한국과학기술원, 2022 |
160989 | Proximate or Primary Source? How Multiple Layers of News Sources on Social Media Predict News Influence Jang, Jeong-woo, SOCIAL SCIENCE COMPUTER REVIEW, v.41, no.1, pp.201 - 216, 2023-02 |
160990 | Proximity and location problems on transportation networks = 트랜스포테이션 네트워크에서 발생하는 근접성 및 배치 문제에 대한 연구link Bae, Sang-Won; 배상원; et al, 한국과학기술원, 2008 |
160991 | Proximity Engineering of the van der Waals Interaction in Multilayered Graphene Kim, Sera; Park, Jongho; Dinh Loc Duong; Cho, Suyeon; Kim, Sung Wng; Yang, Heejun, ACS Applied Materials and Interfaces, v.11, no.45, pp.42528 - 42533, 2019-11 |
160992 | Proximity field nanopatterning of azopolymer thin films Lambeth, Robert H.; Park, Junyong; Liao, Hongwei; Shir, Daniel J.; Jeon, Seokwoo; Rogers, John A.; Moore, Jeffrey S., NANOTECHNOLOGY, v.21, no.16, pp.5301 - 5306, 2010-04 |
160993 | Proximity fuse sensor system with voltage tracking of FMCW leakage signal followed by leakage voltage reduction = FMCW 누설 신호의 전압 추적에 이은 누설 전압 감소를 적용한 근접 신관 센서 시스템link Kim, Hansol; Park, Seong-Ook; et al, 한국과학기술원, 2022 |
160994 | Proximity Injection of Plasticizing Molecules to Self-Assembling Polymers for Large-Area, Ultrafast Nanopatterning in the Sub-10-nm Regime Jeong, Jae-Won; Hur, Yoon-Hyung; Kim, Hyeong-Jun; Kim, Jong-Min; Park, Woon-Ik; Kim, Mi-Jeong; Kim, Bum-Joon; et al, ACS NANO, v.7, no.8, pp.6747 - 6757, 2013-08 |
160995 | Proximity Perception-Based Grasping Intelligence: Toward the Seamless Control of a Dexterous Prosthetic Hand Heo, Si-Whan; Park, Hyung-Soon, IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2023-10 |
160996 | Proximity-Aware Location Based Collaborative Sensing for Energy-Efficient Mobile Devices Kwak, Jeongho; Kim, Jihwan; Chong, Song, IEEE TRANSACTIONS ON MOBILE COMPUTING, v.18, no.2, pp.417 - 430, 2019-02 |
160997 | Proximity-based overlay routing for service discovery in mobile ad hoc networks Yoon, HJ; Lee, EJ; Jeong, H; Kim, JS, LECTURE NOTES IN COMPUTER SCIENCE, v.3280, pp.176 - 186, 2004 |
160998 | Proximity-field nanopatterning for high-performance chemical and mechanical sensor applications based on 3D nanostructures Lee, Jinho; Cho, Donghwi; Chen, Haomin; Shim, Young-Seok; Park, Junyong; Jeon, Seokwoo, APPLIED PHYSICS REVIEWS, v.9, no.1, 2022-03 |
160999 | Proxy Anchor-based Unsupervised Learning for Continuous Generalized Category Discovery Kim, Hyungmin; Suh, Sungho; Kim, Daehwan; Jeong, Daun; Cho, Hansang; Kim, Junmo, 19th IEEE/CVF International Conference on Computer Vision, ICCV 2023, pp.16688 - 16697, Institute of Electrical and Electronics Engineers Inc., 2023-10-02 |
161000 | Proxy-based impedance control of a cable-driven assistive system Kong, Kyoungchul, MECHATRONICS, v.23, no.1, pp.147 - 153, 2013-02 |