Reviewerly/exHarmony huggingface dataset:
ARMPatch: A Binary Patching Framework for ARM-based IoT Devices

With the rapid advancement of hardware and internet technologies, we are surrounded by more and more Internet of Things (IoT) devices. Despite the convenience and boosted productivity that these devices have brought to our lives and industries, new security implications have arisen. IoT devices bring many new attack vectors, causing an increment of cyber-attacks that target these systems in the recent years. However, security vulnerabilities on numerous devices are often not fixed. This may due to providers not being informed in time, they have stopped maintaining these models, or they simply no longer exist. Even if an official fix for a security issue is finally released, it usually takes a long time. This gives hackers time to exploit vulnerabilities extensively, which in many cases requires customers to disconnect vulnerable devices, leading to outages. As the software is usually closed source, it is also unlikely that the community will review and modify the source code themselves and provide updates. In this study, we present ARMPatch, a flexible static binary patching framework for ARM-based IoT devices, with a focus on security fixes. After identified the unique challenges of performing binary patching on ARM platforms, we have provided novel features by replacing, modifying, and adding code to already compiled programs. Then, the viability and usefulness of our solution has been verified through demos and final programs on real devices. Finally, we have discussed the current limitations of our approach and future challenges.
Linking the Ancient Greek WordNet to the Homeric Dependency Lexicon

The Ancient Greek WordNet is a new resource that is being developed at the Universities of Pavia and Exeter, based on the Princeton WordNet.The Princeton WordNet provides sentence frames for verb senses, but this type of information is lacking in most WordNets of other languages.In fact, exporting sentence frames from English to other languages is not a trivial task, as sentence frames depend on the syntax of individual languages.In addition, the information provided by the Princeton WordNet is not corpus-based but relies on native speakers' knowledge.This type of information is not available for dead languages, which are by definition corpus languages.In this paper, we show how sentence frames can be extracted from morpho-syntactically parsed corpora by linking an existing dependency lexicon of Homeric verbs (HoDeL) to verbs in the Ancient Greek WordNet.Given its features, HoDeL allows automatically extracting all subcategorization frames available for each verb along with information concerning their frequency as well as semantic information regarding the possible arguments occurring in specific frames.In the paper, we show our method to automatically link the two resources and compare some of the resulting sentence frames with the English sentence frames in the Princeton WordNet.
Strengthening Digital Literacy During and Post Pandemic Covid-19

The Corona Virus Disease 2019 (COVID-19) outbreak creates anxiety, panic, and fear for the public. The spread of the virus is rapid, which has caused the WHO to raise the status of the pandemic becoming global. Even though the amount recovered counted many, the mortality rate continues to increase. This is what makes people feel afraid and panicked. The panic itself is able to lower the power holding the body of man, which is where the power holds the body is very important for the prevention of Covid-19. Strengthening digital literacy is needed both during the pandemic and after the COVID-19 pandemic. The purpose of this paper is to describe the importance of strengthening digital literacy for the community. The method of writing this article is a qualitative review, which the data retrieval is using the secondary data derived from materials reading print or electronic. The results of the discussion are, first, the public demand should be proficient in filtering the information that they receive. Second, during this pandemic, people must remain creative and productive to improve their standard of living. Third, during this pandemic, people need "refreshing" media through digital literacy to maintain mental health. In conclusion, strengthening people's digital literacy can be one of the keys to preventing COVID-19.
Generalized Temporal Inference via Planning

This paper introduces the Temporal Inference Problem (TIP), a general formulation for a family of inference problems that reason about the past, present or future state of some observed agent. A TIP builds on the models of an actor and of an observer. Observations of the actor are gathered at arbitrary times and a TIP encodes hypothesis on unobserved segments of the actor's trajectory. Regarding the last observation as the present time, a TIP enables to hypothesize about the past trajectory, future trajectory or current state of the actor. We use LTL as a language for expressing hypotheses and reduce a TIP to a planning problem which is solved with an off-the-shelf classical planner. The output of the TIP is the most likely hypothesis, the minimal cost trajectory under the assumption that the actor is rational. Our proposal is evaluated on a wide range of TIP instances defined over different planning domains.
Representation and coding of rational pairs on a triangular tree and Diophantine approximation in $\mathbb R^2$

