Reviewerly/exHarmony huggingface dataset:
Image Captioning and Criminal Data Retrieval using Deep Learning and Vision Transformers

Contеnt-Basеd Imagе Rеtriеval (CBIR) and imagе captioning havе gainеd significant attеntion in rеcеnt yеars duе to thеir potеntial applications in various fiеlds, including law еnforcеmеnt and criminal invеstigations. This projеct aims to dеvеlop an intеlligеnt systеm that combinеs thе powеr of dееp lеarning modеls, VGG19 and RеsNеt50, to facilitatе thе rеtriеval and captioning of criminal imagеs basеd on thеir visual contеnt. Thе proposеd systеm will consist of two main componеnts: a ContеntBasеd Imagе Rеtriеval (CBIR) systеm and an imagе captioning modulе. Thе CBIR systеm will bе built using thе VGG19 and RеsNеt50 dееp convolutional nеural nеtworks, prе-trainеd on largе-scalе imagе datasеts. Thеsе modеls havе shown еxcеptional pеrformancе in fеaturе еxtraction and rеprеsеntation lеarning, making thеm idеal candidatеs for imagе rеtriеval tasks. In addition to imagе rеtriеval, thе projеct will also focus on gеnеrating dеscriptivе captions for criminal imagеs using thе captioning modulе. This modulе will еmploy an attеntion-basеd mеchanism to еmphasizе rеlеvant imagе rеgions whilе gеnеrating captions. Thе captioning modеl will bе trainеd on a largе-scalе captionеd imagе datasеt to lеarn thе corrеlation bеtwееn visual fеaturеs and tеxtual dеscriptions. Thе intеgration of thе CBIR systеm and thе imagе captioning modulе will rеsult in a comprеhеnsivе tool that not only rеtriеvеs similar criminal imagеs but also providеs dеscriptivе captions, aiding invеstigators in undеrstanding thе contеxt and contеnt of thе rеtriеvеd imagеs. This combinеd approach will significantly еnhancе thе еfficiеncy and еffеctivеnеss of criminal imagе analysis and hеlp law еnforcеmеnt agеnciеs in idеntifying suspеcts and potеntial connеctions bеtwееn diffеrеnt criminal activitiеs
Students’ Perceptions Toward Feedback from Their Teachers and Peers in Writing Activities by Considering Their Writing Anxiety

The objective of this study was to investigate the perceptions of students with varying levels of writing anxiety regarding the learning activities associated with using teacher feedback and peer feedback. The present study utilized a quantitative approach for data collection. The quantitative data were obtained through a survey administered to 46 students in the English Department of a state Islamic University. The quantitative data were subsequently analyzed using descriptive statistics, specifically percentages and frequency, and non-parametric analysis employing the Mann-Whitney test. The findings indicated no statistically significant difference in the perceptions of students who experienced writing anxiety and received instruction through either teacher or peer feedback. Essentially, students who demonstrate lower levels of writing anxiety display a cheerful disposition towards the incorporation of both teacher feedback and peer feedback. During the intervening period, discernible differences arose in the viewpoints of students demonstrating heightened writing anxiety levels who were provided with instructions through teacher feedback instead of peer feedback
Efektivitas Media Pembelajaran Augmented Reality (AR) dalam Meningkatkan Hasil Belajar Kognitif Siswa pada Pelajaran Geografi di Kelas X SMAN 36 Jakarta

The purpose of this study was to determine the effectiveness of the use of augmented reality learning media on geography subjects in class X SMAN 36 Jakarta. This research uses an experimental method with Nonrandomized Control Group Pretest Posttest Design. The population of this study were students of class X SMAN 36 Jakarta with research samples selected by randomized sampling technique, namely X E1 as the experimental class and X E2 as the control class. Data collection techniques used were tests on two classes and distributing questionnaires filled out by experimental class students. Some of the data analysis techniques used are instrument tests, data tests as analysis requirements and data analysis tests. Based on the test results, the instrument was declared valid and reliable and the data was declared normal and homogeneous. The results showed that augmented reality learning media was declared effective to improve students' learning outcomes in geography class X SMAN 36 Jakarta with a significance value of 0.000 &lt;0.05 and an N-Gain value of 71.069%, which included the effective category. So educators can utilize the media to be used as a praga tool that facilitates the learning process because it is proven to be able to provide an increase in student learning outcomes. For future research, it is hoped that this augmented reality media can be used in other learning materials.
The Realization of Cohesion Devices Applied in Students’ Business Letters

