Reviewerly/exHarmony huggingface dataset:
Computers in the classroom: What informs what we teach the teachers?

This book’s research is on online pedagogical approaches devised by teacher educators and researchers to circumvent a face-to-face curriculum delivery during the COVID-19 pandemic. The challenge faced by educators was that they were uncertain of how to use digital technologies in teaching, learning and assessment productively. This book reports on case studies on teaching student teachers with technology in a way that advanced not only communication but also the cognitive growth of students in relation to disciplinary knowledge. The scholars from South African universities used both conceptual and empirical methodologies, mostly in qualitative set-ups. The scholarly contributions in this book are varied. They cover theoretical nuances for ICT use in education, considerations for the use of computers in the classroom, pedagogical thinking and pedagogical integration of ICTs in education, affordances of iPads in visible teaching and learning, supporting student cognition in Languages, Mathematics, Science, Engineering Graphics and Design with ICTs. The use of software applications such as GeoGebra and Excel in teaching and learning mathematics is researched, among others. The rich discussions that emerged from their research enable academics to learn from ‘others’ innovative moments that came as a result of pandemic pressure. The recommendations in this book can be used in blended learning beyond the COVID-19 era, as curriculum delivery methods are bound to change. The value of this book is that it reports on pedagogical innovations in using digital technologies in teacher education. Researchers have an opportunity to learn from this book how to deal with the tantalising teaching and learning problem of our time: How can the use of digital technology transform teaching and learning in general and teacher education in particular?
Preservice teachers’ challenges in the integration of information and communication technology in Engineering Graphics and Design: A spotlight on sectional drawing

This book’s research is on online pedagogical approaches devised by teacher educators and researchers to circumvent a face-to-face curriculum delivery during the COVID-19 pandemic. The challenge faced by educators was that they were uncertain of how to use digital technologies in teaching, learning and assessment productively. This book reports on case studies on teaching student teachers with technology in a way that advanced not only communication but also the cognitive growth of students in relation to disciplinary knowledge. The scholars from South African universities used both conceptual and empirical methodologies, mostly in qualitative set-ups. The scholarly contributions in this book are varied. They cover theoretical nuances for ICT use in education, considerations for the use of computers in the classroom, pedagogical thinking and pedagogical integration of ICTs in education, affordances of iPads in visible teaching and learning, supporting student cognition in Languages, Mathematics, Science, Engineering Graphics and Design with ICTs. The use of software applications such as GeoGebra and Excel in teaching and learning mathematics is researched, among others. The rich discussions that emerged from their research enable academics to learn from ‘others’ innovative moments that came as a result of pandemic pressure. The recommendations in this book can be used in blended learning beyond the COVID-19 era, as curriculum delivery methods are bound to change. The value of this book is that it reports on pedagogical innovations in using digital technologies in teacher education. Researchers have an opportunity to learn from this book how to deal with the tantalising teaching and learning problem of our time: How can the use of digital technology transform teaching and learning in general and teacher education in particular?
Effective online pedagogical practices in an ICT literacy course for first-year preservice teachers lacking computer skills

This book’s research is on online pedagogical approaches devised by teacher educators and researchers to circumvent a face-to-face curriculum delivery during the COVID-19 pandemic. The challenge faced by educators was that they were uncertain of how to use digital technologies in teaching, learning and assessment productively. This book reports on case studies on teaching student teachers with technology in a way that advanced not only communication but also the cognitive growth of students in relation to disciplinary knowledge. The scholars from South African universities used both conceptual and empirical methodologies, mostly in qualitative set-ups. The scholarly contributions in this book are varied. They cover theoretical nuances for ICT use in education, considerations for the use of computers in the classroom, pedagogical thinking and pedagogical integration of ICTs in education, affordances of iPads in visible teaching and learning, supporting student cognition in Languages, Mathematics, Science, Engineering Graphics and Design with ICTs. The use of software applications such as GeoGebra and Excel in teaching and learning mathematics is researched, among others. The rich discussions that emerged from their research enable academics to learn from ‘others’ innovative moments that came as a result of pandemic pressure. The recommendations in this book can be used in blended learning beyond the COVID-19 era, as curriculum delivery methods are bound to change. The value of this book is that it reports on pedagogical innovations in using digital technologies in teacher education. Researchers have an opportunity to learn from this book how to deal with the tantalising teaching and learning problem of our time: How can the use of digital technology transform teaching and learning in general and teacher education in particular?
Pelatihan Pemantapan MS. Office Bagi Kader Desa

