Reviewerly/exHarmony huggingface dataset:
Methodological support for professional development of university instructors

Professional development of university instructors has always been an important aspect of the educational environment, which requires appropriate methodological support. It is aimed at creating conditions for improving educational activities and transforming it in accordance with advanced achievements in scientific, practical, and innovative fields. This is necessary to improve the quality of professional training of teaching staff. The content of methodological support is considered in several directions, including active use of innovative technologies in the educational process, development of theoretical foundations for forming creative potential of teaching staff, and assistance in mastering competencies in accordance with the Federal State Educational Standards. This study focuses on the discipline of Academic Writing and creating conditions for professional development of instructors who teach this discipline, since organizing conferences, seminars, and workshops for academic writing instructors and providing opportunities for professional development in this area do not always meet the demand and growing interest in this aspect. The experience of creating and participating in a reading group for one year is presented. The main goal of the group was to develop participants understanding of the concept of academic writing as well as to discuss effective teaching methods for this discipline in higher education institutions. Various pedagogical theories and concepts of academic writing, a critical evaluation of existing writing teaching practices in Russian universities were also considered. The process of the group work, its results, and the advantages and disadvantages of this form of interaction for professional development were described. In conclusion, the reading group is proposed as an opportunity for foreign language instructors not only as a form of methodological support for continuous professional development but also as an opportunity for collaboration in the educational environment of the university.
PGST: A Persian gender style transfer method

Abstract Recent developments in text style transfer have led this field to be more highlighted than ever. There are many challenges associated with transferring the style of input text such as fluency and content preservation that need to be addressed. In this research, we present PGST, a novel Persian text style transfer approach in the gender domain, composed of different constituent elements. Established on the significance of parts of speech tags, our method is the first that successfully transfers the gendered linguistic style of Persian text. We have proceeded with a pre-trained word embedding for token replacement purposes, a character-based token classifier for gender exchange purposes, and a beam search algorithm for extracting the most fluent combination. Since different approaches are introduced in our research, we determine a trade-off value for evaluating different models’ success in faking our gender identification model with transferred text. Our research focuses primarily on Persian, but since there is no Persian baseline available, we applied our method to a highly studied gender-tagged English corpus and compared it to state-of-the-art English variants to demonstrate its applicability. Our final approach successfully defeated English and Persian gender identification models by 45.6% and 39.2%, respectively.
The effectiveness of modern technologies used in television news bulletins And its role in facilitating the presenter's work

The impact of television has made it an essential technology that can't be dispensed with in all circumstances and situations, measuring the society's need for it. Some argue that there is no stronger media than television in introducing people of the world to each other, as it has the most powerful impact and attracts millions of viewers.Television is deemed as the most effective tool of media as it is designed to capture both sound and image. The image, in itself, has the ability to engage and interact with our thoughts. In light of the aforementioned, it is noticeable that this interactive medium (television) has significantly evolved over the years, thanks to modern technologies that have been introduced over time. These advancements have added an element of credibility between both the broadcaster and the audience's interaction. It has been made possible through live broadcasts, transmissions, and the presenter's presence at the scene of the event at the time of its occurrence.Television is the main source of news for the majority of people in various contemporary societies. The television and news programs still constitute the main center of gravity in the process of influencing viewers, and in particular when watching the news bulletin on (any channel), we quickly expect to see the news, reports and polls offered by the bulletin that affect the life of our society.The purpose of news bulletins is to inform viewers about the current events happening in the local community, the nation as a whole, and even at the global level. It is presented through the medium of television, aided by a team of professionals such as the directors, presenters, correspondents, cameramen, sound recordists, lighting technicians and editors, who work together to create a coherent and engaging news bulletin
Creating a large-scale diachronic corpus resource: Automated parsing in the Greek papyri (and beyond)

Abstract This paper explores how to syntactically parse Ancient Greek texts automatically and maps ways of fruitfully employing the results of such an automated analysis. Special attention is given to documentary papyrus texts, a large diachronic corpus of non-literary Greek, which presents a unique set of challenges to tackle. By making use of the Stanford Graph-Based Neural Dependency Parser, we show that through careful curation of the parsing data and several manipulation strategies, it is possible to achieve an Labeled Attachment Score of about 0.85 for this corpus. We also explain how the data can be converted back to its original (Ancient Greek Dependency Treebanks) format. We describe the results of several tests we have carried out to improve parsing results, with special attention paid to the impact of the annotation format on parser achievements. In addition, we offer a detailed qualitative analysis of the remaining errors, including possible ways to solve them. Moreover, the paper gives an overview of the valorisation possibilities of an automatically annotated corpus of Ancient Greek texts in the fields of linguistics, language education and humanities studies in general. The concluding section critically analyses the remaining difficulties and outlines avenues to further improve the parsing quality and the ensuing practical applications.
Attack the bot: Mode effects and the challenges of conducting a mixed-mode household survey during the Covid-19 pandemic

