Reviewerly/exHarmony huggingface dataset:
Dataset replica placement strategy under a response time constraint in the cloud

In cloud computing environment, especially data-intensive systems, large amounts of datasets are stored in distributed data centres, and are often retrieved by users in different regions. To reduce the users' response time, replicating the popular datasets to multiple suitable data centres is an advisable choice, as tasks can access the datasets from a nearby site. Nevertheless, the dataset replicas' suitable storage placement selection is still an important issue that should be solved urgently from the response time constraint view, for the reason that too many replicas are infeasible in practice. In this paper, we first propose a comprehensive dataset response time estimation model, then present a replica placement model based on Steiner tree. After that, an approximate replica placement algorithm under a response time constraint in the cloud is given using Kruskal minimum spanning tree. At last, a practical and reasonable performance evaluation is designed and implemented. Both the theoretical analysis and simulations conducted on general (random) datasets show the efficiency and effectiveness of the proposed strategy in the cloud.
Verifiable Certificates for Predicate Subtyping

Adding predicate subtyping to higher-order logic yields a very expressive language in which type-checking is undecidable, making the definition of a system of verifiable certificates challenging. This work presents a solution to this issue with a minimal formalization of predicate subtyping, named PVS-Core, together with a system of verifiable certificates for PVS-Core, named PVS-Cert. PVS-Cert is based on the introduction of proof terms and explicit coercions. Its design is similar to that of PTSs with dependent pairs, with the exception of the definition of conversion, which is based on a specific notion of reduction $$\rightarrow _{\beta *}$$ , corresponding to $$\beta $$ -reduction combined with the erasure of coercions. The use of this reduction instead of the more standard reduction $$\rightarrow _{\beta \sigma }$$ allows to establish a simple correspondence between PVS-Core and PVS-Cert. On the other hand, a type-checking algorithm is designed for PVS-Cert, built on proofs of type preservation of $$\rightarrow _{\beta \sigma }$$ and strong normalization of both $$\rightarrow _{\beta \sigma }$$ and $$\rightarrow _{\beta *}$$ . Combining these results, PVS-Cert judgements are used as verifiable certificates for predicate subtyping. In addition, the reduction $$\rightarrow _{\beta \sigma }$$ is used to define a cut elimination procedure for predicate subtyping. This definition provides a new tool to study the properties of predicate subtyping, as illustrated with a proof of consistency.
Application of Jupyter Notebook in Teaching Pattern Recognition

Artificial intelligence technology is so pervasive today that it is important to teach basic theory and technique of pattern recognition for undergraduate of electronic information. Pattern recognition course contains a number of abstract concepts and math principles, and the experiments in the course require some programming skills and tricks. These factors make it difficult for undergraduates to study. This paper analyzes the limitation of traditional multimedia technology, and proposes an interactive classroom teaching method based on Jupyter Notebook. Using Notebook, teachers can organize descriptive texts, mathematical notations, code and its result into web pages effectively. According to our teaching experience, using Jupyter Notebook in pattern recognition course can improve undergraduates' study initiative and promote the teaching effect.
THE SCHOOL ADMINISTRATION ROLES IN THE IMPLEMENTATION OF COMPUTER BASED TEST – NATIONAL EXAMINATION IN EAST ACEH, ACEH, INDONESIA

The purpose of this study is to find out to what extent school administration in East Aceh administered the CBT-NE are ready for accepting Computer Based National Examination (CBNE) in terms of its objective, infrastructure and human resource management, budget allocated management and management of examination. This study employed a qualitative case study approach consisting of three schools from three distinct categories such as general secondary school, secondary boarding school and vocational school in East Aceh District. All the selective schools have implemented the CBT-NE system for students. For collecting data, the researcher conducted interviews with the selected schools’ principals. The research findings report on the variety of preparation that these three schools had taken in implementing CBNE. In terms of infrastructure and human resource management, they followed the instruction provided by the Ministry of Education, Indonesia, while there is also additional equipment that they prepared as well to maintain the electric supply. Moreover, schools got both financial and non-financial supports from the government that allocated to purchase and repair the computer, and honorarium in CBT-NE in their schools. In terms of management role, the schools conducted training for students and teachers to manage the session and community involvement in conducting CBNE.
The 2018 Brain Data Bank Competition in Xi'an, China [Society News]

Presents news of interest to SSCS society members.
Cohesion and Coherence of Narrative Essays of Madagascar Students of Indonesian Language for Foreign Speakers (BIPA) at UPTP2B Sebelas Maret University

