Reviewerly/exHarmony huggingface dataset:
Development and Application of Quality Control System for Highway Subgrade Construction

The compaction quality of the subgrade is directly related to the service life of the road. Effective control of the subgrade construction process is the key to ensuring the compaction quality of the subgrade. Therefore, real-time, comprehensive, rapid, and accurate prediction of construction compaction quality through informatization detection method is an important guarantee for speeding up construction progress and ensuring subgrade compaction quality. Based on the function of the system, this paper puts forward the principle of system development and the development mode used, and displays the development system in real-time to achieve the whole process control of subgrade construction quality.
Using a GMDH-type neural network and ARIMA model to forecasting GDP in Algeria during the period of 1990-2019

Forecasting is a method to predict the future using data and the last information as a tool assists in planning to be effective. GMDH-Type (Group Method of Data Handling) artificial neural network (ANN) and Box-Jenkins method are among the know methods for time series forecasting of mathematical modeling. in the present study GMDH-type neural network and ARIMA method has been used to forecasted GDP in Algeria during the period 1990 to2019 (Time series of quarterly observations on Gross Domestic Product (GDP) is used). Root mean square error (RMSE) was used as performance indices to test the accuracy of the forecast. The empirical results for both models showed that the GMDH model is a powerful tool in forecasting GDP and it provides a promising technique in time series forecasting methods.
Pengaruh Variasi Temperatur Terhadap Pembentukan Polycarbonate Pada Proses Vacuum Forming

Plastic is a material that is often found in everyday life. Because it has several advantages of being malleable, lightweight, corrosion resistant, as a good electrical insulator, some plastics have transparent physical properties. This is very useful for the use of plastic as a wrapping material for a product, therefore various studies have been carried out to determine the characteristics of a plastic material with heat treatment, and to produce a manufacturing tool. One method of forming by heat treatment is thermoforming and the simple one is vacuum forming. This method is carried out by giving a heat treatment to the plastic sheet until the plastic becomes soft and then molded into the desired mold by applying vacuum pressure. In this study, using a plastic sheet with the type of polycarbonate (PC) measuring 500 mm x 300 mm with a thickness of 1.5 mm. For the vacuum pressure is determined at a constant pressure of -0.39 bar. And to print plastics with optimal quality, temperature variations are used which are varied into 3 temperature variations, namely: 155.5°C, 160.5°C and 165.5°C. The results showed that the optimal temperature for printing polycarbonate plastic with a thickness of 1.5 mm is 160.5°C with a vacuum pressure of -0.39 bar.Key words: thermoforming, vacuum forming and polycarbonate (PC).
Implementación de la metodología de reingeniería de software OAR y la metodología de migración de software de ISO/IEC 14764 al aplicativo TurnStat de la empresa Dinámica y Desarrollo.

This article documents the experience of applying the methodology of software reengineering Options Analysis forReengineering (OAR) and the ISO/IEC 14764 numeral 5.5 of software migration to the TurnStat application of the company Dinamicay Desarrollo, SAS. When applying the OAR reengineering methodology, the extraction context was identified, the inventory ofcomponents was generated, those components were analyzed, a reengineering plan was built, and the reengineering process was appliedbased on the built plan. Subsequently, the migration process of the application from its Ubuntu 14.04 to Ubuntu 18.04 operating systemwas carried out. For this process, ISO/IEC 14764 numeral 5.5 was used, which suggests the following guidelines: 1) notification ofmigration start, 2) implementation, 3) notification of completion, 4) post-operation review, and 5) storage of information from theprevious environment. As a result of applying these methodologies, version 3.2.1 of this application was obtained, with a better structureand code of better interpretation. Applying these methodologies to the application gave a clear path to follow and avoided taking routesthat would unnecessarily delay the project.
LECTURERS’ AND LEARNERS’ VIEWS ON CULTURE LEARNING IN EFL CONTEXT

In English Language Teaching, the undeniable connection between language and culture has consistently been a focal point of consideration from various viewpoints. This way, the point of this examination is to explore Lecturers' and students' views on culture learning in an EFL setting. The analyst in this investigation utilized the subjective examination. The scientist chose this exploration Universitas Islam Makassar that could be acceptable sources and add to the specialists' understanding. The subjects of this examination are three Lecturers and the thirty understudies. The information about Lecturers' and language students' perspectives on culture instructing/learning was gathered through the semi-organized meeting. In breaking down the personal information, the specialist utilized repetitive information examination. The discovering shows Lecturers and understudies indicated inclination for creating uplifting demeanor and resistance towards target culture. They additionally favored elevating affectability to various societies as well as for their way of life. Other than that, they supported broadening understudies' viewpoints through culture learning.
Penerapan Model Pembelajaran Inkuiri Terbimbing (Guided Inquiry) Untuk Meningkatkan Keterampilan Mengkomunikasikan Pembelajaran IPA Pada Siswa Sekolah Dasar