This Community Service activity is carried out in the form of training for village cadres in using Microsoft Office software in utilizing information technology at this time. This training material was delivered to the community members in Dadimulyo Village, Kisaran Barat District, Kab. Asahan, which amounted to approximately 30 people. This service activity was carried out using lectures, demonstrations, and exercises accompanied by questions and answers. The lecture method is used to explain the introductory concept of the introduction of Microsoft Office software as one of the media in facilitating human work. The demonstration method is used to show a work process, namely the stages of introducing the tools that exist in Microsoft Office software and knowing each of their functions, while the training method is to practice directly using the application. While the question and answer method are to allows participants to consult to overcome obstacles in understanding the material that has been obtained. The final result of this activity is expected to provide knowledge to Dadimulyo village cadres regarding the use of Ms. Office, especially Ms. Word in the process of making reports to the village head.
Searching for Lost Music

T he discrimination, persecution, imprisonment, deportation and killing of musicians during World War II for pseudo-racial, political or social reasons connected to war or any other status, has been a tragedy for culture, art and civilization.In a few years, a whole generation of composers, conductors, quartet members, soloists and virtuosos, jazz musicians, showmen and entertainers disappeared.The artistic and musical activity in camps is considered as a cornerstone of XX century culture and literature, as is widely acknowledged at international level.In Theresienstadt, great musicians reached the top of musical creativity; regardless of what and how much music they wrote, they forged a musical thought, outlined brand new ways and languages that turned Theresienstadt into the crossroads of contemporary music.They were
Penyuluhan Pentingnya Mengenal Jenis Golongan Darah Bagi Kader dan Warga di Kelurahan Karikil Mangkubumi Tasikmalaya

Each individual's blood group is of different types, some of which are ABO and rhesus bloodÂ groups[ 1]. Choosing a blood type for blood transfusion needs, should be known by everyone. ThisÂ is very important in saving a person's life, so in determining the type of blood must be precise. InÂ this activity, especially the cadres, it is necessary to know the type of blood type. Cadres have anÂ indirect role in contributing to improving public health. The purpose of this community serviceÂ activity is to provide additional knowledge for cadres, with counseling methods on the importanceÂ of knowing the type of blood group, both ABO and rhesus blood group types. The result of thisÂ activity is the increasing knowledge of cadres about knowledge in knowing the type of blood groupÂ and rhesus. Through this counseling is intended so that cadres understand the type of blood groupÂ sought when helping people who are in need, one example is to help find blood with the appropriateÂ blood type or suitable to be given at the time of transfusion. In conclusion, all cadres or counselingparticipants understand about the importance of knowing the type of group.
Smartphone Uses in the Language Classroom for Learning Purposes by EFL College Students

This study aimed at examining the current uses of smartphones for language learning purposes by the EFL college students outside the classroom with the intention of proposing using these devices for language learning inside the classroom. The study was conducted with students of English in two colleges of Sciences and Arts affiliated to the University of Bisha, An-namas, Saudi Arabia, in 2018-2019. In this mixed-methods descriptive study, a questionnaire was used to collect the data from 77 male and female participants taken from a total population of 142 students. The Questionnaire validity (ɑ= 0.87) and reliability were measured. To analyze the obtained data, the (SPSS) version16.0 was used. Qualitative data from the researcher-instructor's informal observations and colleagues' discussions were used to support data gained from the questionnaire. Results showed that participants have already been using these devices for learning purposes outside the classroom. According to the findings, the five top uses of smartphones by the respondents were (1) in using these devices as dictionaries; (2) for logging in the electronic portal to follow up notices and so on; (3) in spelling check (4) in translating texts, and (5) in looking for answers to difficult questions. Other uses were also given. T-test did not show any significant gender differences in the uses of these devices. Statistics indicated that all participants wanted to use these devices in classroom. The study concluded that these devices could be used in the classroom for language learning purposes. A list of uses and applications was prepared for the purpose. Among the recommendations was to establish a clear policy and rules to be followed by the different parties.
Penerapan Cat dalam Mengukur Tingkat Kesiapan Siswa SMK dalam Menghadapi Ujian Masuk Perguruan Tinggi

Technology is one of the developments in education in the world, including in utilizing technology in the world of education. Senior high school national exams and their equivalents make use of technology in their implementation. however, the use of technology has not been mastered by students in Indonesia. it is necessary to carry out a simulation in facing the national exam. This community service provides facilities for partners in conducting trials to take the national exam. multimedia applications provide an interactive effect between students and computers. which makes it easier for students to understand the meaning of the questions given on the exam.
Social Media Influence on Personal Security among the Youth in Nairobi City County, Kenya

