Reviewerly/exHarmony huggingface dataset:
A Novel Approach of Image Processing to Identify Type and Name of Snake

Snake is an important part of our flora and fauna system. Most of snake species are found in nearby forest area. As we know that majority of people of Maharashtra are living in villages, snakes might enter into residential area; people brutally kill them out of fear as there is lack of awareness about snake species. Saving snakes is important as most of the snake species are under extinction. Though different anti-venoms are available for different snake bites, one must be aware of different snake species (venomous/semi-venomous/non-venomous) and their names so that a person can get proper first aid. Many people are curious about snake species; we are living in a digital world, so by simply taking picture of that snake one must get the basic information about that specific snake. In this project we have developed a system which uses PCA and different distance algorithms in MATLAB to identify the type and present the basic information about snake on liquid crystal display using Arduino Uno. This system will be helpful for study of snake, saving them for extinction and getting the basic information about snakes.
Correctness by construction for probabilistic programs

The correct by construction paradigm is an important component of modern Formal Methods, and here we use the probabilistic Guarded-Command Language $\mathit{pGCL}$ to illustrate its application to $\mathit{probabilistic}$ programming. $\mathit{pGCL}$ extends Dijkstra's guarded-command language $\mathit{GCL}$ with probabilistic choice, and is equipped with a correctness-preserving refinement relation $(\sqsubseteq)$ that enables compact, abstract specifications of probabilistic properties to be transformed gradually to concrete, executable code by applying mathematical insights in a systematic and layered way. Characteristically for correctness by construction, as far as possible the reasoning in each refinement-step layer does not depend on earlier layers, and does not affect later ones. We demonstrate the technique by deriving a fair-coin implementation of any given discrete probability distribution. In the special case of simulating a fair die, our correct-by-construction algorithm turns out to be within spitting distance of Knuth and Yao's optimal solution.
Singleton Wavelet Packet Matrix

Wavelet Packet Transform (WPT) is one of the generalized forms of the wavelet transform that has been a subject of interest for a variety of researchers. Owing to the multi-resolution characteristic of WPT, it has stepped into various research fields. The literature presents WPT as an iterative filtering and sub-sampling procedure, generally applied over a set of input feature vectors. In this work, we propose WPT as a linear encoder that packs the iterative process in the form of a transformation matrix. This results in a one-step matrix realization of complex and iterative WPT. The proposed matrix implementation is compared with state-of-the-art iterative DWT and Wavelet Packet Decomposition used in a variety of hardware- and software-defined languages. The proposed Wavelet Packet Matrix surpasses the baseline methods in terms of increased speed and reduction in process complexity. The generated sparse matrix can be a rapid transformation stage in real-time systems. It becomes handy in compressed sensing, harmonic analysis of signal and other applications involving iterative WPT analysis.
Research on the VR Platform Construction of Intangible Cultural Heritage of Li Nationality in Hainan

In this paper, we build a virtual reality platform to display intangible cultural heritage. Taking the intangible cultural heritage (ICH) of Li nationality in Hainan as the research object, from the angle of virtual reality interaction experience, the paper explored the possibilities of establishing a virtual reality platform to inherit and develop the Hainan Li ICH in the ICH digital environment. The corresponding smart services and application construction strategy are also discussed, which are expected to play a reference role in the development of China's Li intangible cultural heritage.
A Computational Linguistics Approach to Preserving and Promoting Natural Languages

Natural language is a miracle of human life. They have developed and evolved over thousands of years. Language is more than a medium for communication. Embedded in languages are cultural practices and ancient wisdom. Furthermore, there is cognitive evidence to support that learning in one’s mother tongue is easier than it is in a non-native language. Many languages of the world are close to extinction or on a rapid path to extinction. In this paper, we argue that Computational Linguistics offers practical and unprecedented opportunities for preserving and promoting all natural languages. Just as much as biologists care about the extinction of species and their impact on the environmental ecosystem, linguists, computing professionals, and society-at-large should take a similar approach to protecting and celebrating the grandeur of linguistic diversity. We outline an approach to achieving this goal for Indian languages.
Aplikasi Game Edukasi Pembelajaran Hukum Tajwid Pada Anak Usia Dini Berbasis Android

Abstract -- The knowledge of recitation is one of the conditions for how to read the Qur'an properly and correctly so that the meaning does not change or is wrong. In Tajweed the entry and exit of letters, correct pronunciation, and the relationship between one letter to another. There are problems faced in Al Fauzan TPQ where children are reciting lazy to learn to read books, lazy learning to recite, difficult to understand the lessons that have been received so it will be very difficult to understand or understand the lessons that have been given to teachers. even the teaching process is still traditional and monotonous. The design of the game uses the construct2 assistance application, as a helper design process using the Start UML application, Adobe Photo Shop, and uses the waterfall design method for the flow in its completion. The results of this study are in the form of an educational learning application application of Tajweed Law in early childhood based on Android. Keywords : Tajweed, Waterfall, Educational Game, Android
Encrypted Application Classification with Convolutional Neural Network