The purpose of this research is to improve communicating skills through Guided Inquiry model in Grade V students of Elementary School Year 2016/2017.This research was conducted in three cycles. Each cycle consist of four phase namely: planning, implementation, observation, and reflection. The subjectof the research were the teacher and 34 students at the fifth grade of Elementary School Year 2016/2017. Data collection techniques used are the results of observation, interviews, and documentation. The validity of the data used is the content validity. Data analysis used is interactive analysis model which has three component that is data reduction, data presentation, and conclusion. The result of the research shows that the application of the Guided Inquiry model can improve the communicating skill of grade V students of Elementary School Year 2016/2017. On the pre-condition before the classroom action research was conducted, verbal communication skillsthe students’ minimal learning completeness was 5,88%. Following the treatments with the Guided Inquirymodel, it became 17,65% in Cycle I, 41,18% in Cycle 2, and 82,35% in Cycle III.Similarly, students' communication skills in writing on the pre-condition percentage of grade attainment of8,82%. Following the treatments with the Guided Inquirymodel, it became 32,35% in Cycle I, 58,82% in Cycle 2, and 82,35% in Cycle III.Therefore, it can be concluded that the Guided Inquiry model could improvecommunicating skill of the students at the fifth grade of Elementary School Year 2016/2017.
LibGuides: Moffett Library eResources Status: eResources Access and Troubleshooting Tips

Provides updates regarding known access issues affecting the library's electronic resources.
The Present Scenario of English Language Teaching in Bangladeshi School

Bangladesh is basically a monolingual country. However itsaneducation policy and curriculummandate English as a compulsory second language because of its global nature, Ministry ofEducation, Bangladesh (MoE), (2010). Thus for students who study at least to graduation level,English is taught as an essential subject for more than fourteen years of their educational life. Fornearly two decades, the Communicative Language Teaching (CLT) approach has been used toteach and learn English in Bangladesh. This investigation is drawn from my personal experiencein navigating thecomplexities of international study as well as from the theoreticalconceptsencountered instudying global citizenship during the course of the project.In our country, there isno doubt that we still have not established a standard of education in schools and colleges. Thereare too many problems in our country that have to beeradicated to embrace a comprehensiveeducation systemthrough which we can expect ourselves to be a richer nation. We must notforget that students today will become the key members of our country who would beresponsible for the overall development of our country. The main objectives of teaching Englishin Bangladesh are to enable students to understand simple commands, instructions and requestsin English and also carry them out. The project have been done as a part of the course titled Eng-334 under the supervisor. For this purpose the intern were asked to visit a Bangla/Englishmedium school and to observe and take 3 English language learning classes there.As per of the direction, A reputed school and college has been selected. In English languageclasses, teachers teaching strategies, lesson structure, classroom management, teacher andstudent use of Language, Teacher use ofstudy material, study feedback system have beenobserved there.
Adaptive Anomaly Detection for Large IoT Datasets with Machine Learning and Transfer Learning

As more IoT devices enter the market it becomes increasingly important to develop reliable and adaptive ways of dealing with the data they generate. These must address data quality and reliability. ...
THE ANALYSIS OF STUDENTS’ MOTIVATION ON ENGLISH BLENDED LEARNING AT SEVENTH GRADE OF SMP NEGERI 2 AMBARAWA IN ACADEMIC YEAR 2019/2020

ABSTRACTBilqis Isti Nurmala. 2020. The Analysis of Students’ Motivation on English Blended Learning at Seventh Grade of SMP Negeri 2 Ambarawa In Academic Year 2019/2020. IAIN Salatiga, Academic year 2020/2021. A graduating paper. English Education Department. Teacher Training and Education Faculty. State Institute for Islamic Studies of Salatiga. Counselor: Mr. Miftachudin, M.A.The aims of this study are: (1) To find out the profile of students’ motivation on English blended learning at 7th Grade of SMP N 2 Ambarawa, (2) To find out the most dominant factor influencing students’ motivation in English blended learning at 7th Grade of SMP N 2 Ambarawa. This is a qualitative study that investigates the students’ motivation on English blended learning. The samples involve 36 students, and the research data are collected through questionnaire and interview. The questionnaire uses google form . Meanwhile, the interview runs via whatsapp video or voice call. This research concludes that the profile of the students’ motivation in class 7A of SMP 2 Ambarawa is high and positive, and the most dominant factor of students’ motivation on English blended learning is the instrumental factor.Keywords: Students’ motivation, English Blended Learning.
Non Formal Learning Approach for Improving of Student Understanding on Sport Learning

