• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.4
• /
• pp.411-420
• /
• 2018

In this paper we introduce the notion of shadowable points for finitely generated group actions on compact metric spaace and prove that the set of shadowable points is invariant and Borel set and if chain recurrent set contained shadowable point set then it coincide with nonwandering set. Moreover an action $T{\in}Act(G, X)$ has the shadowing property if and only if every point is shadowable.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.337-344
• /
• 2018

We extend Bowen's decomposition theorem to topologically Anosov homeomorphisms on first countable, locally compact, paracompact, Hausdorff spaces which are not necessarily metrizable and not necessarily compact.

• Journal of applied mathematics & informatics
• /
• v.28 no.1_2
• /
• pp.153-162
• /
• 2010

The finite buffer GI/G/1/K system is set up by using an unconventional arrangement of the state space, in which the remaining interarrival time or service time is chosen as the level. The stationary distributions of resulting Markov chain can be explicitly determined, and the chain is positive recurrent without any restriction. This is an advantage of this method, compared with that using the elapsed time approach [2].

• Clinical and Experimental Reproductive Medicine
• /
• v.47 no.2
• /
• pp.122-129
• /
• 2020

Objective: The survival of a semi-allogeneic fetus depends on several immunological mechanisms, and it has been suggested that recurrent pregnancy loss (RPL) could develop as a result of one or more immunological abnormalities. Methods: Compatibility between partners for human leukocyte antigen (HLA) genotypes and the relationships between maternal killer-cell immunoglobulin-like receptor (KIR) and paternal HLA-Bw4/Bw6 and HLA-C1/C2 supra-groups were investigated in 25 couples with RPL in comparison to healthy couples with children. HLA and KIR genotyping was performed using polymerase chain reaction with sequence-specific primers and/or sequence-specific oligonucleotides. Results: HLA class I incompatibility between partners, especially in HLA-B alleles, was more common in the RPL group (p= 0.01). HLA-C2 homozygosity was more frequent in the male partners of RPL couples than in other groups (p= 0.03). The KIR2DL5 gene frequency was significantly higher in both the female and male partners of RPL couples, whereas the KIR2DS3 gene frequency in male partners of RPL couples was significantly reduced (p= 0.03). The presence of KIR2DL3 in women with RPL was correlated with the presence of HLA-C2 alleles in their spouses (p= 0.03). Conclusion: Our data from a Turkish population suggest that male HLA-C2 homozygosity may play an important role in RPL. Additionally, an incidental match between male HLA-C2 and female HLA-C1 ligand KIR receptors might perturb the balance between activatory and inhibitory KIR-ligand interactions during pregnancy in couples affected by RPL. The roles of orphan KIR2DL5 and orphan KIR2DS3 in RPL remain obscure.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.5
• /
• pp.2674-2697
• /
• 2019

Identity authentication is a crucial line of defense for network security, and passwords are still the mainstream of identity authentication. So far trawling password attacking has been extensively studied, but the research related with personal information is always sporadic. Probabilistic context-free grammar (PCFG) and Markov chain-based models perform greatly well in trawling guessing. In this paper we propose a systematic targeted attacking model based on structure partition and string reorganization by migrating the above two models to targeted attacking, denoted as TG-SPSR. In structure partition phase, besides dividing passwords to basic structure similar to PCFG, we additionally define a trajectory-based keyboard pattern in the basic grammar and introduce index bits to accurately characterize the position of special characters. Moreover, we also construct a BiLSTM recurrent neural network classifier to characterize the behavior of password reuse and modification after defining nine kinds of modification rules. Extensive experimental results indicate that in online attacking, TG-SPSR outperforms traditional trawling attacking algorithms by average about 275%, and respectively outperforms its foremost counterparts, Personal-PCFG, TarGuess-I, by about 70% and 19%; In offline attacking, TG-SPSR outperforms traditional trawling attacking algorithms by average about 90%, outperforms Personal-PCFG and TarGuess-I by 85% and 30%, respectively.

• Journal of The Korean Society of Inherited Metabolic disease
• /
• v.19 no.1
• /
• pp.20-25
• /
• 2019

