Reviewerly/exHarmony huggingface dataset:
PENERAPAN METODE UNIVERSAL KRIGING (UK) UNTUK PREDIKSI KONSENTRASI PARTICULATE MATTER 2.5 (PM2.5) DI KOTA BANDUNG

The tendency of increasing industrial and population activities in the city of Bandung causes a decrease in airquality. One material that causes air pollution which is very dangerous for health is particulate matter 2.5(PM2.5). Efforts to control and overcome PM2.5 concentration are carried out through measurements in severallocations. However, due to limitations of measuring devices and costs, so not all locations in the city ofBandung can be measured by PM2.5 concentration. Therefore it is necessary to interpolate the PM2.5 concentrationdata using the Universal Kriging method. In this paper, the Universal Kriging method can be applied to predictPM2.5 concentrations in locations that are not sampled because the observed PM2.5 concentration data arespatial data that have different PM2.5 concentrations at each location. Data were analyzed with the help ofsoftware R 3.5.3 and ArcGIS 10.4 to create contour maps. Based on the prediction results of PM2.5concentrations at unobserved locations obtained a first-order trend equation is better used to predictPM2.5 concentrations because it has a minimum Universal Kriging error variance value compared to thesecond-order trend equation. The results showed that the location with high PM2.5 concentration was in thenorthwest of Bandung City. Contour maps show locations that have low to high PM2.5 concentrations.
Guides: Online Library Resources for Instruction: How do I...

Information about how your librarians and library can support online instruction. Guide created March 2020.
Design and Construction of a Soil Moisture Measuring

A digital soil moisture reader was constructed and tested. It uses a lipo battery of 9v which was regulated to a constant 5v with the help of a voltage regulator 7805. The digital soil moisture reader developed was tested and the result obtained was compared with that obtained using the gravimetric method of determining soil moisture contents. In determining the soil moisture content, a certain quantity of soil was collected and a particular volume of water was added incrementally. The result shows that the soil moisture reader is accurate. The evaluation was carried out using the gravimetric method of soil moisture determination as a basis of comparison. Nine samples of 50g of soli were collected from Federal College of Forestry Mechanization Farm and a certain amount of water was added incrementally during the process of determining the soil moisture content. The soil reader was calibrated using the gravimetric method which shows a regression coefficient R^2 of 0.986 which indicates that the soil reader is accurate, sensitive and reliable.
Subject guides: Text and data mining: Home

An introduction to text and data mining concepts and an overview of the steps involved in undertaking text and data mining as part of a research project.
Blockchain-Based Sybil-Secure Data Transmission (SSDT) IoT Framework for Smart City Applications

The application of the Internet of Things (IoT) is resulting in smart and advanced technology. The smart cities involve smart utilities. The vision of a smart city ensures accessing billions of IoT devices from commonplace. The communication between IoT devices of smart cities demands privacy. Since the sensitive data generated from the smart devices are vulnerable to various attacks. One of the major attacks perform in the IoT network is the Sybil attack, in which an adversary creates multiple identities of a node to harm the network. Blockchain is an emerging technology that can be used to meet the demand for privacy preservation in IoT based smart cities. This paper proposes a Blockchain-based Sybil-secured data transmission (SSDT) IoT framework for smart city applications. The proposed frameworks effectively capture any node which is trying to initiate the Sybil attack as well as provides a secure platform for devices to exchange information with each other. The performance of the proposed Blockchain-based SSDT IoT framework is simulated by designing a Sybil-Secured Data Transmission (SSDT) simulator.
Data-Driven Learning of Invariants and Specifications

Author(s): Padhi, Saswat | Advisor(s): Millstein, Todd D | Abstract: Although the program verification community has developed several techniques for analyzing software and formally proving their correctness, these techniques are too sophisticated for end users and require significant investment in terms of time and effort. In this dissertation, I present techniques that help programmers easily formalize the initial requirements for verifying their programs — specifications and inductive invariants. The proposed techniques leverage ideas from program synthesis and statistical learning to automatically generate these formal requirements from readily available program-related data, such as test cases, execution traces etc. I detail three of these data-driven learning techniques – FlashProfile and PIE for specification learning, and LoopInvGen for invariant learning.I conclude with some principles for building robust synthesis engines, which I learned while refining the aforementioned techniques. Since program synthesis is a form of function learning, it is perhaps unsurprising that some of the fundamental issues in program synthesis have also been explored in the machine learning community. I study one particular phenomenon — overfitting. I present a formalization of overfitting in program synthesis, and discuss two mitigation strategies, inspired by existing techniques.
Library: How to use the Reading List Tool (Leganto): Quick Intro

This guide gives you step-by-step instructions in setting up your reading lists in the Reading List Tool through D2L.
Research Guides: Spotlight Digital Exhibits: Adding Items

