Reviewerly/exHarmony huggingface dataset:
VERBAL AND NON-VERBAL COMMUNICATION IN TEACHER TALK IN THE CLASSROOM UNIVERSITAS MUSLIM MAROS

This research aimed to analyze the forms of verbal and nonverbal communication in teacher talk. The method used in this research was descriptive qualitative. The instrument of the study was the FLINT System and Darn classification. The participants of this research were the teacher and students in a speaking class of the English Department. The results show that teacher talk gives a positive impact on students’ performance. During the class interaction, the teacher successfully met the aspects of good teacher talk and applied some forms of FLINT system of verbal communication and some elements of non-verbal communication. For the FLINT system, the teacher applied to ask questions, giving encouragement, giving direction, critiquing students’ behavior, dealing with feelings and, prising. For the form of nonverbal communication, the teacher applied only two forms, those are kinesics which is referred to as gestures, and haptics is referred to as touching.
Disjoint Sum of Products by Orthogonalizing Difference-Building ⴱ

Abstract The orthogonalization of Boolean functions in disjunctive form, that means a Boolean function formed by sum of products, is a classical problem in the Boolean algebra. In this work, the novel methodology ORTH [ⴱ] of orthogonalization which is an universally valid formula based on the combination technique »orthogonalizing difference-building ⴱ« is presented. Therefore, the technique ⴱ is used to transform Sum of Products into disjoint Sum of Products. The scope of orthogonalization will be solved by a novel formula in a mathematically easier way. By a further procedure step of sorting product terms, a minimized disjoint Sum of Products can be reached. Compared to other methods or heuristics ORTH [ⴱ] provides a faster computation time.
The book market during digitalization epoch:What should the li-braries know.(Based on the materials of 2019 London Book Fair, and other events)

Authors present a fairly detailed review of main trends as discussed at seminars held within the London Book Fair 2019. As to publishing business in general it is noted that the sales of print are rising for the fourth year in a row. E-book sales are growing in the UK and falling in the US for the second consecutive year (down 3.6% in 2018) while downloadable audiobooks continue to support publishing business with double digit growth in sales (up 37.1% in 2018). Improving technology, especially smart speakers give a boost to audiobook popularity. People are increasingly listening to audiobooks at home in the evening hours of 8pm to 10pm making them an important form of leisure. Audiobooks are in great demand in libraries. Libraries buy them from publishers and audiobooks are primarily circulated in the same way as print books, that is, “one book – one borrower”. In the era of fake news proliferation, quality research findings are important for making informed decisions (for instance, in environmental protection). We need standards and procedures that will help us recognize valid research – like cross-checking, fact checking, tracing the source of information, taking into account whether the material was published in academic or predator journals, journal blacklists and whitelists, differentiation between research and sponsored content.
Development of E-Learning Modules for Information Systems Studies Based on Balinese Local Wisdom

The learning process in college is not just reading material, doing assignments, collecting assignments, and then completing. If it is examined closely with the material presented it can be tedious and after the learning process does not increase students' knowledge. The most likely thing to do is to improve teaching material in an innovative direction that can improve graduate competency. So based on the 2016 curriculum, a Tourism Information System (TIS) course appears. Students who graduate need to be provided with knowledge about this TIS, especially because in Bali it is a world tourist destination.In realizing this, learning tools are needed to help, so a module is created to help the learning process that integrates SIP with the local culture of Bali to produce more attractive promotions that are accessed in E-learning.
Efficient Approach for Resource Provisioning to Manage Workload in Cloud Environment

Efficient Approach for Resource Provisioning to Manage Workload in Cloud Environment - written by Jyothi S , Dr. Shylaja B S published on 2020/07/06 download full article with reference data and citations
INFLUENCE OF READING ABILITY AND VOCABULARY MASTERY ON WRITING SKILLS DESCRIPTIVE TEXT

This research aims to determine: 1)Influence of reading ability and vocabulary mastery together on writing skills descriptive text. 2)Influence of reading ability towards writing skills descriptive text. 3)Influence of vocabulary mastery on writing skills descriptive text. The populations are X-grade students of Private High School as many as 50 respondents were sampled in this research. The research is conducted by survey method, with multiple linear regression research. The results of hypothesis testing obtained the following conclusions: 1)There is a significant impact on the reading ability and vocabulary mastery together on writing skills descriptive text at Private high school students in West Jakarta. This is evidenced by the acquisition of Sig.= 0.020 &lt;0.05 and Fcount = 4.235. 2)There is no significant effect of reading ability towards writing skills descriptive text at private high school students in West Jakarta. This is evidenced by the acquisition of Sig.=0.900&gt;0.05 and tcount=0.126. 3)There is a significant influence on the vocabulary mastery on writing skills descriptive text at private high school students in West Jakarta. This is evidenced by the acquisition of Sig =0.029 &lt;0.05 and tcount = 2.249.
Exploring Unsupervised Query Paraphrasing to Identify Relevant Search Phrases for a Literature Review.

