Reviewerly/exHarmony huggingface dataset:
Correction to: Decidability of interpretability logics <b>IL</b> <tt>M</tt>0 and <b>IL</b> <tt>W</tt>*

Journal Article Correction to: Decidability of interpretability logics ILM0 and ILW* Get access Luka Mikec, Luka Mikec University of Zagreb Search for other works by this author on: Oxford Academic Google Scholar Tin Perkov, Tin Perkov University of Zagreb E-mail: tin.perkov@ufzg.hr Search for other works by this author on: Oxford Academic Google Scholar Mladen Vukoviĉ Mladen Vukoviĉ University of Zagreb Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, jzad020, https://doi.org/10.1093/jigpal/jzad020 Published: 14 September 2023 Article history Received: 07 September 2023 Published: 14 September 2023
VIRTUAL PHYSICAL DEMONSTRATIONS, INVOLVED IN LABORATORY-BASED PRACTICAL OF THE METHODOLOGY TEACHING PHYSICS, AS THE MEANS OF FORMING PROFESSIONAL COMPETENCES FOR FUTURE PHYSICS TEACHERS

The article presents both traditional and innovative approaches to understanding the goals, essence, content, and appropriate organization of a laboratory-based practicals on the methodology of teaching physics. It outlines the didactic features of its organization, which consist in the fact that the students’ and the teacher’s attention is focused on the activities of the students and the teacher and the subject – the content of the school physics course in general and the educational physics experiment (EPE). The article substantiates the importance of combining modern information and communication technologies with various types of educational physical experiments during laboratory-based classes on the methodology of teaching physics for the formation of professional competences for future physics teachers. The methodological features to organize laboratory-based classes on the methodology of teaching physics for future teachers of physics are described, and the content of methodological and instructional materials for laboratory works on the methodology of teaching physics for students of the master’s degree program is presented, which is based on the main provisions of the physics curriculum for students of general secondary schools education, and aimed at forming the professional competences of future physics teachers in simulated conditions (conditions close to professional activity). An indicative template “Physical Experiment Maps” for a laboratory workshop on physics teaching methods is proposed. Didactic support for students’ independent work during laboratory classes on physics teaching methods using information and communication technologies tools is presented: virtual demonstrations are selected and tasks for their implementation by students-future physics teachers are developed.
PRIMARY GOALS AND TASKS ON THE WAY OF IMPLEMENTATION INTEGRATIVE MODEL OF NATURAL SCIENCE AND TECHNICAL EDUCATION

The article examines the goals and tasks, the fulfilment of which will ensure the successful implementation of the modern model of integration of natural science and technical education. It has been proven that in the near future the most in demand in all branches of the economic sphere will be specialists whose training will combine natural and engineering sciences into a single system. It was determined that the main educational concept should be the concept of STEM education, which will be able to sufficiently provide high-quality training of specialists of the new generation for the needs of the country. The most important tasks that must be completed on the way to the implementation of STEM education are outlined, namely: trengthening the positions of higher education institutions in the global scientific and educational space and training specialists with such a level of natural scientific and technical knowledge that will allow them to carry out scientific and practical activities aimed at to ensure the national security strategy. It is noted that the implementation of STEM education requires understanding and developing the concept of continuous technological education, starting from the first stages of human learning. The need to review, update and improve curricula and educational programs is emphasized, which is explained by the dynamism of the modern educational process, especially in the field of natural and technical sciences.
Research on Policy Direction for the Development of Secondary Teacher Training System - Focusing on Perception and Demands of Music Teacher Competencies