This study examined positive uses of social media that include warning and preventing individuals from violence resulting from negative uses of social media and user victimisation. The study was guided by Space transition theory which states that criminals are more likely to commit crimes in cyberspace more than in physical space due to anonymity and identity flexibility. The objective of the study was to determine the forms of social media use among the youths in Nairobi County. The target population were members of the Professional Criminologists Association of Kenya (PCAK). Purposive sampling was used to select 155 youth respondents from a population of 15000 youths and 145 law enforcement informant interviewees drawn from 2,000 law enforcement officers in PCAK in Nairobi County. Piloting of the questionnaire was disseminated among 30 PCAK youths Nakuru chapter. The research instruments were verified by the supervisor for content validity. Statistical Packages for Social Sciences, SPSS and Microsoft Excel software were used in data entry and descriptive statistics were used to analyse the data. Qualitative data were analysed using content analysis, coding, classification, and text inferencing. This study was significant to academic research, criminal justice practitioners and the private sector to assist in goal formulation and achievement of cyber security. The results of this research showed that the form of social media that youth mostly prefer +are WhatsApp over other social media platforms. The most preferred social media platforms by both genders were found to be WhatsApp and Twitter. It was recommended that future research could focus on the modern methods of social media as technology is dynamic. This will give direction on the contemporary forms of social media and their relationship to personal security; this, in turn, improves the security settings suitable for the users
Invidious Comparisons: Ranking and Selection as Compound Decisions

There is an innate human tendency, one might call it the "league table mentality," to construct rankings. Schools, hospitals, sports teams, movies, and myriad other objects are ranked even though their inherent multi-dimensionality would suggest that -- at best -- only partial orderings were possible. We consider a large class of elementary ranking problems in which we observe noisy, scalar measurements of merit for $n$ objects of potentially heterogeneous precision and are asked to select a group of the objects that are "most meritorious." The problem is naturally formulated in the compound decision framework of Robbins's (1956) empirical Bayes theory, but it also exhibits close connections to the recent literature on multiple testing. The nonparametric maximum likelihood estimator for mixture models (Kiefer and Wolfowitz (1956)) is employed to construct optimal ranking and selection rules. Performance of the rules is evaluated in simulations and an application to ranking U.S kidney dialysis centers.
Uninitialized Capabilities

This technical report describes a new extension to capability machines. Capability machines are a special type of processors that include better security primitives at the hardware level. In capability machines, every word has an associated tag bit that indicates whether the value it contains is a capability or a regular data value. Capabilities enable fine-grained control of the authority over memory that program components have. Conceptually, capabilities can be viewed as being an unforgeable token carrying authority over a resource. CHERI is a recently developed capability machine that aims to provide fine-grained memory protection, software compartmentalization and backwards compatibility. While our ideas are implemented on CHERI, they are not limited to it and should be applicable to other capability machines as well. In this technical report we propose a new type of capabilities, which represent the authority to access (read and write to) a block of memory but not view its initial contents. Our main goal is to use this new type of capability as part of a secure calling convention, but other applications may be possible too.
Complete Intuitionistic Temporal Logics in Topological Dynamics

The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${{\sf ITL}^{\sf c}}_{\Diamond,\forall}$, recently shown to be decidable by Fern\'andez-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.
KnowBias: Detecting Political Polarity in Long Text Content

We introduce a classification scheme for detecting political bias in long text content such as newspaper opinion articles. Obtaining long text data and annotations at sufficient scale for training is difficult, but it is relatively easy to extract political polarity from tweets through their authorship. We train on tweets and perform inference on articles. Universal sentence encoders and other existing methods that aim to address this domain-adaptation scenario deliver inaccurate and inconsistent predictions on articles, which we show is due to a difference in opinion concentration between tweets and articles. We propose a two-step classification scheme that uses a neutral detector trained on tweets to remove neutral sentences from articles in order to align opinion concentration and therefore improve accuracy on that domain. Our implementation is available for public use at https://knowbias.ml.
The Application of The Picture And The Picture Learning Model In Increasing Student Learning Interest in Harapan Pematangsiantar Vocational School

