• Language and Information
• /
• v.18 no.2
• /
• pp.123-140
• /
• 2014

The aim of this paper is twofold: to identify two types of even if concessive conditionals, standing-ifs and introduced-ifs (Bennett 1982) in terms of whether the truth of the consequent is 'entailed' (the consequent-entailment problem in terms of Lycan 2001); and to analyze these two types of concessive conditionals in a compositional way. Here we argue that, following Guerzoni and Lim (2007), even if conditionals can be analyzed as the cases where even gets its focus in conditionals. We also argue that the consequent-entailment problem can be accounted for in a compositional way if we identify the focus as well as the scope of even in conditionals correctly. We further argue that the analysis presented in this paper supports the scope theory of even, among two theories of even previously proposed in various works. We also consider the possibility where concessive conditionals without even can be analyzed as an extension of the analysis proposed in this paper.

• Journal of Korean Dental Science
• /
• v.13 no.1
• /
• pp.21-27
• /
• 2020

Purpose: The aim of this study was to investigate the types and frequency of the various incidental findings (IFs) on magnetic resonance images (MRI) taken from the patients with temporomandibular disorder (TMD) symptoms. Materials and Methods: Temporomandibular joint (TMJ) MRI taken from 1,013 patients with TMD symptoms were evaluated retrospectively. IF was defined as imaging features that were accidentally or unexpectedly found, rather than degenerative bony changes of TMJ complex or disc derangement. They were classified into two groups as TMJ site-specific findings and unexpected findings at other regions. The frequency of the sub groups was analyzed. Result: A total of 26 (2.57%) cases with IFs were classified into 13 cases with TMJ site-specific findings and 13 cases with unexpected findings at other region. TMJ site-specific findings included synovial chondromatosis in 6 cases, synovial cyst in 6 cases and osteochondroma in one case. Unexpected findings included salivary gland tumor in 3 cases, developmental cyst in 3 cases, vascular malformation in 2 cases, mastoiditis in 4 cases and sialadenitis on parotid gland in one case. Conclusion: When diagnosing TMD through TMJ MRI, clinicians should carefully read the image, considering the possibility of IFs because TMJ MRI can provide pathologic information in TMJ region and other oral and maxillofacial region.

• Journal of Life Science
• /
• v.21 no.11
• /
• pp.1526-1531
• /
• 2011

Local protein synthesis in neuronal dendrites is important for site-specific regulation of synaptic plasticity. In this study, we investigated whether translation initiation factors (eIFs) are present at the postsynaptic sites. High resolution confocal microscopy showed that the eIF4E and eIF4G (which bind the 5'-terminal mRNA cap), eIF5 (which is important during the 3' direction scanning to find an initiation codon), eIF6 (which mediates upregulation of translation by external stimuli), and eIF5A (which mediate translation upregulation under adverse conditions) were localized to the post-synaptic sites. Immunoblot and detergent extraction experiments also indicated that these eIFs were present in the synapse in association with the postsynaptic density (PSD). Our data provide evidence for the strategic positioning of eIFs at the postsynaptic site for initiation of translation in diverse situations.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.3
• /
• pp.322-327
• /
• 2007

Researchers in the field of psychology used Electroencephalographic (EEG) to record activities of human brain lot many years. As technology develope, neural basis of functional areas of emotion processing is revealed gradually. So we measure fundamental areas of human brain that controls emotion of human by using EEG. Hands gestures such as shaking and head gesture such as nodding are often used as human body languages for communication with each other, and their recognition is important that it is a useful communication medium between human and computers. Research methods about gesture recognition are used of computer vision. Many researchers study emotion recognition method which uses one of physiological signals and gestures in the existing research. In this paper, we use together physiological signals and gestures for emotion recognition of human. And we select the driver emotion as a specific target. The experimental result shows that using of both physiological signals and gestures gets high recognition rates better than using physiological signals or gestures. Both physiological signals and gestures use Interactive Feature Selection(IFS) for the feature selection whose method is based on a reinforcement learning.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.111-117
• /
• 2018

