Reviewerly/exHarmony huggingface dataset:
Evolution of technical debt : An exploratory study

Context: Technical debt is known to impact maintainability of software. As source code files grow in size, maintainability becomes more challenging. Therefore, it is expected that the density of te ...
Adapting Rigidity to Symmetric Cryptography: Towards "Unswerving" Designs.

While designers of cryptographic algorithms are rarely considered as potential adversaries, past examples, such as the standardization of the Dual EC PRNG highlights that the story might be more complicated.To prevent the existence of backdoors, the concept of rigidity was introduced in the specific context of curve generation. The idea is to first state a strict scope statement for the properties that the curve needs to have and then pick e.g. the one with the smallest parameters. The aim is to ensure that the designers did not have the degrees of freedom that allows the addition of a trapdoor.In this paper, we apply this approach to symmetric algorithms. The task is challenging because the corresponding primitives are more complex: they consist of several sub-components of different types, and the properties required by these sub-components to achieve the desired security level are not as clearly defined. Furthermore, security often comes in this case from the interplay between these components rather than from their individual properties.In this paper, we argue that it is nevertheless necessary to demand that symmetric algorithms have a similar but, due to their different nature, more complex property which we call unswervingness''. We motivate this need via a study of the literature on symmetric kleptography'' and via the study of some real-world standards. We then suggest some guidelines that could be used to leverage the unswervingness of a symmetric algorithm to standardize a highly trusted and equally safe variant of it.
العملات المشفرة في ضوء مقاصد الشريعة الإسلامية )عملة (Bitcoin) أنموذجًا(

This research paper studies the religious ruling of cryptocurrency in light of the objectives of Islamic law (i.e., Maqasid al-Shariah). It describes the properties of bitcoin as a case study and then evaluates these properties with respect to the objectives of Islamic law. It concludes that it is unlawful to mine or deal with bitcoin because some of its characteristics are not aligned with the objectives of Islamic law that pertain to the preservation of wealth. The paper also lists the most significant differences between cryptocurrency and the standard forms of currency. It concludes that cryptocurrency does not fulfill the conditions of currency according to Islamic law, namely, because bitcoin lacks public acceptance and wide distribution and because it is not generally used to evaluate goods and services. Therefore, cryptocurrency neither holds intrinsic value nor can it be utilized in deferred payments.
Contemporary Foreign Language Teacher’s Training

The article deals with contemporary foreign language teacher’s training. Based on experience it is analyzed foreign language teacher’s training system in Russia and noted specific tendencies in teacher’s training and his/her personal qualities. The authors consider innovative approaches directed to contemporary teacher of the 21-st century who is a central facilitator of a foreign language educational process. It is emphasized that methodology level development nowadays should have professionally oriented innovative nature and be aimed at the formation of a competence modeling pedagogical activity system and structure. The research that has been implemented in the pedagogical Institute of Belgorod State National Research University at the faculty of foreign languages has been focused on learning techniques development for formation of methodological thinking and teacher’s personal qualities. Special supplementary materials in «Methods of First Foreign Language Teaching» lessons (in both lectures and practical studies) were used for students going to get Bachelor’s degree in Education. Due to the research there were established the most effective learning techniques for development of teacher’s methodological thinking and his/her personal qualities formation (communication skills, empathy, creativity, reflexivity etc.).
Russian Cosmism – the Theory of Media Epistemic Actions

Introduction. The paper deals with the possibility of referring to a conceptual resource of Russian cosmism to clarify the position of a man in the modern media realism. Cosmist philosophers for the first time drew attention to the fact that the possible conquest of space will be primarily a rediscovery of man. Indeed, space devices mastered not so much space, as a man in his communicative nature, organizing new connections, new communities, new meanings. Methodology and sources. Methodologically, the research work is based on philosophical analysis of primary sources and research literature. Results and discussion. The paper shows that the cosmists managed not only to foresee the re-discovery of person, which will begin with an information explosion the release of meanings, images, events, signs, faces, etc. from the previous types of communication, they were the first to manage to point out the positive aspects of such emancipation and how to live after the information explosion. According to their intuitions: 1) a person will become open to all eras, all mythologies, all symbols, and therefore extremely complicated (today we see how the newest interfaces of technical devices force us to do more, maximally intensifying our psychophysiology – attention, reaction speed, etc. ); 2) in the conditions of increasing complexity, new types of organization will be required (today complex social and technical systems are intertwined, creating hybrids: virtual, augmented reality, real virtuality, etc.); 3) since traditional contexts are erased and paradoxical hybrid forms of experience are multiplied, actions should not just lead to some result, but first of all explain their goals and their meaning, that is, practical and pragmatic actions give way to epistemic actions (clarifying that actually done – hence the value of gamification, information, etc.). Thus, as a result of media research, through the prism of the philosophical search of cosmists, it is possible to see media not only as a message, but also as a community, which in conditions of the absence of a whole, understands this whole (space) as a task, as achieving a common mood through co-feeling, -co-readiness (organization), and an instrument for achieving attunement (the mood that precedes words, meanings, images, all their connections and remains after their emancipation), suggests epistemic actions – actions not only creating something, but also clarifying, what is being done. Conclusion. The theory of the common cause should be understood as the theory of epistemic actions in the media (or as the theory of media epistemic action), which becomes the basis for clarifying the mechanism of orientation, mutual understanding and mutual recognition in media reality, when a person cannot consume information, without participating in its production.
The Process of Adopting Innovation on Line Chatterbot Mobile Messenger as Customer Service Intermediary (Case Study: Chatterbot Telkomsel)

