Reviewerly/exHarmony huggingface dataset:
Efficient Design of Image Cipher Technique Using Reversible Logic

The reversible cryptographic logic is a prominent ﬁeld in the  applications of optical estimating, discrete time signal process, nanotechnologies, bio-information and low-power and low weight applications. For the above applications,Security is the very vital factor to focus on.Power and area parameters are also viewed for cryptographic protocols.Moreover,the intruders or hackers may eavesdrop or modify the data which is transmitted through the channel.To prevent this situation,Reversible logic cryptography is established in this research with optimum quantum cost,area and power. With the help of RLC,the key generated by Linear feedback shift register is utilized for encipher and decipher methods in symmetric manner. The performances are estimated for conventional and proposed method. About 7% of performance is improved in reversible logic cryptographic design related to the traditional design such as AES and Chaotic map technique.
Exploring Vision Transformers for Fine-grained Classification.

Existing computer vision research in categorization struggles with fine-grained attributes recognition due to the inherently high intra-class variances and low inter-class variances. SOTA methods tackle this challenge by locating the most informative image regions and rely on them to classify the complete image. The most recent work, Vision Transformer (ViT), shows its strong performance in both traditional and fine-grained classification tasks. In this work, we propose a multi-stage ViT framework for fine-grained image classification tasks, which localizes the informative image regions without requiring architectural changes using the inherent multi-head self-attention mechanism. We also introduce attention-guided augmentations for improving the model's capabilities. We demonstrate the value of our approach by experimenting with four popular fine-grained benchmarks: CUB-200-2011, Stanford Cars, Stanford Dogs, and FGVC7 Plant Pathology. We also prove our model's interpretability via qualitative results.
The Effect of Pictionary Technique Opun the Students’ Intensive Speaking Skills at SMK Mutiara Ilmu Makasssar

The mean score of post-test (73.9) was higher than the pre-test (59.5) withthe gain was 14.4 and it wa significant at the level 0.05. It means that was animprovement in the students’ intensive speaking after being taugh throughPictionary method. It was proved by the result of the statistical analysis of adegree of freedom (df) = 38 indicated the that the t-test values of the studentsspeaking (5,747) was higher than t-table value (2,021). In this research theeefectiveness of Pictionary method also can be seen from the effectiveness test.Where the result of of the test is 0.24(R<1).
Mindfulness, Reading Anxiety, and Self-Efficacy of Korean EFL College Students

The purpose of this study was to investigate whether the state of mindfulness exhibited by Korean EFL college students had an effect on the level of anxiety and self-efficacy they experienced during their L2 reading. The following research questions were constructed. First, is there a relationship between mindfulness and anxiety in L2 reading? Second, is there a relationship between mindfulness and self-efficacy in L2 reading? A total of 108 male and female students attending a University in Daejeon, Korea participated in the study at the end of the 2020 spring semester. Data collected from a self-report questionnaire were analyzed using SPSS. Regression analyses revealed two findings. First, the participants with higher states of mindfulness tended to read English with less anxiety. Second, the students who exhibited higher states of mindfulness had greater self-efficacy than those with lower states of mindfulness. Hence, EFL college students’ state of mindfulness can affect their reading anxiety and self-efficacy related to L2 reading. Pedagogical implications as well as directions for future research are provided.
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic.

The approach to proof search dubbed proof search, and previously developed by the authors for implicational intuitionistic logic, is in this paper extended to LJP, a focused sequent-calculus presentation of polarized intuitionistic logic, including an array of positive and connectives. As before, this includes developing a coinductive description of the search space generated by a sequent, an equivalent inductive syntax describing the same space, and decision procedures for inhabitation problems in the form of predicates defined by recursion on the inductive syntax. We prove the decidability of existence of focused inhabitants, and of finiteness of the number of focused inhabitants for polarized intuitionistic logic, by means of such recursive procedures. Moreover, the polarized logic can be used as a platform from which proof search for other logics is understood. We illustrate the technique with LJT, a focused sequent calculus for full intuitionistic propositional logic (including disjunction). For that, we have to work out the negative of LJT into LJP (that sees all intuitionistic types as types), and verify that the translation gives a faithful representation of proof search in LJT as proof search in the polarized logic. We therefore inherit decidability of both problems studied for LJP and thus get new proofs of these results for LJT.
Container-Oriented Cloud Resource Scheduling

With the rapid development of today's society, the cloud computing industry is also rapidly emerging due to its new high-efficiency and relatively low-cost characteristics. Cloud computing is a commercial computing model and a service form of cloud resource sharing. Resource scheduling in the cloud is not just traditional virtual machine granularity scheduling. This paper mainly establishes a container granularity cloud resource scheduling model and demonstrates the superiority of the model through a hybrid simulated annealing algorithm.
ICAO GASeP 이행을 위한 위험기반 보안관리체계 구축 방안 연구

As the threat level of terrorists to civil aviation, the international community agreed on the need for a concrete and systematic global roadmap to enhance aviation security. In response, ICAO adopted the GASeP at its 39th General Assembly in 2016. GASeP selected five priority outcomes to enhance the awareness and responsiveness of aviation-related parties, to enhance aviation security culture and human capabilities, to promote technological enhancement and institutional improvement, to improve security supervision and level management, and to expand cooperation and support at home and abroad. In addition, 32 implementation plans and 94 roadmap implementation tasks were selected. However, the current security measures in Korea do not fully reflect the original intent of GASeP. The main goal of GASeP is to establish risk-based approach for all security areas by risk management measures such as SeMS. In order to operate SeMS, data collection is essential, which is closely related to security culture. Therefore, this paper tries to present the establishment of a SeMS based on the requirements that GASeP is aiming for and the establishment of a security culture to promote self-reporting system.
Policy-Guided Heuristic Search with Guarantees.

The use of a policy and a heuristic function for guiding search can be quite effective in adversarial problems, as demonstrated by AlphaGo and its successors, which are based on the PUCT search algorithm. While PUCT can also be used to solve single-agent deterministic problems, it lacks guarantees on its search effort and it can be computationally inefficient in practice. Combining the A* algorithm with a learned heuristic function tends to work better in these domains, but A* and its variants do not use a policy. Moreover, the purpose of using A* is to find solutions of minimum cost, while we seek instead to minimize the search loss (e.g., the number of search steps). LevinTS is guided by a policy and provides guarantees on the number of search steps that relate to the quality of the policy, but it does not make use of a heuristic function. In this work we introduce Policy-guided Heuristic Search (PHS), a novel search algorithm that uses both a heuristic function and a policy and has theoretical guarantees on the search loss that relates to both the quality of the heuristic and of the policy. We show empirically on the sliding-tile puzzle, Sokoban, and a puzzle from the commercial game `The Witness' that PHS enables the rapid learning of both a policy and a heuristic function and compares favorably with A*, Weighted A*, Greedy Best-First Search, LevinTS, and PUCT in terms of number of problems solved and search time in all three domains tested.
Scalable Statistical Inference of Photometric Redshift via Data Subsampling

Handling big data has largely been a major bottleneck in traditional statistical models. Consequently, when accurate point prediction is the primary target, machine learning models are often preferred over their statistical counterparts for bigger problems. But full probabilistic statistical models often outperform other models in quantifying uncertainties associated with model predictions. We develop a data-driven statistical modeling framework that combines the uncertainties from an ensemble of statistical models learned on smaller subsets of data carefully chosen to account for imbalances in the input space. We demonstrate this method on a photometric redshift estimation problem in cosmology, which seeks to infer a distribution of the redshift—the stretching effect in observing the light of far-away galaxies—given multivariate color information observed for an object in the sky. Our proposed method performs balanced partitioning, graph-based data subsampling across the partitions, and training of an ensemble of Gaussian process models.
Privacy Preservation of the User Data and Properly Balancing Between Privacy and Utility

The privacy and utility are the trade-off factors, where the performance of one factor should sacrifice to achieve the other. If privacy is achieved without publishing the data, then efficient utility cannot be achieved, hence the original dataset tends to get published without privacy. Therefore, it is essential to maintain the equilibrium between privacy and utility of datasets. In this paper, we propose a new privacy utility method, where the privacy is maintained by lightweight elliptical curve cryptography (ECC), and utility is maintained through ant colony optimisation (ACO) clustering. Initially, the datasets are clustered using ACO and then the privacy of clustered datasets is maintained using ECC. The proposed method has experimented over medical datasets and it is compared with existing methods through several performance metrics like clustering accuracy, F-measure, data utility, and privacy metrics. The analysis shows that the proposed method obtains improved privacy preservation using the clustering algorithm than existing methods.
Infographic - What a school library can do for you

In 2018 SLAV released an infographic entitled What a School Library Can Do for You. This was an engaging way of illustrating the various roles undertaken by school libraries and the ways they can support and enrich learning opportunities for their communities. The infographic is available as a free download on the SLAV website, and it has also been printed as a poster and distributed to members. It is also used in a range of ways including as part of our membership benefits brochure.The next step in the infographics journey has come into being.Here, in the Interactions section of Synergy, we would like to share the infographic as an interactive tool. Various phrases and words on the graphic have been given a link that will lead you to examples of research evidence, readings etc., on that area of school library programming.This new version of the infographic has also been given a new page on the SLAV website and we aim to update the page with new links and findings as they become available.We hope you find this resource useful. Feel free to share.
Effectiveness of SliMS Automation System Servicesfor Library Service Support (Case Study in MAN 1Bandar Lampung)

Effectiveness of SliMS Automation System Services forLibrary Service Support (Case Study in MAN 1 BandarLampung. The SliMS automation system provide convenience in library management, such as collection storage, circulation systems, recording of visit statistics, evaluating collection usage,and through internet access. This study aims to determine the effectiveness of the SliMS automation system in expanding services, the performance of library heads and Madrasah head support at MAN 1 Bandar Lampung. This study used a qualitative method with 8 informants. Data collection techniques are done through observation, interviews and documentation.Finding: Slims automation system services not yet accessed online are still focused on administrative main tasks such as cataloging, tracking and circulation. Performance in the library does not have information technology experts, madrasa head support for the library is not optimal. Conclusion: SliMS Automation System based library services in MAN 1 Bandar Lampung are not optimal.
광주대교구 초기 천주교 성당건축에 관한 연구

When establishing a parish, there was a pattern that all presbyteries were built in a Western brick style while the church was first built in a Western wooden style to be used as a temporary church and later a brick parish was built or a Western wooden style building imitating the brick one was constructed as a permanent parish. It is judged that Western wooden style buildings were preferred because they were more modern with a lower construction cost than Korean style ones. The church plan is mainly composed of a rectangle with no distinction between Nave and Aisle, and its structure is divided into a brick style and a Western wooden one and its format are not more varied than other regions. It is a characteristic of this region that the Western-style building is finished with wire mesh mortar to imitate the brick style. The church built in 1930 under the jurisdiction of the Missionary Society of Saint Columban, applied a module of 3.65m in size setting. The interval between the side bays is 3.65m and the front also reaches to 2 or 3 times of the module. In the mid-and-late 1950s, there was a common phenomenon of increasing the size of the church, such as the expansion of little buildings and the expansion of three bays to increase the size of a nave. This is attributable to the sharp increase in Catholic believers after the Korean War, which particularly stands out in the late 1950s.
A comparison of U-net backbone architectures for the automatic white blood cells segmentation

Reliable recognition of white blood cells is an essential step in the diagnosis of several types of cancer. Therefore, the segmentation of white blood cells plays an essential role and is an important part of the medical diagnostic system. Manual cell diagnosis involves doctors visually examining microscopic images to detect any cellular abnormalities. This step is costly and time-consuming. An automated system based on white blood cell identification provides a more accurate result than the manual method. Image segmentation is one of the crucial contributions of a deep learning community to the medical field. In this paper, we demonstrate how the U-Net type architecture can be improved by the use of the pre-trained encoder, a comparison of several efficient methods for automatic recognition of white blood cells using the original U-NET, different pre-trained classification networks are used as the backbone to obtain better performance. The architecture of RESNET-50 obtains the best segmentation results on testing data for automatic recognition in cytological images with a less amount of training epochs.
Migration Routes of Matter From The Tailing Dump: Electrotomography and Geochemical Sampling Data

Summary In the broad problem of the negative impact of the mining and processing industry waste on the environment, researchers pay special attention to the distribution, behavior, patterns of transport and deposition of arsenic as a particularly dangerous element with a high migration ability. The abstracts describe the behavior of the main pollutants on the maps of the Khovu-Aksy burial site. In the stored waste of hydrometallurgical processing of arsenide Cu-Ni-Co-ores over the years of storage, a zoning was formed, determined by the distribution of watered layers, lenses and areas in the subsurface space. Pore waters are represented by highly mineralized solutions, in which the arsenic content reaches 7.7 mg/l. The geoelectric parameters of the substance are consistent with its geochemical composition, namely, the level of mineralization of pore solutions. Geoelectric sections indicate the presence of leaks deeper than the protective layer, and the ingress of toxic solutions into groundwater. The calculation of the metals amount and metalloids in solid matter and pore water, showed the existence of a high risk of the spread of arsenic in mobile forms large amounts in the event of extreme weather conditions and the spread of the substance outside the storage facilities.
Hearing history: a virtual perspective on music performance

Acoustic space is fundamental to the way that we experience live music in performance, but it is a dimension of performance that is exceptionally difficult to control and to replicate between venues. While this makes some sites incredibly attractive as performance and recording venues, it also limits the opportunity for composers and performers to actively and systematically use space as a musical effect, and it presents challenges for performers of historic music, who must reimagine historic repertoire for modern concert venues that are very different spaces to those that would have been known to composers, performers and audiences in the past. This chapter explores 3D sound modelling and music performance as key – though often neglected – points of interface in Virtual Reality (VR), and how the technology of VR gaming might be used as a platform for investigating historical performance spaces and the music that was performed within them. It explores how virtual acoustics might provide new insights into historic and musicological research, and how VR-derived post-production tools might lead to new approaches to classical music production; new commercial music products and revenue, and the opportunities and challenges that present to audiences, performers and composers.
IDENTIFYING THE NEEDS FOR BUSINESS AND MEDIA WRITING SKILLS AT THE WORKPLACE

Language becomes main tools to deliver information, one of which is through writing. As communication becomes more digitalized, written communication in English is more often used at the workplace. This research attempts to identify the writing tasks carried out by workers at various working levels. The data of the research were gained through questionnaire distributed to staffs working in companies or organizations in Indonesia. The data shows that writing skills are highly demanded for staffs from various areas of expertise and professions. The written tasks that are frequently conducted in English include internal and external communication, business and negotiation, and public relations. Since, the business English becomes a requirement to maintain communication in professional areas, the workers should develop their English proficiency, especially in writing skills. These skills will help them to carry out their written tasks at the workplace. Keywords : writing skills, writing tasks, business English, business communication skills, media writing skills
Design of a Sobel Edge Detection Algorithm on FPGA

In this paper we see the advantage to realize a real time parallel processing of image data comes with the use of Field Programmable Gate Array (FPGA). This paper highlights on the use of image edge detection, mainly turning the focus on a gradient filter, the Sobel filter. Here we design a Sobel edge detection algorithm to define the edge for a given gray scale image choosing the Zynq Development target board on Vivado software.
Manually Annotated Spelling Error Corpus for Amharic.

This paper presents a manually annotated spelling error corpus for Amharic, lingua franca in Ethiopia. The corpus is designed to be used for the evaluation of spelling error detection and correction. The misspellings are tagged as non-word and real-word errors. In addition, the contextual information available in the corpus makes it useful in dealing with both types of spelling errors.
LibGuides: Researching and Writing about English Literature: Searching

This is a guide for students who are tasked with writing research papers on topics in English Literature or Comparative Literature. The guide is targeted at JR and SR Independent Study, but students in many English classes might find it useful.
A Study and Review on implementation of Machine Learning Techniques & Data Mining in the Domain of Heart Disease Prediction

Heart disease, which is also known as cardiovascular disease, encloses different conditions that effect the heart and is the primary basis of death worldwide over the span of the last few decades. It associates many risk factors in heart disease and a need of the time to get accurate, reliable, and sensible approaches to make an early diagnosis to achieve prompt management of the disease. Data mining is a commonly used technique for processing enormous data in the healthcare domain. Researchers apply several data mining and machine learning techniques to analyses huge complex medical data, helping healthcare professionals to predict heart disease.
Analisis Data Sekunder Untuk Kekeringan Hidrologi Di Daerah Irigasi Sempor Kabupaten Kebumen

Water is an important element in life because all living things on earth need water. The agricultural sector needs a very large amount of water to grow and develop plants. Agriculture in Kebumen Sub-District Section is very dependent on Sempor Irrigation Area, but based on the completeness of data and annual information, Paddy Land in Sempor Irrigation Area there are constraints of surface water supply shortages to meet water needs for agriculture and cause crop failures in a number of areas. This condition is the background of research conducted with the aim of: 1) Identifying Hydrological Drought in Sempor Irrigation Area in Kebumen District Using Secondary Data, 2) Analyzing the Balance Between Availability and Irrigation Water Needs, 3) Provide Solutive Input On The Potential For Hydrological Drought In The Sempor Irrigation Area. The method used in this research is descriptive-quantitative method with secondary data analysis. The results showed that drought in the Sempor irrigation area of Kebumen district often occurred in August the first week and the second week. From Table 5.1 above it can be seen that the maximum water deficit in the Sempor Irrigation Area is -5,924.11 m3/second/ha in August I, while the maximum water surplus is 17,484.2 m3/second/ha in December II. The cropping-paddy-secondary-cropping pattern is appropriate in accordance with the conditions of irrigation water availability and agricultural water requirements. Based on the value of water balance, the need for agricultural water for rice-paddy planting patterns has been fulfilled by the availability of water in the Sempor irrigation area. As for the third cropping pattern namely palawija, it cannot be fulfilled.Keywords: Drought, Hydrological Drought, Irrigation, Agriculture.