Setting up and curating your digital exhibit with Spotlight. Adding items to a digital exhibit in Spotlight.
Optimalisasi Traffic Light Berdasarkan Kepadatan Kendaraan dengan Teknik Edge Detection Operator Sobel dan Metode Fuzzy Logic Sugeno (Studi Kasus: Jalan Margorejo Indah)

Traffic jam is one of the many problems of major cities in Indonesia that need to be solved. One form of traffic jam is long queues at traffic light. Therefore, an effort that can be used to reduce traffic jam is to build a better or efficient traffic light control system to manage traffic at a crossroads. A traffic light system that is needed is one that can adjust the time and duration of the traffic lights that are adjusted to the density of road conditions that are not dense, normal, congested, and very dense. Margorejo Indah street at Surabaya is a district that has traffic jam or long queues at certain hours. Optimization of the duration of the green light can be applied by using image data that is simulated with the edge detection method of the Sobel operator resulting in boundary values ​​to then be processed with Sugeno fuzzy logic. The results obtained for a long duration of green light obtained were 37 seconds with regard to road conditions
Practical Unification for Dependent Type Checking

When using popular dependently-typed languages such as Agda, Idris or Coq to write a proof or a program, some function arguments can be omitted, both to decrease code size and to improve readability.  Type checking such a program involves inferring a combination of these implicit arguments that makes the program type-correct. Finding such a combination of implicit arguments entails solving a higher-order unification problem. Because higher-order unification is undecidable, our aim is to infer the omitted arguments for as many programs as possible with a reasonable use of computational resources. The extent to which these goals are achieved affect how usable a dependently-typed proof assistant or programming language is in practice. Current approaches to higher-order unification are in some cases too inflexible, postponing unification of terms until their types have been unified (Coq, Idris). In other cases they are too optimistic, which sometimes leads to ill-typed terms that break internal invariants (Agda). In order to increase the flexibility of our unifier without sacrificing soundness, we use the twin types technique by Gundry and McBride. We simplify their approach so that it can be used within an existing type theory without changes to the syntax of terms. We also extend it so that it can handle more classes of constraints. We show that the resulting solutions are correct and unique. Finally, we implement the resulting unification algorithm on an existing type checker prototype for a smaller variant of the Agda language, developed by Mazzoli and Abel. We make a suitable choice of internal term representation, and use few, if any, example-specific optimizations. We obtain a type-checker which avoids ill-typed solutions, and is also able to handle some challenging examples in time and memory comparable to the existing Agda implementation.
Updating Statistical Measures of Causal Strength

We address Northcott’s (2005) criticism of Pearson’s correlation coefficient ‘r’ in measuring causal strength by replacing Pearson’s linear regressions by nonparametric nonlinear kernel regressions. Although new proof shows that Suppes’ intuitive causality condition is neither necessary nor sufficient, we resurrect Suppes’ probabilistic causality theory by using nonlinear tools. We use asymmetric generalized partial correlation coefficients from Vinod [2014] as our third criterion (denoted as Cr3) in addition to two more criteria (denoted Cr1 and Cr2). We aggregate the three criteria into one unanimity index, UI in [-100; 100], quantifying causal strengths associated with causal paths: Xi -> Xj , Xj -> Xi, and Xi Xj .
Gate Recurrent Unit Neural Networks for Hearing Instruments

Gated Recurrent Unit (GRU) neural networks have gained popularity for applications such as keyword spotting, speech recognition and other artificial intelligence applications. Typically for most applications training and inference is performed on cloud servers, and the result are transferred to the power constrained device, e.g., an hearing instrument (HI). This approach has disadvantages such as latency and connectivity, privacy concern, and high energy cost per bit for real-time data transfer. Therefore, there is a strong demand to move inference from cloud to power constraint devices. However, executing inference on HI introduces many challenges in terms of throughput, power budget, and memory footprint. This research investigate how efficient it is to execute inference on a dedicated hardware accelerator, rather than using an existing audio digital signal processor (xDSP in Oticon’s HI).The two approaches are compared in terms of area, power, energy dissipation and total clock cycles required to perform an inference. Straightforward implementation of nonlinear activation function is expensive in hardware, therefore, different methods of approximation are evaluated. Out of different approximation algorithms, fast sigmoid and fast tanh approaches were chosen. A pretrained keyword spotting (KWS) model was used. However, it exceeds the memory space available on xDSP. Instead, three small GRU networks were trained and executed on xDSP to approximate energy dissipation and clock cycle count if a bigger network was run on the xDSP.Precision needed to store and compute data was reduced to minimize storage needed keeping detection accuracy in mind. By reducing wordlength from 32-bit to 8-bit for network parameters, memory space required was reduced by 4 times while accuracy decreased from 91% to 88%. The GRU inference runs on per layer basis, data flow was optimized to achieve significant reduction in area and power. The xDSP needs around 2× more clock cycles to complete a full network inference for a benchmark keyword spotting neural network compared to dedicated hardware accelerator. The energy dissipation increased by around 10× while using Oticon’s xDSP processor instead of a dedicated accelerator. The xDSP is capable of executing GRU network with upto 40 neurons per layer, but for bigger networks hardware accelerator is a better solution. All in all, the dedicated accelerator solution has the best performance from the explored solution and can be integrated in HI to compute neural networks.
New perspectives for the ambulatory or early treatment of COVID-19