By using Rogers’s theory (1983), this research aims to know the process of adopting innovation occurred in the Telkomsel customers toward Line Chatterbot Mobile Messenger. Another purpose of this research is tried to find out the differences of adoption process from generation X, millennial, and generation Z as well as describe each of the adopter category characteristics. The method used is case study with qualitative approach using Focus Group Discussion technique. The results then reveal that the adoption process has little bit differences with Rogers’s theory. The differences are found in several steps including knowledge steps, experiment steps, decision steps, and confirmation steps. Furthermore, this research is also found out new concepts namely passive adopter which is defined as adopter that prefers using innovation as alternative choices.
Asymptotic security of the four-state continuous-variable quantum key distribution protocol

We establish a lower bound on the asymptotic secret key rate of continuous-variable quantum key distribution with a discrete modulation of coherent states. The bound is valid against collective attacks and is obtained by formulating the problem as a semidefinite program. We illustrate our general approach with the quadrature phase-shift keying (QPSK) modulation scheme and show that distances over 100 km are achievable for realistic values of noise. We also discuss the application to more complex quadrature amplitude modulations (QAM) schemes. This work is a major step towards establishing the full security of continuous-variable protocols with a discrete modulation in the finite-size regime and opens the way to large-scale deployment of these protocols for quantum key distribution.
Android-Based High School Management Information System

Android is a digital platform that often used in current society.It is used by almost all communities, either youngsters or adults, including students and high school teachers.Schools generally apply a conventional way when it comes to the academic process, such as a teacher gives grades by writing them down, students manually write their schedules every semester, giving announcement by gathering the students in the hall and ask students to attend school just to take their report cards.The Android Based High School Management Information System is created to facilitate school academic process.The system can be used by the teachers and students to make the school academic process easier.Furthermore, the student guardians receive the notifications about the student attendance and grade report.This academic process can be applied anytime and anywhere as long as it is connected to the internet.The teachers can input the grades via phone, getting latest school information, seeing the given grades and schedules.The students can see their schedules, getting the latest information, seeing their grades and notifications whenever the teachers have input their grades.The student guardians can get the students attendance and grade report.
Computer-supported Exploration of a Categorical Axiomatization of Modeloids

A modeloid, a certain set of partial bijections, emerges from the idea to abstract from a structure to the set of its partial automorphisms. It comes with an operation, called the derivative, which is inspired by Ehrenfeucht-Fraisse games. In this paper we develop a generalization of a modeloid first to an inverse semigroup and then to an inverse category using an axiomatic approach to category theory. We then show that this formulation enables a purely algebraic view on Ehrenfeucht-Fraisse games.
Garnishing a phonetic dictionary for ASR intake

We present a new method for preparing a lexical-phonetic database as a resource for acoustic model training. The research is an offshoot of the ongoing Project Ravnur (Speech Recognition for Faroese), but the method is language-independent. At NODALIDA 2019 we demonstrate the method (called SHARP) online, showing how a traditional lexical-phonetic dictionary (with a very rich phone inventory) is transformed into an ASR-friendly database (with reduced phonetics, preventing data sparseness). The mapping procedure is informed by a corpus of speech transcripts. We conclude with a discussion on the benefits of a well-thought-out BLARK design (Basic Language Resource Kit), making tools like SHARP possible.
On the maximum order complexity of the Thue-Morse and Rudin-Shapiro sequence

