Reviewerly/exHarmony huggingface dataset:
Testing multipartite entanglement with Hardy's nonlocality

Multipartite quantum states may exhibit different types of quantum entanglement in that they cannot be converted into each other by local quantum operations only, and fully understanding mathematical structures of different types of multipartite entanglement is a very challenging task. In this paper, from the viewpoint of Hardy's nonlocality, we compare W and GHZ states and show a couple of crucial different behaviors between them. Particularly, by developing a geometric model for the Hardy's nonlocality problem of W states, we derive an upper bound for its maximal violation probability, which turns out to be strictly smaller than the corresponding probability of GHZ state. This gives us a new comparison between these two quantum states, and the result is also consistent with our intuition that GHZ states is more entangled. Furthermore, we generalize our approach to obtain an asymptotic characterization for general $N$-qubit W states, revealing that when $N$ goes up, the speed that the maximum violation probabilities decay is exponentially slower than that of general $N$-qubit GHZ states. We provide some numerical simulations to verify our theoretical results.
HOW EXISTING NLP TOOLS OF ARABIC LANGUAGE CAN SERVE HADITH PROCESSING

The term Natural Language Processing (NLP) refers to all research and development aimed at modeling and reproducing, with the machines, the human capacity to produce and understand linguistic statements with the goal of communication.NLP, which is the crossroads of linguistics, computer science and artificial intelligence, sees its applications, its programs and many computer techniques, at the service of human language in order to apprehend the meaning of data in natural language.A high-level understanding for the human reasoning has long been sought and considered the extreme goal of the early work.for many natural languages such as English and French, and for all levels of analysis, many applications and tools have been developed.Also for Modern Standard Arabic there are several tools using new technologies like artificial intelligence, machine learning, have appeared for decades.These tools generally concern machine translation, information retrieval, ontologies, part of speech tagging, etc. Unfortunately for classical Arabic, language of Quran and Hadith things are just beginning.The purpose of this paper is to show how to benefit from existing tools for Hadih Science processing especially for evaluation and judgment of Hadith to distinguish between the accepted and rejected Hadith.
COMPETENCE APPROACH TO STUDY PHYSICAL STUDENTS USING COMPUTER MODELING

The article deals with the problem of future physics specialist preparation in modern conditions of cardinal updating the educational in Ukraine content,which is based on tendencies of globalization, integration, fundamentalization, humanization, continuity, differentiation, individualization, informatization, diversification, multilevel and standardization of modernity and standardization processes. It has been found out that issues that bring the content of education and its forms 1)into perspective directions of socio-economic development of the country; 2) in accordance with international educational requirements and standards, are based on the principles of a competent approach. In this regard, the problem of forming competent university graduates studying in the educational programs "Secondary Education (Physics)", "Physics and Astronomy" and "Applied Physics and Nanomaterials" under new conditions is acute. Methodical approaches to creation and development of innovative educational environment in physics defined by the competence-oriented education paradigm, which is based on the integrated usage of modern methods, techniques, technologies and means of ICT for forming competent graduates of physical specialists are presented. It is determined that special attention needs to be given to strengthening the practical orientation of teaching physics and the applied importance of physical knowledge in the modern conditions of creation and development of innovative educational environment in physics in higher education institutions. It is suggested to use computer modeling of physical phenomena and processes in practical classes in order to form the students’ subject competences (for example, studying the section "Optics" of the general course of physics). The article gives examples of such physical tasks in optics, the results of which can be analyzed and presented in the form of computer models or graphical dependencies, or involve the programming of certain physical dependencies for further studying by a computer model or graphical interpretation. Key words: competency approach, subject competence in physics, computer simulation of physical processes, physical problems, methods of teaching physics at university.
ELECTRONIC RESOURCES OF UNIVERSITY LIBRARIES (CATALOG, LIBRARY, ARCHIVE REPOSITORY) AS A MEANS OF COMMUNICATION IN THE EDUCATIONAL AND SCIENTIFIC ENVIRONMENT

The article examines the phenomena of institutional depository, electronic library and electronic catalog in general and drawing on the specific example of Poltava National Technical Yuri Kondratyuk University, which are the basis of educational, pedagogical and scientific processes, on the resources and services of which the content of studies and scientific research of the university significantly depend, as well as the presentation of the results of its operations (first of all, in scientific, academic, learning and teaching fields).The subject of research were electronic resources of the libraries in higher educational establishments.The purpose of this work is to find out the existing and potential role of electronic resources of archives and libraries as a means of communication in the educational and scientific environment on the example of electronic resources of the scientific and technical library of Poltava National
Universal Forgery Attack Against GCM-RUP

