Reviewerly/exHarmony huggingface dataset:
Smart Contract Authentication assisted GraphMap-Based HL7 FHIR architecture for interoperable e-healthcare system

The exponential growth in the global population and significant advancements in healthcare broadened the scope of intervention for e-Healthcare through decentralized data access and information exchange, making complex clinical decisions. e-Healthcare can perform several functionalities, including EHR communication, telemedicine, and complex clinical decision systems (CCDS), but large-scale users still find it challenging to maintain interoperability, stability, and scalability. Accommodating an extensive array of stakeholders, which includes patients, doctors, hospitals, and laboratories, demands interoperability to serve scalable services. FHIR frameworks have played a vital role in e-Healthcare designs. Most of the existing HL7-FHIR frameworks have used REST-API using HTTP-query for CRUD tasks that impose numerous rules and constraints, making the process more complex and time-consuming, violating the quality-of-service (QoS) standards on different levels. This paper develops a novel, robust Smart-Contract Authentication Assisted HL7-FHIR framework toward an interoperable e-Healthcare solution. Unlike classical REST API-based FHIR, our proposed method applies a Graph-mapping concept that transforms each resource variable into an equivalent Graph-Mapped Data Structure (GMS), which is subsequently stored in the NoSQL MongoDB database, reducing computational costs and time to meet QoS demands. The proposed model employs three key components, GMS-driven HL7 FHIR Gateway Model, Smart Contract Authentication and Client Model. The Smart Contract function helped verify and authenticate users to ensure privacy and secure EHR exchange. The assessment of the performance of the proposed model reveals a significant reduction in computational time with optimal resource utilization making it a significant and viable option to better the real-world e-Healthcare mechanisms.
GL-Segnet: Global-Local representation learning net for medical image segmentation

Medical image segmentation has long been a compelling and fundamental problem in the realm of neuroscience. This is an extremely challenging task due to the intensely interfering irrelevant background information to segment the target. State-of-the-art methods fail to consider simultaneously addressing both long-range and short-range dependencies, and commonly emphasize the semantic information characterization capability while ignoring the geometric detail information implied in the shallow feature maps resulting in the dropping of crucial features. To tackle the above problem, we propose a Global-Local representation learning net for medical image segmentation, namely GL-Segnet. In the Feature encoder, we utilize the Multi-Scale Convolution (MSC) and Multi-Scale Pooling (MSP) modules to encode the global semantic representation information at the shallow level of the network, and multi-scale feature fusion operations are applied to enrich local geometric detail information in a cross-level manner. Beyond that, we adopt a global semantic feature extraction module to perform filtering of irrelevant background information. In Attention-enhancing Decoder, we use the Attention-based feature decoding module to refine the multi-scale fused feature information, which provides effective cues for attention decoding. We exploit the structural similarity between images and the edge gradient information to propose a hybrid loss to improve the segmentation accuracy of the model. Extensive experiments on medical image segmentation from Glas, ISIC, Brain Tumors and SIIM-ACR demonstrated that our GL-Segnet is superior to existing state-of-art methods in subjective visual performance and objective evaluation.
Trust evaluation in virtual software development teams using BERT-based language models

Nowadays, people from different geographical areas can be closely related thanks to advances in information and communication technologies. This has a greater impact in software development organizations where their members form virtual work teams. In these new co-located work scenarios, the construction of interpersonal trust is more complex and its impact is very relevant in the performance of software development teams. This paper presents the results of the performanceevaluation of four pre-trained language models based on BERT applied to trust analysis tasks. For this work, a small dataset of 1453 comments obtained from software projects stored on Github was created. The evaluated language models achieved moderately good values, in the order of 0.84 for the F1-score metric, which augurs that with further research they could be significantly improved.
Application and realization of key technologies in China railway e-ticketing system