Constant changes to COVID-19 restrictions have required adaptability from social scientists including responding to new challenges such as infiltration by bots. This research note presents unexpected encounters of bot infiltration and recruitment during survey data collection under pandemic conditions. The note draws from a household survey on a social housing estate in London, UK conducted in 2021. The survey investigates residents’ lived experiences of the estate and housing turnover. The note discusses the limitations of online data collection, focusing on infiltration by bots and exclusion of marginalised groups. It adds to the emerging literature on bots in survey methods, making recommendations for an iterative verification and sequential multi-stage data cleaning process. It finds that online-only approaches can exclude marginalised groups. The note argues that even under pandemic conditions, face-to-face data collection can have greater reach than online only approaches. It concludes that mixed-mode household surveys can a) mitigate the challenges of a changing research environment; b) reach a broader sample; and c) provide qualitative insight for future research.
Querying Data Exchange Settings Beyond Positive Queries

Abstract Data exchange, the problem of transferring data from a source schema to a target schema, has been studied for several years. The semantics of answering positive queries over the target schema has been defined in early work, but little attention has been paid to more general queries. A few proposals of semantics for more general queries exist but they either do not properly extend the standard semantics under positive queries, giving rise to counterintuitive answers, or they make query answering undecidable even for the most important data exchange settings, for example, with weakly-acyclic dependencies. The goal of this paper is to provide a new semantics for data exchange that is able to deal with general queries. At the same time, we want our semantics to coincide with the classical one when focusing on positive queries, and to not trade-off too much in terms of complexity of query answering. We show that query answering is undecidable in general under the new semantics, but it is $\text{co}\text{NP}\text{-complete}$ when the dependencies are weakly-acyclic. Moreover, in the latter case, we show that exact answers under our semantics can be computed by means of logic programs with choice, thus exploiting existing efficient systems. For more efficient computations, we also show that our semantics allows for the construction of a representative target instance, similar in spirit to a universal solution, that can be exploited for computing approximate answers in polynomial time.
Metric dynamic equilibrium logic

In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behaviour of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. In many applications, however, timing constraints are important like, for instance, when planning and scheduling go hand in hand. We address this by developing a metric extension of linear-time Dynamic Equilibrium Logic, in which dynamic operators are constrained by intervals over integers. The resulting Metric Dynamic Equilibrium Logic provides the foundation of an ASP-based approach for specifying qualitative and quantitative dynamic constraints. As such, it constitutes the most general among a whole spectrum of temporal extensions of Equilibrium Logic. In detail, we show that it encompasses Temporal, Dynamic, Metric and regular Equilibrium Logic, as well as its classic counterparts once the law of the excluded middle is added.
A lower bound for differential uniformity by multiplicative complexity &amp; bijective functions of multiplicative complexity 1 over finite fields

Abstract The multiplicative complexity of an S-box over a finite field is the minimum number of multiplications needed to implement the S-box as an arithmetic circuit. In this paper we fully characterize bijective S-boxes with multiplicative complexity 1 up to affine equivalence over any finite field. We show that under affine equivalence in odd characteristic there are two classes of bijective functions and in even characteristic there are three classes of bijective functions with multiplicative complexity 1. Moreover, in (Jeon et al., Cryptogr. Commun., 14 (4), 849-874 (2022)) A-boxes where introduced to lower bound the differential uniformity of an S-box over $$\mathbb {F}_{2}^{n}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msubsup> <mml:mi>F</mml:mi> <mml:mrow> <mml:mn>2</mml:mn> </mml:mrow> <mml:mi>n</mml:mi> </mml:msubsup> </mml:math> via its multiplicative complexity. We generalize this concept to arbitrary finite fields. In particular, we show that the differential uniformity of a ( n , m )-S-box over $$\mathbb {F}_{q}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>F</mml:mi> <mml:mi>q</mml:mi> </mml:msub> </mml:math> is at least $$q^{n - l}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>q</mml:mi> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>-</mml:mo> <mml:mi>l</mml:mi> </mml:mrow> </mml:msup> </mml:math> , where $$\lfloor \frac{n - 1}{2} \rfloor + l$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>⌊</mml:mo> <mml:mfrac> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:mn>2</mml:mn> </mml:mfrac> <mml:mo>⌋</mml:mo> <mml:mo>+</mml:mo> <mml:mi>l</mml:mi> </mml:mrow> </mml:math> is the multiplicative complexity of the S-box.
Study on the Judicial Application of the Short Video Platform Safe Harbour Rule