Authenticated encryption (AE) schemes are widely used to secure communications because they can guarantee both confidentiality and authenticity of a message. In addition to the standard AE security notion, some recent schemes offer extra robustness, i.e. they maintain security in some misuse scenarios. In particular, Ashur, Dunkelman and Luykx proposed a generic AE construction at CRYPTO'17 that is secure even when releasing unverified plaintext (the RUP setting), and a concrete instantiation, GCM-RUP. The designers proved that GCM-RUP is secure up to the birthday bound in the nonce-respecting model. In this paper, we perform a birthday-bound universal forgery attack against GCM-RUP, matching the bound of the proof. While there are simple distinguishing attacks with birthday complexity on GCM-RUP, our attack is much stronger: we have a partial key recovery leading to universal forgeries. For reference, the best known universal forgery attack against GCM requires $$2^{2n/3}$$ operations, and many schemes do not have any known universal forgery attacks faster than $$2^n$$. This suggests that GCM-RUP offers a different security trade-off than GCM: stronger protection in the RUP setting, but more fragile when the data complexity reaches the birthday bound. In order to avoid this attack, we suggest a minor modification of GCM-RUP that seems to offer better robustness at the birthday bound.
Publisher's Note: Strong algorithmic cooling in large star-topology quantum registers [Phys. Rev. A <b>96</b> , 012330 (2017)]

Received 13 December 2019DOI:https://doi.org/10.1103/PhysRevA.101.019902©2020 American Physical SocietyPhysics Subject Headings (PhySH)Research AreasQuantum controlQuantum error correctionQuantum information architectures & platformsTechniquesNuclear magnetic resonanceCondensed Matter, Materials & Applied PhysicsQuantum Information
Význam vzdělávání pro podniky v české republice se zřetelem na oblast informačních a komunikačních technologií v kontextu průmyslu 4.0.

This article deals with the issue of further corporate education in information and communication technologies (ICT) in companies in the Czech Republic, namely in the context of the start and the development of Industry 4.0.Enterprises of all size categories, i.e. micro enterprises, small and medium enterprises and large enterprises from all three economic sectors, i.e. primary, secondary and tertiary sectors were addressed through a questionnaire survey.The goal of the questionnaire survey was to ascertain what priorities of further education companies had in relation to their present and future needs, and particularly whether the education in the field of information technologies, which is important for the maintenance of their competitiveness in relation to Industry 4.0 are among these priorities.Nevertheless, the results of the research have shown that the required priority is not given to education in the field of information technologies in companies.They have actually proven that only 38 per cent of 126 companies give high or maximum priority to education in the field of information technologies.
ESSAY AS A TOOL FOR MASTERING THE CATEGORICAL AND TERMINOLOGICAL BASE OF SOCIOLOGY BY STUDENTS OF SPECIALTY “SOCIAL WORK”

The article is aimed at updating the teaching of sociology for students of specialty “Social work”. Possibilities of the analysis of student essays in mastering the categorical-terminological base of theoretical sociology from the module “Social stratification” are revealed. As social work is aimed at solving difficult life circumstances caused by the negative consequences of inequality, the use of non-traditional reception of “social problems in the mirror of literature, art, cinema”, contributes to the training of competent and effective professionals committed to poverty reduction, discrimination and suppression. Keywords: methods of teaching sociology, student essays, non-traditional pedagogical techniques, social inequality, social stratification.
The Development of Web-Based Learning Media on Economic Subject in SMA Negeri 3 Banda Aceh

This research has a focus on problem solving related to web-based learning media which developed for the economic subject.The aim of this research was to develop and design the web-based learning materials in order to measure the properness on economical subject in SMA Negeri 3 Banda Aceh.This research was the kind of Research and development research which guided by using ADDIE research model.There was analysis stage which conducted to analyze the students difficulties on economic subject.The stages started by designing the web-based media.Right after the media development has done, the research went to the next step by measuring the material and validation which conducted by a professional validator.In this research, the validator consisted of economic subject teacher, 2 professional media validators and an economic lecture as a validator for teacher and students questionnaire feedback.The implementation conducted to students in class XI IPS 1 which consisted of 24 students and class XI IPS 2 which consisted of 28 students.The evaluation was needed to find out and measure the given feedback related to web-based learning which handed out to students and teachers.The feedback questionnaire also showed the positive response which could be categorized as decent.The students responses related to the given web-based learning materials were measured based on the field test.Furthermore the feedbacks result related to the web-based learning media was also show the positive responses which categorized as very good.Overall it can be concluded that webbased learning media on economic subject was worth to be applied as future web-based learning media.
Dispatching and Control Cloud Based Power Grid Operation Data Association Analysis Method

