Reviewerly/exHarmony huggingface dataset:
Programming-by-example by programming-by-example: synthesis of looping programs

Program synthesis has seen many new applications in recent years, in large part thanks to the introduction of SyGuS. However, no existing SyGuS solvers have support for synthesizing recursive functions. We introduce an multi-phase algorithm for the synthesis of recursive "looplike" programs in SyGuS for programming-by-example. We solve constraints individually and treat them as "unrolled" examples of how a recursive program would behave, and solve for the generalized recursive solution. Our approach is modular and supports any SyGuS Solver.
Pemodelan Perangkat Lunak Audit Mutu Akademik Internal Berbasis Object Oriented

Internal Academic Quality Audit (AMAI) at STMIK PalComTech aims to examine the suitability of existing quality elements with predetermined quality standards, in the hope of increasing the accreditation of the C program to be minimal B. In this audit system, Become a client is the Chair of the Study Program who wants the academic quality system to be audited. The instruments used in the academic audit process STMIK PalComTech is still a form filled in manually. It takes a long time for the client to prepare the necessary documents for the audit process. There is no integrated system between the client and the auditor that can document the files associated with the audit process. This study aims to create a software modeling for internal academic quality audit STMIK Palcomtech. The modeling used is Object Oriented based, where the diagram used is use case diagram and activity diagram.
Penerapan knowledge sharing dengan media Portal Binus di Bina Nusantara University

With the development of information technology, document management is now done digitally and paperless. Document management is also carried out as an implementation of knowledge sharing activities in an organization. Document management as a part of knowledge sharing activities is one of which is carried out by Bina Nusantara University (Binus). This article is compiled to find out how document management is an implementation of knowledge sharing in the Binus University environment. The method used is descriptive method of conducting interviews and literature review. From the research conducted, Binus University developed the Binus portal as a forum for employees to carry out knowledge sharing activities as well as manage documents in the organization. The managed documents include institutional documents such as organizational structure documents, business processes, duties and functions of each directorate, training materials, references in carrying out assignments, sharing expertise, case studies, case-based reasoning, as well as documents in the form of ideas, innovations, and opinions written in popular form by employees at Binus.
Pomen uporabe arhitekturnih načrtovalskih vzorcev pri razvoju mobilnih aplikacij

Choosing an appropriate architecture is a crucial and necessary step in mobile application development. In this paper, we present a systematic comparison of the most popular architectural patterns and discuss their importance for mobile app development. In our research, we focused on eight architectural patterns from the Jetpack library. We wanted to investigate their impact on the course and outcomes of mobile app development. This is why we have developed an Android application using each of the eight patterns. In order to assess their role, we developed eight more mobile applications. They differ from the previous ones only in that we did not use the Jetpack architectural patterns, but instead developed the applications ad hoc. We compared the applications using several criteria, including time, effort and code quality metrics. Based on this, we argued the rationale for using the patterns in the given contexts. In this paper, we demonstrate that the mobile app development using Jetpack architectural patterns is not only less demanding, but also requires fewer lines of code despite the higher component number. We show how, despite the use of architectural patterns, product development time and internal quality of applications was comparable to those developed with alternative approaches.
Kalman Filter-based Heavy Hadoop Job Detection Method for Energy Efficient Hybrid Electro-Optical Intra-Data Center Networks

This paper proposes Hadoop job detection method using the Kalman filter and network configuration procedure for hybrid electro-optical intra-data center networks. The simulation results show improvement of detection accuracy and energy saving effect.
A noticeable new reading culture

We spoke to Teaching Assistant (TA), Sally Geary, who has been with the school for twelve years. Sally was appointed the primary administrator for ...
Hubungan kualitas Website UPI Central Library dengan kepuasan pengguna

The times and the role of information technology require libraries to innovate, one of the innovations made by libraries is a website. Website quality is currently a strategic issue that is used in communication and interaction with users. This research is intended to know quality of UPI Central Library Website relation with user satisfaction, especially bachelor students of Indonesia University of Education in the main campus of Bumi Siliwangi. One method of measuring the quality of a website can be done by using WebQual. This study uses the WebQual 4.0 method as the basis for measuring the quality of the web proposed by Barnes &amp; Vidgen which consists of of usability, information quality, and service interaction quality. Meanwhile in order to measure user satisfaction uses the theory of importance-performance analysis by Martilla and James which consist of importance and performance. The method is use is Quantitative Method with correlational treatment Pearson Product Moment which is intended to treat causality between X and Y variables. The collecting data technique used questionnaires, interviews and literature studies. Sampling was conducted by simple random sampling technique using a population of 27,172 students and respondents as many as 394 students. The results of this study indicate that the web quality of the UPI Central Library on user satisfaction has a significant relationship, which means that the higher the quality of the web, the higher the satisfaction received.
The use of board game to improve the students' speaking skill

