Reviewerly/exHarmony huggingface dataset:
Multi-Layered DP Quantization Algorithm

Designing an optimum quantizer can be treated as the optimization problem of finding the quantization indices that minimize the quantization error. One solution to the optimization problem, DP quantization, is based on dynamic programming. Some applications, such as bit-depth scalable codec and tone mapping, require the construction of multiple quantizers with different quantization levels, for example, from 12bit/channel to 10bit/channel and 8bit/channel. Unfortunately, the above mentioned DP quantization optimizes the quantizer for just one quantization level. That is, it is unable to simultaneously optimize multiple quantizers. Therefore, when DP quantization is used to design multiple quantizers, there are many redundant computations in the optimization process. This paper proposes an extended DP quantization with a complexity reduction algorithm for the optimal design of multiple quantizers. Experiments show that the proposed algorithm reduces complexity by 20.8%, on average, compared to conventional DP quantization.
Perancangan Sistem Pengelolaan Ruang Wisma Dosen Berbasis Android di Universitas Nurul Jadid

The rooms at the Nurul Jadid University lecturers' guest house still could be borrowed only by asking for information to the room desk. It makes the borrower wasting a lot of time, especially if the room desk is not available, in which the borrower needs to wait for getting the certainty of approval for the room borrowing schedule, and dealing with the frequent crashes because there is no system with effective borrowing management. Therefore, this program is to make an Android-based Space Borrowing Management Application by which the user can make use of its features to manage the room and make it easier to borrow the room.
Sudden Freezing and Sudden Thawing of Entanglement in Multi-Party Jaynes-Cummings Dynamics

The dynamical responses of two qubits jointly interacting with the same cavity mode are studied. New dynamical quantum phenomena labeled Entanglement Sudden Freezing and Entanglement Sudden Thawing are discovered by analyzing the normalized Schmidt weights.
Fluid quotes: metaprogramming across abstraction boundaries with dependent types

Object-oriented programming, functional programming, and metaprogramming each offer a unique axis of abstraction that enables modular code. Macros, a common technique for metaprogramming, capture ASTs as quotes to let users manipulate them in the host language. However, macros are often at odds with other programming techniques since they can only process code written at the call-site and cannot analyze code behind abstraction boundaries such as variables and methods. Furthermore, the quotes generated for macro expansion exist only at compile-time and cannot be passed around in user code. Multi-stage programming treats quotes as runtime values to address this problem, but introduces the cost of running the compiler when splicing quotes. This forces developers to choose between low runtime overhead and modularity. What if we could have the best of both worlds? We introduce fluid quotes, a new technique that uses dependent types to let users pass quotes through abstraction boundaries in runtime code while splicing them ahead-of-time. This technique enables new metaprogramming capabilities by eliminating the traditional requirement of co-locating parameter expressions with call-sites. Fluid quotes capture not only source code but also associated runtime context to ensure correctness. In addition, they can be composed into larger expressions without any macro code. We demonstrate the capabilities of fluid quotes through two specific applications: optimizing data processing pipelines and making language integrated queries more flexible.
COMPUTER BASED ENGLISH SPEAKING TEST BASED ON ARTIFICAL NEURAL NETWORK

English testing is a most common test conducted around the world for evaluating an individual’s English capabilities in mostly reading, writing, speaking, and listening domain. With increased cost and higher subjective assessment attached in some tests, there is required to change the test from traditional method to computer based. In this study, a proposed method for conducting speaking test for English based on objective assessment method. The proposed system is able to identify different dialects based on unit analysis of syllable along with phonetic errors. The proposed system is based on pronunciation parameters and neural network for evaluation purpose. The PSO algorithm is used for training the artificial neural network. The experiment result conducted for validating the proposed system shows promising performance
Occupational Health and Safety Management System in Engineering Faculty of Diponegoro University Using Scrum Model

ISO 45001 is a standard that provides a framework for an organization to manage risks and opportunities to help prevent work-related injury and ill-health to workers. There is also an injury in the campus area, and ill-health possibilities happened to the student, lecturer, laboratory assistant, or other academic staff, especially in laboratories. This work proposes developing an occupational health and safety management system in the Engineering Faculty of Diponegoro University. The methodology used is Scrum Model. The Test Case is also used to make sure the application meets the Client expectation. The result showed that the method leads to an application that meets Client expectations.
Semiotic Diagnostics: Methodology for Measuring Education Transformation Efficiency