It is indispensable for a missile to track a target under the flight condition since the tracking capability affects the system performance considerably. The best way to verify the tracker's performance is flight test while it costs too much. Consequently, captive flight test or CFT has an important role in the development of a missile system. CFT, however, cannot simulate missile dynamics and is an offline and open-loop test. In this paper, we propose a new integrated-flight simulation(IFS) method using CFT imagery to overcome the limitation of synthetic image-based IFS method. This method increases the utilization of CFT's outputs and compensates the reality of imagery which lacks in the synthetic image-based IFS. Using this method make it possible to verify the system capability in various simulation modes.

• Korean journal of applied entomology
• /
• v.53 no.1
• /
• pp.27-34
• /
• 2014

Entomopathogenic fungi were isolated from Bemisia tabaci in an Oriental melon field, and their growth characteristics, factors related to a natural outbreak, and infectivity against Bemisia tabaci, Tetranychus urticae, and Frankliniella intonsa were investigated. The isolates had erect conidiophores bearing whorls of 4-6 phialides with a swollen base where cylindrical conidia of $3.0-3.4{\mu}m$ were attached. The isolates were identified as Isaria fumosorosea on the basis of morphological characteristics and an ITS sequence with 99% similarity. I. fumosorosea IFs-08 grew well on Sabouraud dextrose agar+yeast extract medium(3.2 mm/day/$24^{\circ}C$); it grew better at $35^{\circ}C$ than at $15^{\circ}C$. The isolates of I. fumosorosea-IFs were highly infective and killed 93.9-96.7% B. tabaci, 84.9-92.0% T. urticae, and 81.5-84.4% F. intonsa in bioassay, whereas three isolates (Isaria tenuipes, Isaria farinosa, and Isaria fumosorosea) from KACC showed a low infectivity of 10-20%. To the best of our knowledge, this is the first report of I. fumosorosea isolated from B. tabaci in Korea.

• Journal of Korean Institute of Fire Investigation
• /
• v.7 no.1
• /
• pp.55-68
• /
• 2005

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.491-500
• /
• 2006

In this paper, we define intuitionistic fuzzy subalgebras of B-algebras which is related to several classes of algebras such as BCI/BCK-algebras. We could obtain some important results for the homomorphic image and equivalence relations on IFS(X).

• The Bulletin of The Korean Astronomical Society
• /
• v.40 no.1
• /
• pp.74.2-74.2
• /
• 2015

Strong outflows from active galactic nuclei (AGNs) may play a crucial role in galaxy evolution. Integral-field spectroscopy (IFS) is the most powerful tool to study the detailed kinematics of AGN outflows. We present the on-going optical 3D spectroscopic survey of ionized gas outflows. Type 2 AGN sample is uniquely selected from SDSS DR7 with a luminosity-limit (i.e., L[O III] > $10^{41.5}erg/s$) as well as strong kinematic signatures of ionized gas outflows ([O III] velocity shift > ~200 km/s or [O III] velocity dispersion (FWHM) > 1000 km/s), defining an extremely rare population (< ~0.5%). Thus, these AGNs with strong outflow signatures are one of the best suites for investigating AGN feedback. The IFS observations cover several kpc scales for the central region of the host galaxies, providing a detailed information of the kinematics and geometry of the gas outflows. In this contribution, we report the current status of the survey and the preliminary results on gas kinematics of 18 AGNs, based on the Magellan/IMACS-IFU and the VLT/VIMOS data.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.1
• /
• pp.54-60
• /
• 2011

The flight control law designed for prototype aircraft often leads to degraded stability and performance, although developed control law verify by non-real time simulation and pilot based evaluations. Therefore, the proper evaluation methods should be applied such that flight control law designed can be verified in real flight environment. The one proposed in this paper is IFS (In-Flight Simulator). Currently, this system has been implemented into the F-18 HARV (High Angle of Attack Research Vehicle), SU-27 and F-16 VISTA (Variable stability In flight Simulation Test Aircraft) programs. The IFS necessary switching control law such as fader logic and integrator stand-by mode to reduce abrupt transient and minimize the integrator effect for each flight control laws switching. This paper addresses the concept of switching mechanism with fader logic of "TFS (Transient Free Switch)" and stand-by mode of "feedback type" based on SSWM (Software Switching Mechanism). And the result of real-time pilot evaluation reveals that the aircraft is stable for inter-conversion of flight control laws and transient response is minimized.