Reviewerly/exHarmony huggingface dataset:
PENERAPAN MODEL PEMBELAJARAN INSIDE OUTSIDE CYRCLE (IOC) UNTUK MENINGKATKAN HASIL BELAJAR EKONOMI PADA PESERTA DIDIK KELAS X

Abstract: Problems in this study are 1) economic learning outcomes are still low, 2) learning activities of students that are still relatively low, 3) the learning process that occurs tends to still transfer information from teachers to students, not from the students themselves. and 4) competition in learning is still dominated by active and smart students only. In this study the authors used the learning model inside outside circle (IOC) with the aim of increasing the activity and economic learning outcomes of class X students in economic subjects at Natar 1 High School in 2019/2020 school year. This research is a Classroom Action Research (CAR). The subjects in this study were students of class X. IPS 2 SMA Negeri 1 Natar, amounting to 38 students. The research instrument used was a multiple choice test consisting of 20 questions, if correct it got a score of 5 and if wrong 0, while the observation sheet consisted of 6 aspects of observation with an observation score consisting of 1-4. Mastery learning outcomes in this study reached 80% of the total number of students. The results showed that the average score of student learning outcomes of 5.97. Mastery learning students also experienced an increase where in the first cycle of 63.89% and 86.11% in the second cycle, which obtained an increase in mastery learning from cycle I to cycle II of 22.22%. So it can be concluded that learning activities by applying the learning model inside outside circle (IOC) can increase the economic activity and learning outcomes of students in class X. IPS 2 SMA Negeri 1 Natar in the academic year 2019/2020. Keyword: Inside Outside Cyrcle (IOC) Learning Model, Learning Outcomes
Applications of algebraic effect theories

Algebraic effects are an established method of implementing effectful behaviour in functional programming languages. Computational effects are represented by operations and implemented through effect handlers. An effect theory consists of a type signature and a set of equations describing the behaviour of effect invocations. All effect handlers are required to adhere to the prescribed effect theory, meaning that they do not differentiate between two programs considered equal in the given theory. The standard approach to algebraic effects assumes a global effect theory, so all handlers need to respect the same set of equations. This often becomes very restricting in terms of suitable handlers and therefore most contemporary work focuses on theories that contain no equations. Discarding equations allows for a wider variety of viable handlers but drastically reduces the capabilities to reason about properties of effectful code.In the thesis we present the language EEFF that relaxes the single theory limitation by using local effect theories, allowing the use of different theories in different parts of the program, even when pertaining to effects with the same signature. This alleviates the issues of global effect theories while providing all benefits of equations. The type system is upgraded to track theory information, allowing for safe use of handlers and ensuring their correctness at the relevant theory. Proofs of handler correctness are done in a logic that is coupled with the type system. The type system can be coupled with different logics, granting the option to select a logic suitable for the problems at hand. The soundness of a logic is established with respect to a denotational semantics based on partial equivalence relations.The safety theorems of EEFF are formalised in the proof assistant Coq, and the implementation of EEFF is an extension of the language Eff. The formalisation also doubles as a reasoning tool for programs with algebraic effect theories and features two different logics to choose from, both of which are shown to be sound. Multiple examples throughout the thesis showcase the benefits of local algebraic theories.
Library Guides: English Language and Literature Research Guide: Finding Articles

This guide provides resources and tutorials for students studying English Language and Literature.
LibGuides: Research Help: 2. Topics

Use this guide to help you learn about research and perform research yourself for both academic and leisurely activities.
Consortium of online digital libraries: the experience of 280 universities in Russia and the CIS countries

The activity of the modern university library is connected, among other things, with the creation of strong links between different educational and scientific organizations. The goal of such cooperation is to improve the quality and accessibility of Russian higher education, including its digital forms. These problems are solved by a non-profit project of the electronic library system Lan, called Consortium of Network Electronic Libraries (Consortium NEL). It helps universities to optimize costs, increase the number of books and manuals for free. The project already involves 284 universities from Russia and the CIS countries (Kazakhstan, Belarus). Their publications form a book collection of 37 000 textbooks, manuals, workshops and lecture courses on the Lan’s platform. The article describes how the project was created, what is its current state and what are its opportunities. The experience of 284 Russian universities and universities of the CIS countries can be useful for libraries of all educational organizations.
Designing and developing an application for online hate speech detection on social media