Education restructuring projects require efficiency criteria for the assessment and monitoring of management efforts to achieve set goals. The article focuses on understanding the efficiency itself and the essence of its assessment. The key points of formation and methodological innovations of the presented concept of diagnostics which substantiates the relevance are discussed: interpretations of education systems as semiotic systems; management of the transformation of education systems based on the measurement of the parameters of the order of self-organization of complex open systems; selecting, as a control parameter, the order of the characteristic “information efficiency”. This characteristic makes it possible to implement a procedure for measuring two competitive interactions: the process of selecting the optimal ways to achieve an asymptotically distant goal and the process of the competition of semiotic attractors as an expression of asymptotic goals. The specificity of self-organization mechanisms puts forward requirements for managing these processes. These requirements are the need to conduct such a selection which does not cut off other paths to other goals but changes the hierarchy in the subordination of ways to achieve goals. Ignoring the requirement leads to the selection out of “one” path. Conclusions regarding the determination of the place of pedagogical education in the context of modernization of the entire system of national education are drawn. Firstly, the implementation of technologies that demonstrate their efficiency in foreign experience into the practice of national education should be guided by the fact that this efficiency was obtained to achieve substantially different goals. Secondly, the implementation of innovative educational technologies in teacher training should be ahead of this implementation in teaching practice at all educational levels, which will ensure that the advantages of these technologies are effectively tuned to achieve the goals of national education.
A Robust Low-cost Mocap System with Sparse Sensors

In this paper, we propose a robust low-cost mocap system (mocap) with sparse sensors. Although the sensor with an accelerometer, magnetometer, and gyroscope is cost-effective and offers the measured positions and rotations from these devices, it potentially suffers from noise, drift, and lost issues over time. The resulting character obtained from a sensor-based low-cost mocap system is thus generally not satisfactory. We address these issues by using a novel deep learning framework that consists of two networks, a motion estimator and a sensor data generator. When the aforementioned issues occur, the motion estimator feeds the newly synthesized sensor data obtained with the measured and predicted data from the sensor data generator until the issues have been resolved. Otherwise, the motion estimator receives the measured sensor data to accurately and continuously reconstruct the new character poses. In our examples, we show that our system outperforms the previous approach without the sensor data generator and we believe that it can be considered a handy and robust mocap system.
RNN based Incremental Online Spoken Language Understanding.

Spoken Language Understanding (SLU) typically comprises of an automatic speech recognition (ASR) followed by a natural language understanding (NLU) module. The two modules process signals in a blocking sequential fashion, i.e., the NLU often has to wait for the ASR to finish processing on an utterance basis, potentially leading to high latencies that render the spoken interaction less natural. In this paper, we propose recurrent neural network (RNN) based incremental processing towards the SLU task of intent detection. The proposed methodology offers lower latencies than a typical SLU system, without any significant reduction in system accuracy. We introduce and analyze different recurrent neural network architectures for incremental and online processing of the ASR transcripts and compare it to the existing offline systems. A lexical End-of-Sentence (EOS) detector is proposed for segmenting the stream of transcript into sentences for intent classification. Intent detection experiments are conducted on benchmark ATIS, Snips and Facebook's multilingual task oriented dialog datasets modified to emulate a continuous incremental stream of words with no utterance demarcation. We also analyze the prospects of early intent detection, before EOS, with our proposed system.
Analyzing the Chain of Trust Model Based on Entity Dependence

This paper provides a chain of trust model in line with the TCG trust concepts. This model gives a formal definition and proof of trust state, trust root and trust measurement and chain of trust by the concept of Smith’s entity dependence and the assumption that the authenticity can measure the entity’s conduct with accuracy. The model is universal, which can provide a theoretical basis for assessing the existing trusted computing platform, and provide theoretical support for the future research on how to build a more reasonable chain of trust.
Scaling-out blockchains with sharding: an extensive survey

The blockchain technology, featured with its decentralized tamper -resistance based on a peer -to -peer (P2P) network, has been widely applied in financial applications and even further been extended to industrial applications. However, the weak scalability of traditional blockchain technology severely affects the wide adoption due to the well-known trilemma of decentralization-security-scalability in block chains. In regards to this issue, a number of solutions have been proposed, targeting to boost the scalability while preserving the decentralization and security. They range from modifying the on -chain data structure and consensus algorithms to adding the off -chain technologies. Therein, one of the most practical methods to achieve horizontal scalability along with the increasing network size is sharding, by partitioning network into multiple shards so that the overhead of duplicating communication, storage, and computation in each full node can be avoided.
Analysis of the Innovation of Music Teaching in Higher Vocational Colleges Based on “Three-wide Education”

