Reviewerly/exHarmony huggingface dataset:
Information and communication technologies in education of Russia and China

The purpose of the article is to identify and substantiate the innovative pedagogical searches in the field of the use of constantly developing information and communications technologies (ICT) in Russia and China. A comparative analysis of types of teaching was carried out taking into account the active use of information and communications technologies. Chinese experience is of great interest to Russian teachers due to the rich Chinese philosophy, national traditions and pedagogical knowledge. Russia and China have deep historical, integration, economic and cultural ties. The system of Chinese education brought the country to the leading position in the world and to the second place in the economy. The author reveals similarities in the education system of Russia and China. Positive achievements in the education systems of each of these countries are mutually enriching each other, acquiring a global character. At the same time, the Chinese education system has a number of achievements that have to be integrated into the Russian education system. The study compares the traditional and innovative types of teaching in Russia and China in terms of indicators: an approach to teaching, a dominant idea, a goal, centering on the subject of activity, teacher (instructor) roles, student roles, values on which a teacher (an instructor) relies, advantages, disadvantages, main results. The study identifies the essential characteristics of the types of teaching and makes it possible to establish that, at a theoretical level, the traditional and innovative types of teaching are opposed, but in practice they organically combine, complement and reinforce each other. China's experience in the use of ICTs in education is invaluable in the implementation of the modernization of education in Russia.
New Trends of Fuzzy Systems: Fintech Applications

In the last years, the term Financial Technology (FinTech) has been adopted by literature to describe a wide range of services, aided by several financial technologies, for enterprises or organizations, which mainly address the improvement of the service quality by using Information Technology (IT) applications.
Observation of type‐II kind of correlated photon generation from a classical circularly polarized slot antenna

Abstract In this communication, an important observation on the generation of the Type II kind of correlated photons at the macroscopic regime is presented. In the optical regime, the entangled photon generation is well established. But, in the microwave (macroscopic) regime there is no any radiator which can radiate two photons of entangled spin states is reported. Accidentally, it is observed that a fundamental circularly polarized slot antenna could radiate photons with correlated spin states in the opposite spatial directions. It is simulated and experimentally observed. The dimensions of the same design could be scaled up or down to use this principle to be implemented at the other frequencies of the electromagnetic spectrum like millimeter waves, Tera Hertz waves, etc. also.
Voting Technologies, Recount Methods and Votes in Wisconsin and Michigan in 2016

We present data from the 2016 presidential election recounts done in Wisconsin and Michigan and information about the voting technologies that were used there to explain why it is challenging to show that the voting technologies treated candidates Trump and Clinton symmetrically. Lack of clarity about which type of technology was used to record vote counts, a mix of mostly small but sparse large counted differences between original and recounted vote totals, features that relate to voters, technologies and recount methods, and selectivity concerns are among the obstacles.
Substituting strict equivalents

Abstract I discuss certain principles for substituting strictly equivalent propositions and provide alternative axiomatizations of some standard modal systems and proofs of containment relations among some systems that have the principles, including partial proof of Steffen Lewitzka’s ‘conjecture’ that ‘S1+$\Box $SP is strictly contained between S1+SP and S3’ (2016, J. Logic Comput., 26, 1780).
Virtual reality headset using a gaze-synchronized display system

We present a concept for virtual reality (VR) headsets which is inspired by the design of the human eye itself. By using a rotatable display system which resembles a mechanical copy of the eye, we achieve a high resolution at the foveal spot and lower resolution in the periphery while maintaining a large field of view. Fast and accurate retinal eye tracking by observing the blind spot on the fovea centralis is possible with this solution. The vergence-accomodation conflict can be solved potentially by integrating an off-the-shelf tunable lens.
Implementing the Principles of Transparency and Best Practice in Scholarly Publishing

