Reviewerly/exHarmony huggingface dataset:
E-Modul Tematik Berbasis Inquiry Menggunakan Aplikasi Software Lectora Inspire

This research develops and describes E-module Inquiry based using a fleksible and practical Lectora Inspire Software application on the theme of 5 Subtheme 2 My Heroes Pride of grade IV elementary school. This research is a research development that adapts the ADDIE model with 5 stages, namely: Analysis, Design, Development, Implementation and Evaluation. The subjects of this research trial were 16 students in grade IV SDN 2 Margomulyo with 16 students. This data collection research instrument uses a questionnaire of eligibility and practicality that has passed the validation stage by two experts namely material experts, media experts and practitioners (teachers) and then tested on students. Data analysis techniques using qualitative and quantitative descriptives. The results of the study stated that the Inquiry-based E-module using the Lectora Inspire Software application obtained a media expert score of 94% with a very valid category, material experts obtained a score of 77.7% with a fairly valid category, by practitioners (grade IV teachers) and obtained a score 75% with the category is quite valid, the assessment of student response results in 81.5% field trials. Based on the presentation of the above assessment results, the Inquiry-based E-module using the Lectora Inspire Software application Very Valid and Very Good is used in the field.
An Implementation of 2015 Music Revised National urriculum Focusing on the 3rd and 4th Grades of Elementary School

본 연구의 목적은 2015 개정 교육과정이 적용된 초등학교 3∼4학년을 중심으로 교육과정이 학교 현장에서 운영되고 있는 실태와 학교에서 교육과정을 운영하면서 당면하는 어려움 및 문제점을 파악하고, 이를 바탕으로 개정 교육과정의 안착을 위한 지원 방안을 제안하는 것이다. 초등학교 3∼4학년의 음악과 개정 교육과정의 변화 및 쟁점은 3∼4학년에서 ‘생활 속의 국악’을 내용 체계 중 내용 요소로 제시함으로써 국악의 생활화와 국악 가치의 인식을 강조했는데, 이들이 실제 교육과정에 어떻게 적용되고 있는지를 살펴야 하는 것으로 파악되었다. 음악과의 운영 실태에 대한 설문조사 결과 음악은 교과 역량, 학습 내용 수준과 양이 적절하다는 의견이었지만, ‘음악의 구성’이 쉬운 반면 ‘생활 속의 국악’은 어렵다는 의견이 많았다. 그리고 학습자의 다양성을 고려한 학생 참여 중심 수업과 교과서 선정 및 활용이 어려움으로 꼽혔다. 음악 교육 내실화를 위해서는 환경적 지원 및 교수·학습 자료, 악기 및 교구 등 다양한 분야에서 지원 필요성을 제기하였고, 학생들의 수준 차이를 고려한 학생 중심 수업 구현과 음악 교육과정 내용 요소 상세화 및 국악 교육 내용 수준의 적정화의 필요를 강조하였다.The purposes of the current study are to identify the situation in which the 2015 revised national curriculum was implemented focusing on the 3rd and 4th grades at schools, and the difficulties and problems faced in implementing the curriculum at elementary schools, and to propose support measures for settling down the 2015 revised national curriculum. Music emphasizes that Korean traditional music should be a part of life and highlights the recognition of the values of Korean traditional music &#8203;&#8203;by presenting “Korean traditional music in life” as a content element in the 3rd and 4th grades, which were found to investigate how they are being applied in the actual curriculum implementation. In regard to music, it was reported that the subject competencies, the level of content elements, and the volume of learning were appropriate. Many reported that “the composition of music” is easy, while “Korean traditional music in life” was difficult. In addition, student-centered classes considering the diversity of learners, and textbook selection and utilization were recognized as difficulties. For the improvement of music education, the need for environmental support and for providing teaching and learning materials, and musical instruments was stressed. the need for student-centered classes considering students’ different learning needs was emphasized as well as specifications for music composition and to optimize content levels of Korean traditional music education.
Learning to Classify Events from Human Needs Category Descriptions