Literature databases have multifaceted search options, but emerging research areas do not have an established terminology and therefore it is difficult to find relevant literature when conducting a review. This study aimed to explore if an unsupervised paraphrasing approach is useful in identifying relevant search phrases for a literature review on an emerging research topic - situational leadership in critical care. Using an initial set of 12 search phrases, the system was used to propose additional phrases, which were manually classified and further used in an expanded PubMed database search. Finally, we assessed the papers found with the expanded search and compared this to the initial search results. As a result, the expanded search more than tripled the search results, from 182 to 673 papers. The expanded search also more than tripled the number of relevant papers, from 12 in the original search to 39 in the expanded search.
DCBGCN: An Algorithm with High Memory and Computational Efficiency for Training Deep Graph Convolutional Network

Graph convolutional network (GCN) has recently become a popular major focus of network representation learning (NRL). However, training a deep GCN is still quite challenging. Stacking more layers in GCN suffers vanishing gradients and GPU memory limitation and significant computational overhead. Vanishing gradients causes over-smoothing, which leads to node embedding converging to the same value. Node dependence leads to requirement to keep all the embedding in GPU memory. Neighbourhood expansion problem across GCN layers leads to significant computational overhead. In order to solve these issues, we present a model named DCBGCN (Deep and Cluster Boosting Graph Convolutional Network), which firstly uses MEITS to partition the whole graph into sub-graphs, then secondly adapts residual/dense connections between GCN layers. Extensive experiment results on PPI and Reddit tell the truth that our model can go deep with 56-layer GCN and has strong advantages in improving memory and computational efficiency. Meanwhile, we achieve promising test F1 score results on PPI and Reddit.
Study Mode and System Design of Mobile Knowledge Sharing Based on Micro Video

With the development of mobile Internet, students tend to use mobile phone software to obtain information. Most knowledge learning software is dedicated to sharing and disseminating knowledge by video. The form of video enables learners to better understand knowledge. With the rise of mobile short video, most mobile users will watch short video in their spare time. This paper combines micro video and knowledge sharing, and constructs a knowledge sharing platform based on micro video, where users can use short micro video to share knowledge and learn knowledge. In this paper, firstly, the knowledge sharing mode based on micro video is constructed, the user integration system is implemented, and the mode of user internal evaluation video is designed. Secondly, the requirements of the platform are defined and analyzed. Finally, the logic model of the platform is designed, and the overall design and detailed design scheme are proposed. The construction of this platform promotes the further development of mobile learning, which is conducive to users' autonomous and fragmented learning anytime and anywhere.
Verified Isabelle/HOL tactic for the theory of bounded integers based on quantifier instantiation and SMT

SMT solvers are widely applied for deductive verification of C programs using various verification platforms (Why3, Frama-C/WP, F*) and interactive theorem proving systems (Isabelle, HOL4, Coq) as the decision procedures implemented in SMT solvers are complete for some combinations of logical theories (logics), in particular for the QF_UFLIA logic. At the same time, when verifying C programs, it is often necessary to discharge formulas in other logical theories and their combinations, that are also decidable but not supported by all SMT solvers. Theories of bounded integers both with overflow (for unsigned integers in C) and without overflow (for signed integers), and also theory of finite interpreted sets (needed to support frame conditions) are good examples of such theories. One of the possible ways to support such theories is to directly implement them in SMT-solvers, however, this method is often time-consuming, as well as insufficiently flexible and universal. Another way is to implement custom quantifier instantiation strategies to reduce formulas in unsupported theories to formulas in widespread decidable logics such as QF_UFLIA. In this paper, we present an instantiation procedure for translating formulas in the theory of bounded integers without overflow into the QF_UFLIA logic. We formally proved soundness and completeness of our instantiation procedure in Isabelle. The paper presents an informal description of this proof as well as some considerations on the efficiency of the proposed procedure. Our approach is sufficient to obtain efficient decision procedures implemented as Isabelle/HOL proof methods for several decidable logical theories used in C program verification by relying on the existing capabilities of well-known SMT solvers, such as Z3 and proof reconstruction capabilities of the Isabelle/HOL proof assistant.
An Improved Cybersecurity Model using Cryptography and Steganography with NTRU-LSB Algorithm