tion of Medical Editors (WAME) [1].Most of these principles are self-evident and can be considered as essential ingredients in publishing scholarly journals in an ethically, academically and entrepreneurially transparent manner.Since July, 2018, Science Editing has fully adopted them in the editorial policy, which can be found in our web page about Best Practice (https:
The square root law in the embedding detection problem for Markov chains with unknown matrix of transition probabilities

Abstract We consider the classical model of embeddings in a simple binary Markov chain with unknown transition probability matrix. We obtain conditions on the asymptotic growth of lengths of the original and embedded sequences sufficient for the consistency of the proposed statistical embedding detection test.
A systematic literature review on MapReduce scheduling methods

MapReduce is a widespread programming model used for overcoming processing limits of current hardware resources. In the MapReduce paradigm, large amount of data distributed into multiple parts and each part processed on different processing units and finally the results of all units combined to obt ain the ultimate result. Scheduling is an important aspect that affects overall processing quality, hence finding suitable algorithm based on properties of jobs is essential to acquire maximum performance. The basic FIFO algorithm for job scheduling does not meet maximum efficiency. Therefore, many of new schedulers proposed so far to improve quality metrics of the MapReduce system. The scheduling methods can be designed for job scheduling, map or reduce task scheduling or both. In this paper, we select high quality studies that concern the MapReduce scheduling problem and then classify them based on their main concerning quality measure and subsequently review selected studies. Finally, we discuss research trends and provide a roadmap of the scheduling problem for researchers.
Geological field guides as educational tools: the Coorong, South Australia

The South Australian (SA) Division of the Geological Society of Australia (GSAust) has a working subcommittee responsible for preparation of geological field guides. The target audience for these guides comprises persons who have an interest in natural environments, but who do not necessarily have specialist education in the Earth sciences. Care is taken to avoid excessive and unnecessary use of jargon, but where required, technical terms are used with appropriate explanations; ‘dumbing down’ is avoided and suitable references are cited for those who seek further information. Field guides can be downloaded from the GSAust web site. Later editions may be updated for mobile devices. The over-arching aim of the subcommittee is to contribute to public education. The Coorong is a back-barrier coastal lagoon that, together with Lake Alexandrina and Lake Albert, constitute the modern estuary of the River Murray. The Younghusband Peninsula is a Holocene beach-dune barrier that was formed as the rising postglacial sea transported sandy sediment shoreward from the exposed Lacepede Shelf. The peninsula stabilised following culmination of the postglacial marine transgression, at the same time isolating a narrow back-barrier lagoon, the Coorong, from the direct impact of the Southern Ocean. The Coorong is a landscape icon rated highly as a tourist attraction. It has importance for ornithologists and other scientists (including geologists) and is the ancestral home of the Ngarrindjeri people. There is a diverse group of people who might be interested in a well-presented and authoritative field guide to this area. The Coorong and associated features thus provide a landscape that underpins consideration of two major concepts: Earth’s global climate has greatly varied during the Pleistocene; glacial and interglacial climatic events have been widely identified within a consistent chronologic framework; and the present global climate is interglacial. Sea-level is lower during cooler glacial times when increased amounts of water are stored as ice on land, particularly in the polar and highland (alpine) regions; sea-level rises during warmer interglacial times when meltwater from glaciers and ice sheets flows into the oceans; and in the present warm-interglacial climate sea-level is high.
Geometric Optical Model of the Snapshot Image Mapping Spectrometer for Data Cube Recovery

Snapshot image mapping spectrometer (IMS) can capture the spatial and spectral information of an object simultaneously in a single integral time. This paper presents a geometric optical model of the IMS and proposes a reconstruction method for 3-D data cube based on this model. The simulation and experiment results prove that the model is correct and the reconstruction method is effective.
Evaluation of intelligent decision support system iWizard-E prediction possibilities

The intelligent decision support systems process a large amount of data. Often, the information is duplicated, which slows down the process of predictive models building. The iWizard-E system, which is designed to assist the university applicants in choosing a training direction, has the function of duplicate records removal from the data before building a predictive model. The paper analyzes the influence of the mentioned function on the system operation. To this end, a series of experiments were conducted, during which various samples were processed, containing the individual features of students and the information about their graduation from the university, after which the recommendations were generated regarding the choice of a preferred course of study. The samples were formed on the basis of a set containing only unique records. Then the real data were compared with the results issued by the system. The F-measure was used as a quality criterion. It was found that duplicate removal has a positive effect on the quality of work of iWizard-E. This fact is of high practical significance: the amount of data required for the formation of reliable predictive models and, as a result, reliable recommendations to the applicants is reduced. Moreover, the time required to build the predictive models is reduced.
Tensor-Centric Warfare VI: A Global Warfare Model

We propose a global warfare model that integrates the models of the whole tensor-centric warfare series, represented as a high-dimensional entangled warfare category.Its underpinning metaphysics is "entangled fusion": this is the macroscopic entanglement concept inspired by high-dimensional (HD) quantum computation (the "quantum brain"), in which any number of entangled wave-functions can be highly correlated, with neuron-like signaling among them.From this entangled perspective, war and battle is seen essentially as a holistic phenomenon: if any one of a set of mutually entangled warring parties is removed from the equation, then the war as it is instantly stops, possibly to be replaced by a new conflict between the remaining parties but distinct from that which it supplants.The formal global warfare framework developed in this paper expresses this fundamental idea of arbitrary many interrelated/entangled conflicts, each of them defined by its own battle-manifold (with warfighting tensor fields acting on it) and occurring (more-or-less) simultaneously on the planet; we call this entangled category Warfare .
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems

In this paper, we show a new approach to transformations of an imperative program with function calls and global variables into a logically constrained term rewriting system. The resulting system represents transitions of the whole execution environment with a call stack. More precisely, we prepare a function symbol for the whole environment, which stores values for global variables and a call stack as its arguments. For a function call, we prepare rewrite rules to push the frame to the stack and to pop it after the execution. Any running frame is located at the top of the stack, and statements accessing global variables are represented by rewrite rules for the environment symbol. We show a precise transformation based on the approach and prove its correctness.
Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML

Security has become an important concern with the development of large scale distributed and heterogeneous multi-agent systems (MAS). One of the main problems in addressing security during the development of MAS is that security is often an afterthought. The cost involved to patch existing systems against vulnerabilities and attacks after deployment is high. If developers and designers can spend some quality time investigating security aspects before beginning to code then this cost can be reduced significantly. Also, using formal methods to specify the complex behavior of large scale software systems has resulted in reliable software systems. This research effort was focused on using formal methods early in the development lifecycle to specify security requirements for MAS. New solutions are emerging to fix security related issues, but how much thought gets in during the early phases of development in terms of security needs to be answered. In this paper, analysis of security requirements for MAS, existing solutions to secure MAS, and the use of formal methods to specify security requirements has been studied. Descartes-Agent, a formal specification language for specifying agent systems has been taken into study to model the security requirements of MAS early on in the development process. Functional specifications of MAS are modelled along with the non-functional security requirements using the Descartes-Agent specification language. This paper also describes the extensions made to the Agent Unified Modeling Language (AUML) to represent the security requirements of MAS. The extensions proposed to AUML are in accordance with the extensions made to the Descartes-Agent specification language. A case study example is used to illustrate the specification of security requirements in MAS using the Descartes-Agent.
Intelligently recommending key bindings on physical keyboards with demonstrations in Emacs

Physical keyboards have been peripheral input devices to electronic computers since early 1970s and become ubiquitous during the past few decades, especially in professional areas such as software programming, professional game playing, and document processing. In these real-world applications, key bindings, a fundamental vehicle for human to interact with software systems using physical keyboards, play a critical role in users' productivity. However, as essential applications of artificial intelligence research, research on intelligent user interfaces and recommender systems barely relates to key bindings on physical keyboards. In this paper, we develop a recommender system (referred to as EKBRS) for intelligently recommending key bindings with demonstration in Emacs, which we use as a base user interface. This is a brand new direction of intelligent user interface research and also a novel application of recommender systems. To the best of our knowledge, this is the world's first intelligent user interface that heavily exploits key bindings of physical keyboards and the world's first recommender system for recommending key bindings. We empirically show the effectiveness of our recommender system and briefly discuss the applicability of this recommender system to other software systems.
The Impact of an Online Tutoring Program for Algebra Readiness on Mathematics Achievements; Results of a Randomized Experiment

We study the impact of an online tutoring program, AnimalWatch, for algebra readiness on mathematics achievements of grade 6 students. We use the data from a randomized experimental design conducted on 69 teachers and 2025 students in California in the academic years 2011-2012. After a brief description of the experimental design and the system implementation, we analyze the treatment effect of employing AnimalWatch using the popular hierarchical linear models and find a small positive effect. We further use the logged system usage data such as time spent in the system, modules completed, correct/incorrect/no-answers records of students in each login to analyze how system implementation and usage helped different students. Our results provide insights into the limitations in implementing such a study in a real world setting and suggests recommendations for future research.
Confused yet Successful:

Many side-channel distinguishers (such as DPA/DoM, CPA, Euclidean Distance, KSA, MIA, etc.) have been devised and studied to extract keys from cryptographic devices. Each has pros and cons and find applications in various contexts. These distinguishers have been described theoretically in order to determine which distinguisher is best for a given context, enabling an unambiguous characterization in terms of success rate or number of traces required to extract the secret key. In this paper, we show that in the case of monobit leakages, the theoretical expression of all distinguishers depend only on two parameters: the confusion coefficient and the signal-to-noise ratio. We provide closed-form expressions and leverage them to compare the distinguishers in terms of convergence speed for distinguishing between key candidates. This study contrasts with previous works where only the asymptotic behavior was determined—when the number of traces tends to infinity, or when the signal-to-noise ratio tends to zero.
Recognition of Collocation Frames from Sentences

Collocation is a ubiquitous phenomenon in languages and accurate collocation recognition and extraction is of great significance to many natural language processing tasks. Collocations can be differentiated from simple bigram collocations to collocation frames (referring to distant multi-gram collocations). So far little focus is put on collocation frames. Oriented to translation and parsing, this study aims to recognize and extract the longest possible collocation frames from given sentences. We first extract bigram collocations with distributional semantics based method by introducing collocation patterns and integrating some state-of-the-art association measures. Based on bigram collocations extracted by the proposed method, we get the longest collocation frames according to recursive nature and linguistic rules of collocations. Compared with the baseline systems, the proposed method performs significantly better in bigram collocation extraction both in precision and recall. And in extracting collocation frames, the proposed method performs even better with the precision similar to its bigram collocation extraction results.
Delimited Persistent Stochastic Non-Interference

Non-Interference is an information flow security property which aims to protect confidential data by ensuring the complete absence of any information flow from high level entities to low level ones. However, this requirement is too demanding when dealing with real applications: indeed, no real policy ever guarantees a total absence of information flow. In order to deal with real applications, it is often necessary to allow mechanisms for downgrading or declassifying information such as information filters and channel control.
Query Learning Algorithm for Residual Symbolic Finite Automata

We propose a query learning algorithm for residual symbolic finite automata (RSFAs).Symbolic finite automata (SFAs) are finite automata whose transitions are labeled by predicates over a Boolean algebra, in which a big collection of characters leading the same transition may be represented by a single predicate.Residual finite automata (RFAs) are a special type of non-deterministic finite automata which can be exponentially smaller than the minimum deterministic finite automata and have a favorable property for learning algorithms.RSFAs have both properties of SFAs and RFAs and can have more succinct representation of transitions and fewer states than RFAs and deterministic SFAs accepting the same language.The implementation of our algorithm efficiently learns RSFAs over a huge alphabet and outperforms an existing learning algorithm for deterministic SFAs.The result also shows that the benefit of non-determinism in efficiency is even larger in learning SFAs than non-symbolic automata.
Micro-Geochemical Research in Mineral Exploration, Case Study of the Massive Sulfides of the Bathurst Mining Camp, Canada

Geochemical exploration approaches using micro-chemical techniques are being developed in order to better enhance the understanding of mineral-chemical variations of alteration zones, as well as the effective strategies related to high depth drilling. Herein, is a summary presentation of vectoring tools as developed by Laser Ablation Inductively Coupled Plasma Mass spectrometry (LA-ICP-MS), useful for measuring fluid-mobile elements within indicator minerals of alteration haloes, as sited around the massive sulfide deposits of the Bathurst Mining Camp, Canada. Three vectoring tools, namely, white mica, applicable in proximal and distal zones, chlorite, as an effective proximal tool, and pyrite, applicable in both distal and proximal zones, are presented. The fluid-mobile dispersion patterns noticeable within chlorite, white mica, and pyrite, at the deposit scale, prove to display increasing trend with proximity to ore bodies. These approaches can be potentially applied to other VMS deposits and mineralization modes as complementary techniques.
Towards Learning Analytics in Cybersecurity Capture the Flag Games

Capture the Flag games are software applications designed to exercise cybersecurity concepts, practice using security tools, and understand cyber attacks and defense. We develop and employ these games at our university for training purposes, unlike in the traditional competitive setting. During the gameplay, it is possible to collect data about players' in-game actions, such as typed commands or solution attempts, including the timing of these actions. Although such data was previously employed in computer security research, to the best of our knowledge, there were few attempts to use this data primarily to improve education. In particular, we see an open and challenging research problem in creating an artificial intelligence assistant that would facilitate the learning of each player. Our goal is to propose, apply, and experimentally evaluate data analysis and machine learning techniques to derive information about the players' interactions from the in-game data. We want to use this information to automatically provide each player with a personalized formative assessment. Such assessment will help the players identify their mastered concepts and areas for improvement, along with suggestions and actionable steps to take. Furthermore, we want to identify high- or low-performing players during the game, and subsequently, offer them game tasks more suitable to their skill level. These interventions would supplement or even replace feedback from instructors, which would significantly increase the learning impact of the games, enable more students to learn cybersecurity skills at an individual pace, and lower the costs.