In December 2019, a novel coronavirus known as SARS-CoV-2, emerged in Wuhan, China, causing the respiratory illness COVID-19 The WHO declared COVID-19 as Pandemic on March 12th, 2020 Therefore, the global public health authorities, research and medical communities have relied on quarantine, isolation, instauring adequate diagnosis and on supportive care for those who become ill, in order to decrease the severity of COVID-19 Regardless of these infection-control measures, to prevent the spread of the disease, the transmission of this virus is exponentially growing, hence, we require a specific antiviral agent Until April 7, 2020, according to the WHO, there are globally more than 1,300,000 confirmed cases of COVID-19 and nearly 72,000 deaths In Mexico, we are facing 2439 cases and 125 deaths and rising Therefore, it is urgent to treat the infected and optimally decrease viral shedding and subsequent transmission of SARS-CoV-2 Scientists around the world are endeavoring to find specific antivirals for the virus Several drugs such as Chloroquine, Hidroxicloroquine, Azithromycin, Interferon a, Ribavirin, Remdesivir, Favipiravir, Teicoplanin, Melatonin and Imitinab are currently undergoing clinical studies to test their efficacy and safety in the treatment of COVID-2019
LibGuides: HACC Tech Support: Microsoft Tools

Tech support provides effective and timely technical support for all HACC students, faculty, and staff.
Socio-pedagogical conditions for the development of the creative potential of students university

The article presents the specifics of socio-pedagogical conditions for the development of creative potential of University students.Positive and negative factors of students ' creative potential development are considered.
Korelasi Antara Penguasaan Kosakata Dan Kemampuan Berbicara Bahasa Jepang Mahasiswa Politeknik Negeri Malang

The student’s ability to speak a foreign language – in this case Japanese language – is one of standards of success in learning Japanese language. Vocabulary is an important component to master speaking ability. This research is descriptive quantitative, aiming at find out the correlation between vocabulary mastery and speaking ability of Japanese language of the students of Business Administration State Polytechnic of Malang. The population of the research were the students of D-III Business Administration Study Program of State Polytechnic of Malang from II A, II B, and II C (fourth semester). There were 38 students, sampled through saturated sampling technique. The data were taken with a written test and interview. The data were analyzed with Pearson Product Moment Correlation. The Pearson correlation statistical test resulted in the correlation coefficient of 0.612. It showed a positive and significant correlation between the vocabulary mastery and speaking ability of Japanese language of the students of the Business Administration Department, State Polytechnic of Malang. This research also showed that the respondents did not mastery the past tense form copula and the verbs of Japanese language. Keywords : vocabulary mastery, speaking ability, Japanese language
Valsa n.1

Author(s): Maki Yoshikawa, Livia | Abstract: This music score was submitted for the Kaleidoscope 2020 Call for Scores, an open access collaboration with the UCLA Music Library.
PELATIHAN LITERASI STATISTIK BERBASIS HOTS  DI SMA NEGERI 8 KOTA BENGKULU

The era of the industrial revolution 4.0 or the era of disruption requires new literacy which includes data literacy, technological literacy and human literacy. HOTS-based statistical literacy training at SMA Negeri 8 Bengkulu City aims to foster and guide Class XII students in understanding and analyzing HOTS-based statistical literacy. The method used to achieve these objectives is coaching and training. The results obtained based on this activity are the coaching and training conducted that gives positive results and significantly influences students' knowledge and abilities regarding Statistics Literacy. In addition, students get an overview of statistical data understanding that is very important and continues to grow in the revolutionary 4.0 era.
Map-aided localization for autonomous driving using a particle filter

Vehicles losing their GPS signal is a considerable issue for autonomous vehicles and can be a danger to people in their vicinity. To circumvent this issue, a particle filter localization technique ...
Recording Methods Redesigned: Comparison of Recording Methods and Resultant Archaeological Interpretations Using Single Context Pre-Boreal Case Studies from Blekinge, Sweden