ABSTRACTWidiningsih, Anggit. 2019. The use of Board Game to Improve students Speaking Skills ( A Classroom Action Research for the eighth Student of MTs Yajri Payaman). A Graduating Paper, Teacher Training and Education Faculty, English Education Department, State Institute for Islamic Studies Salatiga. Counselor: Mrs. Dr. Maslihatul Umami, S.Pd.I., M.A. Keyword: Board Game, Speaking skills. The objectives of the research are: (1) To find out the implementation of Board Game to improve students speaking skill of the eighth grade students of MTs Yajri Payaman in the academic year 2019/2020. (2) to find out whether the use of Board Game to improve the students' speaking skill of the eighth grade students of MTs Yajri Payaman in the academic year 2019/2020. (3) To know the extent of the students improvement in speaking skills after the use of Board Game for the eighth grade students of MTs Yajri Payaman.the subject of the research consists of 32 students of the eighth students at MTs Yajri Payaman Magelang. The research methodology is Classroom Action Research (CAR). There were two cycles and every cycle includes planning, acting, observing and reflecting. The implementation of Board Game was successful. It was analyzed by using students observation sheet and average score of the students from each cycle. The result of the research shows that the mean of pre-test of cycle 1 was 55.3 and post-test of cycle 1 was 63.3. Meanwhile, the mean of pre-test of cycle 2 was 67.3 and post-test of cycle 2 was 75.5. The percentage of minimum passing grade of cycle 1 was 34.4% and 46.9%. In cycle 2, the percentage of minimum passing grade was 62.5% and 87.5%. The improvement in cycle 1 was 12.5% and cycle 2 was 25%. The result of t-test in cycle 1 (8.6) and 2 (9.4) were higher than t-table (2.744). It means that there was an improvement of students speaking skill after using board game.
Language Assessment Literacy of Malaysian School English Teachers

The idea that assessment is essential in teaching and learning process is of course not new. In the recent years, most educational systems in the world have experienced or are experiencing a shift from focus on summative to formative assessment. Malaysia is one of the countries that has recently started making major changes in its educational system including the way assessment is supposed to be practiced at schools. However, very few studies are available on how teacher training programmes train future English language teachers on principles and practice of assessment. The present study investigated language assessment literacy of 48 Malaysian school English language teachers. Quantitative method was applied in collecting and analysing the data. More specifically, survey method and a questionnaire adopted from Fulcher (2012) was used by the researchers to elicit the data. Descriptive method was used to analyse the data. The results of analysis showed that 44 (92%) of teachers indicated that they were somewhat prepared in developing useful language tests. Furthermore, the findings also presented several language assessment trainings needed by the teachers. These findings are expected to have important implications and recommendations for better development of language assessment literacy in the context of Malaysia.
SENTIMENTAL ANLYSIS ASPECTS WITH ITS APPLICATIONS AND CHALLENGES

People are becoming tech savvy these days. Most of the people begin their day by posting opinion about various entities on social media, sites etc. This has resulted in explosion of abundant unstructured data which has attracted researchers to extract knowledge out of this data to gain insight. Sentiment analysis is performed on data gathered from twitter, face book, review sites etc to understand the feelings of people. In this paper we discuss the procedure to carryout sentiment analysis, different levels of sentiment analysis, applications and its challenges.
LibGuides: COVID19 Resources: eTextbooks Available through the Library

this guide is intended to provide credible resources related to COVID-19 and to update library users on library services and online resources accessible from off-campus.
Deep Clustering based on Bi-Space Association Learning

Clustering is the task of instance grouping so that similar ones are grouped into the same cluster, while dissimilar ones are in different clusters. However, such similarity is a local concept in regard to different clusters and their relevant feature space. This work aims to discover clusters by exploring feature association and instance similarity concurrently. We propose a deep clustering framework that can localize the search for relevant features appertaining to different clusters. In turn, this allows for measuring instance similarity that exist in multiple, possibly overlapping, feature subsets, which contribute to more accurate clustering of instances. Additionally, the relevant features of each cluster endow interpretability of clustering results. Experiments on text and image datasets show that our method outperforms existing state-of-the-art baselines.
PENGARUH MODEL PEMBELAJARAN CONTEXTUAL TEACHING AND LEARNING UNTUK MENINGKATKAN HASIL BELAJAR MATEMATIKA SISWA KELAS VII-3 SMP NEGERI 29 MEDAN TAHUN PEMBELAJARAN 2019/2020