With the continuous development of modern society, people are paying more and more attention to the field of education, especially the quality of education. As far as music is concerned, not only can it effectively cultivate students’ personalities and hobbies, but also be used as a new way of expressing people’s joy in life. It has permeated all corners of people’s lives imperceptibly, and even plays a very important role. Therefore, when higher vocational colleges formulate the teaching goals of music professional courses, they must be able to continuously update their teaching strategies in real time according to the development and changes of the new era, adopt more diversified teaching models, and combine the teaching of “Three-wide Education” philosophy, pay attention to the multi-participation education method of family and school, to further promote the sustainable development of the music profession.
Methodological principles to create a metadata extension to the Darwin Core standard for agrobiodiversity data

This research aims to propose principles to creating a metadata extension to the Darwin Core standard that addresses the agrobiodiversity data, with a thematic scope on ecological interactions. These principles have been compiled from the scientific literature, giving special attention to recommendations of the DCMI Abstract Model, which outlines the principles for creating metadata. The DCMI Abstract Model governs the creation of the Dublin Core metadata standard upon which Darwin Core is based. The requirements of ISO/IEC 11179-4/2004 standard for the definition of metadata were also taken into consideration. The research is in progress, so what is exposed in this article are preliminary results. A prototype of a metadata record for the field of ecological interactions, which is the scope of research within agrobiodiversity, was created to demonstrate the format that metadata will have when the extension is finalized. This research represents an initial effort to propose more effective tools for agrobiodiversity data management, but it is necessary to mature and deepen the discussions around the conceptual aspects of the ecological interactions in agrobiodiversity and the relationship of the new metadata extension with the term set of the Darwin Core, as well a robust methodology to create DwC extensions is still pending of being developed.
Tablet PCs in primary and middle school

This chapter reviews the use of tablet PCs with younger students. Ever wondered what it would be like to teach a class where all the students have a tablet PC? Are you worried about classroom management and how to introduce different apps for learning? In this chapter, many good examples from subjects like math, social studies, music, and science classes are shared. Simon Spurkland has many years of experience working in a digital environment and knows what to do and what to avoid. He shares how the use of tablet PCs can enhance student learning and create an atmosphere of engagement in which the students take ownership of their learning. This way of working changes the way you assess students’ work.
An Initial Study of Measuring Aesthetic Web Interfaces Using Fuzzy Analytic Hierarchy Process (FAHP) Approach

Aesthetic denotes the high loading of general feeling, beauty, and meaningfulness.The aesthetic of the web interface is vital since it could influence the users' initial impression, attention, satisfaction, subjective experiences and successful communications.However, the aesthetics of the web interface is very subjective because different individuals might have their own perspective.Hence, the judgement whether the web interface is aesthetically appealing or not, is not absolutely accurate and reliable based on the subjective evaluation.As a result, there is uncertainty in the decision of aesthetically web interfaces.Thus, in order to response to this issue, this research aims to construct a model that can objectively measure the aesthetic of the web interface.The present study intends to focus on the web-based learning interface because the aesthetic of the interface could attract students to the content of the learning modules and drive students to further explore the learning materials.The objectives of this research are to design web-based learning interfaces based on the aesthetic design principles selected, to develop a model for measuring aesthetic web-based learning interfaces based on Fuzzy Analytic Hierarchy (FAHP) approach and, to evaluate the proposed model in a web-based learning domain.In order to construct an aesthetic measuring model for web interfaces, this study will employ FAHP approach.The expected findings of the current research are the ranking of aesthetic criteria that used to create the web interfaces, and subsequently, can give a consistent criterion that could contribute to the aesthetic of web interfaces, this research is significant because it is able to produce a model that can assist in determining the aesthetic web-based learning interfaces.Taken together, it is also could contribute to the body of knowledge in the interface design and decision support system fields.
A Theory on AI Uncertainty Based on Rademacher Complexity and Shannon Entropy

In this paper, we present a theoretical discussion on AI deep learning neural network uncertainty investigation based on the classical Rademacher complexity and Shannon entropy. First it is shown that the classical Rademacher complexity and Shannon entropy is closely related by quantity by definitions. Secondly based on the Shannon mathematical theory on communication [3], we derive a criteria to ensure AI correctness and accuracy in classifications problems. Last but not the least based on Peter Barlette's work, we show both a relaxing condition and a stricter condition to guarantee the correctness and accuracy in AI classification . By elucidating in this paper criteria condition in terms of Shannon entropy based on Shannon theory, it becomes easier to explore other criteria in terms of other complexity measurements such as Vapnik-Cheronenkis, Gaussian complexity by taking advantage of the relations studies results in other references. A close to 0.5 criteria on Shannon entropy is derived in this paper for the theoretical investigation of AI accuracy and correctness for classification problems.
ОРГАНІЗАЦІЙНІ ФОРМИ ПЛАНУВАННЯ НАВЧАЛЬНОГО ПРОЦЕСУ ПІДГОТОВКИ МАЙБУТНІХ УЧИТЕЛІВ ІНФОРМАТИКИ В ІНФОРМАЦІЙНО-ОСВІТНЬОМУ СЕРЕДОВИЩІ

