Learn More
RATIONALE Eosinophilic pleural effusion (EPE) is characterized by greater than 10% eosinophilia and is frequently associated with air and/or blood in the pleural cavity. Primary spontaneous pneumothorax (PSP), defined as the spontaneous presence of air in the pleural space, is one of the most common causes of EPE. Recent studies have shown that type 2(More)
Combinatorial testing aims at reducing the cost of software and system testing by reducing the number of test cases to be executed. We propose an approach for combinatorial testing that generates a set of test cases that is as small as possible, using incremental SAT solving. We present several search-space pruning techniques that further improve our(More)
This study was conducted to determine whether CD4 T cell responses to citrullinated fibrinogen occur in patients with rheumatoid arthritis (RA), especially in HLA-DR4-positive subjects. Whole peripheral blood mononuclear cells (PBMCs) of RA patients and control subjects were stimulated with citrullinated fibrinogen peptides, and T-cell production of(More)
An increasing number of outbreaks of avian influenza H5N1 and H9N2 viruses in poultry have caused serious economic losses and raised concerns for human health due to the risk of zoonotic transmission. However, licensed H5N1 and H9N2 vaccines for animals and humans have not been developed. Thus, to develop a dual H5N1 and H9N2 live-attenuated influenza(More)
Inferior alveolar nerve block (IANB) anesthesia is one of the most common procedures in the dental clinic. Although this procedure is well known for its safety, complications can still occur. An ocular complication such as diplopia, loss of vision, or ophthalmoplegia is very rare, but once it happens, both the dentist and patient can be perplexed by the(More)
Shaker-like potassium channels are highly conserved voltage-dependent ion channels in plants. Rice, a monocot model plant, has similar numbers of shaker-like potassium channels as Arabidopsis. Although several inward-rectifying potassium channels have been identified, no outward-rectifying potassium channels have yet been reported for rice. Here, we(More)
Potassium is the most abundant cation and a myriad of transporters regulate K(+) homeostasis in plant. Potassium plays a role as a major osmolyte to regulate stomatal movements that control water utility of land plants. Here we report the characterization of two inward rectifying shaker-like potassium channels, OsKAT2 and OsKAT3, expressed in guard cell of(More)
OBJECTIVES This study investigated the relationship of occupational class and educational background with proportional mortality ratios in Korea. METHODS Mortality was investigated using the entire registered death data from 1993 to 2004, obtained from the Korean National Statistics Office. Proportional mortality ratios (PMRs) for specific diseases were(More)
This paper proposes an approach for verifying class specifications of Web applications using model checking. We first present a method to model a dynamic behavior of a Web application from a class specification. We next propose two methods to verify consistencies of the class specification and other design specifications: (1) a page flow diagram which is(More)