Encrypted application classification (EAC) has become an emerging and challenging task for network monitoring and management, and statistical-based approaches are less impacted by encrypted streams. However, much effort is required from domain experts to handcraft statistical features. To solve this problem, this paper proposes an end-to-end encrypted application classification framework (E2E-EACF) based on one dimensional convolutional neural network (1D-CNN). Only encrypted payload (EncP) and inter-arrival time (IAT) are required by the framework to classify encrypted flows. Experimental results denmonstrate that E2E-EACF can achieve more than 91.00% accuracy and 0.92 F1 score (the harmonic average of precision and recall) on a public dataset (WRCCDC), better than classical machine learning algorithms (e.g., decision tree and support vector machine).
Can Wikipedia Categories Improve Masked Language Model Pretraining?

Pretrained language models have obtained impressive results for a large set of natural language understanding tasks. However, training these models is computationally expensive and requires huge amounts of data. Thus, it would be desirable to automatically detect groups of more or less important examples. Here, we investigate if we can leverage sources of information which are commonly overlooked, Wikipedia categories as listed in DBPedia, to identify useful or harmful data points during pretraining. We define an experimental setup in which we analyze correlations between language model perplexity on specific clusters and downstream NLP task performances during pretraining. Our experiments show that Wikipedia categories are not a good indicator of the importance of specific sentences for pretraining.
Detect Specific Movement Patterns Based on Gyro and Accelerometer Data

Wearable security cameras has been used by police officers and other agents working within the field of security for many years. Some of these cameras are equipped with an accelerometer and gyroscope sensor that can be used to detect if something is happening to the wearer of the camera. Ideally, the recording should start automatically if the camera is affected by sudden movements, for example if the wearer of the camera is being attacked. If this happens, then the camera should start recording immediately to capture the situation. This masters thesis project will be about trying to develop an efficient and accurate algorithm for fall detection with the help of the accelerometer and gyroscope sensors. Measurements and data collection was done by attaching a body worn camera to a user's chest with the help of a belt. The user performed different movements and the sensor output data was saved into separate files which was later made into a complete data set. Each file was then plotted for analysing, evaluation and trying to detect different patterns. An iterative strategy has been taken for developing this algorithm meaning that new functions and features were continuously added to the algorithm throughout this process in order to improve its performance. This Master's thesis project will focus on how to detect a fall while also trying to filter out movements and other actions that may look similar to a fall. The developed threshold-based algorithm was able to detect falls with a sensitivity of 100\% and a specificity around 90\%.
THE IMPORTANCE OF MODELLING TEACHING TOOLS IN THE EDUCATIONAL PROCESS

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 7624-7630ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1933Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
SURVEY ON FAKE ONLINE REVIEWS USING MACHINE LEARNING ALGORITHMS

In current days, Sentiment Analysis (SA) has become one of the prominent topics in taking decision about e-commerce products.As this has become one of the main roles in business environments, still it is having a lot of limitations like spam users try toinject fake online reviews which are not at all related to that exact topic. One main limitation which is faced by sentiment analysisis unable to extract the emotions properly from the opinion like detecting fake positive reviews and fake negative reviews aboutthat product or post. Due to this spammersimpact, all the company manufacturers and retailers are more concerned with customerfeedback and their individual reviews. The process of converting a normal review into spam or fake review by manipulating theoriginal reviews into poison reviews(I.e. making fake and untruthful reviews) is known as Opinion (Review) Spam. As we allknow that almost all the online reviews may not be trusted, some of them are spam and fake reviews which are generated by thespammer during the social communication. Hence we try to concentrate on the importance of identification of spam reviews andtry to extract the features from Natural Language Processing (NLP), it is also possible to conduct ore spam reviews based onseveral machine learning algorithms. In this present paper we try to conduct a survey on several ML algorithms that are used tosolve the problem of spam reviews detection and try to see the solutions which are provided by several reviewers. In current daysthere is a huge demand for sentiment analysis for fake online reviews detection using several ML algorithms. There is a lot ofresearch work going on to identify the fake online reviews detection, but no technique is a complete success in identifying andpreventing the fake online reviews in effective manner. In this survey thesis, we nearly provide the review of more than 10research papers suggesting various methods adopted for the effective fake users detection using machine learning techniques. Ineach and every research topic there is one part discussing more about the importance of identifying tumor in early stages andanother paper discussing the cons of the previous paper.
EFFECTIVE CONFLICT MANAGEMENT: THE ROLE OF PRINCIPALS