Social media platforms have a significant impact on the world. Through connectingpeople over the globe, social media has resulted in multiple positive effects.However, the impact is not only beneficial. Social media platforms have also causedpolarization and criminal uprisings, leading to events such as the Rohingya genocidein Burma. By tracking the discourse on social media channels, it is possible to getinsights into societal movements and warnings about what is to come. However, themassive number of conversations that occur on social media channels can be hardto analyze. Especially for NGOs, which commonly has strained resources andbudgets.This study aims to research how tools can be developed to help NGOs and similarorganizations in their work towards finding threats from online activity, as well asanalyzing the general discourse in a subject. The contribution of this research is twofold: (1) The paper investigates how the NGO Civil Rights Defenders is currentlyworking with analytics of social media and how their work can be helped. This isdone by interviews with Civil Rights Defenders, and the results are presented in twouser scenarios and use cases. (2) A tool is developed for helping Civil RightsDefenders improve their work within social media analysis. This is done through aliterature review of adjacent research and the current state of technology, as well asusing insights from interviews. The collected information is then used to build afully working web application, targeted mainly towards NGOs and their work infighting hate speech online.The developed tool was tested, and the results were satisfactory. The testers wereable to use the tool without much, if any, confusion, and the tool provided help intheir workflow.
LibGuides: Library Policies and Procedures: Collection Development

Contents of the Elizabethtown Community and Technical College Library Polices and Procedures Manual, published December 2017, revised August 2019
LibGuides: 2nd Grade Engineering Resources: Incredible Homes

Resources and activities to support and extend the learning 2nd Grade scientists are doing in their Engineering unit
LibGuides: HACC Testing: Remote Proctoring

HACC's Testing Center serves students, faculty, and community members by providing a secure and confidential testing environment for academic, personal, and career advancement.
LibGuides: About the Library: Access Anywhere

About the Snow College Libraries Access Snow College library databases and eBooks from anywhere.
Demonstrating ScreenshotMatcher: Taking Smartphone Photos to Capture Screenshots

Taking screenshots is a common way of capturing screen content to share it with others or save it for later. Even though all major desktop operating systems come with a screenshot function, a lot of people also use smartphone cameras to photograph screen contents instead. While users see this method as faster and more convenient, image quality is significantly lower. This paper is a demonstration of ScreenshotMatcher, a system that allows for capturing a high-fidelity screenshot by taking a smartphone photo of (part of) the screen. A smartphone application sends a photo of the screen region of interest to a program running on the PC which retrieves the corresponding screen region with a feature matching algorithm. The result is sent back to the smartphone. As phone and PC communicate via WiFi, ScreenshotMatcher can also be used together with any PC in the same network running the application – for example to capture screenshots from a colleague’s PC. Released as open-source code, ScreenshotMatcher may be used as a basis for applications and research prototypes that bridge the gap between PC and smartphone.
Structuring a Cybersecurity Curriculum for Non-IT Employees of Micro- and Small Enterprises

Micro- and Small Enterprises (MSE) and the persons working there (owners/managers, employees) are often neglected in policies and initiatives concerning cybersecurity and data privacy. Communication strategies are targeting IT-departments or IT-specialists - most MSEs have neither. The Horizon 2020 project GEIGER wants to address this problem by providing a cybersecurity monitoring solution that can be used by IT-laypersons. In addition to an easy-to-use software tool focusing on the monitoring of imminent cyber threats GEIGER develops an Education Ecosystem, which approaches this target groups at different levels: from regular employees, who cannot or don't want to extensively deal with cybersecurity, to designated persons (internal or external), who are made responsible for monitoring the functioning of GEIGER in a company. To take full account of this, the competence level of individuals and their development are part of the data structure of the GEIGER monitoring. Hence, it also includes automated recommendations to follow certain training sequences included in GEIGER or from other sources. To define the different levels of competence in cybersecurity, i.e. also their development, to propose adequate learning objectives and design pertinent learning materials, GEIGER has elaborated a curriculum. The structure of this curriculum follows the conditions and requirements given by the general situation of security threats and learning scenarios in MSEs. It has three main dimensions: ‘levels’ that reflect the competence development within MSE-specific learning environments; ‘pillars’ that reflect the GEIGER-specific topical differentiation in general cybersecurity as well as handling and communicating GEIGER functions; object ‘layers’ that reflect specific cybersecurity threats as they appear for the IT-lay target groups in MSEs. To allow for interoperability of the educational parts of GEIGER the competences of the GEIGER curriculum are written in form of xAPI-statements, i.e. a specific metadata-format for learning achievements.
Armdroid auto picking system using webcam sensor

