Reviewerly/exHarmony huggingface dataset:
A Practical Approach to SOS Relaxations for Detecting Quantum Entanglement

Abstract This article introduces PnCP, a MATLAB toolbox for constructing positive maps which are not completely positive. We survey optimization and sum of squares relaxation techniques to find the most numerically efficient methods and establish some benchmarks for this construction. We also show how this package can be applied to the problem of classifying entanglement in quantum states.
Interaction preferences of human body's natural gestures and gestures in smart Large displays scenarios

With the rapid development of smart Large displays and motion sensing technology in the past ten years, gesture interaction based on smart Large displays has become more and more popular in home and public environments. The freehand interaction of smart large screen can be applied to traditional desktop displays and input Situations where equipment is unsuitable or insufficient for information presentation and task manipulation.This paper discusses the influence of natural body posture factors and interaction distance on the gesture interaction of the home smart Large displays. The user completes the specified task by customizing gestures in the home smart screen in a natural posture. The gestures displayed by the user are counted and the smart Large displays is designed. A set of user-defined interactive gestures in household scenarios. The perceived usability evaluation experiment of the user-defined interactive gesture set is conducted, the perceived usability and workload of the user gesture set are recorded, and the best gesture command preference is screened out.The results showed that the same natural posture had a significant impact on the application variation of gestures, with significant differences in interaction performance, perceived usability, and workload between sitting and lying postures. This study provided implications that are likely to improve the design and deployment of large display-based freehand interaction techniques.
Written Arguments About Vaccination: Experimental Studies in the United States and China

Guided by argumentation schema theory, we conducted five psychological studies in the United States and China on arguments about vaccination. Study 1 replicated research about arguments on several topics, finding that agreement judgments are weighted toward claims, whereas quality judgments are weighted toward reasons. However, consistent with recent research, when this paradigm was extended to arguments about vaccination (Study 2), claims received more weight than reasons in judgments about agreement and quality. Studies 3 and 4 were conducted in the United States and China on how people process counterarguments against anti-vaccination assertions. Rebuttals did not influence agreement but played a role in argument quality judgments. Both political position (in the United States) and medical education (in China) predicted differences in argument evaluation. Bad reasons lowered agreement (Study 5), especially among participants studying health care. Political polarization apparently heightens the impact of claim side in the argumentation schema, likely to the detriment of public discourse.
90Validation of School-Based College English Listening Test: Evaluating Construct Validity Using the 3PL Item Response Theory Model

More and more universities are implementing school-based English exams designed and administered by their professors, yet there is limited research on the quality and reliability of school-based exams.This study aims to evaluate the validity of the school-based college English listening test items according to the three-parameter logistic model in the Item Response Theory (IRT).The test consisted of 25 items, and 944 male and female college students from a university in Western China were selected in a simple random manner in this study.The statistical program (SPSS) and the (Bilog-mg3) program were used to analyze the responses of these participants.In this research, the validity of the schoolbased college English listening test was assessed on two levels: whether the items conformed to the questioning norms and whether they effectively represented the construct validity.The results showed that this set of listening items were high in difficulty, ideal in differentiation, high in guessing, reasonable in information content, and with a certain degree of constructive validity, which could accurately reflect the actual listening proficiency of the intermediate and high-level test takers.
Significance estimation for the Kullback-Leibler divergence: the Poissonian case in seismological studies

The Kullback-Leibler divergence, κ, is a widely used measure of the difference between an observed probability distribution and a reference one; κ=0 when the two distributions are equal, but it has no upper limit to help interpret the significance of any other κ value. Using as an example the problem of distinguishing clustering or gaps in the time occurrence of earthquakes from seismicity uniformly distributed in time, a Monte Carlo method for evaluating the significance of a particular κ value is presented, a method that takes into account the number of classes in the distributions and the length of the sample. Application of this method yields a probability according to which the hypothesis of the observed distribution being a realization of the reference one can be discarded or accepted with a quantitative degree of confidence. This method, and two possible reference values, are presented using the Poisson distribution as an example, but they can be used for other reference distributions.
Sistem Monitoring Deteksi Kebakaran Bangunan Berbasis IOT dan Android dengan Google Maps API