We study the problem of learning an event classifier from human needs category descriptions, which is challenging due to: (1) the use of highly abstract concepts in natural language descriptions, (2) the difficulty of choosing key concepts.To tackle these two challenges, we propose LEAPI, a zero-shot learning method that first automatically generate weak labels by instantiating high-level concepts with prototypical instances and then trains a human needs classifier with the weakly labeled data.To filter noisy concepts, we design a reinforced selection algorithm to choose high-quality concepts for instantiation.Experimental results on the human needs categorization task show that our method outperforms baseline methods, producing substantially better precision.
On the Optimal Weighted $\ell_2$ Regularization in Overparameterized Linear Regression

We consider the linear model $\mathbf{y} = \mathbf{X} \mathbf{\beta}_\star + \mathbf{\epsilon}$ with $\mathbf{X}\in \mathbb{R}^{n\times p}$ in the overparameterized regime $p>n$. We estimate $\mathbf{\beta}_\star$ via generalized (weighted) ridge regression: $\hat{\mathbf{\beta}}_\lambda = \left(\mathbf{X}^T\mathbf{X} + \lambda \mathbf{\Sigma}_w\right)^\dagger \mathbf{X}^T\mathbf{y}$, where $\mathbf{\Sigma}_w$ is the weighting matrix. Under a random design setting with general data covariance $\mathbf{\Sigma}_x$ and anisotropic prior on the true coefficients $\mathbb{E}\mathbf{\beta}_\star\mathbf{\beta}_\star^T = \mathbf{\Sigma}_\beta$, we provide an exact characterization of the prediction risk $\mathbb{E}(y-\mathbf{x}^T\hat{\mathbf{\beta}}_\lambda)^2$ in the proportional asymptotic limit $p/n\rightarrow \gamma \in (1,\infty)$. Our general setup leads to a number of interesting findings. We outline precise conditions that decide the sign of the optimal setting $\lambda_{\rm opt}$ for the ridge parameter $\lambda$ and confirm the implicit $\ell_2$ regularization effect of overparameterization, which theoretically justifies the surprising empirical observation that $\lambda_{\rm opt}$ can be negative in the overparameterized regime. We also characterize the double descent phenomenon for principal component regression (PCR) when both $\mathbf{X}$ and $\mathbf{\beta}_\star$ are anisotropic. Finally, we determine the optimal weighting matrix $\mathbf{\Sigma}_w$ for both the ridgeless ($\lambda\to 0$) and optimally regularized ($\lambda = \lambda_{\rm opt}$) case, and demonstrate the advantage of the weighted objective over standard ridge regression and PCR.
Inferring Symbolic Automata

We study the learnability of symbolic finite state automata (SFA), a model shown useful in many applications in software verification. The state-of-the-art literature on this topic follows the query learning paradigm, and so far all obtained results are positive. We provide a necessary condition for efficient learnability of SFAs in this paradigm, from which we obtain the first negative result. The main focus of our work lies in the learnability of SFAs under the paradigm of identification in the limit using polynomial time and data, and its strengthening efficient identifiability, which are concerned with the existence of a systematic set of characteristic samples from which a learner can correctly infer the target language. We provide a necessary condition for identification of SFAs in the limit using polynomial time and data, and a sufficient condition for efficient learnability of SFAs. From these conditions we derive a positive and a negative result. The performance of a learning algorithm is typically bounded as a function of the size of the representation of the target language. Since SFAs, in general, do not have a canonical form, and there are trade-offs between the complexity of the predicates on the transitions and the number of transitions, we start by defining size measures for SFAs. We revisit the complexity of procedures on SFAs and analyze them according to these measures, paying attention to the special forms of SFAs: normalized SFAs and neat SFAs, as well as to SFAs over a monotonic effective Boolean algebra. This is an extended version of the paper with the same title published in CSL'22.
An Empirical Study on the Factors Influencing the Promotion of Mixed Teaching Products in the University Market