This study aimed to describe the use of the form of cohesion and coherence of narrative essay of Madagascar students of Indonesian Language for Foreign Speaker (BIPA) at Language Center Sebelas Maret University. The method used was descriptive qualitative. The researcher collected the data by giving assignments to the students. Then, the researcher classified the findings with the techniques of reading, listening, and writing. The results obtained in the form of cohesion were: 1) grammatical cohesion consisted of reference, substitution, ellipsis, and conjunction; 2) lexical cohesion consisted of repetition, synonym, and collocation. In the form of coherence, the students were able to express their writing in a simple way to be able to be understood by the readers.
PEMILIHAN SEKOLAH TERBAIK DENGAN MENGGUNAKAN METODE K-NEAREST NEIGHBORS DAN TAXONOMIC MATCHER

The accuracy of choosing the right school is what every prospective student and parent wants. But in making the decision to choose the right school is not easy to do, because many aspects that are not simple must be taken into account. Mistakes in making decisions for prospective students must risk the loss of opportunities. Calculations in choosing a prospective student must be able to measure rationally the level of ability themselves with the quality of the school to be chosen. The quality of the school is determined based on the school's favorite level, the value of school accreditation, facilities owned, and achievements that have been achieved by the destination school. The purpose of this study was to apply the K-Nearest Neighbors (KNN) and Taxonomic Matcher methods to the creation of a system for selecting schools. The results of the development of the school selection application have been running in accordance with its functions and the results of the user acceptance test have been approved because it has a higher value than the answer agreed on the Likert scale which is 4.188571 on a scale of 1-5.Keywords: K-Nearest Neighbors (KNN), Taxonomic Matcher, Choosing a School
PERANCANGAN SISTEM INFORMASI PESERTA SERTIFIKASI (Studi kasus LSP Piksi Ganesha)

Nowadays, profession or competency certification is started to be taken seriously by the society, especially the students. This certification is used, among others, to get an acknowledgement for the owned competency, increase the credibility, adding the selling point, and the opportunity to get a better career. Piksi Ganesha Certification Body as the organizer of the internal certification holds this mandatory-for-students’ event every year.There are some obstacles in the certification data management, such as: data redundancy, temporary archieve storage, etc. These things are caused by the management is still using manual system and not using Computer-Based Information System (CBIS). A good and appropriate Computer-Based Information System design is needed in order to improve the effective and efficient performance, in giving the best service, data management, and also information provision for the certification participants.
Premise Parameter Optimization on Adaptive Network Based Fuzzy Inference System Using Modification Hybrid Particle Swarm Optimization and Genetic Algorithm

ANFIS is a combination of the Fuzzy Inference System (FIS) and Neural Network (NN), which has two training parameters, premise and consequent. In the traditional ANFIS, Least Square Estimator (LSE) and Gradient Descent (GD) are commonly used learning algorithms to train the two parameters. The combination of those two learning algorithms tends to produce the local optimal solution. Particle Swarm Optimization (PSO) can converge quickly but still allow for getting the local optimal solution because PSO is unable to find a new solution space. Meanwhile, Genetic Algorithm (GA) has been reported to be able to find a wider solution space. Hybrid PSOGA is expected to give a better solution. In this study, modification of hybrid PSOGA is used to train the premise parameter of ANFIS. In experiments, the accuracy of the proposed classification method, which is called ANFIS-PSOGA, is compared to ANFIS-GA and ANFIS-PSO on Iris flowers, Haberman, and Vertebral datasets. The experiment shows that ANFIS-PSOGA achieves the best result compared to the other methods, with an average of accuracy 99.85% on Iris flowers, 84.52% on Haberman, and 91.83% on Vertebral.
Hate Speech and Psychic Injury: Reflections on Nigeria's 2015 Elections

In the run up to the 2015 elections, Nigeria the witnessed an alarming surge in hate speeches that were deliberately designed to inflict injuries on individuals and political parties.Through speech, broadly understood to include print and electronic media, as well as public speaking, group targeted violence were perpetrated.This paper examines the link between hate speech and psychic injury in terms of how it influenced voter behaviour and electoral outcome in the run up to the 2015 elections.The paper argues that the instrumentalisation of hate speech as a tool for the mobilisation of support for politicians and political parties, contributed significantly in sowing the seed of disharmony in a country where political affiliations and loyalty are viewed along religious and ethno-regional faultlines.
LCD codes and LCP of codes from units of group rings

A linear code with complementary dual (LCD) is a linear code such that LCD codes are of great importance due to their wide range of applications in consumer electronics, storage systems and cryptography. Group rings have a rich source of units. Also the well-known structural linear codes such as cyclic codes are within the family of group ring codes. Thus, group rings offer an affluent source for structural codes that may lead to linear codes with good properties. In this work, we derive a condition for codes obtained from units of group rings to be LCD. We show that a special decomposition of group rings meet the LCD condition. We also proposed a consruction of linear complementary pair (LCP) of codes.
Repository System for Geospatial Software Development and Integration

