Kim, Insup: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Simultaneous bioimaging recognition of cation Al3+ and anion F− by a fluorogenic method

Kim, Yong Sung, Lee, Jae Jun, Choi, Ye Won, You, Ga Rim, Nguyen, LeTuyen, Noh, Insup, Kim, Cheal

Journal:

Dyes and Pigments

Year:

2016

Language:

english

File:

PDF, 2.12 MB

english, 2016

52

[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Platform-Specific Timing Verification Framework in Model-Based Implementation

Kim, BaekGyu, Feng, Lu, Phan, Linh T.X., Sokolsky, Oleg, Lee, Insup

Year:

2015

Language:

english

File:

PDF, 422 KB

english, 2015

53

PINK1 Deficiency Enhances Inflammatory Cytokine Release from Acutely Prepared Brain Slices

Kim, Jun, Byun, Ji-Won, Choi, Insup, Kim, Beomsue, Jeong, Hey-Kyeong, Jou, Ilo, Joe, Eunhye

Journal:

Experimental Neurobiology

Year:

2013

Language:

english

File:

PDF, 554 KB

english, 2013

54

Effects of recombinant human bone morphogenic protein-2 and human bone marrow-derived stromal cells on in vivo bone regeneration of chitosan-poly(ethylene oxide) hydrogel

Jo, Seongyeon, Kim, Sumi, Cho, Tae Hyung, Shin, Eunkyong, Hwang, Soon Jung, Noh, Insup

Journal:

Journal of Biomedical Materials Research Part A

Year:

2013

Language:

english

File:

PDF, 918 KB

english, 2013

55

A cap-type Schiff base acting as a fluorescence sensor for zinc(ii) and a colorimetric sensor for iron(ii), copper(ii), and zinc(ii) in aqueous media

Kim, Kyung Beom, Kim, Hyun, Song, Eun Joo, Kim, Sumi, Noh, Insup, Kim, Cheal

Journal:

Dalton Transactions

Year:

2013

Language:

english

File:

PDF, 4.18 MB

english, 2013

56

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 5311 || Goanna: Syntactic Software Model Checking

Cha, Sungdeok (Steve), Choi, Jin-Young, Kim, Moonzoo, Lee, Insup, Viswanathan, Mahesh

Year:

2008

Language:

english

File:

PDF, 132 KB

english, 2008

57

A dip-stick type biosensor using bioluminescent bacteria encapsulated in color-coded alginate microbeads for detection of water toxicity

Jung, Insup, Seo, Ho Bin, Lee, Ji-eun, Chan Kim, Byoung, Gu, Man Bock

Journal:

The Analyst (Royal Society of Chemistry)

Year:

2014

Language:

english

File:

PDF, 642 KB

english, 2014

58

Biocompatibility and resorption pattern of newly developed hyaluronic acid hydrogel reinforced three-layer poly (lactide-co-glycolide) membrane: histologic observation in rabbit calvarial defect model

You, Hoon, Lee, Eun-Ung, Kim, You-Kyoung, Kim, Bum-Chul, Park, Jin-Young, Lim, Hyun-Chang, Lee, Jung-Seok, Noh, InSup, Jung, Ui-Won, Choi, Seong-Ho

Journal:

Biomaterials Research

Year:

2014

Language:

english

File:

PDF, 1.33 MB

english, 2014

59

[IEEE 2013 IEEE International Symposium on Low Power Electronics and Design (ISLPED) - Beijing, China (2013.09.4-2013.09.6)] International Symposium on Low Power Electronics and Design (ISLPED) - A pipeline architecture with 1-cycle timing error correction for low voltage operations

Shin, Insup, Kim, Jae-Joon, Lin, Yu-Shiang, Shin, Youngsoo

Year:

2013

Language:

english

File:

PDF, 319 KB

english, 2013

60

PINK1 expression increases during brain development and stem cell differentiation, and affects the development of GFAP-positive astrocytes

Choi, Insup, Choi, Dong-Joo, Yang, Haijie, Woo, Joo Hong, Chang, Mi-Yoon, Kim, Joo Yeon, Sun, Woong, Park, Sang-Myun, Jou, Ilo, Lee, Sang-Hun, Joe, Eun-Hye

Journal:

Molecular Brain

Year:

2016

Language:

english

File:

PDF, 1.61 MB

english, 2016

61

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - A layered approach for testing timing in the model-based implementation

Kim, BaekGyu, Hwang, Hyeon I, Park, Taejoon, Son, Sang H., Lee, Insup

Year:

2014

Language:

english

File:

PDF, 819 KB

english, 2014

62

Preliminary 19 F-MRS Study of Tumor Cell Proliferation with 3′-deoxy-3′-fluorothymidine and Its Metabolite (FLT-MP)

Ko, In Ok, Jung, Ki-Hye, Kim, Mi Hyun, Kang, Kyeung Jun, Lee, Kyo Chul, Kim, Kyeong Min, Noh, Insup, Lee, Yong Jin, Lim, Sang Moo, Kim, Jung Young, Park, Ji-Ae

Journal:

Contrast Media & Molecular Imaging

Year:

2017

Language:

english

File:

PDF, 2.77 MB

english, 2017

63

Induction and biological evaluations of self cross-linking chondroitin sulfate-poly(ethylene oxide) hydrogel

Seongyeon Jo, Sumi Kim, Yunjae Hwang, Insup Noh

Journal:

Macromolecular Research

Year:

2011

Language:

english

File:

PDF, 387 KB

english, 2011

64

Effect of an Adipose-Derived Stem Cell and Nerve Growth Factor-Incorporated Hydrogel on Recovery of Erectile Function in a Rat Model of Cavernous Nerve Injury

Kim, In Gul, Piao, Shuyu, Lee, Ji Young, Hong, Sung Hoo, Hwang, Tae-Kon, Kim, Sae Woong, Kim, Choung Soo, Ra, Jeong Chan, Noh, Insup, Lee, Ji Youl

Journal:

Tissue Engineering Part A

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

65

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - A layered approach for testing timing in the model-based implementation

Kim, BaekGyu, Hwang, Hyeon I, Park, Taejoon, Son, Sang H., Lee, Insup

Year:

2014

Language:

english

File:

PDF, 819 KB

english, 2014

66

[IEEE 2017 IEEE Wireless Communications and Networking Conference (WCNC) - San Francisco, CA, USA (2017.3.19-2017.3.22)] 2017 IEEE Wireless Communications and Networking Conference (WCNC) - Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks

Kim, Bong Ho, Calin, Doru, Lee, Insup

Year:

2017

Language:

english

File:

PDF, 631 KB

english, 2017

67

Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models

Kim, Baekgyu, Feng, Lu, Sokolsky, Oleg, Lee, Insup

Journal:

ACM Transactions on Cyber-Physical Systems

Year:

2019

Language:

english

File:

PDF, 7.64 MB

english, 2019

68

Self-crosslinking hyaluronic acid-carboxymethylcellulose hydrogel enhances multilayered 3D printed construct shape integrity and mechanical stability for soft tissue engineering

Janarthanan, Gopinathan, Shin, HyunSoo, Kim, In-Gul, Ji, Pyung, Chung, Eun-Jae, Lee, Chibum, Noh, Insup

Journal:

Year:

2020

File:

PDF, 2.10 MB

2020

69

Run-Time Checking of Dynamic Properties

Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 324 KB

english, 2006

70

[IEEE IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'99) - Kyongju, South Korea (17-21 Oct. 1999)] Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients (Cat. No.99CH36289) - KIST teleoperation system for humanoid robot

Sokho Chang,, Jungtae Kim,, Insup Kim,, Jin Hwan Borm,, Chongwon Lee,, Jong Oh Park,

Year:

1999

Language:

english

File:

PDF, 685 KB

english, 1999

71

A single fluorescent chemosensor for multiple target ions: Recognition of Zn2+ in 100% aqueous solution and F− in organic solvent

Song, Eun Joo, Kim, Hyun, Hwang, In Hong, Kim, Kyung Beom, Kim, Ah Ram, Noh, Insup, Kim, Cheal

Journal:

Sensors and Actuators B: Chemical

Year:

2014

Language:

english

File:

PDF, 2.44 MB

english, 2014

72

[ACM Press the ACM/IEEE 4th International Conference - Philadelphia, Pennsylvania (2013.04.08-2013.04.11)] Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 - Platform dependent code generation of real-time embedded software

Kim, BaekGyu, Lee, Insup, Phan, Linh T. X., Sokolsky, Oleg

Year:

2013

Language:

english

File:

PDF, 308 KB

english, 2013

73

A single chemosensor for multiple analytes: fluorogenic detection of Zn2+ and OAc− ions in aqueous solution, and an application to bioimaging

Park, Gyeong Jin, Na, Yu Jeong, Jo, Hyun Yong, Lee, Seul Ah, Kim, Ah Ram, Noh, Insup, Kim, Cheal

Journal:

New Journal of Chemistry

Year:

2014

Language:

english

File:

PDF, 2.24 MB

english, 2014

74

HAPL: Heterogeneous Array of Programmable Logic Using Selective Mask Patterning

Shin, Youngsoo, Shin, Insup, Baek, Donkyu, Kim, Duckhwan, Paik, Seungwhun

Journal:

IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications

Year:

2014

Language:

english

File:

PDF, 2.54 MB

english, 2014

75

[IEEE 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Macau, China (2010.08.23-2010.08.25)] 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications - A Safety-Assured Development Approach for Real-Time Software

Jee, Eunkyoung, Wang, Shaohui, Kim, Jeong Ki, Lee, Jaewoo, Sokolsky, Oleg, Lee, Insup

Year:

2010

Language:

english

File:

PDF, 359 KB

english, 2010

76

One-Cycle Correction of Timing Errors in Pipelines With Standard Clocked Elements

Shin, Insup, Kim, Jae-Joon, Lin, Yu-Shiang, Shin, Youngsoo

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2015

Language:

english

File:

PDF, 2.64 MB

english, 2015

77

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

Boudjadar, Abdeldjalil, Kim, Jin Hyun, David, Alexandre, Mikucionis, Kim G. Larsen Marius, Nyman, Ulrik, Skou, Arne, Lee, Insup, Phan, Linh Thi Xuan

Year:

2015

Language:

english

File:

PDF, 619 KB

english, 2015

78

[IEEE 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - Toronto, ON, Canada (2017.5.16-2017.5.18)] 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - Extensible Energy Planning Framework for Preemptive Tasks

Kim, Jin Hyun, Gangadharan, Deepak, Sokolosky, Oleg, Legay, Axel, Lee, Insup

Year:

2017

Language:

english

File:

PDF, 958 KB

english, 2017

79

Bone regeneration using hyaluronic acid-based hydrogel with bone morphogenic protein-2 and human mesenchymal stem cells

Jungju Kim, In Sook Kim, Tae Hyung Cho, Kyu Back Lee, Soon Jung Hwang, Giyoong Tae, Insup Noh, Sang Hoon Lee, Yongdoo Park, Kyung Sun

Journal:

Year:

2007

Language:

english

File:

PDF, 1.27 MB

english, 2007

80

[IEEE 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP) - Tampere, Finland (2012.10.11-2012.10.12)] 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP) - A model-based I/O interface synthesis framework for the cross-platform software modeling