Fire is a natural disaster which is threateing and interfering life that was caused by nature, non-nature, so that the disaster will causing, casunlties, property loss also affecting psychologis. Designing structur whice expected could, defecting a fire base on the level of smoke concentration and flame which is happend in a building also sending a notice to the fire sighting unid. Designing system monitoring stucture using android with the use of Google map API as a location determination tool of the information of where the fire accured, so that owner of the building and the fire fight could geting a realtime effecture informetion using app base an android with internet of things and Google maps, utilized the use of internet of things also can be view of sends an information between cencor so in order that owner of the building can also monitoring online by the used of Google maps. Google maps is functioning to send position of the fool which was installed in the building the resuld foud that flame cencor could detecting the source of fire using wave length of light between 0 – 1032 nm and smoke cencor could detecting smoke concentration between 100 – 5000 ppm the with the use of MQTT protocol it will directly send to android. android can monitoring the fire information after that is determine the location of the fire by Google maps
PENINGKATAN HASIL BELAJAR TEMATIK SISWA KELAS V SEKOLAH DASAR MELALUI MODEL PROJECT BASED LEARNING (PjBL)

The issues at SD Negeri 1 Blembem remember the absence of contribution of understudies for the educational experience, understudies will generally be uninvolved while learning, and the absence of extending of the material on the grounds that the topical subjects will more often than not concentrate on just a single topic. Subsequently, understudies don't grasp the material introduced by the educator. The motivation behind this exploration is to further develop the learning results of 5th grade understudies through the use of a venture based learning model at Blembem 1 Public Primary School. The examination utilized was homeroom activity research (PTK) utilizing cooperative exploration and did in 2 cycles. Each cycle comprises of four phases, to be specific preparation, execution, perception, and reflection and is completed in two gatherings. The subjects in the review comprised of 29 understudies comprising of 12 male understudies and 17 female understudies. The information examination method utilized is observational information investigation which is utilized to decide the execution of the learning model and to decide understudy learning results in the educational experience. This sort of exploration utilized in subjective examination. The examination configuration is a class-based activity research (Vehicle). assessment from Arikunto class activity research is an assessment of learning exercises as an activity that is purposely brought and happens up in a class together. This examination was led in 2 cycles and each cycle comprised of four stages as per what might occur in this exploration, the execution of the learning model was acquired and the learning results expanded in each cycle. In cycle I, 72% were in the adequate classification, while 89% in cycle II were in the excellent classification. It very well may be presumed that the utilization of task based learning can further develop the learning results of 5th grade understudies at SD Negeri 1 Blembem.
Quantum reliability analysis of a wireless telecommunication network

This work is positioned within the new field of quantum probability theory and its application to the reliability analysis of wireless telecommunication networks. Specifically, we present the development of a Quantum Bayesian Network (QBN) for calculating the reliability of a 5G wireless telecommunication network. The qualitative comparison with a classical Bayesian Network model allows highlighting the role of interferences in the calculation of the reliability of a complex system such as a wireless telecommunication network.
Genre Analysis of The Message Segments of An Indonesian-English Tourism Text Translation: Case in Madura

Abstract. Genre as a spectrum of textual manifestation signals its textual presence through linguistic devices. In the tourism text, the signal of its presence is marked by a transition from one movement or organizing activity to another. Translating genre is central to the work of translators. The fact is the translation process often does not take one line and translators often overlook the role of contextual specifications. This difficulty is also compounded by the fact that the readers’ understanding when reading the translation text often has difficulty in obtaining the meaning. Therefore, the purpose of this study is to identify and explain the translation of an Indonesian-English tourism text genre focusing on message segments to determine the moves and rhetorical functions of the discourse structure and how they may contribute to the readability of the text. The study was descriptive qualitative research. The data was extracted from a variety of documents related to Madura tourism. The data collection technique was document review and the data analysis was interactive model analysis. The results of the study showed that the message segments of the Indonesian-English tourism text translation were constructed with three moves (explanation, illustration, and argumentation) and three rhetorical functions (description, definition, and cause and effect). These moves and rhetorical functions in the translation of the Indonesian-English tourism text genre contributed to the results of the readability of the translated texts, i.e., they were fully comprehensible without unnecessary effort in the part of the readers. The findings suggest that genre analysis of the message segments of the tourism text translation can be a good alternative for communicating the intentions of the source texts. Thus, this can be a good practice for translators to consider when translating texts and other related texts as well.Keywords: Genre, Message Segment, Translation, Tourism
Effectiveness of Using the Talk Box to Improve Early Children’s Communication Ability