We study the properties of the <i>Triangular Tree</i>, a complete tree of rational pairs introduced by Bonanno et al. (2021), in analogy with the main properties of the Farey tree (or Stern–Brocot tree). To our knowledge the Triangular Tree is the first g
CERPEN ANAK PENYAPU JALAN SEBAGAI MEDIA ALTERNATIF UNTUK IMPLEMENTASI PENGEMBANGAN KARAKTER SISWA

Abstract&#x0D; As a literary work, short stories have a useful value for the reader. The positive values ​​contained in a short story can be used as an alternative media to develop student character. The objectives of this study were (1) to describe the advantages of short stories from the aspect of the theme, (2) the use of language, (3) background, and (4) moral messages. This research use desciptive qualitative approach. The method used is the method of content analysis (content analysis). The data in this study are the sentences in the short story Anak Sweep Jalan. The instrument used in this study was the classification table. The result of this research is the exposure to the advantages of short stories which is the reason this short story was chosen as an implementation of student character development. &#x0D; &#x0D;
Characterizations and Classifications of Argumentative Entailments

In this paper we provide a detailed analysis of the inference process induced by logical argumentation frameworks. The frameworks may be defined with respect to any propositional language and logic, different arguments that represent deductions in the logic, various support-based attack relations between arguments, and all the complete Dung-style semantics for the frameworks. We show that, ultimately, for characterizing the inference process with respect to a given framework, extension-based semantics may be divided into two types: single-extension and multiple-extension, which induce respective kinds of entailment relations. These entailments are further classified by the way they tolerate new information (nonmonotonicity-related properties) and maintain conflicts among arguments (inconsistency-related properties).
Croatian Mathematics Teachers and Remote Education During Covid-19: What did They Learn?

The study reported in this paper aims to show how Croatian lower-secondary mathematics teachers coped with remote education during the lockdown necessitated by the Covid-19 pandemic. The research design refers to the case study of six teachers. On five occasions, the teachers were interviewed about the organisation of their virtual classrooms, forms of assessment, and utilisation of (digital) teaching resources from the beginning of March until the end of June 2020. The study results showed that social parameters were prominent factors in the decision-making of many teachers regarding teaching remotely. For example, the teachers always put students’ needs first: they were accessible almost all day to their students, they tried not to overload students and provided daily feedback on their work. In addition, the teachers in the study raised the issue of academic dishonesty in remote education – the digital environment made cheating easier and meant that the usual assessment formats became unfeasible. Although the findings provide insight into the work of teachers during a pandemic, a larger sample would provide generalisations about the changes in workload that mathematics teachers experienced during remote education.
Blink Rate vs Inner Self-perceived Cognitive State while using Virtual Reality Applications with Haptic Devices

On average, humans blink between eight and 21 times per minute while resting. Eye actions are influenced by external and internal stimuli. This can be utilized to measure internal cognition specifically focus and attention while performing tasks. In this experiment, an individual’s self-perceived focus, attention and interaction level is collected and then correlated with eye blinks rate. The subjects are observed while performing experiments using haptic devices in a virtual environment. The experiment was modulated based on network quality and hardware quality to further quantify the effect of each scenario on subjects’ intrinsic and extrinsic focus indicators. The experiment quantified the blinks and formulated a correlation between subjects’ own perception of the event using statistical analysis. It can be found that there is an acceptable correlation between certain indicators, network quality, fatigue, stress, focus and enjoyability of the experiments. A good quality hardware and network did enhance the experience in all the subjects indicating a need for enhanced services for haptic and immersed mixed reality activities directly affecting the cognition especially in education tools. It can be inferred that eye blink rate can be used as an additional tool for measuring the cognition of individuals experience using haptic and virtual reality tools.
Study of Virtual Reality and IoT for Exploring the Deep Sea

In the deep sea, many puzzles have not been solved. We must overcome many difficulties if we want to explore the deep sea. Un- predictable dangers may occur when humans carry out deep-sea exploration. At this time, we can take advantage of Virtual Reality (VR) and the Internet of Things (IoT) characteristics. This paper studies the combination of the IoT and VR that can connect items to the internet, control items and send back data to observe the condition of the equipment and water pressure and break through the space constraints to let people explore the deep sea even in the virtual world. This design will greatly reduce the probability of danger. And the user can achieve the purpose of deep-sea exploration. The ocean is an area that humans have not yet fully developed, and it is also full of mystery and danger. But using VR, you can avoid temperature differences, water pressure and dangerous creatures in the sea. Through VR, you can add new things so that things that can't usually happen in real life can be presented in a virtual way.
Secure Outsourcing of Matrix Determinant Computation under the Malicious Cloud