The study aims to discover the students’competency in writing text particularly business letters in English. The study is tried to find out the cohesion devices used by the students’. The participants were the six semester of the Tourism and Business Institut. The number of participant were 50 students. They have got several treatment how to write business letter in English. After the treatment, the researcher collect and analyse data. Qualitative method is used in analysing data. The result shown several types of cohesion applied in students’ writing such as grammatical cohesion; pronoun, substitution, conjunction and lexical cohesion; synonimy, antonimy, and superordinate.
Learning Proof Transformations and Its Applications in Interactive Theorem Proving

Abstract Interactive theorem provers are today increasingly used to certify mathematical theories. To formally prove a theorem, reasoning procedures called tactics are invoked successively on the proof states starting with the initial theorem statement, transforming them into subsequent intermediate goals, and ultimately discharging all proof obligations. In this work, we develop and experimentally evaluate approaches that predict the most likely tactics that will achieve particular desired transformations of proof states. First, we design several characterizations to efficiently capture the semantics of the proof transformations. Then we use them to create large datasets on which we train state-of-the-art random forests and language models. The trained models are evaluated experimentally, and we show that our best model is able to guess the right tactic for a given proof transformation in 74% of the cases. Finally, we use the trained methods in two applications: proof shortening and tactic suggesting. To the best of our knowledge, this is the first time that tactic synthesis is trained on proof transformations and assists interactive theorem proving in these ways.
Geological Survey Ireland and Irish-type deposits

Geological Survey Ireland (the Survey) is a line division of the Department of the Environment, Climate and Communications. Founded in 1845 by an Act of Parliament, the Survey was tasked with “ascertaining the Rocks, Strata or Minerals” present across the country. Over the ensuing 178 years, the Survey has evolved into Ireland's public earth science knowledge centre with a broad remit across the entire geoscience area. In particular within the natural resources sector, the Survey hosts a world class database of pre-competitive data which is freely available to the public. As a frequent first port of call for most exploration companies and a key partner in Ireland’s geoscience research ecosystem, the Survey has always striven to be at the heart of the minerals sector within Ireland.
Fraternal twins or distant cousins; comparing and contrasting the Red Dog district and Irish Midlands Orefield

The Lower Carboniferous rocks in the Irish Orefield and Red Dog district are host to some of the highest value Zn deposits in the geological record. A comparison of different mineral system components (geodynamic setting, (basin) architecture, fluid flow drivers, and depositional mechanisms) between the two districts reveals there are perhaps more similarities than differences. These include the complex accretionary evolution of the underlying basement terranes, ore fluid chemistry, common age of the mineralization for some of the deposits (331 – 346Ma), timing of mineralization relative to host rock deposition (syndiagenetic), highly productive depositional environment, and contribution of bacteriogenic sulphur to the metal trap. Key differences correspond with the different host rocks (siliciclastic dominant vs. carbonate dominant) and diagenetic assemblages (barite vs. dolomite) in either district, rather than reflecting fundamentally different ore forming processes.
PERANCANGAN INFRASTRUKTUR DEVOPS SISTEM INFORMASI SENTRA HKI LPPM UNSOED

Intellectual Property Rights are rights that arise from the results of thought processes that produce a product or process that is useful for humans. Objects regulated in IPR are works born out of human intellectual abilities. Management Information System is a planning system part of the internal control of a business which includes the use of people, documents, technology, and procedures by management accounting to solve business problems such as the cost of products, services, or a business strategy. LPPM Unsoed HKI Center as an institution tasked with managing and maintaining IPR documents collected from various organizations and individuals. This study aims to design and implement infrastructure using the DevOps method for information system development. In this method, several tools are used to build information systems, namely Linux Ubuntu 20.04, Github, Jenkins, Docker and Apache Web Server. Jenkins is a tool used to ensure continuous integration. Github as a tool to ensure continuous development and continuous integration. While docker as part to support continuous deployment. This research has several stages in the process, namely plan, code, build, test, release, deploy. The result of this research is the Unsoed Intellectual Property Rights Information System which has been successfully implemented using the DevOps method
Culture of thinking, intellectual culture, mental culture in the context of researching the problem of forming the culture of professional thinking of future teachers