The integration of geospatial software components has recently received considerable attention due to the need for rapid growth of GIS application and development environments.However, finding appropriate source code components that can be incorporated into a system under development requires considerable verification to ensure the source code can work correctly.This paper therefore describes the design of a repository system that employs a new specification language, namely SpecJ2, to address the challenges involved in integrating and operating software components.SpecJ2 was designed to represent the architectural attributes of source code components and to abstract their complexity by applying the notion of separation of concerns, a key consideration when designing software systems.The results of the experiment showed that SpecJ2 is capable of defining the different architectural attributes of source code components and can facilitate their integration and interaction at run-time.Thus, SpecJ2 can classify software components according to their identified types.
Cloud based Framework for Secure Sharing of Medical Reports

Cloud computing has recently emerged as a new paradigm for hosting and delivering services over the Internet which define the shape of a new era.Cloud computing is the changing way to store, compute and use the data and resources which are stored on the remote servers due its properties such as it provides robustness, on-demand self-service, measured resources, broad network access and low cost.But data leakage, insecure interface and sharing of resources are the major issue that prevents users from storing files on the cloud.Everyday extensive amount of data is generated in multi-specialist hospitals.This article presents various techniques to protect electronic medical reports (EMR)in various forms like images, videos or documents etc. stored on cloud.If doctors of various specializations want to view the reports it will be easy for them if those are placed on the cloud.This will also help patient in not carrying the prescriptions or big size reports.This article addresses these issues by proposing Advanced Encryption Standard (AES) for securing the multiple EMR.In order to prevent issues like breaches and malware attacks on cloud, this innovative scheme helps in high level security to safeguard the files or reports that are stored on the cloud.
Impact of Time Delay on Short Term Outcome of Primary Percutaneous Coronary Intervention (PCI) in Bangladeshi Population

Background: Now-a-days primary percutaneous coronary intervention (pPCI) is being increasingly done in our country as the treatment of acute ST elevation myocardial infarction (STEMI). Time until treatment is paramount in the management of STEMI. But the time delay to pPCI how much influencing the outcome in our setting is mostly unknown.So we evaluated the influence of total ischemic time on myocardial reperfusion and short term clinical outcome in patients with STEMI treated with primary PCI.&#x0D; Materials and methods: This prospective observational study was conducted from August 2016 to March 2017in the Department of Cardiology, National Institute of Cardiovascular Diseases (NICVD), Dhaka. Forty-eight (48) acute STEMI patients were selected by purposive sampling based on inclusion and exclusion criteria dividing into two groups as early treatment group (group-A) in whom pain to pPCI time was &lt;6 hours and late treatment group (group-B) in whom pain to pPCI time was 6-12 hours. Angiographic (TIMI flow grade 3 &amp; MBG 3) &amp; short term clinical outcome (MACE, heart failure, major bleeding, minor bleeding, cardiogenic shock, significant arrhythmia, instent thrombosis) were observed and compared between these two groups.&#x0D; Results: The relationship between total ischemic time and 30-day mortality &amp; morbidity were assessed and compared with early and late pPCI group. The overall 30-day mortality rate was 4.2%, heart failure was 6.2%, cardiogenic shock was 4.2%, major bleeding was 2.1% and minor bleeding was 14.6%. Mortality and morbidity were higher in longer ischemic time group than shorter ischemic time group. In multivariate regression analysis, the factors independently influencing the adverse short term outcome were advance age (OR 1.51, 95% CI 1.105 to 4.101, p=0.03), hypertension (OR 2.44, 95% CI 1.102 to 4.281, p=0.02), diabetes mellitus (OR 2.51, 95% CI 1.200 to 4.987, p=0.02), anterior MI (OR 1.38, 95% CI 1.001 to 2.872, p=0.03), multivessel disease (OR 2.35, 95% CI 1.010 to 5.371, p=0.02), pain to door time (OR 1.66, CI 1.099 to 2.2.722, p=0.04), and total ischemic time (OR 2.67, 95% CI 1.122 to 5.784, p=0.02). Even after correction for predictive baseline and procedural variables of the univariate analysis, longer total ischemic time was the most significant independent predictor (OR 2.67, p=0.02) of short term adverse outcome of primary PCI. The current status of time delay in our country revealed symptom onset to door time was 5.6±2.4 hours, door to balloon time was 1.9±1.1 hours and total ischemic time was 7.3±2.6 hours.&#x0D; Conclusion: According to this study finding, there is prognostic implication of time delay in patients with STEMI undergoing primary PCI. Therefore, all efforts should be made to shorten total ischemic time, including reduction in patient related delays, to improve clinical outcome of STEMI patients.&#x0D; University Heart Journal Vol. 14, No. 2, Jul 2018; 77-82
Machine Learning in Medicine: A Primer

