Reviewerly/exHarmony huggingface dataset:
IMPLEMENTATION OF AUTOMATION IN APPLICATIONS OF HEALTHCARE, PRIVATE, AND PUBLIC SECTORS IN IT

The paper will examine the implementation of the new technology in the automation of the healthcare, private, and public sectors. The latest technological advancements tend to alter the modes of the normal behavior of different segments of life among the listed ones in their entire process and responsibly affect their operation. The technology sheds light on specific areas requiring adequate and superb services and offers obscure methods in the field of automation. In doing so, the credibility and accountability of the entire systems that are put in place are enhanced. To investigate how the automation of the application areas is influenced by IT regarding the equation of accountability, a range of documentations that are empirically implemented in the field of IT are explored. The exploration ranges from the purest forms of transactions that involve the automation of lower levels to the highly automated systems, which includes the technologies that analyze biometric fingerprints, among others. From the example, the accountable potential of the IT automation is discussed for the different applications with the hope of investigating the benefits that are brought about by the automation of the applications while doing away with the potentials that are unaccountable and hinders the functionality that may come from the usage of the systems applications on the different fields. Throughout the paper, much stress is on the importance of developing a balance that exists between the benefits of the automated applications in IT and the entire process of automation, including the system that may tend to reduce the efficiency of the applications and be able to bring up accountability
Nominal Equational Problems

Abstract We define nominal equational problems of the form $$\exists \overline{W} \forall \overline{Y} : P$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>∃</mml:mo> <mml:mover> <mml:mrow> <mml:mi>W</mml:mi> </mml:mrow> <mml:mrow> <mml:mo>¯</mml:mo> </mml:mrow> </mml:mover> <mml:mo>∀</mml:mo> <mml:mover> <mml:mrow> <mml:mi>Y</mml:mi> </mml:mrow> <mml:mrow> <mml:mo>¯</mml:mo> </mml:mrow> </mml:mover> <mml:mo>:</mml:mo> <mml:mi>P</mml:mi> </mml:mrow> </mml:math> , where $$P$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>P</mml:mi> </mml:math> consists of conjunctions and disjunctions of equations $$s\approx _\alpha t$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>s</mml:mi> <mml:msub> <mml:mo>≈</mml:mo> <mml:mi>α</mml:mi> </mml:msub> <mml:mi>t</mml:mi> </mml:mrow> </mml:math> , freshness constraints $$a\#t$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>a</mml:mi> <mml:mo>#</mml:mo> <mml:mi>t</mml:mi> </mml:mrow> </mml:math> and their negations: $$s \not \approx _\alpha t$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>s</mml:mi> <mml:msub> <mml:mo>≉</mml:mo> <mml:mi>α</mml:mi> </mml:msub> <mml:mi>t</mml:mi> </mml:mrow> </mml:math> and "Equation missing"<!-- image only, no MathML or LaTex -->, where $$a$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>a</mml:mi> </mml:math> is an atom and $$s, t$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>s</mml:mi> <mml:mo>,</mml:mo> <mml:mi>t</mml:mi> </mml:mrow> </mml:math> nominal terms. We give a general definition of solution and a set of simplification rules to compute solutions in the nominal ground term algebra. For the latter, we define notions of solved form from which solutions can be easily extracted and show that the simplification rules are sound, preserving, and complete. With a particular strategy for rule application, the simplification process terminates and thus specifies an algorithm to solve nominal equational problems. These results generalise previous results obtained by Comon and Lescanne for first-order languages to languages with binding operators. In particular, we show that the problem of deciding the validity of a first-order equational formula in a language with binding operators (i.e., validity modulo $$\alpha $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>α</mml:mi> </mml:math> -equality) is decidable.
Implementasi Jaringan Syaraf Tiruan Backpropagation Untuk Memprediksi Jumlah Pemasangan Instalasi Air Pada PDAM Tirtauli