Expansion complexity and maximum order complexity are both finer measures of pseudorandomness than the linear complexity which is the most prominent quality measure for cryptographic sequences. The expected value of the $N$th maximum order complexity is of order of magnitude $\log N$ whereas it is easy to find families of sequences with $N$th expansion complexity exponential in $\log N$. This might lead to the conjecture that the maximum order complexity is a finer measure than the expansion complexity. However, in this paper we provide two examples, the Thue-Morse sequence and the Rudin-Shapiro sequence with very small expansion complexity but very large maximum order complexity. More precisely, we prove explicit formulas for their $N$th maximum order complexity which are both of largest possible order of magnitude $N$. We present the result on the Rudin-Shapiro sequence in a more general form as a formula for the maximum order complexity of certain pattern sequences.
Deep Reinforcement Learning-Based Topology Optimization for Self-Organized Wireless Sensor Networks

Wireless sensor networks (WSNs) are the foundation of the Internet of Things (IoT), and in the era of the fifth generation of wireless communication networks, they are envisioned to be truly ubiquitous, reliable, scalable, and energy efficient. To this end, topology control is an important mechanism to realize self-organized WSNs that are capable of adapting to the dynamics of the environment. Topology optimization is combinatorial in nature, and generally is NP-hard to solve. Most existing algorithms leverage heuristic rules to reduce the number of search candidates so as to obtain a suboptimal solution in a certain sense. In this paper, we propose a deep reinforcement learning-based topology optimization algorithm, a unified search framework, for self-organized energy-efficient WSNs. Specifically, the proposed algorithm uses a deep neural network to guide a Monte Carlo tree search to roll out simulations, and the results from the tree search reinforce the learning of the neural network. In addition, the proposed algorithm is an anytime algorithm that keeps improving the solution with an increasing amount of computing resources. Various simulations show that the proposed algorithm achieves better performance as compared to heuristic solutions, and is capable of adapting to environment and network changes without restarting the algorithm from scratch.
MEMBENTUK KARAKTER TANGGUNG JAWAB SISWA SMA PADA KEMAMPUAN BERBICARA BAHASA INGGRIS MELALUI METODE PEMBELAJARAN KOOPERATIF

Speaking is one of four language skills, which is a basic function of language as a communication tool.  Cooperative learning is a broader concept that covers all types of group work, namely positive interrelationships, individual responsibilities, personal interactions, collaboration skills and group processes. The purpose of this article is to find out whether the application of effective cooperative learning models to develop students’ character through speaking skills in high school students.
Privacy and Robustness Guarantees in Distributed Dynamics for Aggregative Games

This paper considers the problem of Nash equilibrium (NE) seeking in aggregative games, where the payoff function of each player depends on an aggregate of all players' actions. We present a distributed continuous time algorithm such that the actions of the players converge to NE by communicating to each other through a connected network. A major concern in communicative schemes among strategic agents is that their private information may be revealed to other agents or to a curious third party who can eavesdrop the communications. We address this concern for the presented algorithm and show that private information of the players cannot be reconstructed even if all the communicated variables are compromised. As agents may deviate from their optimal strategies dictated by the NE seeking protocol, we investigate robustness of the proposed algorithm against time-varying disturbances. In particular, we provide rigorous robustness guarantees by proving input to state stability (ISS) properties of the NE seeking dynamics. Finally, we demonstrate practical applications of our theoretical findings on two case studies; namely, on an energy consumption game and a charging coordination problem of electric vehicles.
Detection of Breast Cancer in Mammograms through a New Features Technique

This research proposes a new framework for detection of breast cancer in mammograms.It extracts certain dynamic features to distinguish between benign and malignant mammograms.To this aim, this framework uses set of various techniques.First step we have achieved improvement on breast mammogram to improve the image accuracy based on this framework, after new method has been used for features extraction.New methods named Sparse Principal Component Analysis and Weighted Sparse Principal Component Analysis are used to select the distinctive features of the mammograms.The analyzed mammograms are then identified as benign or malignant through codebook technique is more efficient than other on the MIAS data set.The proposed framework tested on MIAS data set achieved an overall classification accuracy of 98% with codebook classifier for sequential selection of benign and malignant mammograms.Suggested method achieves good results when we have verified on various mammograms.
Regular transductions with MCFG input syntax

We show that regular transductions for which the input part is generated by some multiple context-free grammar can be simulated by synchronous multiple context-free grammars.We prove that synchronous multiple context-free grammars are strictly more powerful than this combination of regular transductions and multiple context-free grammars.
Memprediksi Pembelian Kerupuk Kulit Menggunakan Logika Fuzzy Sugeno Pada Home Industri

Skin crackers are a very profitable business of skin crackers when run, but many skin crackers entrepreneurs are overwhelmed in calculating the purchase of skin crackers. This study uses the Fuzzy Sugeno Method which is a method used in decision making as well as determining the income of an agency. For that, the Sugeno method is very suitable in solving the problem of determining the purchase of skin crackers
Pedagogical Design of Creative Strategies for Students’ Self-Development in the Digital Era

