• Journal of Information Science Theory and Practice
• /
• v.4 no.3
• /
• pp.71-83
• /
• 2016

Purpose. The purpose of this paper is to analyze and evaluate discovery layer search tools for retrieval of legal information in Indian law libraries. This paper covers current practices in legal information retrieval with special reference to Indian academic law libraries, and analyses its importance in the domain of law.Design/Methodology/Approach. A web survey and observational study method are used to collect the data. Data related to the discovery tools were collected using email and further discussion held with the discovery layer/ tool /product developers and their representatives.Findings. Results show that most of the Indian law libraries are subscribing to bundles of legal information resources such as Hein Online, JSTOR, LexisNexis Academic, Manupatra, Westlaw India, SCC web, AIR Online (CDROM), and so on. International legal and academic resources are compatible with discovery tools because they support various standards related to online publishing and dissemination such as OAI/PMH, Open URL, MARC21, and Z39.50, but Indian legal resources such as Manupatra, Air, and SCC are not compatible with the discovery layers. The central index is one of the important components in a discovery search interface, and discovery layer services/tools could be useful for Indian law libraries also if they can include multiple legal and academic resources in their central index. But present practices and observations reveal that discovery layers are not providing facility to cover legal information resources. Therefore, in the present form, discovery tools are not very useful; they are an incomplete and half solution for Indian libraries because all available Indian legal resources available in the law libraries are not covered.Originality/Value. Very limited research or published literature is available in the area of discovery layers and their compatibility with legal information resources.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.17 no.3
• /
• pp.261-269
• /
• 2004

The existing concrete beams can be retrofitted or reinforced by attaching carbon fiber or glass fiber sheet beneath the beams. Although diverse design methods and application techniques of the retrofitting are studied and developed, the testing method of examining retrofitted beams have not been put into practice yet. In this study, a bond delamination has been modeled and studied to provide a basis for the development of actual testing equipments. For this purpose, Gaussian and sinusoidal waves with 3GHz and 5GHz center frequency are used as an incident wave and 1mm and 3mm bond delamination under the reinforcement are modeled. In the modeling, Finite Difference-Time Domain algorithm is used to investigate the behavior of electromagnetic waves in concrete. The results have shown that 5GHz waves are suitable for the detection of delamination.

• The Journal of the Korea Contents Association
• /
• v.17 no.2
• /
• pp.288-297
• /
• 2017

Online education is a new domain of learning that combines distance learning with the practice of face-to-face instruction utilizing computer-mediated communication. As technology continues to develop and the needs of teachers require better access to higher learning, online graduate degree programs can be a valid alternative. Some institutions in the United States have already offered graduate degrees in music education through the online distance learning. In this study, 8 accredited online graduate degree programs in music education were identified in terms of curriculum requirement, program requirement, and admission requirement. Online programs offer considerable benefits of convenience, while their drawbacks relates to the quality of learning, feelings of weaker interpersonal interaction. More researches need in order for online music programmers to achieve higher standards of instruction and to inform other disciplines in the fields of arts education and the performing arts.

• Journal of Korean Library and Information Science Society
• /
• v.41 no.2
• /
• pp.107-126
• /
• 2010

Education is an intentional and planned change process for achieving the objective. Thus, an educational objects sets is very important in elementary and secondary instructional practice. Bloom created the original taxonomy of the cognitive, affective, psychomotor domain for categorizing level of abstraction of questions that commonly occur in educational settings in 1956. During the 1990, Anderson & Krathwohl, Marzano led a new educational taxonomy which met for the purpose of updating the Bloom's taxonomy, hoping to add relevance for 21st century teaching and learning. The educational taxonomy with information literacy process is relationship. The purpose of this study is restructure of information literacy process based on educational object taxonomy.

• The Journal of Korean Association of Computer Education
• /
• v.20 no.2
• /
• pp.1-11
• /
• 2017

The demands of computer science education for non-majors in higher education is increasing but relevant evaluation tools for the students' computational artifacts are lack. This research aims to develop a scoring rubric to assess student's computational artifacts in non-major programming course at Computational Thinking point of view. The rubric was developed based on 'CT Practice Design Pattern' as a framework. The rubric consists of 'domain, skills, evaluation, evaluating resources, and scales'. Domains are 'Design of abstract model', 'Design and application of creative artifacts', and 'Analysis of the artifacts'. Experts reviewed the rubric to ensure contents validity. The rubric is resulted in reliable for consistency. This rubric can be revised and applied to application environment accordingly.

• Journal of the Korea Society for Simulation
• /
• v.20 no.4
• /
• pp.41-48
• /
• 2011

The act of writing a unit test is more an act of design than of verification. It is also more an act of documentation than of verification. The act of writing a unit test closes a remarkable number of feedback loops, the least of which is the one pertaining to verification of function. Unit testing is a fundamental practice in Extreme Programming, but most non-trivial code is difficult to test in isolation. Normal unit testing is hard because It is trying to test the code from outside. On the other hand, developing unit tests with Mock Objects leads to stronger tests and to better structure of both domain and test code. In this paper, I first describe how Mock Objects are used for unit testing of federation integration. Then I describe the benefits and costs of Mock Objects when writing unit tests and code. Finally I describe a design of Mock federate for using Mock objects.

• The Korean Journal of Archival Studies
• /
• no.50
• /
• pp.61-95
• /
• 2016

Many scholars exerted efforts to establish archival studies as a specialized academic domain. Two of the most often-quoted leading scholars who worked for the emergence of modern archival studies were English archivist Hilary Jenkinson (1882-1961) and American archivist Theodore R. Schellenberg (1903-1970). As they were published over 50 years ago, their theories were not only applied in various areas, but they also served as important principles in archival practice in the past. Nevertheless, there only exists a few translated books on the prominent archival theories. These studies-which directly focus on their theories or related studies such as comparative studies-lack Korean translations. The objectives of this study are to review Jenkinson and Schellenberg's biography and their professional achievements, as well as to empirically examine and investigate why there were differences in their theories by reviewing the periods they had lived and worked in. To achieve these objectives, the review of their academic and biographical backgrounds was prioritized. Their archival definitions, assessment, roles and perspectives on education as archivists were then compared one by one.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.557-568
• /
• 2008

An ontology as the core element of Semantic Web is a formal specification of a conceptualization of shared domain knowledge. The use of well-defined ontologies can increase the quality of interoperable information systems in the area of Semantic Web. However, in practice, it is not easy to develop high-quality ontologies which have no errors. Therefore, with methodologies for ontology design, various methods or tools for ontology analysis supporting for error-detection might be very helpful for ontology developers. In this paper, we propose a novel approach for analyzing the core constructs of ontology based on the Formal Concept Analysis and develop a tool that supports error-checking ontologies. Our approach can serve not only as a guidance to modify the existing ontologies, but also as a valuable tool in developing high-quality ontologies.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.1
• /
• pp.66-75
• /
• 2010

With the advances in ubiquitous service infrastructure, healthcare services have drawn attention as one of promising application domains. In ubiquitous healthcare services, patients or care-givers as well as medical personnel are asked to play their roles and, in addition, the information system is supposed to have active roles. In medicine, clinical protocols have been developed and put into practice in order to reduce treatment variances and assure the service quality. In the same token, clinical protocols on ubiquitous service practices are need to be developed which takes into account both the clinical details and the ubiquitous service functionality. This paper introduces a clinical protocol modeling methodology which pays attention to participants and their tasks including contextual information. The proposed method has been successfully applied to a real application domain, OAB(overactive bladder) syndrome patient care to see how it builds a clinical protocol.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.