In a service company, there are customers who become company consumers. One level of customer satisfaction can be measured from the level of installation of water installations to the customer's house. Therefore, the Regional Drinking Water Company (PDAM) Tirtauli Pematangsiantar needs to solve the problem in overcoming the number of water installations. Artificial Neural Network with backpropagation algorithm is used to predict the number of new water installations. The test results obtained a prediction accuracy of 89% with a 2-10-1 architecture
THE PROBLEM OF DETERMINING A KERNEL IN A MULTIDIMENSION TIDIMENSIONAL INTEGRO-DIFFEREN TEGRO-DIFFERENTIAL EQUATION OF TION OF HEAT CONDUCTION

In this article, we studied the inverse problem of finding the integral kernel for the multidimensional integro-differential heat equation. In the space of continuous functions with weight, the existence and uniqueness theorem for the stated problem is proved for an optional interval of function definition. In this paper, we study the problem of determining the core in a multidimensional heat equation for an arbitrary interval
LibGuides: Materials Science & Engineering: Research Misconduct

Resources for research in the materials engineering discipline, including research databases, resources for data and properties, codes and standards, and product information
LibGuides: SFCC Library Video Tutorials: Research Tips

On this guide you'll find SFCC Library video tutorials on library services and research help, including how to log into databases, request books, search for articles, and more.
Laser scanning of overbreak and deformation for crosscuts at Malmbergetmine : uGPS Rapid Mapper™

Laser scanning of overbreak and deformation for crosscuts at Malmbergetmine : uGPS Rapid Mapper™
UMC Library: Faculty Publishing: Journal Impact

What you need to know about journal impacts, acceptance rates, peer-review status, and UMC's institutional repository.
Instantiation of IETF Network Slices in service providers networks

The IETF has produced several YANG data models to support theSoftware-Defined Networking and Network Slice Architecture. Thisdocument describes the relationship between the abstract (generic, orbase) Service Models utilized for the Network Slices requests and theNetwork Models (e.g. L3NM, L2NM). This document describes thecommunication between the Network Slice Controller and a networkcontroller for IETF network slice creation. The YANG service modelsavailable for network slicing provide a customer-oriented view of thenetwork. Thus, once the Network Slice controller (NSC)receives arequest, it needs to expand it to accomplish the specific parametersexpected by the network controller. The network models are analyzed interms of how they can satisfy the IETF Network Slice requirements.Identified gaps on existing models are reported.
Real-time HD electronic image stabilization system based on heterogeneous computing

A two-stage hybrid image stabilization method based on a gyroscope and an image stabilization algorithm is proposed. For the first-stage image stabilization, the gyroscope’s deflection signal is reverse-compensated. The second stage adopts the image stabilization algorithm based on correlation filtering. We constructed a heterogeneous computing platform based on ARM+field-programmable gate array. A real-time image stabilization of 1,920&times;1,080p @60 Hz HD video was achieved and the image stabilization precision reached 0.2 mil.
Study of the preferences of Russian students of management specialties who receive higher education in the conditions of digital transformation of the economy

This work considers the main approaches to improving the process of teaching students of management specialties of higher education in the context of the introduction of digital technologies. The results of the study of students’ priorities regarding the form and presentation of the studied material are shown, their analysis and interpretation are described. The conclusions of the author’s team on the trends and prospects for digitalization of the higher management education system in the Russian Federation were made.
Utilizing Virtualized Hardware Logic Computations to Benefit Multi-User Performance