The development of information systems that is increasingly influential in various aspects of life, one of which is the world of education. One result of the development of information technology that can be utilized in education is mobile learning (M-Learning). The use of M-Learning in volleyball learning at the elementary school level is still rarely developed and used. Though this media can be a means of supporting education can make the learning process active, creative and innovative. M-Learning can enhance learning activities so that it can foster enthusiasm and student motivation. This can help improve students' understanding and volleyball skills which include volleyball, service, passing, and set-up techniques. The research method used is a quasi-experimental method with a nonequivalent control group design. The results showed that M-Learning can improve student understanding and student skills in volleyball learning. M-Learning can improve learning communication between students, both with friends and teachers so that learning creates active and conducive relationships. This has an impact on increasing student motivation. This improvement can improve students' understanding and skills in volleyball learning.
Islamic Law, Blasphemy and the Concept of Freedom of Speech:

Freedom of speech and personal freedom are the natural and constitutional rights of every citizen in a society. However, the interpretation of these rights is varied from society to society according to their respective socio-cultural, politico-constitutional principles, and religious teachings. Human beings are confronted with paradox of blasphemy and freedom of speech. The misinterpretation of blasphemy and right to freedom of expression of opinion has created great stir in the circles of scholars at different periods; and also resulted in the persecution of prominent scholars and other people. This paper highlights the status of freedom of speech, and its critical evaluation in Islamic Law so as to understand its concept of blasphemy, its teachings on freedom of speech, and on personal security.
Implementing and Evaluating sparsification methods in probabilistic networks

Most queries on probabilistic networks assume a possible world semantic, which causes an exponential increase in execution time. Deterministic networks can apply sparsification methods to reduce th ...
Automating Induction by Reflection

Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires an infinite number of axioms, which is not a feasible input to a computer-aided theorem prover requiring a finite input. Mathematical practice is to specify these infinite sets of axioms as axiom schemes. Unfortunately these schematic definitions cannot be formalized in first-order logic, and therefore not supported as inputs for first-order theorem provers. In this work we introduce a new method, inspired by the field of axiomatic theories of truth, that allows to express schematic inductive definitions, in the standard syntax of multi-sorted first-order logic. Further we test the practical feasibility of the method with state-of-the-art theorem provers, comparing it to solvers' native techniques for handling induction.
RSPSO Algorithm for Finding the Best Point for Robot to Score a Goal

The issue of robotic football game is one of the most complex multi-agent systems. In order to make thegame more enjoyable and exciting by scoring goals, therefore it's important for a robot football agent tohave a technique on how to score a goal. This paper proposes RSPSO algorithm, where the particle swarmoptimization algorithm (PSO) based on Q-learning is used to find the best point from the goal gate toshoot the ball toward it. As we show in simulation, our method enables the robot to learn soccer skills toscore a goal.
Axiomatic Relation Extraction from Text in the Domain of Tourism

Tourism is one of the most important activities in the economic sector. Thus, text about this topic coming from diverse data sources such as the Web should be analyzed to get information and knowledge that can be represented and consumed by people and applications. Such tasks are part of the Ontology Learning and Population (OLP) field, where the goal is to find elements of information (named entities) and their associations to create a knowledge base. In this regard, OLP deals with the discovery of named entities and how they are grouped, related, and subdivided according to their characteristics (class). However, the association between entities has not been studied in the same way, particularly axiomatic relations that exploit the type of the named entities. Therefore, this paper proposes a strategy for the extraction of axiomatic relations from text. It is based on the identification of named entities, their class, and their co-occurrence in the text to define lexical-syntactic patterns that support the extraction of axiomatic relations such as equivalence and disjointness between classes. The results demonstrate the usefulness of the strategy to produce new statements that enrich ontologies and knowledge bases.
LibGuides: Center for American Music digital collections: Digital Sheet Music

Digital items held by the Center for American Music Digitized Sheet Music from the Center for American Music
Emerging logics of digital eating: choice, care, or careful choice?

In this conceptual paper, we interrogate logics that underlie emerging practices of digital eating. Digitalisation is increasingly affecting how food is produced, prepared, distributed and consumed. Operating through large networks of people, foodstuffs, software and digital devices, digital eating practices are laden with multiple, sometimes-conflicting values. From speed to sustainability, taste to transparency, individual convenience to sharing and sociality, the values carried and performed by digital eating are underpinned by logics that speak to wider processes and networks of digitalisation. To unpack these logics, we explore how food is ontologically respecified in the entanglements of diverse human and non-human actors, including digital technologies, platforms and devices. Drawing on Mol (2008), we divide these entanglements into two broad groups: one informed by logics of choice and another informed by logics of care. Using case studies from our research on digital food activism, we investigate how these logics operate in digital eating practices, and propose a third category in which the two logics overlap to create a logic of careful choice. We conclude by exploring the implications that a logic of careful choice might have for the constitution of publics, issues and expertise in/through practices of digital eating.
LibGuides: Getting Started with Archives: Mining References in Other Sources