Purpose - Under the background of open education resources sharing in the Internet era, the online and offline blended teaching has played a role in the quality assurance of school training, and gradually attracted people’s attention. In order to promote the promotion of Blended Teaching in the university market, this paper selects the technology acceptance model (TAM) as the theoretical model, and carries out empirical research by constructing the theoretical model and the corresponding questionnaire survey, so as to objectively grasp the characteristics of the mixed teaching theory and practice, and explore the main factors affecting the mixed teaching in the university market, so as to improve the development of the mixed teaching in the university market To help college classroom teaching reform take root and grow in the market of colleges and universities. Design/Methodology/Approach - In order to verify the above assumptions and ensure the objectivity and veracity of the research conclusions, this study was conducted by collecting the research data through a questionnaire and then using SmartPLS 3.0 software to translate the conceptual model into the initial structural equation model. Findings - In this paper, the details of some specific variables and the relationship between them need to be further studied. In the next step, we will continue to pay attention to and research in this field, actively study the frontier theory and find appropriate data analysis tools to ensure that the future research results are more objective and real, provide more scientific research conclusions for the promotion of Blended Teaching in Colleges and universities, promote the integration of Blended Teaching into college classroom teaching and improve the quality of education. Research Implications - Mixed-form teaching emphasizes practical teaching, persisting in “integration of rationality”, breaks through the conundrum of combining teaching with learning, theory and practice in the information technology environment, solves the malpractice of teachers’ education and teaching, improves the production ability of teachers’ digital teaching resources, promotes the students’ ability to “creative thinking, innovation and research and practice”, and develops the students’ intelligence.
Experimental Analysis of Lagrangian Coherent Structures and Chaotic Mixing in Rayleigh-Benard Convection

Abstract It is known that some fluid particles may be transported chaotically in Lagrangian description although the velocity field seems to be stable in Eulerian description. A typical example can be found in the system of two-dimensional Rayleigh-Benard convection with perturbed velocity fields, which has been investigated as a low dimensional mechanical model of fluid phenomena associated with natural convection in order to clarify the mechanism of fluid transport (see, for instance, [2]). In this study, we make an experimental study on the global structures of chaotic mixing appeared in the two-dimensional perturbed Rayleigh-Benard convection by analyzing Lagrangian coherent structures (LCSs), which correspond to the invariant manifolds of time-dependent mechanical systems. We develop an apparatus to measure the velocity field by Particle Image Velocimetry (PIV) and then show the LCSs which can be numerically detected from the experimental data by computing Finite-time Lyapunov exponent (FTLE) fields. Finally, we show the global structures of chaotic mixing appeared in the perturbed Rayleigh-Benard convection as well as the steady convection by experiments. In particular, we clarify how the LCSs are entangled with each other around the cell boundaries to carry out chaotic Lagrangian transports.
Scientific and information work at Samara University Library: Technological solutions on the 1C: Enterprise platform

The tasks of integrated information support and university library management computerization are examined as related to the federal state standards. Current trends in e-libraries’ development and new elements of the national information infrastructure are considered. Goals, accomplishments and prospects for Samara University Library are analyzed. The issues of building an integrated digital information and education environment of the university based on the 1C: Enterprise platform are discussed.
A promising model for academic libraries to interact in building and using full-text resources

Approaches towards digitizing and preserving the core collection of the academic library network and solutions with IRBIS64+ e-library are examined.
대만과 일본의 한국어 학습자의 오류 대조 연구

This study uses errors found in essays by Korean learners in Taiwan and Japan as research material and from the findings compares and analyzes the types and causes of learners’ grammatical and lexical errors. Regarding grammatical errors, the following three conclusions were reached. (a) The causes of errors (intralingual or interlingual) by Korean learners in both countries are often the same. (b) When the type of error is the same, there is no difference in the error ratio between the two countries, but the causes of error may differ. (c) There are errors that appear in only one of the countries. Regarding lexical errors, similar error patterns - namely, “error by target word synonyms”, “error by direct translation of Chinese characters in the mother tongue”, and “error due to difference from mother tongue”-emerged from learners in both countries due to the commonality of the use of Chinese characters in the three languages of Chinese, Japanese, and Korean. The cause of errors was all due to “transfer”, except for “error by target words’ synonyms”. (National University of Kaohsiung, Waseda University)
How Blockchain And Cryptocurrencies Reconstruct The Business