Recent trends in computer architecture have increased the role of dedicated hardware logic as an effective approach to computation. Virtualization of logic computations (i.e., by sharing a fixed function) provides a means to effectively utilize hardware resources by context switching the logic to support multiple data streams of computation. Multiple applications or users can take advantage of this by using the virtualized computation in an accelerator as a computational service, such as in a software as a service (SaaS) model over a network. In this paper, we analyze the performance of virtualized hardware logic and develop M/G/1 queueing model equations and simulation models to predict system performance. We predict system performance using the queueing model and tune a schedule for optimal performance. We observe that high variance and high load give high mean latency. The simulation models validate the queueing model, predict queue occupancy, show that a Poisson input process distribution (assumed in the queueing model) is reasonable for low load, and expand the set of scheduling algorithms considered.
The Effect of Practice Methods on the Ability of Writing Text Complex Procedures of Eleventh Grade Students of Swasta Swadaya Hamparan Perak Senior High School Academic Year 2020-2021

This research is aimed in explaining the effect of practical methods in writing complex procedural text for eleventh grade students of Swasta Swadaya Hamparan Perak Senior High School 2020-2021 Academic Year.The population of this research were all students of eleventh grade of Swasta Swadaya Hamparan Perak Senior High School totaling 32 students.The samples in this research all 32 students.The method used in this research is an experimental method with the one group pretest posttest model.The instrument used to collect data was an essay test in the form of an assignment, namely writing complex procedural text.Hypothesis testing is done using the t-test.The results showed that the students' ability in writing complex procedural texts without any treatment with the practical method was in the enough category with an average score of 68.1, while after the practice method was included in the good category with an average score of 79.5.Furthermore, hypothesis testing shows t-count > t-table, that is 4.45 > 2.04 at the significant level α = 0.05.Thus, it has been proven that the null hypothesis (Ho) is rejected and the alternative hypothesis (Ha) is accepted, namely that the practice method is more influential in increasing the ability to write complex procedural text for students of Swasta Swadaya Hamparan Perak Senior High School 2020-2021 Academic Year.
Transfer learning for small-scale data classification using CNN filter replacement

Recently, object recognition using CNN is widespread. Still, medical images do not have a sufficient number of images because they require the doctor’s findings in the training dataset. On such a small-scale dataset, there is a problem that CNN cannot realize enough high recognition accuracy. As a solution to this problem, there is a method called transfer learning that reuses the weights learned on a large dataset. In addition, there is research on a method of pruning parameters unimportant for the target task during transfer learning. In this study, after transfer learning is performed, the convolution filter is evaluated using pruning, and the low evaluation filter is replaced with the high evaluation filter. In order to confirm the usefulness of the proposed method in recognition accuracy, we compare it with the three methods, i.e., transfer learning only, pruning, and initializing the filter. As a result, we were able to obtain a high recognition accuracy compared to other methods. We confirmed that CNN might be affected by replacing the filter in object recognition of small-scale datasets.
A Parallel Blum-Micali Generator Based on the Gauss Periods

In this paper, the authors propose an algorithm to generate a sequence of bits in parallel to enhance the generating performance of the Blum-Micali method which is for constructing a pseudorandom number generator. More precisely, since the classical definition needs to refer the previous state to generate the next bit, we modify the generation steps in an alternative way by introducing the feature of the Gauss periods. It gives us a unique representation of elements as if a primitive element generates those elements as the powers and this mechanism realizes the parallel algorithm. As a result, the generator achieves to mimic the main concept of the Blum-Micali method in parallel and it is thought to be secure if the discrete logarithm problem is hard to solve.
Hacia una didáctica de los Archivos Escolares: Apuntes para su posicionamiento en las comunidades educativas desde la Formación Ciudadana

The creation of School Archives based on Citizen Education represents the urgent need to position these devices as elements of memory and identity present in every educational establishment. This nature enables us to understand the multiple possibilities in the teaching work as well as the opportunities for the development of educational activities, that shape these spaces as valid requests within the school curriculum and the construction of citizenship on a transversal basis. From a practical experience in a School Archive with high school students, this article proposes some guidelines to implement it, along with the development of a teaching model proposal that positions students as protagonists of its own teaching-learning process.
Guides: Business Division Faculty Guide: Information Technology Databases