The talk box consists of the box and the object (learning material). Outside the talk box is a layer/pocket for storing things the child will learn. At the same time, the inside of the box is a storage container for objects children have studied. Children can choose the desired part of the object. Assessment of children’s communication skills was carried out using an observation sheet by providing a checklist of aspects that, according to the observer’s observations, were following the results or activities of children as measured through a performance test. The results of the observed children’s communication skills followed the focus of the observations on the children’s learning outcomes sheets on five aspects of the assessment, namely; 1) Proper pronunciation, 2) Sentence structure, 3) Vocabulary, 4) Fluency, and 5) Understanding. The data collection methods were observation questionnaires, tests, and documentation. In contrast, the sampling technique used was purposive sampling with a sample of 30 children at Mutiara Gowa Kindergarten and Al Fadiyah Gowa Kindergarten. The talk box application is declared effective in the classroom because it can improve children’s communication skills, especially at 5-6 years old.
Finding Matrix Multiplication Algorithms with Classical Planning

Matrix multiplication is a fundamental operation of linear algebra, with applications ranging from quantum physics to artificial intelligence. Given its importance, enormous resources have been invested in the search for faster matrix multiplication algorithms. Recently, this search has been cast as a single-player game. By learning how to play this game efficiently, the newly-introduced AlphaTensor reinforcement learning agent is able to discover many new faster algorithms. In this paper, we show that finding matrix multiplication algorithms can also be cast as a classical planning problem. Based on this observation, we introduce a challenging benchmark suite for classical planning and evaluate state-of-the-art planning techniques on it. We analyze the strengths and limitations of different planning approaches in this domain and show that we can use classical planning to find lower bounds and concrete algorithms for matrix multiplication.
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

The merge-and-shrink framework is a powerful tool to construct state space abstractions based on factored representations. One of its core applications in classical planning is the construction of admissible abstraction heuristics. In this paper, we develop a compositional theory of merge-and-shrink in the context of probabilistic planning, focusing on stochastic shortest path problems (SSPs). As the basis for this development, we contribute a novel factored state space model for SSPs. We show how general transformations, including abstractions, can be formulated on this model to derive admissible and/or perfect heuristics. To formalize the merge-and-shrink framework for SSPs, we transfer the fundamental merge-and-shrink transformations from the classical setting: shrinking, merging, and label reduction. We analyze the formal properties of these transformations in detail and show how the conditions under which shrinking and label reduction lead to perfect heuristics can be extended to the SSP setting.
Automatic Metamorphic Test Oracles for Action-Policy Testing

Testing is a promising way to gain trust in learned action policies π. Prior work on action-policy testing in AI planning formalized bugs as states t where π is sub-optimal with respect to a given testing objective. Deciding whether or not t is a bug is as hard as (optimal) planning itself. How can we design test oracles able to recognize some states t to be bugs efficiently? Recent work introduced metamorphic oracles which compare policy behavior on state pairs (s,t) where t is easier to solve; if π performs worse on t than on s, we know that t is a bug. Here, we show how to automatically design such oracles in classical planning, based on simulation relations between states. We introduce two oracle families of this kind: first, morphing query states t to obtain suitable s; second, maintaining and comparing upper bounds on h* across the states encountered during testing. Our experiments on ASNet policies show that these oracles can find bugs much more quickly than the existing alternatives, which are search-based; and that the combination of our oracles with search-based ones almost consistently dominates all other oracles.
Grounding Planning Tasks Using Tree Decompositions and Iterated Solving

Classical planning tasks are commonly described in a first-order language. However, most classical planners translate tasks by grounding them and then rewriting them into a propositional language. In recent years, the grounding step has become a larger bottleneck. In this work, we study how to improve it. We build on top of the most common grounder for planning tasks which uses Datalog to find all reachable atoms and actions. Inspired by recent progress in lifted planning, database theory, and algorithmics, we develop a new method to ground these Datalog programs. Our algorithm can ground more instances than the baseline, and most tasks it cannot ground are out of reach from any ground planner.
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