Data and information has become one of the prime targets of hackers due to the sensitive nature of patients’ information. Some methods such as DES, 3DES, Blue fish and AES were used but found to be inefficient. This research aims to reduce the vulnerability of threats and increase the user satisfaction based on Embedding Capacity (EC), Mean Square Error (MSE) and Peak Signal to Noise Ratio (PSNR) on patient’s information since healthcare systems are getting very common within the society. Nth Degree Polynomial Ring Unit and Least Significant Bits were used to encrypt a text message into audio file. The research, therefore, developed a hybrid security system that can hide compressed information in audio using NTRU and LSB. The concept of cryptography and steganography was introduced to encrypt the original data by using symmetric key cryptography and to hide that data into an audio file. The proposed model was developed using MATLAB R2018(a) software. The results revealed that the proposed model is more secured in comparison to the existing model. The MSE for the proposed system is 2.4320e-06 as against 2.5321e-06 for the existing model with the peak signal to noise ratio of 156.1154 and 161.0154 for the proposed system. The proposed system has embedding capacity of 0.020 bps, while the existing system is having 2.75 bps. From the result analysis, the proposed system has performed significantly better than the existing system in terms of MSE, PSNR and embedded capacity.
Power Anomaly Data Detection Algorithm Based on User Tag and Random Forest

In the context of the allocation of electricity big data, in order to solve the problem that the power consumption anomaly detection algorithm is less efficient due to the diverse sources, various types, and large data volume of the power consumption data, this paper proposes a power anomaly data detection algorithm based on user tag and random forest. By analyzing the power data, each data is marked with a power type, including a normal type, a less bur type, a large downward shift type, and a multi-burr type. Based on the tags, three types of user power data tags, such as basic information tags, environmental information tags, and power information tags, are constructed as attribute sets of user power data. Finally, a user data anomaly data analysis algorithm based on user tag and random forest is proposed. In the experimental part, the traditional the random forest algorithm is compared with the proposed algorithm, and the performance index of the algorithm in both accuracy and false alarm rate is better than the traditional random forest algorithm.
Study of Comparing Several Nonlinear Filtering Algorithms in Carrier-based Aircraft Positioning

Abstract In order to improve the positioning accuracy of the landing guidance radar to the carrier aircraft, the nonlinear filtering algorithm is used to estimate the positioning of the carrier aircraft. The main algorithms of nonlinear filtering, such as extended Kalman filter, unscented Kalman filter and particle filter, are analyzed and compared. A typical nonlinear model is simulated to verify the performance of these algorithms. The simulation results show that the estimation accuracy of the particle filter algorithm is better than the other two filter algorithms.
The Implementation of Independent Reading Literacy Activities in Secondary Education

The present study aimed at describing the implementation of independent reading literacy activities at SMA N Bali Mandara and how it affects students’ English literacy skills. This study followed case study design, and the primary data were obtained through interview, observation, and document analysis. The results of the study revealed that the implementation of independent reading literacy activities was applied in three stages: 1) the habituation stage; 2) the development stage; and 3) the learning stage. In the habituation stage, the school used silent reading to form reading habits. This positive habit maintained by providing students real-world literacy activities in the development stage to develop their reading interest through storybook writing and cooperative literacy program. In the last stage, the teachers implemented reading for enjoyment in the learning process through news reading and book review. The students’ average score in storybook writing was 90.6, in cooperative literacy program was 90.36, in news reading program was 90.2, and in book review was 90.47. The findings of this study indicate that independent reading literacy activities are effective to enhance students’ English literacy skills.
The ERIC Consortium a new type of EU research institution

The European Research Infrastructure Consortia (ERICs) are changing the landscape of the European Research Area. ERICs are set-up by EU Community law to establish and operate open access Research Infrastructures in all fields of science, based on national and international funding. The 20 + ERICs have now a major impact in extensive fields of research.
Analisa Perbandingan Keakuratan Metode Certainty Factor dan Dempster Shafer untuk Diagnosia Dini Penyakit Hepatitis berbasis Mobile

Hepatitis is an inflammation of the liver due to a viral infection that attacks and causes damage to cells and the function of the liver. Many methods are currently used in building expert systems, including Certainty Factor and Dempster Shafer. The selection of both Certainty Factor and Dempster Shafer methods is very suitable for expert systems. In the previous study there was the Certainty Factor method used to diagnose hepatitis but there was no accuracy, whereas in Dempster Shafer there was an accuracy rate of 90%. This study aims to find out the suitable method to diagnose hepatitis by comparing the method of Certainty Factor and Dempster Shafer. In this study the application is in the form of a mobile base using Android Studio and database storage with MySQL. After that, do the Application Validation Test with experts and accuracy testing is carried out using samples from expert diagnosis results. The results of the test obtained the accuracy of the test using the Certainty Factor method is 95%. While the accuracy of testing using the Dempster Shafer method is 90%.
The Green Library Movement: an overview and beyond.(Part 1)