Kim, Baek Gyu, Phan, Linh T. X., Lee, Insup, Sokolsky, Oleg

Year:

2012

Language:

english

File:

PDF, 1.67 MB

english, 2012

81

A highly selective turn-on chemosensor capable of monitoring Zn2+ concentrations in living cells and aqueous solution

Park, Gyeong Jin, Kim, Hyun, Lee, Jae Jun, Kim, Yong Sung, Lee, Sun Young, Lee, Suyeon, Noh, Insup, Kim, Cheal

Journal:

Sensors and Actuators B: Chemical

Year:

2015

Language:

english

File:

PDF, 835 KB

english, 2015

82

Abolition of anaphylactic shock by solanum lyratum Thunb

Bookyung Kang, Eunhee Lee, Insup Hong, Jongsub Lee, Hyungmin Kim

Journal:

International Journal of Immunopharmacology

Year:

1998

Language:

english

File:

PDF, 219 KB

english, 1998

83

[ACM Press the 5th International Workshop - Lugano, Switzerland (2011.09.14-2011.09.14)] Proceedings of the 5th International Workshop on Web APIs and Service Mashups - Mashups '11 - ToMaTo

Chang, Jian, Venkatasubramanian, Krishna, West, Andrew G., Kannan, Sampath, Sokolsky, Oleg, Kim, Myuhng Joo, Lee, Insup