The development of short videos has been overwhelming, bringing huge economic benefits to platforms. However, as the market sinks, the quality of short video content is more and more difficult to guarantee, and the phenomenon of copyright infringement such as video porting among users is becoming more and more serious. The safe harbour rule is the core system for determining online infringement, in addition to being a balance between the interests of right holders, platforms and users. However, in practice, right holders believe that the duty of care of platforms should be increased, so that they cannot enjoy the traffic dividend brought by short videos while using the "notice-and-takedown" procedure to easily enter the "safe harbour". On the other hand, short video platforms often refuse to assume the responsibility triggered by the uploading of infringing short videos by users on the grounds that they do not have the obligation to review the legality of the copyright. In view of the conflict of interests between the two parties, how to apply the principle of "safe harbour" to better reconcile the demands of the two parties has become a problem that needs to be solved urgently.
Training mental imagery skills of elite athletes in virtual reality

Mental imagery practice is widely used to help athletes prepare for competitions, as it can produce motor actions that enhance performance. The goal of imagery training for athletes is to create realistic images in their minds and to familiarize them with certain procedures, environments, and other aspects related to competition. Traditional imagery training methods use still images or videos, and athletes study the pictures or watch the videos in order to mentally rehearse. However, factors such as distractions and low realism can affect the training quality. In this paper, we present a Virtual Reality (VR) solution and a study that explores our hypotheses that H 1 : high-fidelity VR systems improve mental imagery skills, that H 2 : the presence of elements such as virtual onlookers or photographers in the VR environment arouse stronger emotional reactions and affect, and that H 3 : the presence of elements such as onlookers or photographers in the VR environment results in better mental imagery skill improvement. For that purpose, seven elite snow sports athletes were exposed to three training methods, Video, VR-Empty, and VR-Crowded. Our results show that a VR simulation with virtual onlookers (VR-Crowded) can significantly increase heart rate, which can induce increased emotional arousal. The results from validated questionnaires show no significant difference for the three training methods in terms of mental imagery and affect, but the results show an ascending trend for the athlete’s arousal from Video to the VR-Crowded condition. Gaze detection heat maps of interest areas for the two VR conditions support hypothesis H 2 that environmental factors such as the presence of photographers, staff, and onlookers can increase head and eye movement, possibly indicating an increase in emotional arousal during imagery training. According to verbal feedback and interviews, athletes are more likely to use innovative training methods (e.g., the high-fidelity VR method) than traditional video-training methods.
Weil Sums over Small Subgroups

Abstract We obtain new bounds on short Weil sums over small multiplicative subgroups of prime finite fields which remain nontrivial in the range the classical Weil bound is already trivial. The method we use is a blend of techniques coming from algebraic geometry and additive combinatorics.
A Collaborative Learning-based Urban Low-light Small-target Face Image Enhancement Method

Face recognition is an essential technology in intelligent transportation and security within smart cities. Nevertheless, face images taken in nighttime urban environments often suffer from low brightness, small sizes, and low resolution, which pose significant challenges for accurate face feature recognition. To address this issue, we propose the Low-light Small-target Face Enhancement (LSFE) method, a collaborative learning-based image brightness enhancement approach specifically designed for small-target faces in low-light environments. LSFE employs a multilevel feature stratification module to acquire detailed face image features at different levels, revealing hidden facial image information within the dark. In addition, we design a network combining collaborative learning and self-attention mechanisms, which effectively captures long-distance pixel dependencies in low-brightness face images and enhances their brightness in a stepwise manner. The enhanced feature maps are then fused through a branch fusion module. Experimental results demonstrate that LSFE can more effectively enhance the luminance of small-target face images in low-light scenes while retaining more visual information, compared to other existing methods.
Levels of mastering theoretical knowledge of higher mathematics in computerized testing