The creation of green libraries is approaching a tipping point, generating a Green Library Movement, which is comprised of librarians, libraries, cities, towns, college and university campuses committed to greening libraries and reducing their environmental impact. The Movement emerged in the early 1990s and gained popularity in the library profession around 2003. This innovation is happening by building green library buildings, by greening existing library facilities, providing green library services, and embracing environmentally supportive and sustainable practices within the library. Constructing a green library building using a performance standard like LEED is a way some libraries are choosing to become green and sustainable (Leadership in Energy and Environmental Design). The California Integrated Waste Management Board defines a green or sustainable building as “a structure that is designed, built, renovated, operated, or reused in an ecological and resource-efficient manner” Environmental challenges like energy depletion and climate change will influence the type of information resources and programs libraries will provide to their communities.
Blockchain–Based Location Proof Generation and Verification

In location–sensitive applications, service providers need to verify the location of users in order to provide them with access to a service or benefit. This provides dishonest users with an incentive to cheat on their location by submitting fake location claims. To address this issue, a number of location proof mechanisms have been proposed in literature to date. However, they are faced with different security and privacy challenges. In this paper, we utilize the unique features of the blockchain technology to design a decentralized architecture in which mobile users act as witnesses and generate location proofs for other users. In the proposed scheme, a location proof is issued as part of a transaction that is broadcasted into a peer–to–peer network where it can be picked up by verifiers for further verification. Once a transaction is successfully verified, it is stored in a public ledger. Our security and privacy analysis shows that the proposed scheme preserves users’ privacy and achieves a reliable performance against Prover–Prover and Prover–Witness collusions. Moreover, our prototype implementation on the Android platform shows that the location proof generation process in the proposed scheme is faster than the current decentralized schemes and requires low computational resources.
Perancangan Sistem Pengarsipan Surat Masuk dan Surat Keluar pada Desa Kampung Besar Menggunakan Metode Alphabetical Filing dan Chronology System

The archive is one source of information that has an important function to support the process of administration and management of an agency. All activities carried out by the agency, whether in the form of proposals, correspondence or other documents will be archived. The recorded information is evidence and documentation or memory for the agency concerned. In the village of Kampung Besar Teluknaga the letter filing system that is running is still not computerized, so that in the system there are some problems in the accuracy of the data. This study aims to create a letter management system to improve the efficiency of retrieval in the context of investigative and official reference activities. The Alphabetical Filing and Chronology System method is used in system design because it is simple and easy to implement, archiving letters to large villages in the bay using a desktop program that is easy to use in the system is also easy in terms of use and maintenance. In addition to simplifying the process of archiving letters, the system also facilitates employees in the process of making reports and searching data. The proposed system is expected to improve the current system so that it can make the filing system of incoming and outgoing letters in the village of Kampung Besar Teluknaga more effective and efficient.
METHODOLOGY FOR DEVELOPMENT OF STUDENT MEDIA COMPETENCE BY MEANS OF MEDIA EDUCATIONAL PROJECTS

Statement of the problem. At present, the problems of the media space of young people and society in general are being investigated by many scientists. Among these problems is the provision of conditions for teaching to create media content by students of technical specialties. In the context of solving this problem, it is necessary to define a list of competences as planned results of training in the discipline “Information technologies in the digital economy”. The purpose of the article is to develop and classify the competencies acquired by students in the implementation of media education projects. The methodology of the study is based on the analysis and synthesis of normative and legal documents in the field of higher education, scientific and research works of international and Russian scientists recognized by the scientific community, and on the experience of implementation of media educational projects by students of various fields of training. Research results. On the basis of the competence approach, the planned results of training during the implementation of media education projects aimed at the formation of professional and universal competences of students have been clarified and formulated. Practice-oriented scheme of implementation of media educational project satisfying these results is proposed. Conclusion. The refined training results proposed in the article can be used to organize the assessment of the results of media education projects in the development of various types of media content. Application of the developed practice-oriented scheme of implementation of media education projects is possible on the basis of other disciplines and fields of training.
Derivatives and economic growth: Links and evidence. The impact of the financial derivatives on the real economy

This paper studies the links between the development of derivative markets and economic growth. By acknowledging the shortness of samples hindering any robust econometric analysis, it sets out and empirically checks those links, adopting statistical correlation techniques. It uses developed and emerging economy data over the most extensive period possible and tests for the presence of a structural break after the 2008-2009 crisis. The general result is that derivatives are positively correlated with economic growth, in particular, through the investment and international trade links. Another general result is that there is a concave relationship between growth and derivatives in the case of developed countries.