Abstraction heuristics are a state-of-the-art technique to solve classical planning problems optimally. A common approach is to precompute many small abstractions and combine them admissibly using cost partitioning. Recent work has shown that this approach does not work out well when using such heuristics for decoupled state space search, where search nodes represent potentially large sets of states. This is due to the fact that admissibly combining the estimates of several heuristics without sacrificing accuracy is NP-hard for decoupled states. In this work we propose to use a single large abstraction instead. We focus on merge-and-shrink and symbolic pattern database heuristics, which are designed to produce such abstractions. For these heuristics, we prove that the evaluation of decoupled states is NP-hard in general, but we also identify conditions under which it is polynomial. We introduce algorithms for both the general and the polynomial case. Our experimental evaluation shows that single large abstraction heuristics lead to strong performance when the heuristic evaluation is polynomial.
Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement

Abstraction heuristics are the state of the art in optimal classical planning as heuristic search. A popular method for computing abstractions is the counterexample-guided abstraction refinement (CEGAR) principle, which has successfully been used for projections, which are the abstractions underlying pattern databases, and Cartesian abstractions. While projections are simple and fast to compute, Cartesian abstractions subsume projections and hence allow more fine-grained abstractions, however at the expense of efficiency. Domain abstractions are a third class of abstractions between projections and Cartesian abstractions in terms of generality. Yet, to the best of our knowledge, they are only briefly considered in the planning literature but have not been used for computing heuristics yet. We aim to close this gap and compute domain abstractions by using the CEGAR principle. Our empirical results show that domain abstractions compare favorably against projections and Cartesian abstractions.
Research on Optimizing the Management of College Student Education in the Big Data Era

With the rapid development of internet technology, big data thinking has gradually integrated into various fields of society and provided more support for the transformation and development of various industries, including university student management.The current mode of student education management in universities still adheres to traditional concepts, and the information infrastructure is relatively lagging.In order to better adapt to the current social needs and ensure the comprehensive development of students, it is necessary to promote the modernization reform of student education management in universities.The paper analyzes the current problems in the management of student education in universities, emphasizes the importance of changing management models, and finally proposes optimization strategies for educational management that can be referenced.
Cloud Computing Services And Security

Cloud Computing has come of age later Amazons introduce the first of its kind of cloud services in2006.It is particularly suitable to Hong Kong because of the unbelievable amounts of the data that are being processed here daily in several sectors, and there are signs that subscription to cloud services by the local companies will soon be on a skyrocket course, despite a slow start in beginning years.As a research theme, cloud computing now easily tops any schedule of topics in a computer science because of its far-reaching suggestion in many sector in computing, especially a big data which without cloud computing is at the great concept.The current creation of a main cloud R&D centre in Hong Kong by Lenovo (January 2016) attests to this fact.Cloud computing, the life time dream of computing as a utility, has the capacity to convert a huge part of the IT industry, making software even more attractive as a service and shaping the way IT hardware is designed and purchased.Developers with new invention ideas for new Internet services no longer require the huge capital outlays in hardware to deploy their service or the human expense to operate it.They need not be worried about overprovisioning for a service whose popularity does not meet their predictions, thus wasting costly resources, or under provisioning for one that becomes wildly popular, thus missing potential customers and revenue.In addition to, companies with huge batch-oriented tasks can get results as fastest as their programs can scale, since using 1,000 servers for one hour costs no more than using one server for 1,000 hours.Without paying a premium for large scale, is unprecedented in the history of IT, by this elasticity of resources.
A STUDY ON VIRTUAL MACHINE PLACEMENT ALGORITHMS IN CLOUD DATA CENTER

A large number of data centres have appeared all over the world as a result of the expansion of cloud computing. Instead of owning resources, cloud computing allows users to consume and access resources from the server room as needed. Because of the large number, power-hungry data centers grows at an alarming rate, power administration has emerged as a critical architectural constraint in cloud data centres. A VM consolidation strategy that distributes as many simulated machines (VMs) as possible across as few servers as possible can reduce the amount of electricity used in cloud data centres. However, unnecessary migrations can lead to service outages, performance degradation, and SLA violations. The VM placement's goal challenge is to reduce the overall number of migrations in the system and place idle servers to sleep. This study aims to examine how well VM placement algorithms function in cloud data centres.