Year:

2011

Language:

english

File:

PDF, 747 KB

english, 2011

84

A desktop multi-material 3D bio-printing system with open-source hardware and software

Lee, Jaehoo, Kim, Kyu Eon, Bang, Sumi, Noh, Insup, Lee, Chibum

Journal:

International Journal of Precision Engineering and Manufacturing

Year:

2017

Language:

english

File:

PDF, 2.95 MB

english, 2017

85

Characterization of low-molecular-weight hyaluronic acid-based hydrogel and differential stem cell responses in the hydrogel microenvironments

Jungju Kim, Yongdoo Park, Giyoong Tae, Kyu Back Lee, Chang Mo Hwang, Soon Jung Hwang, In Sook Kim, Insup Noh, Kyung Sun

Journal:

Journal of Biomedical Materials Research Part A

Year:

2009

Language:

english

File:

PDF, 546 KB

english, 2009

86

Synthesis ofIn situchondroitin sulfate hydrogel through phosphine-mediated Michael type addition reaction

Seongyeon Jo, Sumi Kim, Insup Noh

Journal:

Macromolecular Research

Year:

2012

Language:

english

File:

PDF, 1023 KB

english, 2012

87

Generating Reliable Code from Hybrid-Systems Models

Anand, M., Fischmeister, S., Hur, Y., Jesung Kim, Insup Lee