Machine learning is the field that focuses on how computers learn from data.Today, machine learning is playing an integral role in the medical industry.This is due to its ability to process huge datasets beyond the scope of human capability, and then convert the data analyzed into clinical insights that aid physicians in providing care.Machine learning is a powerful, relatively easy to implement tool with numerous possibilities to enhance medical practice.The applications of machine learning in medicine are advancing medicine into a new realm.Therefore, educating the next generation of medical professionals with machine learning is essential.This paper provides a brief introduction to applying machine learning in medicine.
THE MAINTENANCE OF MANDAILINGNESE LANGUAGE IN TANJUNGBALAI

This study deals with the language maintenance of Mandailingnese in Tanjungbalai. It usesqualitative research design. It is conducted descriptively. This study aims to examine the types of language maintenance by Mandailingnese people in Tanjungbalai, find out the ways in maintaining the Mandailingnese language in Tanjungbalai and find out the reasons why the speakers of Mandailingnese people maintain their language in Tanjungbalai. The subjects were 10teenagers (boys and girls) of Mandailingnese. The use of instruments in this study were observation and interview. The observation were used to examine the types of language maintenance by Mandailingnese people in Tanjungbalai in order to describe the ways of Mandailingnese language maintenance. The interview was used to gain the reasons of Mandailingnese language maintainancein Tanjungbalai. The theories of Fasold, Fishman and Holmes are used in this study. The data were analyzed by Miles, Huberman and Saldana (2014). There are four types of language maintenancein Tanjungbalai namely; low maintenance, medium maintenance, strong maintenance and extreme maintenance. There are two ways to maintain Mandailingnese language in Tanjungbalai namely; join the community and teach the language to younger sister/brother. There are four reasons why they maintain their language namely; to express their identity as Mandailingnese people, to achieve self pride as Mandailingnese people, to tell certain issue and to creat closer relationship. Analysis of data clearly indicates that Mandailingnese language maintenance were done in Tanjungbalai.Keyword : language maintenance, reasons for language maintenance, Mandailingnese in Tanjungbalai
Research on Network Information Security and Strategy in Vocational Colleges

With the advent of the era of big data, intelligent and Internet +, personnel training and education of the school, the teaching pattern reform needs network information technology to support, so the education organization attaches great importance to the development of network information technology, as one type of higher education in higher vocational colleges, no matter from the education administrative department or local government attaches great importance to the development of higher vocational education, especially for digital campus construction in higher vocational colleges put forward very high requirements. From higher vocational colleges to strengthen the construction of digital campus, strengthen the campus network information security, this paper explores the deficiency existing in digital campus construction, research the connotation of higher vocational digital campus network security prevention and control system clear priorities, further summarizes the work method
Application of a collective semi-supervised method in text categorization: A case study of movie reviews

Text categorization, namely text classification aims to predict the predefined labels (moods, subjects, etc.) of the given documents.It has been so difficult to categorize the text data in terms of their defined labels since the amount of online information increases day by day.Most of the real-world text datasets consist of too many unlabeled and a few labeled documents (instances).Therefore in this study we aim to use a collective semi-supervised approach that utilizes both unsupervised and supervised learning techniques for categorization of text.In numerical experiments we utilize The Movie Reviews text dataset and implement the suggested algorithm on it.MATLAB and WEKA software programs are used in the implementations.For performance evaluations we use accuracy results and running times.Obtained results are presented in tables.
IMPROVING STUDENTS’ READING COMPREHENSION ACHIEVEMENT THROUGH THE CONCEPT ATTAINMENT MODEL

This study aims at improving students’ achievement in reading comprehension applying The Concept Attainment Model by conducting classroom action research. The subjects of this research the first semester students Majoring in Economics from Yayasan Universitas Labuhan Batu Rantauprapat. The number of the students was 20 students. There were two kinds of data collected during the study, quantitative and qualitative data. The instrument for collecting the quantitative data was objective test of reading comprehension, while the instruments for qualitative data were gathered through observation sheet, diary notes and check list. Based on the data analysis, the mean of the students score in pre-test 51, in cycle I was 61.75, and in cycle II was 80.50. The conclusion is that The Students Concept Attainment Model can improve the students’ achievement in reading comprehension.