Reviewerly/exHarmony huggingface dataset:
The potential use of Tablet Computers to support Teaching and Learning activities in South African Schools

In South Africa, currently, “education is in crisis” and there is much speculation that Information Communication Technologies (ICTs) could be used to improve education in developing countries, such as South Africa. One ICT often cited for its benefits to education is that of the Tablet computer (PC). In this paper we explore the affordances of tablet PCs, as well as the factors which positively contribute to the uptake of tablet PCs within educational settings. Furthermore, we discuss the importance of educator knowledge through the lens of Technological Pedagogical Content Knowledge (TPACK) in successfully integrating the use of technology into teaching and learning; research tells us that there can only be meaningful and skilled teaching with technology if pedagogical knowledge, content knowledge and technological knowledge are well defined. As Toyama said, “there are no technology shortcuts to good education”.
Construction of Highly Accurate Depth Estimation Dataset Using High Density 3D LiDAR and Stereo Camera

In this research, we propose automatic construction of highly accurate data set for depth estimation by sensor fusion with high density 3D LiDAR and stereo camera. It is difficult to assign depth information all pixels with LiDAR stationary, due to the shortness of the LiDAR’S ranging distance to measure all of the objects reflected on the camera and point cloud is not so dense enough to obtain depth information corresponding to each pixel of the RGB image. We solved these issues by integrating point cloud based on relative position calculated with high accuracy by localization. In order to show the usefulness of this research, we have conducted a running experiment at Meiji University Ikuta Campus and compared the depth image of the stereo camera with the depth image of the proposed method.
Professional and Personal Self-Development of a Future Engineer by Means of Foreign Language

This article discusses the role of a foreign language in solving the problem of professional and personal self-development of future engineers. It analyzes the relevance of textbooks of professional orientation in foreign language in the educational process.
Flowboard

With Maker-friendly environments like the Arduino IDE, embedded programming has become an important part of STEM education. But learning embedded programming is still hard, requiring both coding and basic electronics skills. To understand if a different programming paradigm can help, we developed Flowboard, which uses Flow-Based Programming (FBP) rather than the usual imperative programming paradigm. Instead of command sequences, learners assemble processing nodes into a graph through which signals and data flow. Flowboard consists of a visual flow-based editor on an iPad, a hardware frame integrating the iPad, an Arduino board and two breadboards next to the iPad, letting learners connect their visual graphs seamlessly to the input and output electronics. Graph edits take effect immediately, making Flowboard a live coding environment.
Formation of economic competence of the head of the educational organization in terms of professional development

Today, the professional activity of the head of an educational organization is inseparable from the economic context. Economic activity of the head of the educational organization is to provide the organization with the necessary resources for its effective functioning and demand for educational services. In the context of modernization of the Russian education system, the key factor is the compliance of professional competence of heads of educational institutions with the needs of the time.   Professional competence of the head of the educational institution is determined by a set of competencies, which are characterized by the ability to use theories and concepts, knowledge in various fields of activity, the gained experience; the ability to positive intellectual, volitional self-development, interaction with other people, groups, team; the presence of motives to respect the rights and interests of the individual in the course of management; personal attitude to activity. In the structure of economic competence of the head of the educational institution knowledge, activity, motivational and personal components are identified that provide professional and personal improvement and self-development of the head, the formation of his abilities, characterized by three types of competencies: marketing, business and economic and legal. To determine the level of economic competence formation in the educational process of the professional development system four formation levels (insufficient, basic, advanced and leadership) of economic competence of the head are identified, where each previous determines the subsequent one and is included in its composition. The study is aimed at solving one of the important problems of modern postgraduate education – ensuring the effectiveness of the process of professional development of heads of educational institutions. The professional development system is able to solve the problem of formation of economic competence of heads of educational institutions quickly.
KEEFPEKTIFAN MODEL COOPERATIVE INTEGRATED READING AND COMPOSITION (CIRC) DALAM MENINGKATKAN HASL BLAJAR IPA SISWA KELAS VI SD NEGERI 011 AIR EMAS

Cooperative learning type integrated cooperative reading and composition is a comprehensive program that can be used in learning, especially in science learning. the aim was to improve students' learning outcomes in science class VI Elementary School 011 Air Emas. The results showed, at the base score the average score of students was only 64, after improvement in the first cycle using a cooperative model of integrated cooperative reading and composition (CIRC) type, the average value increased to 78, and in cycle II it increased to 86. These results prove that, the model of integrated cooperative reading and composition (CIRC) proved to be effective in improving the process and student learning outcomes.
Correction to: Prediction of Individual Finger Forces Based on Decoded Motoneuron Activities