This paper deals with the problem of computer testing of students level of theoretical knowledge on Higher Mathematics. When assessing students in Mathematics, their mastery of skills and abilities to solve problems and to use theoretical material falls into different categories. Test tasks to assess the ability to solve typical problems are often based on the prediction of the success of their solution by students, taking into account teaching experience, task examples from published sets of tests on Higher Mathematics. The process of tasks development is rather complicated for many reasons. In particular, when discussing some tasks with the student during the exam, the teachers questions usually do not have a test form and it is more difficult to predict the success of the students performance in this case. Therefore, the paper proposes to correlate test tasks to assess the mastery of theoretical material in higher mathematics with a certain hierarchical system of levels of knowledge acquisition. Matching test tasks knowledge with mastering level allows you to take into account their development and the depth of the study of theoretical material in mathematical disciplines. The paper deals with the hierarchical system of four levels of knowledge assimilation (recognition, mechanical reproduction, fragmentary understanding, integral understanding), gives examples of tasks for each level and the results of the success in individual test tasks, which can be useful for teachers when developing tests to check the theoretical knowledge of Mathematics.
New Research on the Ontology of Philosophy of Information

The theory of information ontology proposed by the Chinese philosophy of information not only changes the connotation and limit of “existence”, but also lays a foundation for the discussion of the originally illusory “non-existence” world from the level of philosophical abstraction. However, the existing information ontology still has some aspects that need to be expanded and deepened, and there are several problems that need to be solved. The new information evolution ontology can provide some constructive answers to solve these problems.
A Stealth–Distance Dynamic Weight Deep Q-Network Algorithm for Three-Dimensional Path Planning of Unmanned Aerial Helicopter

Unmanned aerial helicopters (UAHs) have been widely used recently for reconnaissance operations and other risky missions. Meanwhile, the threats to UAHs have been becoming more and more serious, mainly from radar and flights. It is essential for a UAH to select a safe flight path, as well as proper flying attitudes, to evade detection operations, and the stealth abilities of the UAH can be helpful for this. In this paper, a stealth–distance dynamic weight Deep Q-Network (SDDW-DQN) algorithm is proposed for path planning in a UAH. Additionally, the dynamic weight is applied in the reward function, which can reflect the priorities of target distance and stealth in different flight states. For the path-planning simulation, the dynamic model of UAHs and the guidance model of flight are put forward, and the stealth model of UAHs, including the radar cross-section (RCS) and the infrared radiation (IR) intensity of UAHs, is established. The simulation results show that the SDDW-DQN algorithm can be helpful in the evasion by UAHs of radar detection and flight operations, and the dynamic weight can contribute to better path-planning results.
Optical Analysis of the Impact Transmission in Steel Sheet Arrays with Bolted-Type Joints

This research leads with the analysis of a structural joint. Different arrays of steel sheets were joined using bolts. The structures were built in a metallic box filled with Granitic 0/3 sand. This box was used as a rigid body to transmit impacts and the sand as a medium to interact between the body and the structure. Then, an optical set-up was placed to measure the interaction of the impact along the different arrays. Measurements were made 5 cm before and 5 cm after the bolt. Results were analyzed by performing signal filtering and approaching a mathematical solution revealing that impact interaction can be harmonic or damped oscillations with more than 98% accuracy.
Simulating FaaS Orchestrations In The Cloud-Edge Continuum

Deploying Function-as-a-Service (FaaS) applications to resources in the Cloud-Edge continuum calls for suitable simulation environments to assess new proposals for managing those applications while accounting for their specificity, i.e. ephemeral deployment and orchestrated execution. Indeed, exploiting real infrastructures for extensive experiments, while considering heterogeneous nodes and different applications, is costly and time-consuming.
Shadow Hunter: Low-Illumination Object-Detection Algorithm

Recently, object detection, which is focused on images with normal illumination levels, has achieved great success. However, the accuracy of object detection is reduced in suboptimal environments due to the images plagued by noise and low contrast. For boosting the performance of object-detection tasks under low-illumination conditions, we propose three modules for improvement: (1) the low-level feature attention (LFA) module learns to focus on the regional feature information of the object in the low-illumination environment, highlighting important features and filtering noisy information; (2) the feature fusion neck (FFN) obtains enriched feature information by fusing the feature information of the feature map after backbone; (3) the context-spatial decoupling head (CSDH) enables the classification head to focus on contextual semantic information so that the localization head obtains richer spatial details. Extensive experiments show that our algorithm realizing end-to-end detection shows good performance in low-illumination images.