• Molecules and Cells
• /
• v.39 no.6
• /
• pp.501-507
• /
• 2016

The corpus callosum is a bundle of nerve fibers that connects the two cerebral hemispheres and is essential for coordinated transmission of information between them. Disruption of early stages of callosal development can cause agenesis of the corpus callosum (AgCC), including both complete and partial callosal absence, causing mild to severe cognitive impairment. Despite extensive studies, the etiology of AgCC remains to be clarified due to the complicated mechanism involved in generating AgCC. The biological function of PI3K signaling including phosphatidylinositol-3,4,5-trisphosphate is well established in diverse biochemical processes including axon and dendrite morphogenesis, but the function of the closely related phosphatidylinositol-3,4,-bisphosphate (PI(3,4)P2) signaling, particularly in the nervous system, is largely unknown. Here, we provide the first report on the role of inositol polyphosphate 4-phosphatase II (INPP4B), a PI(3,4)P2 metabolizing 4-phosphatase in the regulation of callosal axon formation. Depleting INPP4B by in utero electroporation suppressed medially directed callosal axon formation. Moreover, depletion of INPP4B significantly attenuated formation of Satb2-positive pyramidal neurons and axon polarization in cortical neurons during cortical development. Taken together, these data suggest that INPP4B plays a role in the regulating callosal axon formation by controlling axon polarization and the Satb2-positive pyramidal neuron population. Dysregulation of INPP4B during cortical development may be implicated in the generation of partial AgCC.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.9
• /
• pp.99-109
• /
• 2016

This paper presents a method for generating spatiotemporal images to detect the leukocyte motions in a microvessel. By using the constraint that the leukocytes move along the contour line of a blood vessel wall, the method detects leukocyte motions and then generates spatiotemporal images. the translational motion by a movement in vivo is removed first by the template matching method. Next, a blood vessel region is detected by the automatic threshold selection method to binarize the temporal variance image, then a blood vessel wall's contour is expressed by B-spline function. With the detected blood vessel wall's contour as an initial curve, the plasma layer of the best accurate position is determined to be the spatial axis by snake. Finally, the spatiotemporal images are generated. The experimental results show the spatiotemporal images are generated effectively through the comparison of each step of three image sequences.

• Journal of KIISE:Databases
• /
• v.29 no.6
• /
• pp.417-428
• /
• 2002

XML(extensible Markup Language) is effective to information retrieval and sharing but has defects related to the data security. And, as a solution of this problem, the current XML security researches such as XML digital signature, XML data encryption, and XML access control exclude the validation property of XML document. The validation of XML should be considered for the secure information sharing in the XML-based environment. In this paper, we design and implement the system to support both security and validation to XML document. Our system performs data encryption and maintenance of valid status of XML document by referencing new XML schema namespace. In addition, it also provides the XML schema security function through the XML schema digital signature. During generating XML schema digital signature, DOMHash method which has the advantage of the faster speed than canonical XML method is applied to XML schema. In conclusion, our system shows the improved functions in flexibility, scalability, and reliability compared with the existing XML security researches.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.6
• /
• pp.1373-1383
• /
• 2017

Deduplication is a function to effectively manage data and improve the efficiency of storage space. When the deduplication is applied to the system, it makes it possible to efficiently use the storage space by dividing the stored file into chunks and storing only unique chunk. However, the commercial digital forensic tool do not support the file system analysis, and the original file extracted by the tool can not be executed or opened. Therefore, in this paper, we analyze the process of generating chunks of data for a Windows Server 2012 system that can apply deduplication, and the structure of the resulting file(Chunk Storage). We also analyzed the case where chunks that are not covered in the previous study are compressed. Based on these results, we propose the method to collect deduplicated data and reconstruct the original file for digital forensic investigation.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.25 no.3
• /
• pp.239-247
• /
• 2007

The 3D spatial information projects have been processed and utilized in varied fields. However, the research of the 3D digital map for a role of national base map is not enough. The draft maps, which are raw data for generating 2D digital map, shows problems in generating 3D digital map. The objective of this research is to develop 3D digital map editing system for modifying and editing of 3D digital map from 2D vector and raster information such as a draft map, 2D digital map, DEM, aerial photo and so forth. This 3D digital map editing system was designed to include data structure of geometric and attribute object under provision of ISO/TC211 and OGC standard. This system was developed to implement the function of 3D stereo editing based on stereo viewing, 3D view editing based on projective, and 3D spatial operation. Using this system, 3D digital maps were able to be successfully produced from not only existing draft maps but also modified or edited draft maps and then application results were compared and analyzed.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.11 no.2
• /
• pp.85-92
• /
• 2008