Provides links to Western Library resources for students and faculty in the Business Division
PMI-based polarity computation for SVM-NN-based sentiment classification from user-generated reviews

Purpose The purpose of this paper is to initially perform Senti-WordNet (SWN)- and point wise mutual information (PMI)-based polarity computation and based polarity updation. When the SWN polarity and polarity mismatched, the vote flipping algorithm (VFA) is employed. Design/methodology/approach Recently, in domains like social media(SM), healthcare, hotel, car, product data, etc., research on sentiment analysis (SA) has massively increased. In addition, there is no approach for analyzing the positive or negative orientations of every single aspect in a document (a tweet, a review, as well as a piece of news, among others). For SA as well as polarity classification, several researchers have used SWN as a lexical resource. Nevertheless, these lexicons show lower-level performance for sentiment classification (SC) than domain-specific lexicons (DSL). Likewise, in some scenarios, the same term is utilized differently between domain and general knowledge lexicons. While concerning different domains, most words have one sentiment class in SWN, and in the annotated data set, their occurrence signifies a strong inclination with the other sentiment class. Hence, this paper chiefly concentrates on the drawbacks of adapting domain-dependent sentiment lexicon (DDSL) from a collection of labeled user reviews and domain-independent lexicon (DIL) for proposing a framework centered on the information theory that could predict the correct polarity of the words (positive, neutral and negative). The proposed work initially performs SWN- and PMI-based polarity computation and based polarity updation. When the SWN polarity and polarity mismatched, the vote flipping algorithm (VFA) is employed. Finally, the predicted polarity is inputted to the mtf-idf-based SVM-NN classifier for the SC of reviews. The outcomes are examined and contrasted to the other existing techniques to verify that the proposed work has predicted the class of the reviews more effectually for different datasets. Findings There is no approach for analyzing the positive or negative orientations of every single aspect in a document (a tweet, a review, as well as a piece of news, among others). For SA as well as polarity classification, several researchers have used SWN as a lexical resource. Nevertheless, these lexicons show lower-level performance for sentiment classification (SC) than domain-specific lexicons (DSL). Likewise, in some scenarios, the same term is utilized differently between domain and general knowledge lexicons. While concerning different domains, most words have one sentiment class in SWN, and in the annotated data set their occurrence signifies a strong inclination with the other sentiment class. Originality/value The proposed work initially performs SWN- and PMI-based polarity computation, and based polarity updation. When the SWN polarity and polarity mismatched, the vote flipping algorithm (VFA) is employed.
Selected Works From International Workshop on Biometrics and Forensics 2020

The 8TH edition of the International Workshop on Biometrics and Forensics (IWBF 2020) was held online, and organized remotely from Porto, Portugal, on 29 and 30 April 2020. The event, organized by the Institute for Systems and Computer Engineering, Technology and Science (INESC TEC), Porto (Portugal), the Norwegian University of Science and Technology (NTNU, Norway), and the European Association of Biometrics (EAB), received technical co-sponsorship from IEEE-Biometrics Council and IAPR—Technical Committee on Biometrics (TC4).
STUDI KRITIS PERAN KOMITE SEKOLAH DI MTS NURUL IKHSAN

The purpose of this study was to identify, describe and analyze the role of the school committee in (1) The process of preparing a school income and expenditure budget plan (RAPBS) at MTs Nurul Ikhsan Batukliang, (2) How to obtain financial support and allocation of education costs at MTs Nurul Ikhsan Batukliang , and (3) Supervision and evaluation of tuition fees at MTs Nurul Ikhsan Batukliang. The research method used is a qualitative method with data analysis techniques consisting of three stages, namely data reduction, data presentation and verification or conclusion. The research results show that the performance of the school committee, especially in education financing at MTs Nurul Ikhsan Batukliang in accordance with its duties and functions, namely as advisory. agency (giver of considerations), supporting agency (supporting educational service activities), controlling agency (controller activities) and mediator (liaison) have made a positive contribution to the progress of the school. The progress that has been achieved includes physical and non-physical infrastructure. Good cooperation between the school and the committee can be seen from the solidarity in the preparation of the RAPBS so that all planned programs receive financial support from the government, student guardians and the private sector.
Notice of Retraction: 3D-based Video Recognition Acceleration by Leveraging Temporal Locality