본 연구는 예비 및 현직 음악교사를 대상으로 하여 음악 교과에서 요구되는 교사 역량에 대한 인식과 요구를 파악하고, 교사자격증 취득경로에 따른 집단 간 차이를 분석하고자 하였다. 궁극적으로 이를 통해 교육부가 추진하는 교원 양성체제 발전 방안의 적용 가능성과 제언 점을 찾고자 하였다. 조사는 전국 중등학교 현직 및 예비 음악교사를 대상으로 2022년 2월 18일부터 3월 15일까지 온라인으로 진행되었으며, 총 138개의 온라인 응답을 수집, 분석하였다. 이때 교사자격증 취득경로에 따른 사범대학 과정 이수자, 교육대학원 과정 이수자, 일반 교직과정 이수자 집단 간 음악교사역량에 대한 중요도와 성취도 인식 비교가 이루어졌다. 분석 결과, 교사자격증 취득경로에 따른 집단 간 비교에서 실기 관련 일부 영역의 유의미한 차이가 발견되었고, 이는 교원양성체제 변화에 있어서 반드시 고려되어야 할 부분으로서 음악교사에게 있어 실기 관련 배경의 중요성을 보여주는 것으로 해석할 수 있다. This study aimed to identify the perception and demand for teacher competencies required in music education among prospective and current music teachers, as well as to analyze the differences between groups based on the routes of acquiring teaching certification. Ultimately, the goal was to explore the applicability and recommendations of the development of the teacher training system promoted by the Ministry of Education. The survey was conducted online from February 18th to March 15th, 2022, targeting current and prospective music teachers in middle schools nationwide, and a total of 138 online responses were collected and analyzed. In this study, a comparison was made between the importance and achievement perception of music teacher competencies among individuals who completed courses at a teacher training college, a graduate school of education, and a regular teacher training program, based on the routes of acquiring teaching certification. The analysis results revealed significant differences in certain practical areas between groups based on the routes of acquiring teaching certification, indicating the importance of practical background for music teachers as an essential consideration in the changes to the teacher training system.
MFA‐ICPS: Semi‐supervised medical image segmentation with improved cross pseudo supervision and multi‐dimensional feature attention

In the medical field, medical image segmentation plays a pivotal role in facilitating disease evaluation and supporting treatment decision-making for doctors. Recently, deep learning methods have been employed in the field of medical image segmentation. However, the manual annotation of a large number of reliable labels is a costly and time-consuming process.To address this challenge, a semi-supervised learning framework is required to alleviate the burden of reliable labeling and enhance segmentation accuracy in challenging areas of medical images.Therefore, this paper presents MFA-ICPS framework, a semi-supervised learning framework based on the improved cross pseudo supervision (ICPS) and multi-dimensional feature attention (MFA) modules. Medical images inevitably contain some noise that may affect the segmentation accuracy, so the proposed framework addresses this challenge by introducing noise disturbance, combining ICPS and MFA modules, and using pseudo-segmentation maps and MFA maps to maintain the consistency at both the output and feature levels.In the experiments, MFA-ICPS framework accurately obtains the following performances on the left atrial dataset: Dice, Jaccard, 95HD, and ASD values are 90.89%$90.89\%$ , 83.40%$83.40\%$ , 6.00 and 1.94 mm, respectively. And on the pancreas-CT dataset, the following performances are accurately obtained: Dice, Jaccard, 95HD, and ASD values are 79.55%$79.55\%$ , 66.87%$66.87\%$ , 7.67 and 1.65 mm, respectively.The segmentation performance of MFA-ICPS framework on different medical datasets demonstrates its remarkable capability to significantly enhance medical image segmentation.
EFFECT OF DEBT ON ECONOMIC GROWTH OF EAST AFRICAN REGION