This guide serves as an introduction to locating and evaluating collection description, and beginning archival research at NYPL This page provides details on using citations, print guides, and the Digital Collections item records to locate archival collections.
DACT-BERT: Increasing the efficiency and interpretability of BERT by using adaptive computation time.

Large-scale pre-trained language models have shown remarkable results in diverse NLP applications. Unfortunately, these performance gains have been accompanied by a significant increase in computation time and model size, stressing the need to develop new or complementary strategies to increase the efficiency and interpretability of current large language models, such as BERT. In this paper we propose DACT-BERT, a differentiable adaptive computation time strategy for BERT language model. DACT-BERT adds an adaptive computation mechanism to the regular processing pipeline of BERT. This mechanism controls the number of transformer blocks that BERT needs to execute at inference time. By doing this, the model makes predictions based on the most appropriate intermediate representations for the task encoded by the pre-trained weights. With respect to previous works, DACT-BERT has the advantage of being fully differentiable and directly integrated to BERT's main processing pipeline. This enables the incorporation of gradient-based transparency mechanisms to improve interpretability. Furthermore, by discarding useless steps, DACT-BERT facilitates the understanding of the underlying process used by BERT to reach an inference. Our experiments demonstrate that our approach is effective in significantly reducing computational complexity without affecting model accuracy. Additionally, they also demonstrate that DACT-BERT helps to improve model interpretability.
On the verge of literature and music: intermedial codes of Clifford Simak’s fantasy

The purpose of the article is to trace the functional significance of musical codes that make up a peculiar fictional quasireality in constructing the time-space hyperreality of the genre of fantasy. It is also important to determine the specific features of intermedial musical insertions in the metagenre format of Clifford Simak’s prose. Musical allusions and ecphrases, which are characteristic of the writer’s style, are presented as the “anthropologized” images of musical trees, “musical powers”, musical instruments, dances, the music of mechanic composers, inter-galactic festival, musical time machine, etc. The methodology of the investigation under discussion is based on studies of intermediality and theory of reception. The scientific novelty of the article lies in the fact that for the first time in the history of Ukrainian Humanity Studies, the genre of fantasy is identified as a significant fragment of the evolutionary process of the integral genre system. The sequential generating of literary genre formats in the field of Cultural Studies is regarded as an immanent peculiarity of a complicated literary process, which can be revealed only in case a reader possesses a relevant receptive background. An essential marker of genre evolution of science fiction is the prevalence of intermedial insertions, which substantiates the metagenre essence of C. Simak’s fantasy. The research has been carried out with due regard to C. Simak’s literary method, the latter having transgressed from science fiction to fantasy, thus proving that a consecutive change of the genre strategy is possible even within the activities of a single author
Using Geophysical Methods to Separate the Types of Secondary Rock Alterations in the Exploration of LS-Epithermal Gold Deposits

Summary The results of integrated geophysical methods application in the LS-epithermal gold deposit are presented. The work was performed in the period from 2013–2019 in Chukotka. The applied methods include gravimetric surveying, magnetic surveying, audiomagnetotelluric sounding (AMT), resistivity and induced polarization method in the frequency domain (VES-VP). The results are compared with the geology and the section of the distribution of secondary rocks alterations. Zones of increased polarizability are proposed to be used as a geophysical criterion for the presence of LS-epithermal gold-bearing veins. A technology for separating the types of secondary rocks alterations according to geophysical data is proposed.
Algebraic approaches for solving isogeny problems of prime power degrees

Abstract Recently, supersingular isogeny cryptosystems have received attention as a candidate of post-quantum cryptography (PQC). Their security relies on the hardness of solving isogeny problems over supersingular elliptic curves. The meet-in-the-middle approach seems the most practical to solve isogeny problems with classical computers. In this paper, we propose two algebraic approaches for isogeny problems of prime power degrees. Our strategy is to reduce isogeny problems to a system of algebraic equations, and to solve it by Gröbner basis computation. The first one uses modular polynomials, and the second one uses kernel polynomials of isogenies. We report running times for solving isogeny problems of 3-power degrees on supersingular elliptic curves over 𝔽 p 2 with 503-bit prime p , extracted from the NIST PQC candidate SIKE. Our experiments show that our first approach is faster than the meet-in-the-middle approach for isogeny degrees up to 3 10 .