1 Frederick University (CYPRUS)2 Senior Education Planning Officer Ministry of Education and Culture of Cyprus (CYPRUS)
AN ONLINE TOOL FOR STUDENT DIGITAL COMPETENCES SELF-ASSESSMENT

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 5668-5678ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1485Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
when Icarus fell, was there a splash?

Author(s): Johnson, Maya Miro | Abstract: This music score was submitted for the Kaleidoscope 2020 Call for Scores, an open access collaboration with the UCLA Music Library.
CHANGING PRACTICES AND SELF-REFLECTION? IMPLICATIONS OF THE CORONA CRISIS REGARDING PRIVATE AND PROFESSIONAL DIGITAL MEDIA USE OF PRE-SERVICE TEACHERS

CHANGING PRACTICES AND SELF-REFLECTION? IMPLICATIONS OF THE CORONA CRISIS REGARDING PRIVATE AND PROFESSIONAL DIGITAL MEDIA USE OF PRE-SERVICE TEACHERS
APPLICATION OF CHATBOTS IN HIGHER EDUCATION ENVIRONMENT

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 3184-3194ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.0922Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
STUDENTS PERCEPTION OF EDUCATIONAL ACTIVITIES USING THE ONLINE TOOL "MENTIMETER: INTERACTIVE PRESENTATION SOFTWARE" - E-LEARNING PLATFORMS

STUDENTS PERCEPTION OF EDUCATIONAL ACTIVITIES USING THE ONLINE TOOL "MENTIMETER: INTERACTIVE PRESENTATION SOFTWARE" - E-LEARNING PLATFORMS
THE TRAINING OF EDUCATIONAL ASSISTANCE SPECIALISTS IN THE CONTEXT OF COPING WITH OCCUPATIONAL STRESS

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 3472-3477ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.0981Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
Library Guides: Systematic Reviews: 3. Data Collection Strategy

A guide for researchers beginning a systematic review or meta-analysis. Step 5. Construct a Reproducible Search Strategy
AFFECTIVE COMPUTING FOR AN EDUCATIONAL PURPOSE: A CASE OF USE

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 4697-4702ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1233Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
Fine-Grained Fault Tolerance for Resilient pVM-Based Virtual Machine Monitors

Virtual machine monitors (VMMs) play a crucial role in the software stack of cloud computing platforms: their design and implementation have a major impact on performance, security and fault tolerance. In this paper, we focus on the latter aspect (fault tolerance), which has received less attention, although it is now a significant concern. Our work aims at improving the resilience of the "pVM-based" VMMs, a popular design pattern for virtualization platforms. In such a design, the VMM is split into two main components: a bare-metal hypervisor and a privileged guest virtual machine (pVM). We highlight that the pVM is the least robust component and that the existing fault-tolerance approaches provide limited resilience guarantees or prohibitive overheads. We present three design principles (disaggregation, specialization, and pro-activity), as well as optimized implementation techniques for building a resilient pVM without sacrificing end-user application performance. We validate our contribution on the mainstream Xen platform.
On Composability of Game-based Password Authenticated Key Exchange.

It is standard practice that the secret key derived from an execution of a Password Authenticated Key Exchange (PAKE) protocol is used to authenticate and encrypt some data payload using a Symmetric Key Protocol (SKP). Unfortunately, most PAKEs of practical interest are studied using so-called game-based models, which -- unlike simulation models -- do not guarantee secure composition per se. However, Brzuska et al. (CCS 2011) have shown that a middle ground is possible in the case of authenticated key exchange that relies on Public-Key Infrastructure (PKI): the game-based models do provide secure composition guarantees when the class of higher-level applications is restricted to SKPs. The question that we pose in this paper is whether or not a similar result can be exhibited for PAKE. Our work answers this question positively. More specifically, we show that PAKE protocols secure according to the game-based Real-or-Random (RoR) definition with the weak forward secrecy of Abdalla et al. (S&P 2015) allow for safe composition with arbitrary, higher-level SKPs. Since there is evidence that most PAKEs secure in the Find-then-Guess (FtG) model are in fact secure according to RoR definition, we can conclude that nearly all provably secure PAKEs enjoy a certain degree of composition, one that at least covers the case of implementing secure channels.
21ST CENTURY EDUCATION TRENDS

Appears in: EDULEARN20 Proceedings Publication year: 2020Page: 5965ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1560Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
'Unwrapped To Go' is an annual culinary fundraiser turned gourmet drive-thru experience

Unwrapped To Go to supports SHARP Literacy's innovative classroom and online science, technology, engineering, art and math.
CoVista: A Unified View on Privacy Sensitive Mobile Contact Tracing Effort.