This research study established the effect of debt on economic growth of East African region in view of an upsurge in the level of debts in many countries on the African continent. In order to achieve the research objectives, a methodology framework of panel autoregressive distributed-lag (Panel ARDL) was undertaken. The study answered the following research questions: What is the effect of multilateral institutions debts on economic growth in East African region? What is the effect of debts from development financial institutions on the economic growth of East African region? What is the effect of internal debts on the economic growth of East African region? For research purposes the study employed descriptive research design. Several econometrics methods: pooled mean group, mean group, dynamic fixed effects and also allow for common correlated effects. The study focused on East African region and relied on secondary data obtained from the World Bank website, ADI and WDI website. A checklist developed based on the research questions of the study was used to collect data on the values of the variables in the corresponding period under study for each country under consideration. The time series data covered 2000-2020. The data was organized through excel and later imported to E-views 12 software for analysis. Regression, descriptive statistics and analytic statistical methods were employed in the analytical process and results presented in tables, graphs and figures for clarity and ease of understanding. The study findings reveal that the variables internal debt and debt from development financial institutions have a significant impact on economic growth while multilateral debt were insignificant. Moreover, all the variables multilateral debt and internal debt were found to have a negative relationship with economic growth of the East Africa region while debts from development financial institutions were found to have a positive relationship with economic growth of East African region countries. The study suggested the need of respective East African region’s governments to establish and adopt an optimal balance between multilateral debt, debts from DFIs and domestic debt to maintain steady economic growth. With domestic debt having a negative significant effect on GDP growth is an indication of a crowding-out effect thus a need to strike a balance on the optimal domestic borrowing that would not negatively affect private investments in the East African region Keyword: Debt, Domestic Debt, External Debt, Multilateral institutions debts, Economic growth CITATION: Gichigo, M. G., &amp; Muturi, W. (2023). Effect of debt on economic growth of East African region. The Strategic Journal of Business &amp; Change Management, 10 (2), 307 –328.
Enhancing Library Services through Digital Cataloging Techniques

In an era of rapid digital transformation, libraries are reimagining their role as information hubs, driven by the adoption of digital cataloging techniques. This paper delves into the profound impact of these techniques on library services, presenting an empirical study that unveils the multifaceted benefits they bring to the modern library ecosystem. Digital cataloging techniques, encompassing metadata standards, linked data, automated cataloging tools, and user-generated content, have become instrumental in optimizing resource management. This research paper offers a comprehensive exploration, substantiated by surveys, interviews, and data analysis, of how these techniques enhance library services.Key findings underscore the pivotal role of these techniques in library service improvement. They enable enhanced resource discoverability, fostering seamless exploration of library collections. Automation streamlines cataloging processes, resulting in efficiency gains and liberating valuable staff resources. User-generated content initiatives invigorate patron engagement, enriching resource descriptions and creating vibrant user communities. Additionally, the study highlights the importance of resource accessibility and collaborative opportunities through the adoption of interoperable cataloging practices. These digital techniques transcend traditional cataloging, propelling libraries into a dynamic, interconnected era where user-centricity and resource optimization are paramount. This research underscores the critical significance of digital cataloging techniques in the evolution of library services. These techniques empower libraries to meet the ever-evolving needs of their user communities in an increasingly digital world, redefining their role as indispensable knowledge hubs
Prinsip Kesantunan dalam Acara Sombah Nasi Pernikahan Adat Masyarakat Melayu Kenegerian Siberakun Kecamatan Benai Kabupaten Kuantan Singingi