The population in this study were all grade VII-3 students of SMP Negeri 29 Medan for the Academic Year 2019/2020 which consisted of 2 classes and each class consisted of 30 people. Data collection techniques: 1) Give a test question (pretest) to students. 2) Check and score each item at the same time. 3) Provide treatment with a contextual teaching and learning model to different classes. 4) Give test questions (posttest) to students. 5) Tabulate the scores given. The results of hypothesis testing, namely the average difference test or t test, obtained the price of tcount = 2.19 with ttable = 1.984 for n1 = 30, n2 = 30, dk = 58.
Smart city development, blockchain for the vehicle registry: a study in Romania

The current state of business worldwide is being challenged by technology, which completely transforms old and arduous processes. As the main modern concern is overall data protection and the greater aim is building smarter cities, companies and government agencies are increasingly focused on blockchain databases. This paper focuses on the vehicle market, as it is continuously evolving sales-wise, technology-wise and for comfort/driving possibilities. While studies (Meticulous Market Research, 2020) show that vehicle Artificial Intelligence grows in revenue, they also prove that this is an insecure market, due to miss opportune hackings. Thus, a greater need for security is being expressed all over the vehicle market and many industry players have shifted their attention towards blockchain and its benefits. This paper investigates and describes the concept of vehicle industry in Romania focusing on students sampled from a small demographic segment, due to research limitations. The aim of this study is to examine the importance of having a blockchain system implemented and what are the challenges to have this in place. By analyzing the surveys gathered from 150 students, this study has found that a huge percentage of respondents have a positive attitude towards this technology, hence this is a valid solution for future implementation as it is discussed below in this research.
THE EFFECT OF HOT SEAT STRATEGY TOWARD STUDENTS’ SPEAKING ACHIEVEMENT AT PADANG INSTITUTE OF TECHNOLOGY

Language means of a communication that it very useful. It can serve human needs in their communication in any situation. There are four skills of language learning namely listening, speaking, reading and writing. Speaking cannot separate for other elements in English teaching learning process. In speaking, students can deliver their opinion, arguing, responding someone statement and debating. To help them in speaking, researcher use one of the strategies in teaching speaking, Hot Seat Strategy. The purpose of this research was to know the effect of Hot Seat Strategy in teaching speaking. This research experiment research which was used one qualification as sample group. The instruments which were used consist of speaking test and oral test. The analysis was classified into two kinds; pretest without any treatment and post-test after the students got the treatment. Keywords :Hot Seat Strategy, Students’ Speaking Achievement, Speaking
A comparison of Different Machine Learning Techniques to Develop the AI of a Virtual Racing Game

Nowadays machine learning (ML) is a field of study that is applied in numerous fields of application: Image classification, Identity fraud detection, Market forecasting, Customer segmentation and others. Another interesting field of study for ML is Video Game. In a virtual environment we can train an Artificial Intelligence (AI) and not script it with thousands of lines of code. A ML-AI could be a Non Player Character that interact with a human player in a friendly or hostile way. It could be an agent that learn how to perform a task in a single player game. The idea of this dissertation is to create a virtual environment with three different AIs trained with a different approach: Reinforcement Learning, Imitation Learning and Curriculum Learning. These agents are trained to compete against a human player in a racing game.
DSC Library: Falcon Self-Service- Faculty Center: Review Shared Information - Delegate Access

This is an info-guide created for the Faculty Center Located in the Falcon Self Service area.
Development of an Immersive Cultural Game using Mixed Reality