In order to adapt to the integrated operation characteristics of the power grid, some advanced IT technologies (cloud computing, big data and artificial intelligence, etc.) are applied to build the dispatching and control cloud. Based on the aggregated various data resource on the cloud, this paper proposes the power grid operation data association analysis method, which mainly describes the relationship between the dispatching and control operation data information and the health status of the equipment. According to the historical data, the obtained comprehensive score for a certain equipment exceeds a certain threshold, indicating that power grid operation data reflects that the device repeatedly has similar defects, and the device can be diagnosed.
Using Conceptual Blending to model how we interpret computational models

With the growing integration of computational modeling in introductory physics curricula, educators face an increasing need to understand how students read and compose programming code so as to better support those students' learning.In this paper, I will discuss Conceptual Blending as a framework for modeling how we read physical, mathematical, and logical meaning into the structural and grammatical features of programming code; modeling how features of the programming representation can affect student reasoning, both productively and counter-productively; and informing instructional interventions.After a discussion of the framework, I will present a case study to help illustrate how conceptual blending can help interpret student difficulties.
"ВИКОРИСТАННЯ КОНСТРУКТОРІВ ЕЛЕКТРОННИХ СХЕМ ДЛЯ ОЗНАЙОМЛЕННЯ УЧНІВ З ОСНОВАМИ ЕЛЕКТРОНІКИ"

The peculiarities of the use of pedagogical software tools to familiarize the students of general education with the basics of electronics are considered. Educational character of creative technical activity of children puts to the fore not results, but preparation of pupils for this activity in the future. The primary purpose of the students' creativity is to gain practical experience in designing technical objects. The Beginnings of Electronics program is simple and understandable to use with a graphical intuitive interface. With its help it is possible to acquire basic knowledge of physics, on the topic "Electrodynamics" in a short time and to implement methods of STEM education.Key words: virtual designer, electrical circuits, electronics.
Pendidikan Kesehatan dengan Pendekatan Model Information Motivation Behavior Skill (IMB) terhadap Peningkatan Pengetahuan dan Pola Konsumsi Sayur dan Buah pada Ibu Hamil

&lt;p&gt;Low consumption of vegetables and fruit causes an increased risk of chronic diseases such as cancer, heart disease, and diabetes. The results showed that the majority of pregnant women (52.9%) rarely consume vegetables and fruit in sufficient quantities as recommended. Therefore, it is necessary to provide education about the importance of vegetables and fruits consumption, one of which is through the Information Motivation Behavioral Skill (IMB) approach. This study aims to determine the effect of health education with the Information Motivation Behavior Skill (IMB) approach to increasing knowledge and consumption patterns of vegetables and fruits in pregnant women. This research is a quasi-experimental study with pre-post test design with control groups conducted in pregnant women in the city of Bandung with 60 samples using the observation sheet and questionnaire instruments. Data analysis used the chi-square test. The result of this study indicates that there are significant differences in knowledge and patterns of consumption of vegetables and fruit in pregnant women between the control and treatment groups with a p-value&amp;lt;0.05. Information Motivation Behavior Skill (IMB) Health Education Model approach has a role in increasing the knowledge and consumption patterns of vegetables and fruits in pregnant women.&lt;/p&gt;
A Comparative Study of Existing Cloud Security System Models as against an Implementation of the CDDI Model Dubbed SecureMyFiles System

Prior studies have established the security of resources outsourced for cloud storage heavily preys on subscribers' minds.Existing cloud security frameworks classified as direct architectures (such as provided by DropBox, Box, Google, BackBlaze B2) and indirect architectures provided by the Cloud Access Security Brokers (CASB)/Security as a Service (SECaaS) providers have been found to be inadequate in assuring the cloud subscriber of the security of resources in terms data corruption, privacy, and performance in recovering data.This study employed an experimental lab set-up using JAVA, SQL, and PHP to develop the Cloud Data Distribution Intermediary (CDDI) framework into software system dubbed Secure My Files (SMF).The SMF system provides users a choice of selecting one of four data priority levels (Low, Normal, Important, or Critical) at the time of uploading their data resource for cloud storage.The priority level selected determines: the uploading and downloading process the system uses, the amount of data that can be recovered in the event of data corruption, and the performance during data recovery.The security strength of the SMF system in relation to assuring of confidentiality, Integrity, and Availability of cloud data was found to be much stronger than the existing models and systems provided by DropBox, Box, Google Drive, BackBlaze B2, and CASB/SECaaS.This is because with the SMF System the cloud subscriber data is distributed across different Cloud Service Providers (CSP's) distributed storage infrastructures as against the existing frameworks and systems where the data reside with one single provider.
Perancangan Aplikasi Transaksi Jual Beli Perhiasan Emas berbasis Android