This research paper presented a method for controlling the Armdroid. The method is developed to control the Armdroid for picking an object that lay on a surface plane using webcam sensor. The optical camera is used to feed the system continuously with sequence of images which convey the needed pictorial data for allocating the target position. The system is designed to accomplish the tasks required to carry the object and move it to the desired location. The transformation of target position from pictorial coordinate system to real word coordinates was accomplished using 2nd order polynomial transformation to translate the object position from image to real world position. The computation of angles of the robot arm segments is done continually to assure short maneuver route for moving the object. The style of movement is by issuing sequentially the proper commands for moving each segment individually such that a smooth movement is achieved. The conducted results indicated a well movement performance is attained.
Atom-field transfer of coherence in a two-photon micromaser assisted by a classical field. (arXiv:quant-ph/0408054v2 CROSS LISTED)

We investigate the transfer of coherence from atoms to a cavity field initially in a statistical mixture in a two-photon micromaser arrangement. The field is progressively modified from a maximum entropy state (thermal state) towards an almost pure state (entropy close to zero) due to its interaction with atoms sent across the cavity. We trace over the atomic variables, i.e., the atomic states are not collapsed by a detector after they leave the cavity. We find that by applying an external classical driving field it is possible to substantially increase the field purity without the need of previously preparing the atoms in a superposition of their energy eigenstates. We also discuss some of the nonclassical features of the resulting field.
LibGuides: Media Literacy: Family, Friends, and Falsehoods

Media literacy encompasses the practices that allow people to access, critically evaluate, and create or manipulate media.
Uso das tecnologias da informação e comunicação na educação continuada em enfermagem em Unidade de Terapia Intensiva COVID-19

The aim was to report the experience of using information and communication technologies in continuing education in nursing in an intensive care unit to care for patients diagnosed with COVID-19 in a university hospital located in Rio de Janeiro. Descriptive, narrative, experience report type. The reflection scenario was one of the intensive care units designed to treat patients with COVID-19 at a federal university hospital located in the city of Rio de Janeiro. To disseminate nursing care routines as quickly as possible to temporary outsourced nursing professionals, information and communication technology tools were used, so the hospital's nursing managers have improved to use these new technological resources to provide adequate safety for the COVID-19 patient. Information and communication technology tools help health institutions in disseminating to temporary contracted nursing professionals the determinations necessary for care processes to occur correctly, especially during the COVID-19 pandemic.
Expanding LogUI: Adding Screen Capturing and a Statistical Analysis Dashboard for Web-Based Experiments

Logging user interactions allows researchers to study user behavior in web applications. The LogUI framework can be used to log user interactions on virtually any web application. This framework misses two vital features, a screen capture feature and a dashboard for statistical data analysis and visualization for use in web-based experiments.Here we have implemented this dashboard and screen capture feature as an addition to LogUI. We cover tools for screen recording and methods to limit bandwidth usage when sending these recordings between client and server. For the dashboard, we worked in cooperation with interactive information retrieval (IIR) researchers working with the open-source collaborative search system SearchX. Using their input, we determined metrics, visuals, and features to be included in the dashboard. Our results demonstrate that recording a single browser tab as opposed to the entire screen or a browser window is more bandwidth-efficient when sending recordings from client to server. Using the H.264 video format results in much better compression compared to other formats available. A low bitrate setting also results in low bandwidth usage, but this setting should be set with care. The dashboard intends to prevent researchers from having to implement their own scripts for data analysis. Its main focus is comparing aggregations of sessions, but it does allow the analysis of single sessions. Including metrics like dwell time, time between queries, session duration, and event occurrences, as well as visuals like box plots, time series plots, and an event timeline is highly beneficial for IIR researchers using LogUI. Being able to relate logs to their occurrence in a screen recording is also advantageous. In an evaluation session, the researchers were able to complete a series of tasks with little difficulty on average. Some features, like filtering specific sessions, or metrics for the visuals, are not fully comprehensible. However, in its evaluation, five out of five researchers noted that they would use the dashboard in their future research. This shows that the included metrics, visuals, and features have been correctly selected.
Exploring the Role of the Fishbone Diagram on Iraqi EFL Learners’ Expository Writing