Purpose With the yearly increase of mileage and passenger volume in China's high-speed railway, the problems of traditional paper railway tickets have become increasingly prominent, including complexity of business handling process, low efficiency of ticket inspection and high cost of usage and management. This paper aims to make extensive references to successful experiences of electronic ticket applications both domestically and internationally. The research on key technologies and system implementation of railway electronic ticket with Chinese characteristics has been carried out. Design/methodology/approach Research in key technologies is conducted including synchronization technique in distributed heterogeneous database system, the grid-oriented passenger service record (PSR) data storage model, efficient access to massive PSR data under high concurrency condition, the linkage between face recognition service platforms and various terminals in large scenarios, and two-factor authentication of the e-ticket identification code based on the key and the user identity information. Focusing on the key technologies and architecture the of existing ticketing system, multiple service resources are expanded and developed such as electronic ticket clusters, PSR clusters, face recognition clusters and electronic ticket identification code clusters. Findings The proportion of paper ticket printed has dropped to 20%, saving more than 2 billion tickets annually since the launch of the application of E-ticketing nationwide. The average time for passengers to pass through the automatic ticket gates has decreased from 3 seconds to 1.3 seconds, significantly improving the efficiency of passenger transport organization. Meanwhile, problems of paper ticket counterfeiting, reselling and loss have been generally eliminated. Originality/value E-ticketing has laid a technical foundation for the further development of railway passenger transport services in the direction of digitalization and intelligence.
L-former : a lightweight transformer for realistic medical image generation and its application to super-resolution

Medical image analysis approaches such as data augmentation and domain adaption need huge amounts of realistic medical images. Generating realistic medical images by machine learning is a feasible approach. We propose L-former, a lightweight Transformer for realistic medical image generation. L-former can generate more reliable and realistic medical images than recent generative adversarial networks (GANs). Meanwhile, L-former does not consume as high computational cost as conventional Transformer-based generative models. L-former uses Transformers to generate low-resolution feature vectors at shallow layers, and uses convolutional neural networks to generate high-resolution realistic medical images at deep layers. Experimental results showed that L-former outperformed conventional GANs by FID scores 33.79 and 76.85 on two datasets, respectively. We further conducted a downstream study by using the images generated by L-former to perform a super-resolution task. A high PSNR score of 27.87 proved L-former’s ability to generate reliable images for super-resolution and showed its potential for applications in medical diagnosis.
Pengembangan E-Modul Berbasis Kearifan Lokal Daerah Grobogan untuk Meningkatkan Hasil Belajar Siswa Sekolah Dasar

This study aims to analyze the effectiveness of e-module teaching materials based on the local wisdom of the Grobogan area on the learning outcomes of elementary school students. This research method used research and development from Borg and Gall and used the One Group Pretest-Posttest Design. The data collection used was pretest and posttest description test questions supplemented by an assessment rubric given to students. The data analysis technique of this study used the Independent Sample T-Test and the N-Gain Score test. The results of this study indicated that the effectiveness of the e-module teaching materials that have been tested gets t-test results with a sig (2-tailed) of 0.000 ˂ 0.05, which indicates a significant difference between the results of the students' pretest and posttest. While the average N-Gain score of students in one class, when viewed from the N-Gain percent by using the category of interpretation of the effectiveness of the N-Gain score, is declared "effective enough," with the result value obtained as 57.6725. So it can be concluded that e-modules based on local wisdom in the Grobogan area positively impact student learning outcomes.
Compositional Security Definitions for Higher-Order Where Declassification

To ensure programs do not leak private data, we often want to be able to provide formal guarantees ensuring such data is handled correctly. Often, we cannot keep such data secret entirely; instead programmers specify how private data may be declassified . While security definitions for declassification exist, they mostly do not handle higher-order programs. In fact, in the higher-order setting no compositional security definition exists for intensional information-flow properties such as where declassification, which allows declassification in specific parts of a program. We use logical relations to build a model (and thus security definition) of where declassification. The key insight required for our model is that we must stop enforcing indistinguishability once a relevant declassification has occurred. We show that the resulting security definition provides more security than the most related previous definition, which is for the lower-order setting.
Self-Assessment of Having COVID-19 With the Corona Check mHealth App

At the beginning of the COVID-19 pandemic, with a lack of knowledge about the novel virus and a lack of widely available tests, getting first feedback about being infected was not easy. To support all citizens in this respect, we developed the mobile health app Corona Check. Based on a self-reported questionnaire about symptoms and contact history, users get first feedback about a possible corona infection and advice on what to do. We developed Corona Check based on our existing software framework and released the app on Google Play and the Apple App Store on April 4, 2020. Until October 30, 2021, we collected 51,323 assessments from 35,118 users with explicit agreement of the users that their anonymized data may be used for research purposes. For 70.6% of the assessments, the users additionally shared their coarse geolocation with us. To the best of our knowledge, we are the first to report about such a large-scale study in this context of COVID-19 mHealth systems. Although users from some countries reported more symptoms on average than users from other countries, we did not find any statistically significant differences between symptom distributions (regarding country, age, and sex). Overall, the Corona Check app provided easily accessible information on corona symptoms and showed the potential to help overburdened corona telephone hotlines, especially during the beginning of the pandemic. Corona Check thus was able to support fighting the spread of the novel coronavirus. mHealth apps further prove to be valuable tools for longitudinal health data collection.
Semi-quantum bi-signature scheme based on Bell states