The goal of this research is to use a picture and a picture learning model to increase student learning interest in harapan pematangsiantar vocational school. The primary goal of this research was to apply the picture and the picture learning model. picture-and-picture learning model as a learning strategy that employs images as learning media, with the images being paired and logically sequenced. The picture-and-picture learning model is a method of learning that employs images that have been paired or sorted into a logical sequence. This type of learning is active, innovative, creative, and enjoyable. This research investigated and determined the application's use to pique students' interest through the use of pictures and the picture learning model. This research employs community service methods in its activities. The researcher uses six steps to examine the data: the first is to send a permit; the second is to form a service implementation team (PKM); the third is to gather teachers in a classroom and teach thematic English materials; the fourth is to divide teachers into several small groups and begin discussion activities; the fifth is to have picture-and-sound learning media distributed to teachers change based on the material and learning topics; and the sixth is to make pictures and pictures that contain vocabulary, pictures, or symbols that are relevant to the topic of discussion as appealing as possible. According to the conclusions of this research, lectures, presentations, modeling, role play, group discussions, discovery learning, and TPR are some of the community service methods used in the activities. With the implementation of these steps, students appear to be very enthusiastic about learning English using the picture-and-picture learning model in conjunction with the use of various learning methods and models, resulting in an improvement in the children's English skills at SMK HARAPAN Pematang Siantar.
Optimasi perancangan mesin sablon cup dua warna semi otomatis

In this modern era, the problem of packaging has become a part of everyday people's lives, especially in relation to food products. Cup drink MSME business actors have started using labels to market and create a special attraction for their products. At this time cup printing has begun to use machines, but the machines commonly used are only capable of printing one color and cannot print two or more colors and the price of the machines is still quite expensive. The purpose of this research is to optimize and redesign a one-color cup screen printing machine into a cup screen printing machine design that is practical and capable of printing two or more colors, to determine the power consumption of the electric motor on a two-color cup screen printing machine, and to determine the capacity and production yield of cup screen printing machines. two colours. The research method used was experimental by designing and manufacturing and testing a semi-automatic two-color screen printing device. Tests were carried out with variations in molding dimensions of 14 Oz and 16 Oz. From the results of the study it can be concluded that molding size has no effect on electric motor power, electricity consumption costs, production capacity, and screen printing quality. The dimensions of the semi-automatic two-color cup screen printing machine are 90 cm high, 60 cm wide, 30 cm thick, 374.5 watt electric motor power, electricity usage production costs Rp. 3.4 per cup, production capacity of 150 Cups/hour, and quality good screen printing reaches 92%.
SHAPER: Can You Hear the Shape of a Jet?

The identification of interesting substructures within jets is an important tool for searching for new physics and probing the Standard Model at colliders. Many of these substructure tools have previously been shown to take the form of optimal transport problems, in particular the Energy Mover's Distance (EMD). In this work, we show that the EMD is in fact the natural structure for comparing collider events, which accounts for its recent success in understanding event and jet substructure. We then present a Shape Hunting Algorithm using Parameterized Energy Reconstruction (SHAPER), which is a general framework for defining and computing shape-based observables. SHAPER generalizes N-jettiness from point clusters to any extended, parametrizable shape. This is accomplished by efficiently minimizing the EMD between events and parameterized manifolds of energy flows representing idealized shapes, implemented using the dual-potential Sinkhorn approximation of the Wasserstein metric. We show how the geometric language of observables as manifolds can be used to define novel observables with built-in infrared-and-collinear safety. We demonstrate the efficacy of the SHAPER framework by performing empirical jet substructure studies using several examples of new shape-based observables.
Using Automated Algorithm Configuration for Parameter Control

Dynamic Algorithm Configuration (DAC) tackles the question of how to automatically learn policies to control parameters of algorithms in a data-driven fashion. This question has received considerable attention from the evolutionary community in recent years. Having a good benchmark collection to gain structural understanding on the effectiveness and limitations of different solution methods for DAC is therefore strongly desirable. Following recent work on proposing DAC benchmarks with well-understood theoretical properties and ground truth information, in this work, we suggest as a new DAC benchmark the controlling of the key parameter $\lambda$ in the $(1+(\lambda,\lambda))$~Genetic Algorithm for solving OneMax problems. We conduct a study on how to solve the DAC problem via the use of (static) automated algorithm configuration on the benchmark, and propose techniques to significantly improve the performance of the approach. Our approach is able to consistently outperform the default parameter control policy of the benchmark derived from previous theoretical work on sufficiently large problem sizes. We also present new findings on the landscape of the parameter-control search policies and propose methods to compute stronger baselines for the benchmark via numerical approximations of the true optimal policies.