Gold Shop is a business of buying and selling gold, both in the form of jewelry and in the form of bars. Transactions carried outsell and buy gold jewelry, with different buying and selling prices. In a gold shop, to sell jewelry a clerk needs to write down the weight, and draw the model in a sales letter or memorandum. The problem that occurs is the ability to draw from employees who are not the same, some can draw jewelry similar to the original, some are unclear. Jewelry letters are also sometimes lost in the hands of customers so when selling must first ascertain whether the jewelry originates from this store. Therefore, it is necessary to make an information system to facilitate the process of buying and selling gold jewelry. The system is made based on Android because it can utilize the mobile phones of each employee. The system is made using the Rapid Application Development method, to get the final result of an android-based application. This method consists of 3 stages, namely the needs plan, the system design process, and implementation. This gold jewelry sale and purchase application consists of 2 users namely shop owners and employees. The function of the owner application is to see the number of items sold jewelry purchased, daily, weekly and monthly financial statements. The application has the advantage of updating the price of gold, both selling and buying in realtime. Using this application can speed up transactions, create reports, and reduce errors in recording transactions.
SISTEM IDENTIFKASI PENYAKIT TANAMAN CABAI MENGGUNAKAN METODE SIMPLE ADDITIVE WEIGHTING (SAW) BERBASIS ANDROID

Chili is an important commodity in Indoneisa’s economy. The fluctuating price causes chili to contribute to inflation for national economy. Chili’s price could increase because of demand in high level and production of chili in low level. The emergence of disease causes production of chili decreas. To solve the problem in chili disease, the disease needs to be diagnose as soon as possible. To diagnose the disease as soon as possible there is a need of chili expert system using android. Chili’s disease will be indentificated by inputting the symptoms which are shown by the plan. Expert system of chili plant disease identification design is based Android. Android Mobile is used as a device to insert the symptoms which are shown by the plant. The system will manage the symptoms that have been selected and show the diagnoses of the disease and how to control the disease. This system was designed using the Simple Additive Weighting (SAW) method and tested using Blackbox method. Testing using Blackbox method to show the system is able to identify the diseases of chili plant
DEVELOPMENT OF THE BOOK RESEARCH METHODOLOGY ASSISTED MIND MAP FOR PGSD STUDENTS UNIVERSITAS NEGERI SEMARANG

PGSD (elementary school teacher Education) 's research skills affect the quality of the resulting thesis, which also affects the length of student thesis completion. The purpose of this research is to develop the book of research methodology in PGSD, with the need for examples of research topics in elementary school with a mind map to make the mindset more and more skilled and lead students in research. This development research uses the model ADDIE: Analysis, Design, Development, Implementation, Evaluation. Analysis of the data conducted, i.e. analysis of teaching materials feasibility, analysis of student responses to teaching materials, analysis of increased learning outcomes. The results of a need analysis showed 94.56% of students needed a complete and systematic learning resource innovation and equipped with a mind map as a guideline of thought flow. The content of the teaching book has been designed according to curriculum needs and need analysis results. The Draft I tested validity by material experts got a score of 87.5% (very decent) and by linguist got a score of 96.8% (very decent). Advice from material experts and linguists was made a material to revise the teaching book into Draft II, which was then tested to be limited to seeing the aspect of readability. Limited test results show student responses to the study methodology teaching book in excellent category (85.71%). Student learning results have increased and the results of N-gain test show the increase of the low category (0.26).
Image Copy-Move Forgery Detection Based on NSST

This paper proposes an image block feature extraction method based on Nonsubsampled Shearlet Transform (NSST) transform combined with Fast Walsh Hadamard Transform (FWHT) instead of DCT. It can improve the algorithm's detection speed without reducing the detection accuracy. In addition, a Multi-Hop Jump(MHJ) is used to improve the matching efficiency. It will skip some unnecessary matching blocks. Experiments show that compared with the methods of Fridrich, Popescu, Kulkarni, the accuracy of this method is partially improved, and the computational efficiency is greatly improved.
Correction to: Reversible denoising and lifting based color componenttransformation for lossless image compression

The phrase above equation 5 in the original articles stating “by applying denoising to the arguments of function:” should be corrected as “by applying denoising to the arguments of function f:.” The original article has been corrected.
Obstacle Avoidance Algorithm for Indoor Mobility Robot Based on Improved Support Vector Machine

With the development of artificial intelligence, robot will be applied to every aspect of our life. In the domain of robotics, especially indoor robotics, the ability of obstacle avoidance is one of the most important questions. In this paper, first of all, some classical machine learning algorithms are applied for indoor robot obstacle avoidance which is in the unknown environment based on multiple ultrasonic sensors. During the move, obstacles will be detected by sensors on the robot, through the machine learning algorithm, the robot will know how to do when the sensor detect an obstacle. Then, proposes an improved Support Vector Machine(SVM) algorithm based on the Grid Search algorithm. This algorithm can accurately help robot find the trajectory for moving. Experimental results also presented to show the algorithm improved the generalization ability and real-time performance