Currently, quantum signature protocols assume that all participants in the protocol (signers, verifiers, and arbitrators) should exhibit quantum capabilities. If quantum devices are lacking, the quantum signature protocol cannot be implemented. However, quantum devices are not widely used, and not all users can own quantum devices. Boyer et al. first proposed the concept of the semi-quantum environment. Zhao et al. proposed a semi-quantum signature protocol with double signers based on the W state. Yang et al. discovered that in the semi-quantum signature protocol with double signers developed by Zhao et al., an internal attacker could launch an impersonation attack during the verification and signature stages to capture the private key and use it to impersonate the user’s identity. In addition, the eavesdropper can obtain all the secret information of the signers by performing a man-in-the-middle attack. All three attack modes can pass the eavesdropping check. Hence, if these security problems are not solved, the signature of the semi-quantum signature protocol with double signers proposed by Zhao et al. cannot be completed safely. Therefore, based on Bell states, a new semi-quantum signature protocol of double signers was developed in this study. The proposed protocol not only resists impersonation attacks and man-in-the-middle attacks but also resists other common attack modes.
Improving the Size of the Propellers of the Parrot Mini-Drone and an Impact Study on its Flight Controller System

Unmanned Aerial Vehicles (UAVs) are widely used in transportation, delivery, surveillance and surveillance applications. The development of stable, resilient, and accurate flight based on turbulence and turbulence will likely become a key feature in the development of unique flight control systems. In this research, we studied the control system of a small Parrot mini drone, the Mambo drone, which was designed using the MATLAB program, while we added turbulence to the drone by changing the weight of the original plane in the design, where we increased the weight and calculated the vertical projection area of the propellers of the plane several times until we got the best space for the propellers able to carry more extra weight. We imposed an increase in the drone's weight due to bad conditions that the plane experienced during its flight, such as snow or dust falling on it. In order to make the aircraft bear these weather conditions without falling and colliding, we calculated an appropriate increase in the area of the aircraft wing, and we actually applied it in the MATLAB-R2021a Simulink program, and we got good results using simulation as well as in real-time inside the laboratory, turbulence was added in the simulation program. The new design of the propellers demonstrated the aircraft's ability to carry an additional payload of approximately one-third of the aircraft's weight, as shown in the roads chapter. In future work, we propose to use this design on larger aircraft with fixed propellers and to study the effects of other weather conditions on UAVs, such as the effect of temperature, humidity, and others.
Corpus Construction for Generating Knowledge Graph of Sichuan Cuisine

Sichuan cuisine and its culture play an important role in Chinese food culture. Unfortunately, people can only learn Sichuan cuisine through traditional ways such as the Web and books. To address the problem, we developed the annotation system of Sichuan cuisine and designed the annotation schemes of named entities and entity relations under the guidance of Sichuan cuisine masters. There are 220,000 words in the corpus that was annotated and proofread manually by an annotation system. We constructed a corpus of named entities and entity relations of Sichuan cuisine. It contains 691 kinds of Sichuan cuisine recipes, including 8,683 entities and 8,700 entity relations. The consistency of multiple-around annotation is 0.94 and 0.93, respectively. Based on the corpus, a knowledge graph of Sichuan cuisine was constructed and will be used to develop the tourism QA system in the future.
Modern technologies for forming intercultural competence in students of HEIs in the process of professional training

The research examines theoretical and methodological approaches to the development of intercultural competence among higher education students, and how it varies due to changes in the digital environment. Attention is given to interactive methods for improving intercultural competence as a source of everyday and professional discourse formation, and enhancing communication skills among students. The k ey principles for stimulating the development and use of technologies in building intercultural competence in higher education institutions' practices are highlighted. The study's findings can be beneficial for future professionals and can be applied in universities' practices when organizing the educational process or educational programs aimed at training future specialists.
Informatization and digitization of the educational process in higher education: main directions, challenges of the time