In the context of the study of the problem of forming the culture of professional thinking of future teachers, the article analyses the conceptual and terminological approaches of scholars to the interpretation of the essence of key concepts. The study takes into account that the concepts of «mind», «intellect» and «thinking» are generic concepts in relation to the analyzed concepts («mental culture», «intellectual culture», «culture of thinking»), which are considered to be species-specific concepts. The article highlights the main approaches of scholars to the interpretation of the essence of the concepts of «mind» and «mental culture», «intellect» and «intellectual culture», «thinking» and «culture of thinking». The difference in the interpretation of the essence of the studied concepts, revealed on the basis of the conceptual and terminological analysis of the common and different in the approaches of scholars to their definition, is associated with the problem field of specific studies. We explain the ambiguity, identification and interpenetration of mental culture, intellectual culture and culture of thinking by the complexity, ambiguity and multidimensionality of such phenomena as mind, intelligence, and thinking. On the basis of the study, the definition of the essence of the culture of professional thinking of a teacher within the framework of our research is clarified. We consider the culture of professional thinking of a teacher as an integrated formation that characterizes the degree of development of the types of thinking of a teacher, his/her art of operating with forms of thinking and applying mental operations, individual characteristics and style of his/her thinking, the level of teacher’s mastery of the strategies of professional thinking activity, and is an indicator of the formation of his/her professional and pedagogical culture, ability to cognize and transform the phenomena of pedagogical reality. Keywords: mind, intellect, thinking, intellectual culture, mental culture, culture of thinking, culture of professional thinking of a teacher.
Psychological and pedagogical conditions of ensuring the principle of students’ continuity of learning in general secondary education institutions

The scientific article deeply analyses the main drawbacks of students’ studying process in primary school, which negatively influence not only the adaptation of the graduates of the primary school to their studies in secondary school, but also have a significant impact on the effectiveness of their further studies. A significant gap between primary and secondary school is observed not only with crucial changes in learning technologies, as students are no longer taught by one teacher, but also with insufficiently balanced curricula. Teacher training in higher educational institutions requires significant improvement, so it is necessary to improve the cooperation between teachers of primary and secondary school. The analysis of educational problems has given the authors of the article to distinguish and explain a range of psychological and pedagogical conditions that will strengthen the implementation of the principle of students’ continuity of learning while transitioning from primary to secondary school, such as: 1) in-depth study of the psychological characteristics of students in primary school and the corresponding interaction of primary school teachers with teachers who will teach in the 5th grade; 2) in September holding a joint conference of teachers who teach students in the 5th grade, a class teacher, a practical psychologist with a teacher who taught students in primary school; 3) the requirements of the 5th grade curriculum being introduced to primary school teachers; 4) timely appointment of a class teacher in the future 5th grade; 5) organizing and holding the celebration of the transition of primary school graduates to the 5th grade with the participation of the future class teacher and parents; 6) joint methodical associations of teachers of 4th and 5th grades; 7) the organization of a parent’s lecture, which will introduce the peculiarities of the educational process in the 5th grade, the use of other educational technologies, psychological and physiological characteristics of children of this age, etc.; 8) the organization of joint professional development courses for 4th and 5th grade teachers. Keywords: principle, continuity, primary school, secondary school, psychological and pedagogical condition.
Implications of Classification Models for Patients with Chronic Obstructive Pulmonary Disease

Machine learning-based prediction models have the potential to revamp various industries, and one such promising area is healthcare. This study demonstrates the potential impact of machine learning in healthcare, particularly in managing patients with Chronic Obstructive Pulmonary Disease (COPD). The experimental results showcase the remarkable performance of machine learning models, surpassing doctors' predictions for COPD patients. Among the evaluated models, the Gradient Boosted Decision Tree classifier emerges as the top performer, displaying exceptional classification accuracy, precision, recall, and F1-Score compared to doctors' experience. Notably, the comparison between the best machine learning model and doctors' predictions reveals an interesting pattern: machine learning models tend to be more conservative, resulting in an increased probability of patient recovery.
Consciousness and the unconscious: structures, levels, and functions

The article presents important materials on the course "Concepts of Modern Natural Science", related to the problem of the conscious and the unconscious, their features of manifestation, and connection with human life. The author shows that the more developed the system is, the more important the internal mechanisms of development are for it, which, in turn, are based on past experience and on the growing role of foresight and design of the future. The phylogenetically innate unconscious (the innermost unconscious) is at the heart of human mental life. The ontogenetically formed unconscious (the subconscious) is most directly connected with it. Forming a single whole, these two types of the unconscious serve as the foundation for preconsciousness and consciousness. The materials of the article can be useful within the framework of such areas of study as Psychology, Medicine, and Philosophy.
Experimental verification of the model for developing professional competencies of students in chemical specialties within the «college–university» system