Humans in speaking really need to pay attention to politeness when interacting or communicating with other humans, the goal is that humans can use polite speech and do not make mistakes when speaking or communicating. So with that, politeness is needed and very much needed. Often we hear the conversation of people in a certain area who express impolite words. Limited to one problem. The problem of this research is how the principle of politeness in the Sombah Nasi ceremony, the Traditional Marriage of the Kenegrian Siberakun Community, Benai District, Kuantan Singingi Regency. The purpose of this study is to describe, analyze, interpret, and conclude the Malay language politeness maxim in the traditional marriage sombah rice of the Kenegrian Siberakun Community, Benai District, Kuantan Singingi Regency. In this study, the researcher uses Leech's politeness principle because until now it is still used and is the most complete and relatively comprehensive according to Leech (Rahardi, 2005: 59) there are six maxims of politeness principles. This study uses a qualitative descriptive method because the data analyzed is not to accept or reject the hypothesis (if any), but the results of this analysis are descriptive of the observed symptoms. The techniques used are recording techniques, listening techniques and note-taking techniques. The conclusion of this study is the politeness maxim in the Sombah Nasi ceremony, the Malay Traditional Marriage of the Kenegrian Siberakun Community, Benai District, Kuantan Singingi Regency. Based on the research results of the politeness maxim in the Sombah Nasi ceremony, the Malay Traditional Marriage of the Kenegrian Siberakun Community, Benai District, Kuntang Singingi Regency, the most spoken utterances amounted to 16 utterances. The politeness maxim which contains the maxim of wisdom is 10 utterances. The politeness maxim which contains the maxim of generosity is 10 utterances. The politeness maxim which contains the meaning of the maxim of praise is 10 utterances. The politeness maxim which contains the meaning of the maxim of simplicity is 10 utterances. consensus is 16 utterances. The maxim of politeness which contains the meaning of the maxim of sympathy is 9 utterances.
Alpha Elimination: Using Deep Reinforcement Learning to Reduce Fill-In During Sparse Matrix Decomposition