This game aims to preserve and spread cultural practices. It introduces new gaming mechanics, which allows user interaction with virtual game objects using hand gestures. The user’s objective is to hunt prey in their natural habitat, which means that the player will physically change his location to hunt a specific prey using his falcon to mimic how the falcon hunts for its prey in the real world. This interaction with the real world, along with incorporation of realistic graphics and mixed reality features, enhances the user’s experience and helps in preserving cultural practices. Previous work tried to achieve the same goal by different approaches that led to different user segments and different usability cases. One major limitation in that work was the accessibility due to the use of specialized hardware. The hardware is accessible to a small segment of users; however, given the new limitations forced by the COVID-19 situation reusing the hardware is prohibited ; and as a result, not many will have access to the developed solution. The current implementation was designed to work on both Android and IOS to have a social interaction between the largest possible numbers of players. Other features that could also contribute to the goal of the project include building a virtual museum and displaying real falcons using the capabilities mixed reality has to offer.
The limited deficit method and the problem of constructing orthomorphisms and almost orthomorphisms of Abelian groups

Abstract The limited deficit method is described, which allows constructing new orthomorphisms (almost orthomorphisms) of groups with the use of those already known. A class of transformations is described under which the set of all orthomorphisms (almost orthomorphisms) remains invariant. It is conjectured that the set of all orthomorphisms (almost orthomorphisms) is generated by transformations implemented by the limited deficit method. This conjecture is verified for all Abelian groups of order at most 12. The spectral-linear method and the spectral-differential method of design of permutations over the additive group of the field 𝔽 2 m ( m = 4, …, 8) are used to construct orthomorphisms with sufficiently high values of the most important cryptographic parameters.
Face Spoof Detection Using Dual Stream Convolutional Neural Network

Face recognition is an acknowledgement strategy used to distinguish countenances of people whose pictures spared in information index. Face acknowledgement has consistently stayed a huge focal point of research due to its non-intruding nature. Face discovery is utilized in biometrics, regularly as a piece of a facial acknowledgement framework. This imaginative innovation has defects. This is the place the requirement for against parodying arrangements becomes possibly the most important factor. Most of the faces caricaturing assaults utilize 2D and 3D to trick facial acknowledgement programming. In spite of the fact that numerous compelling strategies have been proposed for against parodying we find that the presentation of many existing techniques is corrupted by illumination. It spurs us to create light invariant strategies for hostile to satirizing. In our paper we propose a double stream convolutional neural system. It fundamentally chips away at two spaces: to be specific RGB and MSR. The two spaces are similarly significant on the grounds that the previous contains high recurrence facial highlights yet delicate to brightening. Both these highlights are taken care of the system and we use attention based combination strategy to intertwine both the features. The outcome, whether the picture is genuine or parody is built up utilizing softmax. Keywords: Face spoofing, convolutional neural networks, attention-based fusion, softmax.
Mapeamento entre sistemas de organização do conhecimento

It addresses the mapping between Knowledge Organization Systems (KOS) for the establishment of semantic interoperability in KOS from the perspective of ISO 25964-2: 2013. From the need to understand the types and functions of mappings between SOC developed in ISO 25964-2 (2013) standard, the research aimed to understand its role in the establishment of semantic interoperability in these systems. A Systematic Review of Literature was employed as a research method, with a protocol consisting of four steps. The critical analysis was performed with 12 articles resulting from research on this subject and six were in fact useful to the proposed objective. It was concluded that for an initial approach to the topic the research was relevant and brought results, presented in the construction of the theoretical synthesis that discusses the models of mappings between SOC and the mappings of semantic relations. It is necessary to further deepen readings and to correlate the inputs obtained with other visions to broaden the understanding of the theme.
Streamed Covid-19 Data Analysis Using LSTM—A Deep Learning Technique

Recently, a large part of the world is facing an epidemic situation due to an unknown virus of the corona family which is COVID-19 that is spreading globally. A major part is affected due to this pandemic situation. The currently available tools and treatments are not sufficient, so every country is working for its cure. However, the prediction of new cases based on the available stream dataset is somehow helpful to reduce the chances of disease because prevention is better than cure. So, this research studies the transmission process of COVID-19. Based on the research, we have proposed a new model for prediction which uses the technique of long short-term memory (LSTM), a deep learning technique. LSTM is generally suited for real-data predictions based on time-series stream data. The experiments conducted on the John Hopkins dataset for India taken for the month of Jan to April 2020 are updated on a daily basis. However, data for the month of Jan–April are taken into consideration for prediction. The results show that the predicted model returns efficient results with minimal error for May 4–15, 2020. This analysis helps the relevant nation to take decisions.
Library and Academic Services: Streaming Videos Resources Guide: External Online Videos

This guide contains links to RRC Library's Streaming Video databases as well as curated collections for special topic areas; You will also find here a curated collection of links to popular free external video collections such as TED Talks, YouTube Chan