Blockchain, as a core technology of bitcoin, is expected to create a new economic system by reconstructing how we communicate on the Internet. This technology reduces transaction costs, generates trust in distribution, and enables decentralized platforms that potentially become the new basis for decentralized business models. Blockchain improves information security and transparency by sharing encrypted data between peer-to-peer networks. Because its emphasis on security and trust there is an increased demand for blockchain applications in more and more business sectors. This report examines how the joint development of blockchain technology and cryptocurrencies create a token economy through various business models. Blockchain is expected to be a key technology that enables new protocols to create a token economy in the future. This leads to a new economic paradigm.
2015 개정 교육과정 과학과 교과역량에 대한 초등교사의 인식과 적용 실태 분석

The purpose of this study was to analyze field application of science subject competences of the 2015 revised curriculum for the second year of application. For this purpose, a survey with 133 elementary school teachers, and in-depth interviews with 10 teachers were conducted. According to the results, elementary school teachers had a positive awareness toward the science subject competence, which is a characteristic of the 2015 revised science curriculum, and teachers were applying the science subject competence to their own classes. This tendency was stronger in teachers in science-leading schools than in teachers in regular schools. Teachers wanted support for applying science subject competencies to their classes. To support this, it is necessary to provide the curriculum materials focused on science subject competencies, reinforce teacher training on competence-related curriculum, and activate the professional teacher community.
Development and Application of Lesson Plans for History of Western Music based on PBL (Problem-Based Learning) and Smart Learning

본 연구는 스마트러닝을 활용한 PBL(problem-based learning: 이하 PBL) 서양음악사 교수·학습지도안을 개발하여 수업의 효과를 확인하고 급변하는 사회와 교육의 방향에 맞는 음악수업 자료를 제공하는 데 목적이 있다. 문헌연구 내용을 바탕으로 이경언(2002)이 제시한 PBL 학습 모형에 따라 총 2차시의 PBL 교수·학습지도안을 작성하였다. 지도안과 수업자료를 개발한 후, 서울특별시 J여자고등학교 1학년 3 학급 총 73명의 학생들을 대상으로 수업을 진행했고, PBL 수업의 만족도, 이해도, 흥미도에 대해 설문조사를 하였다. 설문결과와 수업 과정 중 수합된 학생들의 평가지 등 자료들을 종합하여 분석한 결과 학생들은 일반적인 서양음악사 수업보다 스마트러닝을 활용한 PBL 서양음악사 수업에 더 집중하였고, 만족도, 이해도, 흥미도 모두 높다는 것을 알 수 있었다. 또한 수업평가지 분석 결과 학생들은 수업에 대한 책임감과 협동심을 기를 수 있었으며 포괄적 지식의 습득이 이루어졌다고 파악되어 스마트러닝을 활용한 PBL 서양음악사 수업이 효과적임을 확인할 수 있었다.The purpose of this study is to develop the lesson plan for high school general music class of history of western music based on PBL (problem-based learning) using smart learning and verify the effectiveness of the class. The PBL lesson plan for two classes were developed based on the PBL model presented by Kyungeon Lee(2002), and teaching materials were also created. The classes were conducted with 73 students of three classes of J Women’s Highschool located in Seoul. After the classes, the survey was conducted to investigate the students’levels of satisfaction, understanding, and interest about the classes. In addition, the students’peer review and self evaluation sheets which were conducted during the classes were analyzed. The results indicated that the PBL music classed of western music history using smart learning were more effective than traditional music class in satisfaction, understanding, and interest, The analysis of students’reviews also presented that students could develop responsibility, cooperation, and comprehensive study of music.
원불교 ‘법인(法認)기도’의 제천(祭天)의례 성격과 ‘팔괘기(八卦旗)’의 역학적 이해