Journal:

IEEE Transactions on Computers

Year:

2010

Language:

english

File:

PDF, 1.91 MB

english, 2010

88

Aggressive Voltage Scaling Through Fast Correction of Multiple Errors With Seamless Pipeline Operation

Shin, Insup, Kim, Jae-Joon, Shin, Youngsoo

Journal:

IEEE Transactions on Circuits and Systems I: Regular Papers

Year:

2015

Language:

english

File:

PDF, 1.71 MB

english, 2015

89

A water-soluble carboxylic-functionalized chemosensor for detecting Al3+ in aqueous media and living cells: Experimental and theoretical studies

Jun Lee, Jae, Jin Park, Gyeong, Sung Kim, Yong, Young Lee, Sun, Ji Lee, Hyun, Noh, Insup, Kim, Cheal

Journal:

Biosensors and Bioelectronics

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

90

[IEEE GLOBECOM 2016 - 2016 IEEE Global Communications Conference - Washington, DC, USA (2016.12.4-2016.12.8)] 2016 IEEE Global Communications Conference (GLOBECOM) - Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks

Kim, Bong Ho, Calin, Doru, Lee, Insup

Year:

2016

Language:

english

File:

PDF, 610 KB

english, 2016

91

A terpolymeric hydrogel of hyaluronate-hydroxyethyl acrylate-gelatin methacryloyl with tunable properties as biomaterial

Das, Dipankar, Cho, Hana, Kim, Nahye, Pham, Thi Thu Hien, Kim, In Gul, Chung, Eun-Jae, Noh, Insup

Journal:

Carbohydrate Polymers

Year:

2019

Language:

english

File:

PDF, 11.38 MB

english, 2019

92

[IEEE 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) - Sydney, Australia (2020.4.21-2020.4.21)] 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) - Towards formalization of wireless vehicular networking

Kaur, Ramneet, Kim, Jungyeol, Sokolsky, Oleg, Sarkar, Saswati, Ivanov, Radoslav, Lee, Insup

Year:

2020

File:

PDF, 500 KB

2020

93

Cellular behaviors on the chitosan-coated porous poly(lactide-co-glycolide) hybrid scaffolds modified by ion beams

Junghoon Woo, Sumi Kim, Doyeon Kim, Seongyeun Jo, Insup Noh

Journal:

Surface and Coatings Technology

Year:

2010

Language:

english

File:

PDF, 1.48 MB

english, 2010

94

Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC

Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 199 KB

english, 2002

95

Formal synthesis of application and platform behaviors of embedded software systems

Kim, Jinhyun, Kang, Inhye, Choi, Jin-Young, Lee, Insup, Kang, Sungwon

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.98 MB

english, 2015

96

Timed and Resource-Oriented Statecharts for Embedded Software

Kim, Jinhyun, Kang, Inhye, Choi, Jin-Young, Lee, Insup

Journal:

IEEE Transactions on Industrial Informatics

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

97

[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Power minimization of pipeline architecture through 1-cycle error correction and voltage scaling

Shin, Insup, Kim, Jae-Joon, Shin, Youngsoo

Year:

2014

Language:

english

File:

PDF, 140 KB

english, 2014

98

A fluorescence sensor for Zn2+ that also acts as a visible sensor for Co2+ and Cu2+

Song, Eun Joo, Park, Gyeong Jin, Lee, Jae Jun, Lee, Suyeon, Noh, Insup, Kim, Youngmee, Kim, Sung-Jin, Kim, Cheal, Harrison, Roger G.

Journal:

Sensors and Actuators B: Chemical

Year:

2015

Language:

english

File:

PDF, 895 KB

english, 2015

99

[IEEE 8th IEEE International Workshop on Robot and Human Interaction. RO-MAN '99 - Pisa, Italy (27-29 Sept. 1999)] 8th IEEE International Workshop on Robot and Human Interaction. RO-MAN '99 (Cat. No.99TH8483) - Time delay analysis in teleoperation system

Sokho Chang,, Jungtae Kim,, Insup Kim,, Jin Hwan Borm,, Chongwon Lee,, Jong Oh Park,

Year:

1999

Language:

english

File:

PDF, 577 KB

english, 1999

100

Erratum to: PINK1 expression increases during brain development and stem cell differentiation, and affects the development of GFAPpositive astrocytes

Choi, Insup, Choi, Dong-Joo, Yang, Haijie, Woo, Joo Hong, Chang, Mi-Yoon, Kim, Joo Yeon, Sun, Woong, Park, Sang-Myun, Jou, Ilo, Lee, Sang-Hun, Joe, Eun-Hye

Journal:

Molecular Brain

Year:

2016

Language:

english

File:

PDF, 335 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски