Reviewerly/exHarmony huggingface dataset:
Toward Formal Modeling and Verification of Resource Provisioning as a Service in Cloud

Cloud service provides a convenient pattern of delivery and management for the Internet-based resource sharing. Reliable resource provisioning is very important to the stability of cloud service systems. In order to guarantee the consistency of resource delivery in cloud service, we propose a method for modeling and verification of resource provisioning as a service in the cloud. First, the framework of resource provisioning as a service and the behaviors of its participants are presented. Then, client, service manager (including allocator, finish monitor, and time monitor), and resource service are modeled based on UPPAAL, respectively. Finally, we define some consistency properties that a service scenario needs to satisfy and formally verify whether our model satisfies these properties using the UPPAAL model checker. The results show that our model satisfies all the proposed properties, which demonstrates the rationality and trustworthiness of our model.
Determination of the Sediment Contamination Level in Dangli Waters of Langkawi UNESCO Global Geopark, Kedah, Malaysia

Dangli Waters ecosystem is located at the north of Langkawi UNESCO Global Geopark.Apparently, this area is currently experiencing a significant deterioration of marine habitat.Therefore, 14 stations were set up in this study area to investigate the sediment for metal contents discharged into Dangli Waters using the ecological risk assessment.The sediment samples were collected during four seasons, namely South West Monsoon, First Inter Monsoon, North East Monsoon and Second Inter Monsoon.The spatial distribution pattern of heavy metals in sediment was properly determined as well as the seasonal variation of the contamination.From the results obtained, the average concentration of each heavy metal distributed in the surface sediment of Dangli Waters can be written in decreasing order as Fe>Cr>As>Co>Cd.From the observation, heavy metal concentrations of As was recorded the most higher profiles near to the cement plant production area.Meanwhile, for the pattern of seasonal changes, FIM season was defined as the season with higher concentrations of all metals in the surface sediment compared to other seasons.This is due to highly rainfall distribution and water runoff during this period, leading an increase of sediment deposition into the Dangli Waters.According to the contamination factor (C f ) for each metal, it was shown that some heavy metals such as As were at a risky level with the C f value was higher than 6 (C f >6).However, the degree of contamination (C d ) for each station was classified as moderate (7 ≤ C d < 14), except for ST2 which showed a low degree of contamination.
FACTORS ASSOCIATED WITH STUDENTS’ PERFORMANCE IN ENGLISH IN THE IMPLEMENTATION OF SPIRAL PROGRESSION

This sequential exploratory mixed method research design aimed to describe which among language pedagogy, learner attributes, family factor and linguistics environment significantly predicts the performance of students in the English subject in Panabo National High School and thereafter develop a regression model for the study. Factor analysis was employed to develop the instrument derived from the interview of the informants with the use of Creswell (2009) for data analysis. The predictor variables were tested whether these predict the performance of student in English. Using the complete enumeration, 300 respondents were selected to answer the validated and reliable questionnaire. Using Pearson’s r and multiple regression analysis, the figures revealed that language pedagogy, learner attributes, and linguistic environment have significant relationship to the performance of students in English and the emerged themes as factors predict the performance of Grade 10 students in English as well. The multiple regression model of the study is: Grades in English = 0.885(Language Pedagogy) + (– 2.670)(Learner Attributes) + 0.510(Family Factor) + (– 0.171)(Linguistic Environment) + 94.47. The insights gained from the study suggested ways policy and educational initiatives can be crafted to intensify students’ performance in English in the implementation of Spiral progression.
GPU Accelerated Sparse Representation of Light Fields

We present a method for GPU accelerated compression of light fields. The approach is by using a dictionary learning framework for compression of light field images. The large amount of data storage ...
Computerized Working Memory Battery (BIMeT-V): Studying the Relation between Working Memory, Verbal Reasoning and Reading Comprehension

Working memory refers to all the systems and processes linked to the maintenance and active retention of information relevant to the performance and execution of complex cognitive tasks.Individual diff erences in working memory have been shown to explain diff erences in other cognitive abilities, such as comprehension and reasoning.The purpose of the present work was to study the relationship between verbal working memory, verbal reasoning and text comprehension, for which a verbal working memory battery was designed and validated: The verbal Computerized Working Memory Battery (Batería Informatizada de Memoria de Trabajo Verbal [BIMeT-V]).Results showed that the tests administered presented a very good reliability due to internal consistency and, in terms of validity, two latent factors saturated the tests: one of storage and one of storage and concurrent processing of verbal information.Likewise, verbal reasoning skills and the ability to comprehend expository texts are supported by working memory's concurrent storage and processing of verbal information, and to a lesser extent, or with a lesser role, the verbal information storage component.
University Digitalization - A Fashionable Trend Or Strategic Factor Of Regional Development?

The article examines the main factors of the transformation of higher education in the conditions of intensive development of the digital economy and increasing use of new technologies as a management tool and means of increasing the consumer value of educational services. The authors consider the main trends of the observed changes in the digital economy that have an impact on higher education: retaining competitive advantages through innovation and technology change, a high level of uncertainty and risk, the need for constant adaptation to a highly dynamic environment, the demand for new competencies and new learning models. The article examines the factors that transform the impact on higher education that can destroy the model of a university born of an industrial era. Universities aimed at success and change in accordance with the demands of society and business begin to change their strategies fundamentally and make decisions about improving existing processes. The article describes the main stages of improving the management of the university, based on the active use of digital tools, and aimed at shaping the image, the introduction of modern teaching methods, the possibility of maximum integration into the regional economy. The authors also consider the main stages of improving the management of the university, based on the active use of digital tools, and aimed at shaping the image, the introduction of modern teaching methods, the possibility of maximum integration into the regional economy.
A Conceptual Architecture for Enabling Future Self-Adaptive Service Systems

Dynamic integration methods for unknown data sources and services at system design time are currently primarily driven by technological standards. Hence, little emphasis is being placed on integration methods. However, the combination of heterogeneous data sources and services offered by devices across domains is hard to standardize. In this paper, we will shed light on the interplay of self-adaptive system architectures as well as bottom-up, incremental integration methods relying on formal knowledge bases. An incremental integration method has direct influences on both the system architecture itself and the way these systems are engineered and operated during design and runtime. Our findings are evaluated in the context of a case study that uses an adapted bus architecture including two tool prototypes. In addition, we illustrate conceptually how control loops such as MAPE-K can be enriched with machine-readable integration knowledge.
Leveraging A Multi-Objective Approach to Data Replication in Cloud Computing Environment to Support Big Data Applications

Increased data availability and high data access performance are of utmost importance in a large-scale distributed system such as data cloud.To address these issues data can be replicated in various locations in the system where applications are executed.Replication not only improves data availability and access latency but also improves system load balancing.While data replication in distributed cloud storage is addressed in the literature, majority of the current techniques do not consider different costs and benefits of replication from a comprehensive perspective.In this paper, we investigate replica management problem (which is formulated using dynamic programming) in cloud computing environments to support big data applications.To this end, we propose a new highly distributed replica placement algorithm that provides costeffective replication of huge amount of geographically distributed data into the cloud to meet the quality of service (QoS) requirements of data-intensive (big data) applications while ensuring that the workload among the replica data centers is balanced.In addition, the algorithm takes into account the consistency among replicas due to update propagation.Thus, we build up a multi-objective optimization approach for replica management in cloud that seeks near optimal solution by balancing the trade-offs among the stated issues.For verifying the effectiveness of the algorithm, we evaluated the performance of the algorithm and compared it with two baseline approaches from the literature.The evaluation results demonstrate the usefulness and superiority of the presented algorithm for conditions of interest.
Wheelchairs and Other Mobility Assistance

Mobility is required for a number of activities of daily living (ADLs). Due to various health conditions, however, many people are unable to move around independently without certain mobility aid devices. This chapter focuses on traditional mobility aids, such as manual and electric wheelchairs, basic walking aids (canes, crutches, and walkers), as well as advanced assistive technologies, such as wheelchair navigation via low-throughput human-machine interfaces (brain-computer interface, single switch, silent speech interfaces, etc.), and stair-climbing wheelchairs.
Shaping an eDDA Program through Assessment

Due to budget constraints and rising costs of short-term loans (STLs), the University of Kansas (KU) Libraries were forced to reexamine their demand-driven acquisition (DDA) program and try to find cost-saving measures. This paper provides details of a major assessment of KU’s eDDA program that was undertaken in order to ascertain whether recent changes to the program resulted in reduced costs and to look for future cost-saving measures. Three variables were considered: number of STLs before purchase, preferred access model, and access versus use by discipline. In addition, the first year of a collaborative eDDA program between KU and Kansas State University (KSU) is discussed. This joint program was also assessed for cost-effectiveness and in order to set a baseline for future assessment. We considered access versus use by publisher and by discipline and calculated cost effectiveness of the program for each institution.
Hybrid Cybersecurity Framework for the Internet of Medical Things (IOMT)

Aims is to develop a prototype hybrid cyber security framework for the internet of medical things (HCSF).
On the Second Relative Greedy Weight of 4-Dimensional Codes

Based on applications to the wire-tap channel of type II with the coset coding scheme, we will define optimal codes which are described as the ones achieving upper bounds on e <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> - M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> , where e <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> and M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> are the second relative greedy weight and the second relative generalized Hamming weight, respectively. By using the finite geometry method, we will first classify all the 4-dimensional codes with respect to their k <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sub> -dimensional subcodes for k <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sub> = 1 and k <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sub> = 2 and determine the upper bounds on e <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> - M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> for each class of codes, and then obtain optimal codes by explicitly constructing the value assignments which achieve upper bounds on e <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> - M <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> .
If it ain't broke don't fix it? Ethics of splinting deformed newborn ears

Neonatal ear splinting is a proven and safe method to mold deformed ears into a more common shape. Based on our earlier studies, splinting is recommended only before the age of six weeks and preferably within the first week after birth. This can be done by initiating a system in which this intervention is actively proposed to parents. In this paper, we ethically evaluate such a system. By molding perfectly healthy newborn ears, we reach the boundary between treatment and enhancement. A key question is, therefore, whether we could classify neonatal ear splinting as a therapy. On the level of the individual, the advantages outweigh the drawbacks, but on the level of society, it is more complicated. Making ear deformities a part of official national screening programs fails to meet WHO criteria. Moreover, by systematically offering ear molding, professionals may be promoting guilt or fear of missing the opportunity. Additionally, it could affect societal attitudes toward cosmetic deformities. However, if we argue that on the individual level infants may benefit from ear splinting, then active detection of ear deformities allows parents to choose in a timely way from the full range of options, including splinting and a wait-and-see approach. We are inclined to optimally inform parents without setting up a full-blown public health program. The extent to which it is possible to timely offer splints to parents of newborns depends on the infrastructure of health care systems. The key will be for everyone involved, public or commercial, to responsibly educate and facilitate.
THE CORRELATION OF SELF-EFFICACY AND PEER SUPPORT TOWARDS ANXIETY PRECEDING FINAL EXAMINATIONS FACED BY 9TH GRADERS IN YOGYAKARTA

Purpose: The aim of this research paper is to show that Final examination pressure causes anxiety in all students, including students of a private middle school in Yogyakarta. The anxiety of students facing the final examinations is directly related to self-efficacy and peer support.&#x0D; Methodology: This study uses scales to determine anxiety levels preceding final exams, self-efficacy levels, and peer support levels. These scales will be filled in with data given by 9th grade students of LI Private Junior High. The research subjects consisted of 234 9th grade students enrolled in one of Yogyakarta’s private middle schools.&#x0D; Results: Based on the results, this research shows that Self-efficacy and peer support both combined have a significant relation to the anxiety preceding final exams faced by 9th grade students of ‘LI’ private middle school in Yogyakarta with F = 10,644 and a significance level of 0,000 (p&lt;0,01).&#x0D; Implications: Therefore, peer support has an effect on anxiety only when applied in tandem with self-efficacy.
Opinion Mining on Culinary Food Customer Satisfaction Using Naïve Bayes Based-on Hybrid Feature Selection

&lt;p&gt;Conducting an assessment of consumer sentiments taken from social media in assessing a culinary food gives useful information for everyone who wants to get this information especially for migrants and tourists, in th other hand that information is very valuable for food stall and restaurant owners as information in improvinf food quality. Overcoming this problem, a sentiment analysis classification model using naïve bayes algorithm (NB) was applied to get this information. This problem occurs is the level of accuracy of classification of consumer ratings of culinary food is still not optimal because the weight of values in the data preprocessing process are not optimal. In this paper proposed a hybrid feature selection models to overcome the problems in the process of selecting the feature attributes that have not been optimal by using a combination of information gain (IG) and genetic algorithm (GA) algorithms. The result of this research showed that after the experiment and compared to using others algorithms produce the best of the level occuracy is 93%.&lt;/p&gt;
ACFT: adversarial correlation filter for robust tracking

Tracking based on correlation filters has demonstrated outstanding performance in recent visual object tracking studies and competitions. However, the performance is limited since the boundary effects are introduced by the intrinsic circular structure. In this study, a tracker, called adversarial correlation filter tracker (ACFT), is proposed to solve the above problem through Generative Adversarial Networks (GANs) that is specifically strong at producing realistic-looking data from noise circumstances. Especially, a mask is generated by the GANs to assist the conventional correlation filter for the spatial regularisation. By overcoming the feature independence of current regularisation in another tracker, the GANs’ mask can be effectively used to identify the robust features for the target variations representation in the temporal domain. Also in the spatial domain, the background features can be substantially suppressed to obtain the optimisation filter for more reliable matching and updating. In verification, the authors evaluate the proposed tracker on the standard tracking benchmarks, and the experimental results show that their tracker outperforms favourably against other state-of-the-art trackers in the measurements of accuracy and robustness.
The Effect of Single Photon Transmission Time on the Probability of Erroneous Registration of Asynchronous Data of Quantum Cryptographic Communication Channels

Expressions are determined to estimate the probabilities of erroneous recording of binary data of a quantum-cryptographic communication channel containing a photon counter with an extending dead time.According to the results of mathematical modeling, the dependences of the probabilities of erroneous data recording at the output of the communication channel are established on the average single-photon transmission time of the characters "0" and "1", on the basis of which the choice of the smallest average transmission time per bit (character), providing the smallest loss of information transmitted, is justified.
Development of Digital Image Processing Methodology WT-MO: An Algorithm of High Accuracy in Detection And Counting of Erythrocytes, Leucocytes, Blasts

Introduction: Annually 257.000 people in the world are diagnosed with leukemia.Leukemia is classified as a disorder in the production of blood cells within the bone marrow, and can be triggered from genetic factors to external factors such as chemical agents and radiation.Its main laboratory finding is the presence of blasts in the bloodstream, which can be easily detected by a hemogram, and the early diagnosis is of great importance for the cure rate.However, early diagnosis is often neglected due to the cost of the blood count.In developed countries like the USA, the state does not guarantee health coverage of the population, while in developing countries there is a long queue waiting for the performance of examinations, in underdeveloped countries there is a population that lives on less than a dollar a day, making access to health difficult and other basic needs.Objective: In view of the foregoing, reducing the costs of the hemogram test without the loss of the reliability of the examination is a primordial necessity.The present study aims to develop an algorithm of segmentation of digital images that is able to detect red blood cells, leukocytes and blasts by means of blood smear images, replacing the use of high-cost hematological equipment by a simple computer.Methodology: For this, an algorithm based on the image processing techniques, Watershed Transform and morphological operations was developed in Matlab (2014a) software, thus giving rise to the WT-MO methodology.In this context, the Watershed Transform is responsible for creating sets of pixels that have aspects similar to the staining and size of a red blood cell.After detection, each red cell is labeled with a number according to the counting order.In turn, morphological operations are responsible for creating a mask over the original image and removing all morphologically resembling pixels with leukocytes, either in full maturation state or in blastoid morphology.Counts results were released separately. Results:The experiments were conducted using 10 digital blood smears obtained from online and open access platforms.The mean number of red cells and leukocytes per field was 61 and 14 cells, respectively.The results showed high accuracy in the detection of red blood cells (90%) and leukocytes (90%), as well as sensitivity (90%) and specificity (90%). Conclusion:The WT-MO algorithm was computer-tested with an Intel Core i3 processor to determine how many seconds the methodology requires to analyze an image.In this way, the average execution time was 3.32 seconds.Therefore, the WT-MO methodology can be seen as the first step to perform the hemogram test with low cost and without loss of quality, speed and reliability.
A Reputation Scheme for a Blockchain-based Network Cooperative Defense

Distributed Denial-of-Service (DDoS) attacks rise in frequency, diversity, and intensity. Often, centralized defense approaches lack hard- and software capabilities. A cooperative, multi-domain DDoS mitigation system provides defense services on top of an existing, distributed infrastructure. However, participants in these systems lack incentives for cooperation and reputation. Thus, reward systems can fill this gap by providing necessary incentives for cooperation among service providers and consumers. This paper presents the design, implementation, and evaluation of a reputation scheme for the Blockchain Signaling System (BloSS). A smart contract-enabled process automates reputation management to diminish malicious behavior by incentive design. Among other metrics, Beta reputation provides intelligence to identify and reward honest participants.