From ancient times in Korea, rituals to the ‘Han-ul-nim,’ ‘Ha-neu-nim,’ ‘Han-im’ or the ‘Heavenly God’ by the nation and rituals to the Heaven by the people were handed down. A ritual to the Heaven was one of the most important rituals among the national rituals. It had great historical meanings as a political ritual as well as a religious symbol. Also, it had been considered as a significant ritual through which Korean people had kept up autonomous independence and historical identity.The ritual services to the Heaven, that was kept up from ancient times to the Goryeo Dynasty, were discontinued nationally during the Joseon Dynasty almost for five hundred years. In such a situation, on the contrary, the characteristics of ritual services to the Heaven by the people were strengthened that were held secretly by the common people. Particularly, there were the Seon ceremony of Daejong-gyo (faith), the Go-cheon-je (declaration service to the Heaven) of Bocheon-gyo, which was in lineage from Jeungsan-gyo, the prayers at the mountains for the dharma authentication of Won-Buddhism and so on in relation with ritual services to the Heaven by the people in new religions of Korea. They became a driving force to recover autonomous independence and historical identity of Korean people from Japan in the Donghak (Eastern Learning) movement, March First Independence Movement, and the independence movement by Daejong-gyo. First, this paper introduced briefly the ritual services to the Heaven by people in new religions. Second, it elucidated that the ‘prayers for the dharma authentication’, which is the main theme of this paper, were hidden ritual services to the Heaven which were not revealed to people and had meaning of sacrifice rituals. Third, it interpreted the symbolic meaning and structure the ‘flag of Eight Trigrams for divination (palgoae)’, which was used during the prayers for the dharma authentication, from the perspective of the science of change (yi). Afterward, the ‘diagram of Irwon and Eight Trigrams’ became base to form the doctrinal system such as the truth, faith, and practice of Irwon-sang (One Circle Symbol). Even presently, it demonstrates that the Won-Buddhist Order seeks the universal unity that corresponds to the heaven, earth, and eight directions, standing for one unit by ten persons.
Il document delivery durante il Covid-19

During the lockdown due to Covid-19, libraries were organized in order to satisfy the requests of their users, at least as far as document delivery was concerned. Initially, publishers increased the number of electronic resources available for free. Then, the libraries of italian universities undertook to notify everything that each specific library had published online. The NILDE member institutions made their mailing list “NILDE-forni” available in order to free up resources faster. Finally, two very similar initiatives with very different aims and characteristics were disseminated. The IFLA’s Document Delivery and Resource Sharing Section (DDRS) made a platform, which is available until August 31, for searching journal articles or parts of book in every member library; the service is operated by volunteers and is aimed at mutually supporting libraries during the current library closure (RSCVD, Resource Sharing CoViD). Ex Libris, instead, made Rapid-ILL available for the University of Florence; it is a service through which you can request articles of specialist periodicals from the 340 member libraries all over the world; it is available until August 30 as a free trial. This article compares RSCVD to Rapid-ILL.
Design and Build a Seminar Management Information System to Manage 2019 Indonesian Qualitative Seminar &amp; Workshop (SLKI)

Matana University collaborated with Indonesia Qualitative Researcher Association (IQRA) held a 2019 Indonesian Qualitative Seminar &amp; Workshop (SLKI) 2019. The organizer required a seminar management information system (SIM) to run this event smoothly. However, seminar SIM was not available at that time, and needed to be built according to the needs of 2019 SLKI. The methodology to build seminar SIM is study literature system development with prototyping model which has the stages of user requirement, system / sub system prototyping, prototype evaluation, prototype improvement, system testing, system implementation, system maintenance. SIM 2019 SLKI consists of 2 (two) main applications, namely a web-based data management application and mobile based attendance application. QR Code was used for the attendance of participants. This seminar SIM successfully has been built and implemented in this event. This seminar SIM helped the participants and the committee to share data and information that can be done anytime and anywhere as long they are connected to the internet. In the future, it is necessary to develop several features such as article management, QR code generator, automatic certificate generation, digital payment, and more complete reporting &amp; webinar implementation.
I linguaggi specialistici in Habemus Papam (2011). Analisi dei sottotitoli rovesciati in spagnolo e tedesco con incursioni nel doppiaggio

Habemus papam (2011) by Nanni Moretti, a well-known auteur film, is a multilingual movie that allows an analysis of different linguistic subcodes: from religious to psychoanalytic language, from medical to theatrical discourse, from the lexicon of card games to the language of sport. Specifically, the essay examines the Italian original dialogues and then focuses on the results of the study carried out on the Spanish and German interlingual subtitles (reversed subtitling) in three selected scenes in which special languages (in particular psychoanalytic, medical and card game discourse) play a key role in characters’ description. The research highlights some difficulties encountered by audiovisual translators who resorted to differing solutions both in the subtitles and in significant passages of dubbing in the two target languages. The study aims at identifying the translation trends of language variation, in particular as far as diaphasic variation is concerned.