Computing the determinant of large matrix is a time-consuming task, which is appearing more and more widely in science and engineering problems in the era of big data. Fortunately, cloud computing can provide large storage and computation resources, and thus, act as an ideal platform to complete computation outsourced from resource-constrained devices. However, cloud computing also causes security issues. For example, the curious cloud may spy on user privacy through outsourced data. The malicious cloud violating computing scripts, as well as cloud hardware failure, will lead to incorrect results. Therefore, we propose a secure outsourcing algorithm to compute the determinant of large matrix under the malicious cloud mode in this paper. The algorithm protects the privacy of the original matrix by applying row/column permutation and other transformations to the matrix. To resist malicious cheating on the computation tasks, a new verification method is utilized in our algorithm. Unlike previous algorithms that require multiple rounds of verification, our verification requires only one round without trading off the cheating detectability, which greatly reduces the local computation burden. Both theoretical and experimental analysis demonstrate that our algorithm achieves a better efficiency on local users than previous ones on various dimensions of matrices, without sacrificing the security requirements in terms of privacy protection and cheating detectability.
A Framework for Aspectual Requirements Validation: an Experimental Study

Requirements engineering is a discipline of software engineering that is concerned with the identification and handling of user and system requirements. Aspect-Oriented Requirements Engineering (AORE) extends the existing requirements engineering approaches to cope with the issue of tangling and scattering resulted from crosscutting concerns. Crosscutting concerns are considered as potential aspects and can lead to the phenomena “tyranny of the dominant decomposition”. Requirements-level aspects are responsible for producing scattered and tangled descriptions of requirements in the requirements document. Validation of requirements artefacts is an essential task in software development. This task ensures that requirements are correct and valid in terms of completeness and consistency, hence, reducing the development cost, maintenance and establish an approximately correct estimate of effort and completion time of the project. In this paper, we present a validation framework to validate the aspectual requirements and the crosscutting relationship of concerns that are resulted from the requirements engineering phase. The proposed framework comprises a high-level and low-level validation to implement on software requirements specification (SRS). The high-level validation validates the concerns with stakeholders, whereas the low-level validation validates the aspectual requirement by requirements engineers and analysts using a checklist. The approach has been evaluated using an experimental study on two AORE approaches. The approaches are viewpoint-based called AORE with ArCaDe and lexical analysis based on Theme/Doc approach. The results obtained from the study demonstrate that the proposed framework is an effective validation model for AORE artefacts.
Russian News Similarity Detection with SBERT: pre-training and fine-tuning

Computation of text similarity is one of the most challenging tasks in NLP as it implies understanding of semantics beyond the meaning of individual words (tokens).Due to the lack of labelled data this task is often accomplished by means of unsupervised methods such as clustering.Within the DE2021: "Russian News Clustering and Headline Selection" we propose a method of building robust text embeddings based on Sentence Transformers architecture, pretrained on a large dataset of in-domain data and then fine-tuned on a small dataset of paraphrases leveraging GlobalMultiheadPooling.
A Study of ELE Students’ Perception of Undiksha Moodle E-learning in Pedagogical Courses

&lt;p&gt;E-learning has significantly influenced the educational field. Education currently utilizes e-learning as one of the learning systems that facilitate students and teachers' learning process is distanced or traditional, or even in blended learning. One of the platforms used is the Undiksha Moodle E-learning Platform used in the pedagogical courses. This study aimed to identify students' perception of the use of the Undiksha Moodle E-learning platform. This discussion focuses on the effectiveness offered in the use of the Undiksha Moodle E-learning platform. This study is a case study involving 15 English Language Education students. This study's object is students' perception of using the Undiksha Moodle E-learning platform in the pedagogical courses. Data collections were done with questionnaires and semi-structured interviews to see the suitability of perceptions expressed by students. Data analysis is conducted qualitatively supported with quantitative data by considering the questionnaires' results and interpreting the data obtained. This study showed that English Language Education students have a positive perception of using Undiksha Moodle E-learning. The findings on the effectiveness of the use of the Undiksha Moodle E-learning platform used amounted to 4,173. That indicates that students strongly agree that the platform is effectively used in pedagogical courses.&lt;/p&gt;
25th Anniversary of the Research Laboratory Dealing with the Problems of Higher Education of the Transbaikal State University

