earticle

프로그램 증명을 위한 중간 증명 언어-Why3와 Boogie

김익순

[Kisti 연계] 한국전자통신연구원 전자통신동향분석 Vol.30 No.4 2015 pp.54-58

최소 침습 수술: 대한소아외과학회 회원을 대상으로 한 전국조사

김대연, 김인수, 김현영, 남소현, 박귀원, 박우현, 박윤준, 박종훈, 박준영, 박진수, 박진영, 부윤정, 서정민, 설지영, 오정탁, 이남혁, 이명덕, 장정환, 정규환, 정상영, 정성은, 정수민, 정은영, 정재희, 조민정, 최금자, 최수진나, 최순옥, 최승훈, 최윤미, 홍정

[Kisti 연계] 대한소아외과학회 소아외과 Vol.20 No.1 2014 pp.1-6

Efficacy of Tomato Powder as Antioxidant in Cooked Pork Patties

Kim, I.S., Jin, S.K., Yang, M.R., Chu, G.M., Park, J.H., Rashid, R.H.I., Kim, J.Y., Kang, S.N.

[Kisti 연계] 아세아태평양축산학회 Asian-Australasian journal of animal sciences Vol.26 No.9 2013 pp.1339-1346

Antioxidant Activities of Achyranthes japonica Nakai Extract and Its Application to the Pork Sausages

Park, J.H., Kang, S.N., Shin, D., Hur, I.C., Kim, I.S., Jin, Sang Keun

[Kisti 연계] 아세아태평양축산학회 Asian-Australasian journal of animal sciences Vol.26 No.2 2013 pp.287-294

소동물용 뇌자도 측정 시스템 개발

김지은, 김인선, 강찬석, 권혁찬, 김진목, 이용호, 김기웅

[Kisti 연계] 한국초전도학회 Progress in Superconductivity Vol.13 No.1 2011 pp.18-23

웹기반 SW 플랫폼 기술동향

이경희, 정영준, 이광용, 김정시, 김익순, 임채덕

[Kisti 연계] 한국전자통신연구원 전자통신동향분석 Vol.26 No.5 2011 pp.66-73

차체 외판 부품의 덴트 특성 향상을 위한 알루미늄 판재의 성형조건에 관한 연구

고세진, 김태정, 김익수

[Kisti 연계] 한국소성가공학회 소성가공 Vol.20 No.6 2011 pp.420-426

YBCO SQUID를 이용한 실험쥐의 심자도 측정

안산, 김인선, 송종현

[Kisti 연계] 한국초전도학회 Progress in Superconductivity Vol.12 No.2 2011 pp.124-128

선천성 장폐쇄증 2차 조사 - 대한소아외과학회 회원을 주 대상으로 한 전국조사 -

김성철, 김대연, 김상윤, 김인구, 김인수, 김재억, 김재천, 김현영, 박귀원, 박우현, 박진영, 서정민, 설지영, 오수명, 오정탁, 이남혁, 이명덕, 이석구, 이성철, 정상영, 정성은, 정연준, 정풍만, 최금자

[Kisti 연계] 대한소아외과학회 소아외과 Vol.16 No.1 2010 pp.1-10

백서를 이용한 심자도 신호 측정

김인선, 안산, 권혁찬, 송종현

[Kisti 연계] 한국초전도학회 Progress in Superconductivity Vol.11 No.2 2010 pp.147-151

파형 결정립계 생성이 보론 편석 및 액화거동에 미치는 영향

홍현욱, 김인수, 최백규, 유영수, 조창용

[Kisti 연계] 대한용접접합학회 대한용접접합학회 학술대회논문집 2010 p.73

Measurement of Sound Speed Following the Fluid Temperature Using Acoustic Inspection Device

Jeon, E.S., Kim, W.T., Kim, I.S., Park, H.

[Kisti 연계] 한국비파괴검사학회 비파괴검사학회지 Vol.30 No.3 2010 pp.207-211

Development of tiny green laser for mobile projectors

Yu, N.E., Jung, C., Yu, B., Lee, Y.L., Kim, I.S., Choi, J.W., Ko, D.K.

[Kisti 연계] 한국정보디스플레이학회 한국정보디스플레이학회 학술대회논문집 2009 pp.476-477

충격전류용 shunt의 직각파 특성

김익수, 김민규, 허대행

[Kisti 연계] 대한전기학회 대한전기학회 학술대회논문집 2009 pp.1445-1446

단련용 Ni기 초내열합금의 입계구조 제어를 통한 HAZ 특성 향상 가능성 고찰

홍현욱, 김인수, 최백규, 정희원, 유영수, 조창용

[Kisti 연계] 대한용접접합학회 대한용접접합학회 학술대회논문집 2009 p.43

CO2 용접에 의한 ATOS70-M2 강 열변형 해석

이지혜, 김일수, 장한기, 곽성규, 김희진, 유회수

[Kisti 연계] 한국정밀공학회 한국정밀공학회 학술대회논문집 2009 pp.521-522

유연힌지형 정밀스테이지의 모델링 및 진동제어

김재익, 황윤식, 김영식, 김인수, 김기범

[Kisti 연계] 한국소음진동공학회 한국소음진동공학회 학술대회논문집 2009 pp.239-244

Development of a Rat MCG System by Using $High-T_c$ SQUID Magnetometers

Kim, I.S., Ahn, S., Song, J.H., Kwon, H.C., Lee, Y.H.

[Kisti 연계] 한국초전도학회 한국초전도저온공학회 학술대회논문집 2009 p.76

녹색성장 LED 융합 기술 동향 분석

강태규, 박성희, 장일순, 김인수, 한동원

[Kisti 연계] 한국전자통신연구원 전자통신동향분석 Vol.24 No.5 2009 pp.30-37

돼지 품종이 등심의 일반성분, 물리화학적, 콜레스테롤, 아미노산, 지방산 조성 및 관능적 품질 특성에 미치는 영향

김일석, 진상근, 김철욱, 송영민, 조광근, 정기화

[Kisti 연계] 한국동물자원과학회 한국동물자원과학회지 Vol.50 No.1 2008 pp.121-132