The article provides a comparative analysis of traditional and innovative organizational forms of education in the higher education institutions. New forms of educational activity with the use of ICT tools (network interaction, multimedia lecture, online lecture, slide lecture, distance learning, electronic seminars, webinars, case technology, forum, e-mail consultation, computer testing, telecommunication project, group projects on wiki technology, joint blogging, etc.). In the article we opened didactic possibilities of application of innovative organizational forms in educational process. The peculiarity of the application of electronic lecture and its types (online-lecture, slide-lecture, video-lecture, combined lecture; laboratory works with the use of computer and appropriate software; independent work on informatics; network interaction and its resources (teleconference, chat, WWW) (World Wide Web), e-mail, FTP, blog), online communities and forms of educational activities (educational teleconference, off-line conference or virtual conference, chat, training workshop, virtual learning with the help of the pedagogical community, educational competition, joint creation of web pages, virtual survey of students, educational virtual project, virtual party, master class on a specific topic, design seminar, project festival, etc.), distance, blended learning and their software.
ANALISIS YURIDIS HAK DAN KEWAJIBAN WARGA NEGARA ATAS PENDIDIKAN MENURUT UNDANG-UNDANG NOMOR 20 TAHUN 2003 TENTANG SISTEM PENDIDIKAN NASIONAL

Education is an important issue and issue that the nation and the state of Indonesian are facing this time. Besides being important, being able to experience education is also a right for everyone. Lack of education in Indonesia can be seen in the Date Release of the Education For All (EFA) Global Monitoring Report 2011: Education Development Index wich UNESCO. Indonesia in year 2011 is 0,934 value is what puts Indonesia at posision 69 of 127 countries in the world. the causes could be the result of this lack of special attention to the aducation of the country to a greater extent in areas that really need the attention of both the regional and the central goverments and not escape from the role of parents and families in not obstructing an increased education.
Develop High School Students Recommendation System Based on Ontology

The user model is one of the crucial components in the knowledge management system in general and the recommendation system in a specialty. Usually, the user model is created from simple profile information such as full name, date of birth, gender, etc. The data extracted from this information is limited, easily duplicated, and has not featured vector personal, so it is difficult to give exact recommendations. The decision to choose a university and majors is very important, but students at high school are not sure how to match their interests, their strengths with their working future or majors. Therefore, high school students need guidance and support. Moreover, students need to filter, prioritize, and efficiently get appropriate information from the web in order to solve the problem of information overload. This paper proposes an ontology-based approach to exploring information about hobbies, fingerprints, friend circles, social relationships, and reviews from parents, friends, and teachers in the recommendation system for high school students.
Using Machine Learning Image Recognition for Code Reviews

It is commonly understood that code reviews are a cost-effective way of finding faults early in the development cycle. However, many modern software developers are too busy to do them. Skipping code reviews means a loss of opportunity to detect expensive faults prior to software release. Software engineers can be pushed in many directions and reviewing code is very often considered an undesirable task, especially when time is wasted reviewing programs that are not ready. In this study, we wish to ascertain the potential for using machine learning and image recognition to detect immature software source code prior to a review. We show that it is possible to use machine learning to detect software problems visually and allow code reviews to focus on application details. The results are promising and are an indication that further research could be valuable.
Estimation of driving environment with mental strain using operation information of mobility scooter

Mobility scooters are three or four-wheeled electric-motor-driven wheelchairs with a handlebar for steering. In the use environment of a mobility scooter, there may be many obstacles that need to be avoided, such as pedestrians on a narrow sidewalk or cars on the edge of the road. These obstacles not only interfere with smooth driving but also induce mental strain on the user such as fear and anxiety, which may cause a decrease in comfort and an accident. The purpose of this study is to estimate physical obstacles in the road environment when driving a mobility scooter from operation information and physiological information of the user obtained during driving. We measured skin conductance, manipulation amount of accelerator, steering torque, and acceleration value in the horizontal plane when driving on a few courses with physical obstacles. We tried to build a machine learning model that estimates the type of physical obstacles in the course based on these time-series data by using a random forest classifier.