This study, the one concerning the evaluation analysis of the function of the wind generation using KLAM_21, has examined closely how the wind really flows on the space of the city, working with the object of case location. In the first place, the cold air formed at upper stream of Sincheon river, a ravine of whole area of Gachang gully and an inclined plane of neighboring mountainous district, flows to the north and expands itself along the upper stream of the Sincheon river, and as the time passes, it is tending upwards in the change of the volume and height as well as of the velocity and direction, of the cold air. It was learned that this phenomenon has made it clear that the spatial features of this area give rise to very good condition in generating and flowing the cold air. Meanwhile, it has been shown that in the area of park in the Ap-mountain, the generation and flow of the cold air are much interrupted because of the overpass traversing the whole area of the park of Ap-mountain, the congested area of large-scaled apartments and the urban development activities constructing the building in the park, and the volume and height of the cold air has been grown very small. In conclusion, It has been learned that for maximization of the spatial effect of the wind corridor, the areas where the cold air is generated, flowed, accumulated, and maintained, have to be connected spatially, and this spatial connection has a close relation with spatial features of the area.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.6B
• /
• pp.325-333
• /
• 2007

An OS requires the device driver to control hardware IPs at application level. Development of a device driver requires specific acknowledge for target hardware and OS. In this paper, we present a system which generates a device driver together with an interface circuit. In the proposed system, an efficient device driver is generated by selecting a basic device driver skeleton, a function module code, and a header file table from the pre-constructed library and an interface circuit is constructed such that the generated device driver operates correctly. The proposed system is evaluated by generating a TFT-LCD device driver on the ARM922T core with 3.5 inch Samsung TFT-LCD in ARM-Linux environment. Experiment result shows that the writing time on the LCD is decreased by 1.12% and the compiled code size is increased by 0.17% compared to the manually generated one. The automatically generated device driver has no performance degradation in the latency of hardware control at the application program level. The system development time can be reduced using the proposed device driver generation system.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.1
• /
• pp.1-10
• /
• 2014

In this paper, we study approximations of the ruin probability in a continuous time surplus process. First, we introduce the well-known approximation formulas of the ruin probability such as Cram$\acute{e}$r, Tijms' and De Vylder's methods. We, then, suggest new approximation formulas of two types, which improve the existing approximation formulas. One is Cram$\acute{e}$r and Tijms' type which makes use of the moment generating function of distribution of a claim size and the other is De Vylder's type which makes use of the surplus process with exponential claims. Finally, we compare, by illustrating numerical examples, the newly suggested approximation formulas with the existing approximation formulas of the ruin probability.

• Journal of KIISE
• /
• v.44 no.3
• /
• pp.239-245
• /
• 2017

Probabilistic grammar is used in natural language processing, and the parse result of the grammar has to preserve the probability of the original grammar. As for the representative parsing method, LL parsing and LR parsing, the former preserves the probability information of the original grammar, but the latter does not. A characteristic of a probabilistic parsing automaton has been studied; but, currently, the generating model of probabilistic parsing automata has not been known. The paper provides a model of probabilistic parsing automata based on the single state parsing automata. The generated automaton preserves the probability of the original grammar, so it is not necessary to test whether or not the automaton is probabilistic parsing automaton; defining a probability function for the automaton is not required. Additionally, an efficient automaton can be constructed by choosing an appropriate parameter.

• Journal of Korea Society of Industrial Information Systems
• /
• v.22 no.1
• /
• pp.23-32
• /
• 2017

In this paper, We suggest a unified approach for the analysis of discrete-time MAP/G/1 queueing system. Many researches on the D-MAP/G/1 queue have been used different approach to analyze system queue length and waiting time for the same system. Therefore, a unified framework for analyzing a system is necessary from a viewpoint of system design and management. We first derived steady-state workload distribution, and then waiting time and sojourn time are derived by the result of workload analysis. Finally, system queue length distribution is derived with generating function from the sojourn time distribution.