http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Oh, H.,Park, J.,Han, S.H.,Mishra, N.K.,Lee, S.H.,Oh, Y.,Jeon, M.,Seong, G.J.,Chung, K.Y.,Kim, I.S. Pergamon Press 2017 Tetrahedron Vol.73 No.32
The rhodium(III)-catalyzed C-H alkylations of indolines with enones and enals is described. This reaction can proceed through 1,4-conjugate addition and protonation process providing β-indolinic ketone compounds, which are known to be crucial scaffolds of biologically active compounds.
Laser-induced electrical property patterning of Ag nanowire transparent electrode
Oh, H.,Lee, M. North-Holland 2016 Materials Letters Vol.176 No.-
We here introduce a laser-driven method to pattern Ag nanowire (AgNW) transparent electrode without material removal. Our approach is to block the current flow in selected areas by cutting nanowires, which is fundamentally based on the Rayleigh instability. AgNW film spin-coated onto a glass substrate was selectively irradiated using a nanosecond-pulsed ultraviolet laser beam. This made it possible to fabricate a patterned structure consisting of spatially separated conducting and insulating regions. The feasibility of this electrical property patterning was demonstrated with white light emitting diodes attached to the fabricated pattern.
Limits of translates of divergent geodesics and integral points on one-sheeted hyperboloids
Oh, H.,Shah, N. A. Springer Science + Business Media 2014 Israel journal of mathematics Vol.199 No.2
For any non-uniform lattice Gamma in SL2(R), we describe the limit distribution of orthogonal translates of a divergent geodesic in Gamma\SL2(R). As an application, for a quadratic form Q of signature (2, 1), a lattice Gamma in its isometry group, and v(0) is an element of R-3 with Q(v(0)) > 0, we compute the asymptotic (with a logarithmic error term) of the number of points in a discrete orbit v(0)Gamma of norm at most T, when the stabilizer of v(0) in Gamma is finite. Our result in particular implies that for any non-zero integer d, the smoothed count for the number of integral binary quadratic forms with discriminant d (2) and with coefficients bounded by T is asymptotic to c . T log T + O(T).
Access-based abstract memory localization in static analysis
Oh, H.,Yi, K. North-Holland Pub. Co 2013 Science of computer programming Vol.78 No.9
On-the-fly localization of abstract memory states is vital for economical abstract interpretation of imperative programs. Such localization is sometimes called ''abstract garbage collection'' or ''framing''. In this article we present a new memory localization technique that is more effective than the conventional reachability-based approach. Our technique is based on a key observation that collecting the reachable memory parts is too conservative and the accessed parts are usually tiny subsets of the reachable part. Our technique first estimates, by an efficient pre-analysis, which parts of input states will be accessed during the analysis of each code block. Then the main analysis uses the access-set results to trim the memory entries before analyzing code blocks. In experiments with an industrial-strength global C static analyzer, the technique is applied right before analyzing each procedure's body and reduces the average analysis time and memory by 92.1% and 71.2%, respectively, without sacrificing the analysis precision. In addition, we present three extensions of access-based localization: (1) we generalize the idea and apply the localization more frequently such as at loop bodies and basic blocks as well as procedure bodies, additionally reducing analysis time by an average of 31.8%; (2) we present a technique to mitigate a performance problem of localization in handling recursive procedures, and show that this extension improves the average analysis time by 42%; (3) we show how to incorporate the access-based localization into relational numeric analyses.
Oh, H.,Kwak, J.S.,Yang, S.,Gong, M.K.,Kim, J.H.,Rhee, J.,Kim, S.K.,Kim, H.E.,Ryu, J.H.,Chun, J.S. Published for the Society by Baillère Tinda 2015 Osteoarthritis and cartilage Vol.23 No.12
Objective: Hypoxia-inducible factor-2α (HIF-2α) transcriptionally upregulates Nampt in articular chondrocytes. NAMPT, which exhibits nicotinamide phosphoribosyltransferase activity, in turn causes osteoarthritis (OA) in mice by stimulating the expression of matrix-degrading enzymes. Here, we sought to elucidate whether HIF-2α activates the NAMPT-NAD<SUP>+</SUP>-SIRT axis in chondrocytes and thereby contributes to the pathogenesis of OA. Methods: Assays of NAD levels, SIRT activity, reporter gene activity, mRNA, and protein levels were conducted in primary cultured mouse articular chondrocytes. Experimental OA in mice was induced by intra-articular (IA) injection of adenovirus expressing HIF-2α (Ad-Epas1) or NAMPT (Ad-Nampt). The functions of SIRT in OA were examined by IA co-injection of SIRT inhibitors or adenovirus expressing individual SIRT isoforms or shRNA targeting specific SIRT isoforms. Results: HIF-2α activated the NAMPT-NAD<SUP>+</SUP>-SIRT axis in chondrocytes by upregulating NAMPT, which stimulated NAD<SUP>+</SUP> synthesis and thereby activated SIRT family members. The activated NAMPT-SIRT pathway, in turn, promoted HIF-2α protein stability by negatively regulating its hydroxylation and 26S proteasome-mediated degradation, resulting in increased HIF-2α transcriptional activity. Among SIRT family members (SIRT1-7), SIRT2 and SIRT4 were positively associated with HIF-2α stability and transcriptional activity in chondrocytes. This reciprocal regulation was required for the expression of catabolic matrix metalloproteinases (MMP3, MMP12, and MMP13) and OA cartilage destruction caused by IA injection of Ad-Epas1 Ad-Nampt. Conclusion: The reciprocal regulation of HIF-2α and the NAMPT-NAD<SUP>+</SUP>-SIRT axis in articular chondrocytes is involved in OA cartilage destruction caused by HIF-2α or NAMPT.
Oh, H.,Kim, J.,Son, H.,Youn, B. D.,Jung, B. C. Springer Science + Business Media 2016 Structural and multidisciplinary optimization Vol.54 No.6
<P>In recent years, virtual testing has played an increasingly important role in the design and evaluation of engineered products. However, it is challenging to build the highly accurate computational models for virtual testing. Blind and recognized uncertainties are often unintentionally incorporated. These uncertainties consequently decrease the predictive capability of the models. To this end, this paper proposes a systematic approach for model refinement that minimizes the impact of unrecognized blind and recognized epistemic uncertainties in computational modeling. The approach consists of three steps: model invalidity analysis (MIA), development of an invalidity reasoning tree (IRT), and invalidity sensitivity analysis (ISA). First, in the MIA, possible causes that lead to discrepancies between the experimental and simulation responses are identified through brainstorming. Next, the IRT is built using the affinity diagram. It sequentially lists and screens potential candidate issues for model refinement at the stages of conceptual, mathematical, and computational modeling. Finally, the ISA quantifies the effect of incorporating updates in the model to address potential candidate issues with the goal of reducing the impact of the blind and recognized uncertainties. The most critical candidates are determined by using a weighted decision matrix. To demonstrate the effectiveness of the proposed approach, a case study examining a smartphone liquid crystal display fracture is presented.</P>
Prime number theorems and holonomies for hyperbolic rational maps
Oh, H.,Winter, D. Springer Science + Business Media 2017 Inventiones mathematicae Vol.208 No.2
<P>For a hyperbolic rational map f of degree at least two on the Riemann sphere, we obtain estimates for the number of primitive periodic orbits of f ordered by their multiplier, and establish equidistribution of the associated holonomies, both with power saving error terms.</P>