This study is an attempt to determine the effect of fishbone diagram on improving students’ expository composition writing. First year students at the English Department / college of education/ University of AL-Qadisiyah constitute the sample of this study. The research employed a quasi- experimental design. Accordingly, the sample was divided into two groups: treatment and control. The treatment group students were taught by using fishbone diagram to teach them expository composition writing and control group students were taught expository composition writing by using a conventional method. Each group has 20 students. They were submitted to a pre-posttest. The findings of this research showed that the mean scores of the treatment learners’ expository composition writing that were instructed by the use of the fishbone diagram is higher than those of the control group learners who were instructed by using a conventional method. It means that the use of fishbone diagram has a significant impact on Iraqi EFL learners’ expository composition writing
Noiseless Attenuation of Nonclassical States of Light

Attenuating a quantum state using a beam splitter will introduce noise and decoherence. Here we show that heralding techniques can be used to attenuate number states or Schrödinger cat states without any noise or decoherence.
Info Guides: Teen Summer Reading: Drawn to Art

Expand your horizons, get creative and try something new this summer by taking part in our teen summer reading challenge! Grades 7-12.
LibGuides: School of Science and Technology: Library Service Quality Survey

This guide is intended to assist you find and use resources relating to Science and Technology
Large-area Measurement with Stereo Deflectometry

Stereo deflectometry can specify the position of workpiece and reduce the difficulty of geometrical calibration. But the measuring scope is limited, and this issue is especially severe for the measurement of complex surfaces. A method is proposed to extend the measuring scope of stereo deflectometry. The nominal model of the surface under test is aligned with the overlapped measurement area of the stereo system, and the other areas are measured using the monoscopic SCOTS approach. This method effectively combines the advantages of stereo and monoscopic deflectometry, and the measuring accuracy and flexibility can be guaranteed. © 2020 The Author(s)
The Application of Parametric and Nonparametric Regression to Predict The Missing Well Log Data

DOI:10.17014/ijog.8.3.385-399 Incomplete well log data are very commonly encountered problems in petroleum exploration activity. The development of artificial intelligence technology offers a new possible way to predict the required logs using limited information available. Optimizing conventional statistical theory, machine learning is proven to be a reliable tool for any prediction task in many fields of study. Regression is one of the basic methods that has rapid development and evolved many techniques with different approaches and purposes. In this study, parametric and nonparametric regressions {linear regression, Support Vector Machine (SVM), and Gaussian Process Regression (GPR)} are compared to predict the missing log using the available nearby data. Feature selection was done by performing Principal Component Analysis (PCA) on predictor variables. Different profile of PCA is observed between Cibulakan and Parigi Formations, which is the basis of conducting separate models based on the formation. Among all the selected methods, GPR is consistently making slightly better results. The correlation between the predicted and actual porosity of GPR is observed to be up to 0.19 higher compared to the other methods. Similar observation is also found on the Root Mean Squared Error (RMSE) value comparison. In practice, the GPR method has an inherent advantage compared to other methods, as it provides uncertainty to the prediction based on the standard deviation of each estimation result. The standard deviation of the GPR prediction ranges from 0.006 in high confidence cases and up to 0.077 where uncertainty is high. The models are considered robust and stable according to the RMSE evaluation from cross validation which is consistently giving the value below 0.04. In conclusion, the reliability of regression techniques for predicting the missing well log is exposed in this study, which results demonstrate steady and good accuracy in every formation which are tested on any well logs.
ANALYZING EFL STUDENTS’ SPEAKING ANXIETY: THE CASE AT ISLAMIC ECONOMY DEPARTMENT OF UIN ALAUDDIN MAKASSAR

This research was conducted to find out the students’ level of anxiety in speaking, the causes of students’ anxiety and the effect of students’ anxiety to speak in speaking class, and the students’ strategies to cope their anxiety in Islamic Economy department of UIN Alauddin Makassar. The results of this research show that the students of Islamic Economy department of UIN Alauddin Makassar were at middle anxious. Moreover, the causes of anxiety for the students with high level anxiety are lack of practice, lack of confidence to speak, unable to speak in front of public, and fear of negative evaluation of peers. Whereas, the students with low level anxiety experience anxiety during speaking class because of competitiveness. The students with high level anxiety have debilitating anxiety with negative effects while the students with low level anxiety have facilitating anxiety. Nevertheless, the students had their own strategies to deal with their anxiety, for example, keeping silent, avoiding eye contact, and smiling or laughing. In addition, the students with low level of anxiety reduce anxiety by practice and preparation. Besides, to reduce anxiety during speaking class, the lecturers gave them motivation to speak English or told the story or jokes.