This thesis aims to explore how specific digital field recording methods impact archaeological interpretation based on the case studies presented. Individual find recording, a more specialized digital point proveniencing system, was used in both case studies. The original excavation interpretations are compared against new interpretations based on the reconstructed excavation unit style recording to reveal the difference in interpretation based on methodology. Additional research goals of the thesis include: identifying under what specific conditions the individual find recording method is best suited and the impact of methodology on archaeological interpretation. Two case studies will be provided that both utilize this method for the recording of flint finds. These datasets are redesigned, applying an artificial grid over the spatial distribution of individual finds for reinterpretation. The dataset is then reanalyzed by measures of density and frequency. The findings of the redesigned excavation are compared against the original findings in an attempt to identify best practices in specific cases. Throughout the thesis there is an emphasis on the methodological value of forethought in excavation design and the thesis conclusion is meant to serve as a summation of these values. (Less)
From micro to Macro: Particle Physics, Gravity and Cosmology

In this thesis we review the particle content of our Universe and its cosmic evolution and show some new physics searches in these two areas. In Part I we present bounds on the energy scale of new physics and couplings of a possible new neutral gauge boson using low energy experiments in the electroweak sector. In Part II we review quantum field theory in curved spacetime and apply some results in cosmology in Part III. In this last part we also show bounds on warm dark matter mass from photometric galaxy surveys.
THE IMPACT OF FINANCIAL INTEGRATION IN THE IMC MODEL ON BUSINESS PERFORMANCE: EVIDENCE FROM SAUDI ARABIA

This study aims to determine the effect of financial integration in the integrated marketing communication model on the business performance measured by the competitive advantage as well as investigating the statistical differences in the research variables according to some organizational factors. The study population consists of two parts, the first represents the service organizations in Saudi Arabia reach 206 in 2019, and the second is the regular customers of surveyed organizations in Riyadh city reach 8 million in 2019. The full survey and the purposive proportional sampling techniques are used respectively. The response rate of surveyed organizations reach 64.5% of total organizations, while the sample size of customers is 1500 and 97.5% of total distributed questionnaires are returned. The descriptive methodology is used and the questionnaire is the research tool to collect the primary data. The study concludes that there is a statistically significant effect of the financial integration in the IMC model on the business performance. The study concludes that there are a significant statistical differences in the financial integration according top the type of company and these difference to the listed companies in the stock market. Finally, the study suggests some recommendations that enhance the financial integration in the IMC model in such surveyed organizations particularly and the Saudi organizations in general. KEY WORDS: Integrated Marketing Communication, Financial Integration, Financial Coordination, Business Performance, Competitive Advantage, Service Sector, KSA.
METODE PEMBELAJARAN BACA TULIS ALQUR’AN DI SMP ISLAM UNGARAN

Basically, the principles of Al-Qur'an learning can be carried out using various methods, all of which have the same goal, namely so that children can read the Al-Qur'an properly and correctly. The low motivation of students in learning the Qur'an is still one of the reasons for the low quality of education, especially in the ability to read the Qur'an. One of the efforts to increase motivation to learn to Read and Write the Qur'an is the use of online methods during the Covid-pandemic. 19 can be carried out by educators or teachers in the reading and writing subject of the Koran which is the basis of learning in Islam&#x0D; The low motivation of students in learning Al-Qur'an is still one of the reasons for the low quality of education, especially in the ability to read Al-Qur'an. So it can be said that motivation and learning achievement are directly proportional to the learning methods developed. One of the efforts to increase the motivation to learn to read and write al-quran is to use appropriate methods that can be used by educators or teachers in reading and writing al-Qur'an subjects which are the basis of learning in Islam.
Implementasi Framework CodeIgniter dalam Sistem Ujian Berbasis Online pada SMK Bina Teknologi Purwokerto

The process of learning evaluation (examinations) produces a value that can be a benchmark for the effectiveness of the teaching and learning process that has been carried out. Managing manuals on questions and exam scores prone to damage. SMK Bina Teknologi Purwokerto has organized an online-based examination system before, but there are still some obstacles. An alternative system for administering exams is needed to be made more effective and efficient. The purpose of this study is to implement the CodeIgniter framework on an online-based examination system so that SMK Bina Teknologi Purwokerto can administer the examination process to the processing of exam results. Data collected by the method of observation, interviews and literature study. The study was conducted with the Waterfall model with the stages of needs analysis, design, coding and testing. The conclusions obtained are; 1.) CodeIgniter Framework can be implemented on an online-based test system to process the value of exam results; 2.) Online-based exam system is feasible to be used as an alternative method of administering the exam; 3.) The results of the assessment of respondents reached 508 with a percentage of 81.28% (good value).
Photonic Quantum Programmable Gate Arrays

We describe a photonic integrated circuit architecture which can be reprogrammed to prepare any quantum state or operator, in principle deterministically. Gradient- based circuit optimization can automatically implement highly compact approximate quan-tum circuits with near-unity fidelity.