This article presents an experimental study that examines the feasibility of implementing a model for developing professional competencies of students of chemical specialties within the «college–university» system. The study proposes criteria (value–motivational, cognitive, project–activity, integral) and indicators to measure the formation of professional competencies. Various research methods, including pedagogical observation, interviewing, questionnaires, testing, expert evaluation, and professional tests, were used to collect data. The study aimed to compare the levels of formation of professional competencies of students who received a bachelor’s degree in educational and professional programs based on a junior bachelor (specialist) and on the basis of a complete general secondary education. To ensure the reliability of the data, the study relied on the homogeneity of various indicators, such as age of respondents, differentiation by education levels, profile orientation of specialties, and results of professional selection. The research program involved preparatory (analytical–declarative), formative, and final (control–analytical) stages of experimental research. The study shows that the proposed model is a complex, logically structured system of training competent specialists in the field of chemistry. The reliability and objectivity of the research results were verified using statistical methods. The article offers a comparative analysis of the results obtained in the experimental and control groups throughout the entire period of the experimental research. Keywords: continuity, professional competences, model, students of chemical specialties, experimental research.
Introduction of quest technologies of tourist and local history content in the process of training future physical education teachers

The article is devoted to the use of quest technologies in the process of teaching tourism and local history courses to students majoring in «Secondary Education (Physical Education)» specialty. The author defines the stages of the web quest as preparatory, main, final, and characterizes their main tasks. The activities of participants in the educational process during the each stage are analyzed. Based on own practical experience, the author formulates the methodological requirements for organizing and conducting a WebQuest: the correspondence of the quest content to the age and level of students’ training, clear instructions to students for completing the WebQuest, a developed system of control over the implementation of tasks, visibility, aesthetics of the design. It is argued that quest technologies provide possibilities for optimizing educational process in the online format, namely: generating tasks of various degrees of complexity and their correction, participation of a large number of students in real time, a wide range of tools for design, and incorporation of different information into the WebQuest. The author of the article characterizes main components of the WebQuest: motivational, informative, practical, evaluative, communicative, emotional, and presents the activities for each component on both the teacher’s and the student’s side. The WebQuest «Pearls of Ukraine» that was created and tested for studying tourism and local history courses by students majoring in Secondary Education (Physical Education) specialty is presented as an example. Its content, design features, the principle of tasks introduction, and the emotional aspect of the webquest are described. The list of topics on teaching tourism and local history courses with the use of WebQuest technologies is proposed. Keywords: WebQuest, distance learning, stages of WebQuest, components of WebQuest, educational courses on tourism and local history.
Heart Stroke Prediction Using Federated Learning

Heart attacks in youth have become a common issue, making it crucial to predict the chances of heart stroke in patients. However, the fragmented and private nature of healthcare data presents a significant challenge for producing reliable research results across populations. Federated Learning shows promise in connecting disparate healthcare data sources while also safeguarding privacy. To that end, this research aims to develop a Federated Learning algorithm that addresses the challenges and opportunities in healthcare by utilizing a central server to train a sharing globalized model while retaining sensitive data in local institutions where they originated. This approach is particularly important as electronic health records of diverse patient groups are owned by multiple institutions, making it difficult for hospitals to share such sensitive information. This proposed algorithm will contribute towards the creation of generalizable and efficient analytical techniques for predicting heart stroke risk in patients. This proposed algorithm produced better accuracies compared to traditional machine learning approaches. The study focused on working with numerical data sets and has the potential to contribute towards the creation of generalizable and efficient analytical techniques for predicting heart stroke risk in patients.
Analysis of Fourth-Grade Students' Ability to Express Their Opinions in Elementary Schools

Speaking skills are very important for every student, especially in expressing opinions. However, some students are still unable to tell stories and convey their respective opinions. There are several factors influencing it. This study aims to identify the factors that influence the speaking skills of fourth-grade students and their efforts to improve their speaking skills in expressing the opinions of fourth-grade students. This study was carried out in one of the state elementary schools in Pedurungan Kidul 02, Semarang, Central Java. The data collected was qualitative in the form of a narrative about the ability of speaking skills in expressing opinions, the factors that influence speaking skills, and efforts to improve speaking skills in expressing opinions. The data source used was the primary data source and the secondary data source. The data collection techniques were observation, interview, test, and documentation. The results of this study show that: (1) the storytelling ability of the three students of grade four B SD Negeri Pedurungan Kidul 02 Semarang City is still in the low category because students are still unable to retell the stories and are not fluent in expressing their opinions, (2) the factors that influence students speaking skills are the first supporting factors which include models, methods, and learning media as well as linguistic factors and non-linguistic factors. The second factor is inhibiting factors, including physical and psychological conditions. (3) the efforts made to improve students speaking skills are that teachers must modify the use of learning methods, improve facilities and infrastructure, and students must practice a lot to tell stories. The contribution of this research is to create a learning media that can attract students’ attention during learning. In addition, modifying or collaborating on learning models and methods used for learning is expected so that students do not feel bored and saturated when participating in learning.