A large number of computational and scientific methods commonly require decomposing a sparse matrix into triangular factors as LU decomposition. A common problem faced during this decomposition is that even though the given matrix may be very sparse, the decomposition may lead to a denser triangular factors due to fill-in. A significant fill-in may lead to prohibitively larger computational costs and memory requirement during decomposition as well as during the solve phase. To this end, several heuristic sparse matrix reordering methods have been proposed to reduce fill-in before the decomposition. However, finding an optimal reordering algorithm that leads to minimal fill-in during such decomposition is known to be a NP-hard problem. A reinforcement learning based approach is proposed for this problem. The sparse matrix reordering problem is formulated as a single player game. More specifically, Monte-Carlo tree search in combination with neural network is used as a decision making algorithm to search for the best move in our game. The proposed method, Alpha Elimination is found to produce significantly lesser non-zeros in the LU decomposition as compared to existing state-of-the-art heuristic algorithms with little to no increase in overall running time of the algorithm. The code for the project is publicly available ( https://github.com/misterpawan/alphaEliminationPaper ).
The Analysis of the Effect of Online Learning Management During the Covid-19 Pandemic

The learning process during the pandemic is different from before where the implementation is carried out virtually or called online as the most appropriate way to break the chain of covid-19. Each agency or individual must be able to make the right management so that the learning process can be appropriate even though it is online. The study aims to find out how to manage education and learning online or at the student level when the pandemic was running. The study applied the literature study method. Through the literature study method, the author concludes that although online learning has a positive effect on educators and students in the learning process using appropriate learning management
Readability and Content Coverage Indices of Three Approved Mathematics Textbooks for Senior Secondary School Three in Akwa-Ibom State

The study investigated the readability and content coverage indices of three approved mathematics textbooks for senior secondary school three in Akwa-Ibom State. Two research questions and two corresponding hypotheses guided the study. The study adopted utilitarian evaluation research design. Three (3) out of the twelve (12) approved mathematics textbooks were drawn using simple random sampling technique. Purposive and non-proportionate stratified random sampling techniques were used to draw sixty (60) senior secondary school three students from population of 340 SSS3 students from three schools in Etim Ekpo Local Government Area of Ikwa-Ibom State. The instruments used for data collection were the three approved mathematic textbooks, syllabus or scheme of work for SSS3 students and Mathematics Textbook Reading Level Evaluation Questionnaire (MTRLEQ). MTRLEQ was validated by three experts in measurement and evaluation for face and content validities. Gunning Fog Index and Topical Coverage index were used to answer the research questions. One-way analysis of variance (one-way ANOVA) and Linear Chi-square were used to test the hypotheses at 0.05 levels of significance. Based on the findings, it was observed that among the three mathematics textbooks, New General mathematics was read successfully by the students. Recommendations were made among others that mathematics textbooks should be written using simple English at the secondary school level.
Pengaruh Model Pembelajaran Kooperatif Tipe Think Pair Share Berbantuan Film Animasi terhadap Keterampilan Menulis Narasi Siswa Kelas V Sekolah Dasar

This study aims to ascertain how the Cooperative Learning Model Type Think Pair Share Assisted Animation Film influences the narrative writing skills of fifth grade elementary school students. In this study using the type of researchquasi experimental design. Data analysis techniques include descriptive data analysis techniques and inferential statistical analysis. Based on the resultspretest research found that the average students' narrative writing skills were experimental class 61,3 However, when they took the research posttest, after being treated with the Type Cooperative learning modelThink Pair Share Animated Film Assisted, flat Their average narrative writing skills increased by 82.5. Based on the results of the t test, a significance value of 0.000 is obtained, which means 0.000 &lt;0.05, then ha is accepted and ho is rejected, meaning that the type of cooperative learning modelthink pair share assisted animation film has an effect on the narrative writing skills of class v students at SDN 188 Pekanbaru
Studi Komparatif Motivasi Belajar Berdasarkan Gender Siswa Kelas V SDN 112 Pekanbaru

This research aims to find out whether there is a difference in learning motivation between male and female students at SDN 112 Pekanbaru for the 2022/2023 academic year. The type used in this research is comparative quantitative where the researcher wants to compare the learning motivation of male and female students, the subjects of this research are the VA VB and VC classes, the sample in this study was 53 students consisting of 27 male students and 26 male students Woman. Data collection in this research was by distributing questionnaires containing statements about learning motivation. The results of the hypothesis test were carried out using the t test with a significance result of 0.201&gt;0.005 which shows that there is no significant difference in learning motivation between male and female students.
HUBUNGAN ANTARA KEPERCAYAAN DIRI DENGAN KETERAMPILAN BERBICARA MAHASISWA PROGRAM STUDI BAHASA JERMAN UNPATTI

This study aims to collect data and information about the relationship between selfconfidence and speaking skills in German language education study program students of Pattimura University.This study has two variables, namely: independent variable and dependent variable. The population of this research is third semester students and the sample is students who offer Produktiv Sprechfertigkeiten zur Aufbaufstufe course. The data of this study were obtained through speaking tests and questionnaires. Based on data analysis, it shows that r count is greater than r table (0.633&gt;0.482) so the results show that there is a relationship between student confidence and speaking skills in the German language education study program at Pattimura University.&#x0D;
Insecurity of Quantum Blockchains Based on Entanglement in Time

In this study, the security implications of utilizing the concept of entanglement in time in the quantum representation of a blockchain data structure are investigated. The analysis reveals that the fundamental idea underlying this representation relies on an uncertain interpretation of experimental results. A different perspective is provided by adopting the Copenhagen interpretation, which explains the observed correlations in the experiment without invoking the concept of entanglement in time. According to this interpretation, the qubits responsible for these correlations are not entangled, posing a challenge to the security foundation of the data structure. The study incorporates theoretical analysis, numerical simulations, and experiments using real quantum hardware. By employing a dedicated circuit for detecting genuine entanglement, the existence of entanglement in the process of generating a quantum blockchain is conclusively excluded.
The value advantage and rational reflection on immersive journalism in emergent events

Within the realm of traditional media, news reporting predominantly relies on textual content and photographs, requiring the audience to decipher and extract information from the media. However, immersive journalism goes beyond this approach by enriching the audience's understanding and involvement in the news through interactive and multi-dimensional methods, effectively integrating them with the news text. Sudden events, characterized by their complexity, suddenness, and unpredictability, swiftly capture widespread attention. Augmenting the audience's immersion in these events not only deepens their comprehension of the overall event, but also triggers emotional resonance. By immersing the audience in the scene, casting them as "witnesses" or "participants" rather than mere "observers" of the news, they undergo a distinctive experience that encompasses a profound perception of the news scene, its sounds, and the emotions and feelings it evokes.[1]