The relevance of the study is due to the need to rethink the educational paradigm in a rapidly developing digital environment. Given the creation of new information and digital learning technologies, scientific paradigms are changing towards the formation of an innovative educational infrastructure of HEIs. The article aims to investigate the main directions of the challenges of implementing informatization and digitalization in order to form an ecosystem of an innovative educational environment. The article is based on the use of methods of theoretical pedagogical research: analysis, synthesis, induction, and deduction. The study of scientific literature showed that, despite the large number of scientific papers covering the issues of informatization and digitalization, the question of the need to bring modern educational standards to the realities of a digital society still remains unresolved. The results of the study were the actualization of the main challenges and directions of implementation of informatization and digitalization of higher education in order to improve its efficiency in the modern conditions of development of society. Practical significance: the study of the features of the practical implementation of the tools of the digital educational environment and the disclosure of their benefits.
Modern didactic system of open education in ukraine: problems, solutions

The emergence of an open education system is associated with the growing interest of the population in obtaining an educational product of a higher level and dissatisfaction with the implementation of educational needs through traditional education. The article aims to provide a comprehensive analysis of the current state of open education in Ukraine, including an evaluation of its strengths and weaknesses, and to propose a methodology for addressing its problems. The article presents the definition of open education, the essence, purpose, subject. The main initial methodological ideas of open education include the idea of activity, consistency, and reflection. These ideas require an understanding of education as an integral part of social activity, consideration of the individual within the system of life, and the use of various forms of informational influence for the formation of a creative personality. Additionally, the article emphasizes the integration of the structural elements of didactics to generate a holistic pedagogical process. Using it in practice, it will not allow the teacher to drop one of its elements, replacing it with another. Such a construct can be the key to the success of open education in the present and in the future.
Psychological well-being of a pedagogue in the conditions of war

The research is aimed at analyzing the process of forming an educator's psychological well-being in wartime, its consequences, and the peculiarities of interaction. During the study, scientific methods were utilized to examine psychological well-being and its role as a crucial component in creating a positive psychological atmosphere within educational teams. The article highlights the significance of scientific approaches towards shaping the concept of psychological well-being. It explores the use of a pedagogue's personal psychological well-being in wartime as a means of stabilizing the social sphere and disseminating the quality of such a policy to achieve a strategic victory while countering the information and psychological attacks of the aggressor country. The study's outcomes have the potential to enhance the ability to respond to external stimuli, leveraging emotional resources to mitigate stress and enhance the quality of the educational process.
Methodological foundations for the formation of professional qualities in primary school teachers

The successful solution to the problems of modern primary education is directly related to the success of teacher training and professional development, to the change of methodological approaches to the process of forming the professional qualities of teachers. It depends on the effectiveness of the system of methodological work of general secondary education institutions. The article aims to highlight the main trends in the study of the effectiveness of the formation of professional qualities of primary school teachers from a methodological point of view. Moreover, it seeks to identify the key practical aspects of this problem in the scientific literature. Methodology. In the course of the study, the analytical and bibliographic method was applied to study the scientific literature on the formation of professional qualities of primary school teachers. Induction, deduction, analysis, synthesis of information, systemic and structural, comparative, logical, and linguistic methods, abstraction, and idealization were involved in the study and processing of data. The authors of the study also conducted an online questionnaire survey, which served to practically clarify the most important issues related to the methodological aspects of the formation of professional qualities of primary school teachers. Results. According to the results of the study, the main most important theoretical aspects of the issue of methodological support of the quality of primary school teachers' work have been identified. Moreover, the point of view of scientists and heads of general secondary education institutions on certain practical components of this process has been investigated.
Alternative ways of organizing distance practical classes for future music art teachers

The aim of this research was to find and study the effectiveness of alternative ways of organizing practical classes in Musical Art for Pedagogy students in the context of distance learning. The research involved semi-structured interviews with teachers and student surveys using a close-ended questionnaire. The content analysis of the answers revealed the main difficulties that the teachers had to deal with when organizing distance practical classes in Musical Art. It also enabled finding optimal ways to eliminate them. Their high efficiency was verified by conducting a pedagogical experiment. It was established that traditional methods of education are impossible during distance learning. They need to be replaced with new ones that are effective in technology-mediated learning. It was found that music teachers used special software, digital musical instruments as an alternative to traditional ones. Teachers also recorded video instructions and video lessons, and students recorded video reports on the work done. Teachers began to use new teaching methods. Distance learning yielded higher learning outcomes than the traditional one, as technologies are interesting to students and contribute to their motivation and engagement. This article was reduced to the study of the peculiarities of the organization of distance learning of students — future teachers of Musical Art. Further research should be aimed at identifying ways of organizing Music Art education in general secondary educational institutions.