Very-long-chain acyl-CoA dehydrogenase (VLCAD) deficiency (OMIM#201475) is an autosomal recessively inherited metabolic disorder of mitochondrial long-chain fatty acid oxidation. The clinical features of VLCAD deficiency is classified by three clinical forms according to the severity. Here, we report a case of later-onset episodic myopathic form of VLCAD deficiency whose diagnosis was confirmed by plasma acylcarnitine analysis and" multigene panel multigene panel sequencing. A 34-year old female patient visited genetics clinic for genetic evaluation for history of recurrent myopathy with intermittent rhabdomyolysis. She suffered first episode of rhabdomyolysis with acute renal failure requiring hemodialysis at twelve years old. After then, she suffered several times of recurrent rhabdomyolysis provoked by prolonged exercise or fasting. Physical and neurologic exam was normal. Serum AST/ALT and creatinine kinase (CK) levels were mildly elevated. However, according to her previous medical records, her AST/ALT, CK were highly elevated when she had rhabdomyolysis. In suspicion of fatty acid oxidation disorder, multigene panel sequencing and plasma acylcarnitine analysis were performed in non-fasting, asymptomatic condition for the differential diagnosis. Plasma acylcarnitine analysis revealed elevated levels of C14:1 ($1.453{\mu}mol/L$; reference, 0.044-0.285), and C14:2 ($0.323{\mu}mol/L$; 0.032-0.301) and upper normal level of C14 ($0.841{\mu}mol/L$; 0.065 -0.920). Two heterozygous mutation in ACADVL were detected by multigene panel sequencing and confirmed by Sanger sequencing: c.[1202G>A(;) 1349G>A] (p.[(Ser 401Asn)(;)(Arg450His)]). Diagnosis of VLCAD deficiency was confirmed and frequent meal with low-fat diet was educated for preventing acute metabolic derangement. Fatty acid oxidation disorders have diagnostic challenges due to their intermittent clinical and laboratorial presentations, especially in milder late-onset forms. We suggest that multigene panel sequencing could be a useful diagnostic tool for the genetically and clinically heterogeneous fatty acid oxidation disorders.

• BMB Reports
• /
• v.36 no.4
• /
• pp.399-402
• /
• 2003

Early detection of bladder cancer is particularly important since it dramatically affects the survival rates. However, neither urinary cytology nor tumor markers that are currently used are sensitive enough for the early detection of bladder cancer or recurrent disease. The ras genes are frequently mutated in cancer. In this study, we investigated the diagnostic potential of ras mutation analysis in urinary sediments of patients with bladder cancer using a single-strand conformation polymorphism analysis and polymerase chain reaction. Mutation in codon 12 of the H-ras gene was observed in 39% of the patients. Our results indicate that this approach may significantly improve diagnostic sensitivity in detecting bladder tumors.

• Journal of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.935-955
• /
• 2020

In this paper we present a measurable version of the Smale's spectral decomposition theorem for homeomorphisms on compact metric spaces. More precisely, we prove that if a homeomorphism f on a compact metric space X is invariantly measure expanding on its chain recurrent set CR(f) and has the eventually shadowing property on CR(f), then f has the spectral decomposition. Moreover we show that f is invariantly measure expanding on X if and only if its restriction on CR(f) is invariantly measure expanding. Using this, we characterize the measure expanding diffeomorphisms on compact smooth manifolds via the notion of Ω-stability.

• Journal of The Korean Society of Inherited Metabolic disease
• /
• v.2 no.1
• /
• pp.85-88
• /
• 2002

Methylmalonic acidemia is an inborn error of branched chain amino acid metabolism, clinically characterized by lethargy, vomiting, and hypertonia with abnormal movements, and biochemically characterized by ketoacidosis, hyperammonemia, and sometimes hyperglycinemia. Conventional treatment of methylmalonic acidemia incluides dietary protein restriction, bicarbonate, carnitine, and metronidazole. However, most patient have recurrent episodes of acidosis, and a significant number have neurologic deficits and renal impairment. We report the successful treatment of a patient with methylmalonic acidemia by liver transplantation.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.146-149
• /
• 2022

최근 검색 태스크에서는 좋은 negative sample을 얻는 방법론들이 적용되어 큰 성능 향상을 이뤘다. 하지만 좋은 negative sample 대부분의 방법들은 큰 계산 비용이 든다. 따라서 본 논문에서는 계산 비용이 적고 효과적인 negative sample을 얻기 위해 Mixed Gaussian Recurrent Chain (MGRC) sampling을 사용하여 feature 공간상에서 의미론적으로 유사한 feature를 얻고 이를 negative sample로 활용하여 기존 baseline 모델보다 좋은 성능을 얻었다.