Governments around the world have become increasingly frustrated with tech giants dictating public health policy. The software created by Apple and Google enables individuals to track their own potential exposure through collated exposure notifications. However, the same software prohibits location tracking, denying key information needed by public health officials for robust contract tracing. This information is needed to treat and isolate COVID-19 positive people, identify transmission hotspots, and protect against continued spread of infection. In this article, we present two simple ideas: the lighthouse and the covid-commons that address the needs of public health authorities while preserving the privacy-sensitive goals of the Apple and google exposure notification protocols.
TEACHING VISUAL COMPUTING AS A POST-DOCTORAL AREA IN A SMALL UNIVERSITY

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 6688-6696ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1738Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
Legal Regulation of Innovative Technologies Usage for Sustainable Educational Systems Development

In accordance with the Concept of long-term socio-economic development of the Russian Federation for the period up to 2020, the strategic goal of the state policy in the field of education is to increase the availability of quality education that meets the requirements of innovative economic development, modern needs of society and every citizen. The leading role in the modernization of Russian education belongs to teachers. In this regard, in the modern Russian state, the task of improving and increasing the level of legal regulation of the status of teachers becomes important. The current legislation that establishes the specifics of the work of teachers in General education institutions has a number of disadvantages that prevent the improvement of the social status and professionalism of this category of persons. The shortcomings of the current legislation in the field of labor of teachers of General education institutions with a constant trend of its development have led to the need for a detailed analysis of legal norms in this area and the relevance of the research. The purpose of the research is to reveal the features of legal regulation of the work of teachers in General education institutions, identify shortcomings and gaps in legislation in this area and formulate proposals for their elimination. Research on the development of schools over the past decades has revealed the dependence of the quality of innovation on the involvement of teachers in it. It is shown that the achievement of the necessary results of innovation activity is determined by its quality, defined as the ratio of the actual results achieved to the objectively necessary and possible under existing conditions. The level of this relationship depends on how problems are identified, opportunities are sought and used to solve them.in other words, the quality of a school's innovation activity is defined as the relationship between necessary, potentially possible and actually implemented changes in its teaching system. It is established that the school is more capable of development, the higher the quality of its innovation activity as a whole, which is determined by the quality of implementation of its functions. Innovation activity, depending on what its structure is and how its functions are implemented, has different potential opportunities to fulfill its purpose. The greatest ability to develop are schools whose innovative activities are based on a system-based approach. This approach to school development assumes that the object of changes is considered as a system of joint activity. Innovative activity, which results in changes in the educational system, is also understood as a special system of activity.
THE IMPLICATIONS OF COVID-19 ON INNOVATIVE TEACHING METHODS IN THE DIGITAL ENVIRONMENT: AN ASSESSMENT OF TECHNOLOGICAL POVERTY BY ANALYZING THE INTERVENTIONS FINANCED BY PON 2014/2020

THE IMPLICATIONS OF COVID-19 ON INNOVATIVE TEACHING METHODS IN THE DIGITAL ENVIRONMENT: AN ASSESSMENT OF TECHNOLOGICAL POVERTY BY ANALYZING THE INTERVENTIONS FINANCED BY PON 2014/2020
Security in Cloud Computing for Sensitive Data: Challenges and Propositions

Cloud computing is an advanced technology that has been increasing its user base over the past few years. Even though, it has lots of potential to reach more users and data, it has not achieved this due to lingering security and privacy issues in cloud computing. Many perspective users are not using the cloud for storing any sensitive data over the cloud due to fear of compromising the data. The customers are still apprehensive about adopting it since it is still plagued with issues. Security is still an unresolved issue in cloud applications. This paper reviews the problems and challenges faced by the users to ensure security and privacy. Different research works are studied and solutions are provided for data sharing and problem solving. Maintaining the privacy and security for storing and processing the data in the cloud is considered to be the future scope. Presently, most of the research has focussed on sharing the data, collaborating with the cloud, solving the problems of user revocation, and they are still a major issue, which can be addressed in the future research.
A METHODOLOGY FOR SOFT-SKILLS IMPROVEMENT VIA GAME DEVELOPMENT INTENSIVE PROJECT

K. Podlaski1P. Milczarski 1A. Hłobaż1J.C. Monteiro2D. O'Reilly3J. Hautamaki4H. Bollaert5P. Possemiers5N. Neves2
FEELING PRESENT: WHAT ELEMENTS DETERMINE THE FEELING OF PRESENCE IN A VIRTUAL ENVIRONMENT

A.M. Sugliano1, A. Saracchi2 1Associazione EPICT Italia - European Pedagogical ICT LIcence (ITALY) 2University of Genoa (ITALY)