The article reveals an original approach to the method of designing educational activities factored in modern conditions: long-term informational stress, namely, discrete immersion into the global information flow, severe time constraints, new behavioral strategies and patterns occurring (multifaceted search, time-urgent decision making), increasing the value of "I-virtual", emergence of new cognitive approaches to understanding, memorizing information. The style of teacher-student interaction is changing in the world of new digital technologies and emergence of new analog features such as sound interfaces, informational bots, and algorithms, technologies of control and attention analytics. The article provides an overview of the experiment, performed in 2017-2019 and participated by 3 groups of undergraduate and Master students of major "Television" of the Higher School of Journalism and Media Communications, Kazan Federal University (35 participants), and 2 groups of Master students of major "Pedagogy of high education" of the Institute of Psychology and Education Kazan Federal University (26 participants); 61 students in total. In the course of the study, group and individual strategies of students’ creative self-development with the features of "digital thinking" were designed. It is revealed that the highest results in the development of self-processes are shown by the students who are aimed at specific (realistic, competitive) digital projects that can reveal their unique potential within the framework of hybrid and group creativity, who develop a step-by-step structure of group actions and combine technological effectiveness and original style.
ANALISA ALGORITMA DAN KARAKTERISTIK KECEPATAN KENDARAAN DI RUAS JALAN ARTERI KOTA SURABAYA

Vehicle speed is one of the parameters used to detect the characteristics of traffic on a road segment. Vehicle speed is a variable that determines the level of road service as well as the value of the comparison between traffic flow and vehicle density on the road section under study. This study aims to develop an appropriate algorithm that can describe the situation on the arterial road Ir. H. Soekarno about the speed of vehicles passing in it. The method used in this study is polynomial regression with vehicle speed as a dependent variable and the measurement time as a independent variable. The model is said to be good and can be represented by looking at the correlation value R2 that is in each calculated model. The results obtained from this study are that the relationship between vehicle speed and measurement time has the best results on the polynomial model level 7 for measurements in the morning and evening with the same polynomial model. This shows that the graph of the velocity of time is not linear but is a polynomial function. From this research, it can be concluded that the Ir.H.Soekarno road section has varied vehicle speed characteristics and the appropriate mathematical model algorithm is the 6th polynomial model with R2 correlation value of 0.88
[Progress in single-cell analysis of hematopoiesis].

The mechanism underlying production of various types of blood cells from hematopoietic stem and progenitor cells has been a central theme in hematology. Conventionally, hematopoietic cell populations are analyzed by cell surface markers to judge cell types and differentiation stages, and by transplantation assays to assess differentiation potential. Recently, however, next-generation sequencing technology has enabled single-cell transcriptome and epigenome analyses and cell barcoding-based lineage tracing during unperturbed hematopoiesis. These innovative assays revealed that each cell population is extensively heterogenous. Many cells within hematopoietic stem cell populations may not be multipotent, and conversely, hematopoietic progenitor cells often display self-renewal capacity. Moreover, cells tend to make their lineage choice much earlier than previously thought. Altogether, these results challenge the current hierarchical differentiation models and propose new continuous models. Single-cell analyses are expected to greatly contribute to our understanding of normal and abnormal hematopoiesis and to the development of new therapies for blood disorders.
Analisa Faktor Dominan Mahasiswa Kesulitan Memahami Bahasa Pemrograman Menggunakan Metode C4.5

Students' understanding of teaching and learning is determined by academic performance and lecturers who give teachings to students. Among them is the education of programming languages. Programming language is one of the main subjects at AMIK Tunas Bangsa Pematangsiantar. Many students buy programs in the final project so that students have difficulty answering questions from examiners n during the trial. The statement of students in difficulty understanding different programming languages. The factors used in the study are lecturer factors, programming language factors, facility factors, lab assistant factors and interest factors. The purpose of this study is to provide academic decision makers in taking solutions to overcome this. The method used in this study is Classification using the C4.5 method as many as 90 data. The results of the study have an accuracy of 84.44% with a Factor Interest is the highest factor in the analysis and Lecturer Factors as the highest factor of students who do not understand the category of Good and Less. It can be concluded that academics provide good education and provide motivation for dynamic programming languages to keep up with the times, especially in the industrial world. With the results of this study, it contributed greatly to AMIK Tunas Bangsa in making decisions to minimize students buying programs. Academic success in educating students is by giving students an acceptable degree in the industry in accordance with the education and teaching provided.