The article presents an analysis of the laboratory’s activities on the problems of higher education of the Transbaikal State University for a twenty-five-year period, carried out by a team under the leadership of doctor of pedagogical sciences, professor – Bordonskaya Lydia Aleksandrovna. At the university level, the laboratory successfully solved urgent problems in all main areas of activity: conceptual substantiation of the development of a pedagogical university to the level of a humanitarian-pedagogical university; the revival in 2008 of the scientific journal “Scientists notes” (1957–1971), which is published as the journal “Scientific Notes of the Transbaikal State University” and is included in the base of the State Commission for Academic Degrees and Titles journals; training of highly qualified personnel; development of international cooperation and stimulation of joint scientific research; improving the quality of education at the university. The laboratory staff worked out the problems of the development of education in general and the content of natural science and environmental education, in particular, the problems of regionalization and integration of education, improving the professional growth of teachers, accompanying talented and gifted children, and the development of modern didactic tools. In a fertile scientific environment, over the years of the laboratory’s activity, dozens of doctoral and candidate dissertations have been prepared and successfully defended, in which innovative pedagogical experience on the problems of higher, general and additional education is summarized. The laboratory staff published textbooks and monographs, prepared and published articles in the journals of the Higher Attestation Commission, Scopus databases, etc. various formats (offline and online: scientific show, scientific meeting, festival, etc.) within the framework of the Science Festival in the Transbaikal Territory. The laboratory team obtained scientific results on topical problems of education development at all levels, taking into account the tendencies of humanization and humanization, integration and regionalization of education, which today are the basis for further scientific research, taking into account modern socio-cultural conditions. Keywords: research laboratory on the problems of higher education, Transbaikal State University, anniversary, scientific activity in the field of education
An Explanation of the False Drop in Information Retrieval in Human-Computer Interaction

Nowadays the field of information retrieval is quickly developing.Research on the human-computer interactions and designing of the interface is likely to lead to better results and greater empowerment for users and creators of information.One of the main and special issues related to the relationship between humans and computers in information storage and retrieval systems is the problem of accurate and correct information retrieval based on the user's information needs, due to there are still many false drops in the user's retrievals, although have the many advances come in this field.On the other hand, the human-computer interface environment is not well understood, compared to other forms of information retrieval, due to the complexity of human perception and detection compared to computer systems and the more difficult the detection and measurement of human motives and behaviors.In this paper, after reviewing the information storage and retrieval systems and their various evaluation metrics, the issue of the false drop and its effect on the human-machine interactions is discussed and finally, some solutions are presented.The principles of user interface design, providing informative feedback, reducing working memory load, providing alternative interface environments for novice and skilled users and visualizing information are among the proposed solutions of the present study.
Application of The Fuzzy Tsukamoto Method in Determining Household Industry Products

Production system at UD. Mie Akwang is a home industry that provides raw materials for noodle production. Uncertain consumer demand and supplies that are not in accordance with demand make it difficult for this industry to determine the amount of production that will be produced. Previously, this home industry did not have a valid rule to determine the amount of production that must be achieved. Therefore, a decision support system was developed using the Fuzzy Tsukamoto method. This method is the right method in making decisions that use several criteria to produce decisions on the amount of production. In this study, the data used is in the form of data on the amount of production in April 2021. From the calculation process that has been carried out, it can be concluded that if the demand is 28,950 portions and the supply is 30,000 portions, the total production produced is 31,207 portions. The results of these calculations are implemented in the form of a production system and the results obtained are the same, namely 31,207 portions.
Health Promotion Program via Social Media for Hypertension and Diabetes Mellitus Patients

To date, hypertension and diabetes mellitus are serious health problems because advance technology has led to consumerism of lifestyle transformation especially mobile smartphone.Social media is very popular now, so health promotion program via social media is interesting.The aims of this study were to synthesize and analyze the results of health promotion program via social media.It was divided into two phases; phase 1) the program development by literature reviewing was performed.Phase 2) quasi-experimental research (one group, pre-test and post-test) was conducted.The 31 volunteers were included in this program with 5 days by face to face meetings and further 28 days via social media.The finding showed that health literacy, attitude and self-care behaviors of participants were improved significantly by sign test (p-value < 0.01) before and after program implementation.The suggestion is health promoting program via social media with the principles of transformative learning used to raise awareness, change attitude and behavior to good behavior in lifestyle diseases should be considered.