Recent years have seen an explosion of domain-specific accelerator for Convolutional Neural Networks (CNN). Most of the prior CNN accelerators target neural networks on image recognition, such as AlexNet, VGG, GoogleNet, ResNet, etc. In this paper, we take a different route and study the acceleration of 3D CNN, which are more computational-intensive than 2D CNN and exhibits more opportunities. After our characterization on representative 3D CNNs, we leverage differential convolution across the temporal dimension, which operates on the temporal delta of imaps for each layer and process the computation bit-serially using only the effectual bits of the temporal delta. To further leverage the spatial locality and temporal locality, and make the architecture general to all CNNs, we propose a control mechanism to dynamically switch across spatial delta dataflow and temporal delta dataflow. We call our design temporal-spatial value aware accelerator (TSVA). Evaluation on a set of representation NN networks shows that TSVA can achieve an average of 4.24× speedup and 1.42× energy efficiency. While we target 3D CNN for video recognition, TSVA could also benefit other general CNNs for continuous batch processing.
Metode Naive Bayes Dalam Menentukan Program Studi Bagi Calon Mahasiswa Baru

In a university, determining a study program for prospective students is something that is often done to focus on prospective students so that they are in accordance with their competencies. This is a very important hope, because prospective students can develop self-competence according to their academic abilities. This research method uses several stages, including data cleaning, data collection, determining criteria, determining probability, and final testing. The Naïve Bayes method with a case study at the Private Madrasah Aliyah PAB 6 Helvetia and testing of 100 student data with an accuracy rate of 90% is a previous research. The purpose of this study was to make a classification of majors based on the criteria, while in this study the aim of making a classification of study programs for prospective new students. In this study, the same method was used but the number of data records was different, the test data was 1671 student data records, the data was obtained from 2256 data records.From the total data records were 2256, after data cleaning and data collection were carried out, 1671 test data were obtained. In the test data, there are several probability values that contain various criteria and attributes used to determine the classification of study programs for prospective new students. The number of data records is divided into 2 parts, the first is used for training data with 1158 data with a percentage of 70%, and testing data with 513 data records with a percentage of 30%. From the test results with the same method with different number of data records, the accuracy rate is from 90% to 96% with an accuracy value of 96.68%. From this accuracy value shows that the classification results obtained show the Pharmacy DIII study program.
WATER RESOURCES FORMULA DIGITAL REPOSITORY IN CIVIL ENGINEERING EDUCATION

K. Khalid1, M.E.S. Aziz2, J. Ismail2, Z. Othman1, M.R. Zainudin1, N.F. Rahman3 1Universiti Teknologi MARA Cawangan Pahang Kampus Jengka (MALAYSIA) 2Universiti Teknologi MARA Cawangan Pahang, Kampus Raub (MALAYSIA) 3SEGi University (MALAYSIA)
Shadow of The Great Firewall: The Impact of Google Blockade on Innovation in China

Building on the search-based view of innovation, we develop a framework regarding how Google guides innovative search behavior. We exploit an exogenous shock, China’s unexpected blockade of Google in 2014, and adopt a difference-in-differences approach with a matched sample of patents from China and nearby regions to test our predictions. Our analyses show that the blockade negatively affected inventors in China to search distantly in technological and cognitive spaces compared to those in the control group who were presumably unaffected by the event. The impact was less severe for inventors with larger collaboration networks but became more pronounced in technological fields proximate to science. Our findings contribute to innovative search literature and highlight the theoretical and practical importance of Internet technologies in developing valuable inventions.