K. Kang

Learn More
Speciication and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and(More)
This paper presents a mobile healthcare platform based on Android/OSGi platform. In this paper, we analyze Android and OSGi architecture in order to combine two each platform into one execution environment. Then, we describe fast prototype implementation applied to healthcare platform. This combined platform may contribute to improve reusability of(More)
Charged-particle spectra associated with direct photon (γ dir) and π 0 are measured in p+p and Au+Au collisions at center-of-mass energy √ s N N = 200 GeV with the STAR detector at RHIC. A shower-shape analysis is used to partially discriminate between γ dir and π 0. Assuming no associated charged particles in the γ dir direction (near side) and small(More)
We present new regularity criteria involving the integrability of the pressure for the Navier-Stokes equations in bounded domains with smooth boundaries. We prove that either if the pressure belongs to L γ,q x,t with 3/γ + 2/q ≤ 2 and 3/2 < γ ≤ ∞ or if the gradient of the pressure belongs to L γ,q x,t with 3/γ + 2/q ≤ 2 and 1 < γ ≤ ∞, then weak solutions(More)
  • K. Kang, C. Lee
  • 2016
With advancement of sensor technologies, it is now possible to manufacture cost-effective multispectral sensors for ATM (automatic teller machine). Using multispectral images, one can better cope with counterfeit banknote problems. In this paper, we propose a counterfeit banknote detection using multispectral images in visual and infrared spectrum. In the(More)
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters.
Based on a quantitative traits locus (QTL) study using a F2 intercross between Landrace and Korean native pigs, a significant QTL affecting teat numbers in SSC7 was identified. The strong positional candidate gene, TBC1D21, was selected due to its biological function for epithelial mesenchymal cell development. Sequence analysis revealed six single(More)
In this paper, we propose an application provision framework for SoD (System on-Demand) service, which is adaptive to a mobile client. In our approach, applications within the user's virtual machine can be provided to the user's mobile client in the form of a mobile application of the mobile client. The user interface and display size of the application are(More)