Due to an error in production, Figure 4 in the original paper shows the root mean squared error (RMSE) between the force and the neural drive estimation. The R2 heat map as a function of the number of motor units and the accuracy is illustrated below.
Bodily Connectedness

This is a practice based PhD research that explores inter-affective movement-based communication as an approach to mediated connectedness (an immediate, felt experience of feeling close to another person) over distance in dyads. Inspired by recent socio-cognitive theories (e.g. enactive intersubjectivity [8], synergistic approach [16], in this thesis communication is viewed as a dynamic coordination between two holistic living bodies, rather than two abstract minds transmitting information from sender to receiver. The main hypothesis is that coordinated inter-affective movement can facilitate the feeling of connectedness in mediated settings. I will creatively explore this assumption by developing a sequence of experimental design artifacts.
KORELASI KETERAMPILAN MEMBACA PEMAHAMAN TEKS EKSPLANASI DENGAN KETERAMPILAN MENULIS TEKS EKSPLANASI SISWA KELAS VIII SMP NEGERI 2 BATUSANGKAR

ABSTRACT The purpose of this study is three. First, describe the reading skills of explanatory text understanding of class VIII Batusangkar 2 Middle School. Second, describe the explanatory text writing skills of class VIII Batusangkar 2 Middle School. Third, describing reading correlation understanding explanatory text with explanatory text writing skills of class VIII Batusangkar 2 Middle School. This article was written to describe reading skills in understanding explanatory texts with explanatory text writing skills of class VIII students of SMP N 2 Batusangkar. This type of research is quantitative research using descriptive methods. The research design used is correlational. The population in this study was the eighth grade students of SMPN 2 Batusangkar who were enrolled in the 2017/2018 academic year totaling 245 students. Samples were taken using proportional random sampling. Based on the results of this study, it can be concluded that the correlation between reading skills comprehension of explanatory texts and explanatory text writing skills of class VIII Batusangkar 2 Junior High School with 95% evidence with n-1 degrees of freedom; t-count&gt; t-table (5.55)&gt; (1.68). Therefore, reading skills understanding explanatory texts correlate with explanatory text writing skills. Kata Kunci: Korelasi, Keterampilan Membaca Pemahaman Teks Eksplanasi, Keterampilan Menulis Teks Eksplanasi
DEVELOPING LEARNING MEDIA THROUGH MACROMEDIA FLASH APPLICATION FOR ENGLISH PHONOLOGY CLASS

The purpose of this study is to develop a learning media model using the Macromedia Flash application to be used in English Phonology learning and to determine the feasibility of appropriate Macromedia Flash-based learning media to support English Phonology learning. This research is a Research and Development Research (R & D) with stages (1) Stages of Analysis, namely Identifying the objectives of Learning Media and Identifying Student Characteristics; (2) Design Stages, namely Designing learning materials and Designing learning media design using the Macromedia Flash program; (3) Production stages, namely Producing learning materials, Authoring materials, and Editing learning materials; (4) Evaluation Stages, namely Material Expert Review, Media Expert Review, and Test on students.The results show that the English Phonology learning media products have met the rules of research and development and are effectively used in the learning process for Students of the English Language Department of IAIN Metro Lampung.
Computational Interaction with Bayesian Methods

This course introduces computational methods in human--computer interaction. Computational interaction methods use computational thinking---abstraction, automation, and analysis---to explain and enhance interaction. This course introduces the theory of practice of computational interaction by teaching Bayesian methods for interaction across four wide areas of interest when designing computationally-driven user interfaces: decoding, adaptation, learning and optimization. The lectures center on hands-on Python programming interleaved with theory and practical examples grounded in problems of wide interest in human-computer interaction.
초등영어 교육에서 문화간 의사소통 능력 향상을 위한 모바일 협력학습 기반 플립러닝 수업 방안

The present study aims to develop a flipped classroom (or flipped learning) plan using mobile collaborative learning in order to promote students’...
Limbo in development projects

This article uses Actor-Network Theory to investigate how a One Laptop per Child project went through periods of impasse and crisis, what happened during these periods, and how the project managed to continue. The analysis shows that the standstills occurred when the understandings or “translations” behind the project started to unravel and, similarly, that the project was revitalised by participants experimenting with new translations. The article develops a sensitising concept called limbo intended to guide others confronted with similar situations. The concept has three traits: standstills are circumstantial, they entail ambiguity, and they are sources of project transformation.
Dual Graph Regularized Sparse Nonnegative Matrix Factorization for Data Representation

Nonnegative matrix factorization (NMF) has been a state-of-the-art data representation method, since it contains the psychological and physiological evidence for parts-based representation in the human brain. However, many existing NMF methods fail to ensure the decomposed results to be sparse, or ignore some useful geometrical structure information in the data. In this paper, a sparse NMF method, called dual graph regularized nonnegative matrix factorization with l 1 -norm sparsity constraint (l 1 -DNMF) is proposed to solve the two problems together. In addition, to satisfy the locality condition and sparsity constraint simultaneously, we also propose the dual graph regularized nonnegative matrix factorization with local coordinate constraint (LDNMF). By using the multiplicative update algorithm to solve the optimization problems of l 1 -DNMF and LDNMF, we derive two efficient alternating iterative methods. Experimental results on four image datasets demonstrate the promising performance of the new methods compared with several related methods for clustering applications.
Shaready: A Resource-IsolatedWorkload Co-Location System

Over a decade, cloud and subsequent joint cloud computing has been evolving into one of biggest disruptive technologies in modern digital age. The rapidly maturing cloud service and system management still heavily relies on virtualization which underpins Infrastructure as a Service (IaaS) to offer on-demand and low-cost computing services. Nevertheless datacenters still suffer from low utilization and resource imbalance. IaaS systems and their workloads, as legacy estates, are intricate to be migrated or re-planned, thereby increasing the complexity of utilization improvement. Arguably workload co-location of long-running applications encapsulated in virtual machines and latency-insensitive batch jobs is an alternative to improve overall resource utilization. However, guaranteeing the quality of long-running services is still challenging. In this context, we proposed an isolation-based cluster resource sharing system Shaready to enable workload co-residences. By means of global resource quota configuration and multi-resource isolation, long-running services in virtual machines can be prioritized with maximized resource provisioning. We implemented and validated it based on Openstack and Yarn clusters, and experiments demonstrate that system CPU and memory utilization can be improved by roughly 50% and 16.67% respectively on average with at most 7% performance degradation.
ASSESSMENT OF EMPIRICAL MODELS FOR ESTIMATING MEAN MONTHLY GLOBAL SOLAR RADIATION IN KATSINA

Solar energy occupies the most significant position among the various renewable energy sources in the world today. Global solar radiation data in various locations across the country is not accessible due to unavailability of the required equipment to measure it. This work sought to estimate the mean monthly global solar radiation in Katsina using different empirical models. Daily data of meteorological parameters obtained from the Nigeria meteorological agency (NiMet) was converted into monthly data and fitted using MATLAB curve fitting toolbox to determine the regression coefficients required to model it. Temperature-based models, sunshine-based models and hybrid parameters-based models were developed, tested and validated using statistical error indicators of mean absolute error, MAE, root mean square error, RMSE, mean percentage error, MPE, coefficient of correlation, R and coefficient of determination, R 2 . The prediction results show that the model with the best performance is a temperature-based model with RMSE, MAE, MPE, R and R 2 values of 1.0811, 0.8961, 4.005, 0.9728, and 0.9463 which is within the acceptable prediction error range. However, one of the hybrid parameter–based models also showed good performance with RMSE, MAE, MPE, R and R 2 values of 1.3105, 1.0506, 4.4069, 0.9633 and 0.9280 respectively. Furthermore, the entire prediction results for all the sunshine-based models fitted to the data did not yield acceptable results as the R and R 2 values were not up to 0.5 and the RMSE and MPE were all found to greater than .
A hybrid method for improving quality of service in constraint-based availability in the cloud for SMEs

Research in cloud computing has gone through rapid development during the last decade and has emerged as a key service of utility or on-demand computing. Small and medium-sized enterprises (SMEs) assure economic growth in the world. In the main, many SMEs are struggling to survive in an ongoing global recession and are often unwilling to use research results and new technologies for business and learning. Cloud computing provides many opportunities and could help companies expand and improve their business and use technology more resourcefully. The resource provision is an essential perspective of cloud computing technology to provide the quality of service (QoS) in cloud computing. It is used as an alternative to service level agreement (SLA). In this paper, we are going to present a new cloud hybrid method and architecture to improve, the QoS and availability under the cloud computing environment. Additionally, issues regarding the extent effect of cloud computing in SMEs have been highlighted. In conclusion, critical future challenges in the area are addressed.
Artificial intelligence as another set of eyes in breast cancer diagnosis

Breast cancer is the most common cancer in women worldwide and the second most common cancer overall, hence it is a significant public health concern. According to Global Health Estimates (1), over half a million women died in 2011 due to breast cancer.
Talking With Your Hands: Scaling Hand Gestures and Recognition With CNNs.

The use of hand gestures provides a natural alternative to cumbersome interface devices for Human-Computer Interaction (HCI) systems. As the technology advances and communication between humans and machines becomes more complex, HCI systems should also be scaled accordingly in order to accommodate the introduced complexities. In this paper, we propose a methodology to scale hand gestures by forming them with predefined gesture-phonemes, and a convolutional neural network (CNN) based framework to recognize hand gestures by learning only their constituents of gesture-phonemes. The total number of possible hand gestures can be increased exponentially by increasing the number of used gesture-phonemes. For this objective, we introduce a new benchmark dataset named Scaled Hand Gestures Dataset (SHGD) with only gesture-phonemes in its training set and 3-tuples gestures in the test set. In our experimental analysis, we achieve to recognize hand gestures containing one and three gesture-phonemes with an accuracy of 98.47% (in 15 classes) and 94.69% (in 810 classes), respectively. Our dataset, code and pretrained models are publicly available.
Resource-bounded ATL: the Quest for Tractable Fragments

Resource-aware logics to represent strategic abilities in multi-agent systems are notoriously hard to handle as they combine strategic reasoning with reasoning about resources. In this work, we begin by providing a general overview of the model-checking results currently available for the Resource-bounded Alternating-time Temporal Logic RB±ATL. This allows us to identify several open problems in the literature, as well as to establish relationships with RBTL-like logics, when RB±ATL is restricted to a single agent. Then, we tackle one such open problem that we deem highly significant: we show that model checking RB±ATL is ptime-complete when restricted to a single agent and a single resource. To do so, we make a valuable detour on vector addition systems with states, by proving new complexity results for their state-reachability and non-termination problems, when restricted to a single counter. Thus, reasoning about resources comes at no computational extra cost in the single-resource, single-agent case.
StrongChain: Transparent and Collaborative Proof-of-Work Consensus.

Bitcoin is the most successful cryptocurrency so far. This is mainly due to its novel consensus algorithm, which is based on proof-of-work combined with a cryptographically-protected data structure and a rewarding scheme that incentivizes nodes to participate. However, despite its unprecedented success Bitcoin suffers from many inefficiencies. For instance, Bitcoin's consensus mechanism has been proved to be incentive-incompatible, its high reward variance causes centralization, and its hardcoded deflation raises questions about its long-term sustainability. In this work, we revise the Bitcoin consensus mechanism by proposing StrongChain, a scheme that introduces transparency and incentivizes participants to collaborate rather than to compete. The core design of our protocol is to reflect and utilize the computing power aggregated on the blockchain which is invisible and wasted in Bitcoin today. Introducing relatively easy, although important changes to Bitcoin's design enables us to improve many crucial aspects of Bitcoin-like cryptocurrencies making it more secure, efficient, and profitable for participants. We thoroughly analyze our approach and we present an implementation of StrongChain. The obtained results confirm its efficiency, security, and deployability.
Distributed and multi-core version of k-means algorithm

Nowadays, huge quantities of data are generated by billions of machines and devices. Numerous methods have been employed, in order to make use of this valuable resource, some of them are altered versions of established known algorithms. One of the most seminal methods, in order to mine from data sources, is clustering, and k-means is a key algorithm which forms clusters of data according to a set of attributes. However, its main shortcoming is the high computational complexity which proves the k-means is very inefficient to perform on big data sets. Although k-means is a very well utilised algorithm, a functional distributed variant combining the multi-core power of contemporary machines has not been accepted yet by researchers. In this work, a three phase distributed/multi-core version of k-means and the analysis of its results are presented. The obtained experimental results are in line with the theoretical outcomes and prove the correctness, efficiency, and scalability of the proposed technique.
Different Tracks

This chapter examines various ways in which Steve Reich set out to shape overall structure in his first two sample-based compositions, <italic>Different Trains</italic> (1988) and <italic>The Cave</italic> (1993). Drawing from Reich’s composition sketches held at the Paul Sacher Stiftung (Steve Reich Collection) as well as from analytical observations, the chapter offers an account of several of the decisions involved in shaping the dramaturgical and harmonic structures of these works. The chapter devotes particular attention to a discussion of harmonic devices Reich uses to articulate structure, navigating between the restrictions imposed by the samples used on the one hand, and the unifying logic of a harmonic framework on the other—on both micro and macro levels.
What Are the Perception Gaps Between FLOSS Developers and SE Researchers?

In recent years, many researchers in the SE community have been devoting considerable efforts to provide FLOSS developers with a means to quickly find and fix various kinds of bugs in FLOSS products such as security and performance bugs. However, it is not exactly sure how FLOSS developers think about bugs to be removed preferentially. Without a full understanding of FLOSS developers’ perceptions of bug finding and fixing, researchers’ efforts might remain far away from FLOSS developers’ needs. In this study, we interview 322 notable GitHub developers about high impact bugs to understand FLOSS developers’ needs for bug finding and fixing, and we manually inspect and classify developers’ answers (bugs) by symptoms and root causes of bugs. As a result, we show that security and breakage bugs are highly crucial for FLOSS developers. We also identify what kinds of high impact bugs should be studied newly by the SE community to help FLOSS developers.