Reviewerly/exHarmony huggingface dataset:
Simplification of application operations using cloud and DevOps

&lt;span&gt;In our experience of having worked with financial institutions for over 19 calendar years, we have seen that application development, maintenance and operations teams have a very silo-ed existence. In today's ever more fluid market, it is imperative for these teams to be very agile in their response to business needs. While development teams are trying to adopt agile and devops practices, operations and maintenance teams are sometimes forgotten in this transformation journey even though they play a very crucial role in managing customer facing systems. In this paper, we focus on application operations for their simplification, outline the post production challenges faced by the operations teams, assistance required from the development teams and need for coordination &amp;amp; harmony between application development and operations teams. We use the example of a financial organization where we are currently helping in simplification of application support processes using two key levers of cloud and devops adoption to highlight the path to simplification. We outline the solution levers we used, solution tenets, solution approach and considerations. We also share a target state model and regulated key functions &amp;amp; activities within the model as well as an interim operating model and a target operating model.&lt;/span&gt;
On $Smathcal{I}H$-property and $SSmathcal{I}H$-property in topological spaces

In this paper, we further investigated the $SS mathcal{I} H$ and $S mathcal{I} H$ properties introduced by Das et. al recently. It is shown that regular-closed $G_delta$ subspace of $SS mathcal{I} H$ (resp., $S mathcal{I} H$) is not $SS mathcal{I} H$ (resp., $S mathcal{I} H$). The preservation properties of these spaces are studied under some maps. Also $SS mathcal{I} H$ and $S mathcal{I} H$ properties are investigated in Alexandroff space.
CORRELATION BETWEEN STUDENTS’ LISTENING ENGLISH SONG HABIT AND STUDENTS’ LISTENING COMPREHENSION

The purpose of this study was to find out the frequency of listening English songs in students’ Listening comprehension and to investigate whether there is significant correlation between students’ listening English song habit and their Listening comprehension. This study used correlation research design. Questionnaire and listening test were used to gain the data related to students’ listening habit and their listening comprehension. The final result of    statistical calculation indicated that the value of tcount from three songs were 7,79 , 10,83 , 9,36  and the value of ttable was 2,03. Thus, the criteria to reject  H0 is fulfilled because  tcount 7,79 , 10,83 , 9,36 > 2,03. So, it can be concluded that Ha is accepted. It means that there is significant correlation betweeen students listening English songs habit and students’ listening comprehension in grade XI IPA 3 of SMAN 1 Anjatan.
Pierce Similarity Algorithm In Detection Of Jar Letter In Al-Quran As Basic Media For Learning Arabic Language Structure

Al-Quran is the basic reason someone should understand the rules of Arabic. One of the basic rules is knowing the jar type which we generally often encounter in Arabic, but we do not understand that this letter has its own duties and functions. In this study, samples of Jar letters were used as many as 7 jar letter patterns which are generally often encountered in the Al-Quran. The purpose of this research is to build a system that can recognize Jar letters using the Pierce Similarity method and performs the performance on the algorithm. The research method used is the theory of pattern recognition in image processing with 2 processes, namely the Training Process and the Testing Process. The value of each letter pattern obtained in the Training Process will be the weight benchmark for the Testing Process, so that we can measure the performance level of Algortima Pierce Similarity in detecting the Jar letter pattern. The results can vary for each letter pattern ranging from 60% to 80%.
Verifying Constant-Time Execution of Hardware

Author(s): Kici, Rami Gokhan | Advisor(s): Jhala, Ranjit | Abstract: To be secure, cryptographic algorithms crucially rely on the underlying hardwareto avoid inadvertent leakage of secrets through timing side channels.Unfortunately, such timing channels are ubiquitous in modern hardware, due toits labyrinthine fast-paths and optimizations. A promising way to avoid timingvulnerabilities is to devise—and verify—conditions under which a hardware designis free of timing variability, i.e., executes in constant-time. While there havebeen significant strides in verifying constant time execution for software,these efforts focus on sequential, cryptographic code. Unfortunately, this makesthem unsuitable for hardware designs which are inherently concurrent andlong-lived.First, we present Iodine: a clock-precise, constant-time approach to eliminatingtiming side channels in hardware. To realize Iodine, we first define a newnotion of constant-time execution that is suitable for concurrent and long livedcomputations. Our definition is based on the notion of influence sets containingall cycles whose inputs influenced the current computation. We then show how toreduce the problem of verifying constant time execution to the standard problemof verifying assertion validity.Second, we present Xenon, which extends Iodine and scales to realistic hardwaredesigns by exploiting modularity in VERILOG code via a notion of modulesummaries. Xenon drastically reduces the effort needed to localize the causes ofverification failure via a novel constant-time counterexamples which are used toautomatically synthesize minimal secrecy assumptions that enable constant-timeverification. We show how Xenon’s summaries and assumption synthesis enable theverification of a variety of circuits including a highly modular AES-256implementation where modularity cuts verification from six hours to under threeseconds, and ScarV, a timing channel hardened RISC-V micro-controller whose sizeexceeds previously verified designs by an order of magnitude.We find that Iodine and Xenon present a practical way to specify and verify theabsence of timing channels in hardware. They succeed in verifying various opensource hardware designs in seconds and with little developer effort thanks togenerated secrecy assumptions. They also discovered two constant-timeviolations: one in a floating-point unit and another one in an RSA encryptionmodule.
Adequacy of H-Likelihood Estimation Method for Unbalanced Clustered Counting Data Models.

This article would concentrate on hierarchical generalized linear models, including generalized linear mixed-models, which are the extension of linear models. In generalized linear models, the dependent variable assumes every distribution from exponential family distributions, e.g., normal, poisson, binomial, gamma, etc.      The poisson-gamma method was applied, where the dependent variable represents the poisson distribution and the standard error is defined by the gamma distribution. In generalized linear models, several estimation methods have been used. Throughout this study, the hierarchical likelihood estimation method was used to determine the effectiveness of this methodology for both data balanced and unbalanced.      This article compares the Adequacy of poisson-gamma H-Likelihood estimation method of mixed effects clustered data models with equal and unequal cluster sizes. This was evaluated in terms of probability of type-I error rate, power and standard error by applying computer simulation. Simulation is performed using different cluster numbers and different cluster sizes. The results show that the performance of the hierarchical likelihood estimation technique provided close approximations in the event of balanced and unbalanced data, while the output of the technique was approximately equivalent in both instances, regardless of cluster size inequality.
LA REGENTA Leopoldo ALAS “CLARÍN” / Rafael RODRÍGUEZ MARÍN (ed.) (Barcelona: Castalia Didáctica, 2019, 1245 págs.)

-
Persepsi Pustakawan Pada Fungsi Hubungan Masyarakat (Humas) Di Perpustakaan Universitas Negeri Padang

Introduction. Public relations is an important service in the library, public relations functions as the delivery of information to users. This study aims to see the perceptions of librarians' perceptions in implementing the public relations function at the Padang State University Library. The specific objectives of this study are; (1) to see the perceptions of librarians in serving library users, (2) to be alert to foster trust from library users to librarians, (3) to see librarians in serving library users, (4) to see how to start and stop librarian communication with library, (5) to see how librarians notify library users if any. new collection, (6) to see the service implementation. public relations by librarians for library users.&#x0D; Data Collection Medhod. This research uses a qualitative method with a descriptive approach. Data collection was carried out by direct research into the library who conducted an interview with one of the librarians in the field of circulation services at the Library of Padang State University.&#x0D; Result And Discussions. Based on the results of research conducted, the results show that public relations services at the Padang State University Library in conveying information to users are based on user needs. The inability of users to find information is the librarian's job to find the information needed and convey information related to new collections that exist in the library to the library users.&#x0D; Conclusions. The research was conducted using qualitative methods to obtain information related to the perception and implementation of public relations at the Padang State University Library.&#x0D; &#x0D; Keyword: Public relations library, public relations service.
PERSPEKTIF CALON GURU TERHADAP PENGGUNAAN MEDIA DIGITAL DALAM PENGAJARAN BAHASA INGGRIS

ABSTRACTUtilizing the technology in the classroom is a demand in industrial era 4.0, especially in teaching English. Therefore, teachers must be able to improve and do innovation in teaching English by employing digital media. This becomes a challenge for the teachers due to the difference of the students’ characteristics and facilities in each school. Hence, this research aims at analyzing pre-service teachers point of view towards the use of digital media in teaching English. The data were obtained through questionnaire analyzed qualitatively. The sources of the data were ten students who did teaching practice in some schools. Most of them give positive respond towards the use of digital media.Keywords: digital media. Teaching English, pre-service teachers
Analysis on Visual Cryptography to Secure Image by using Digital Watermarking

The new approach of Visual Cryptography is hiding data into images and sending that image in  a secure way through the network, and that can be decrypted by human vision only when authorized key is utilized. This technic allows the visualiazed data secured and viewed, and this is possible only if all images are merged together. In today’s technology has made the transmission of digital information arises copyright conflicts. Watermarking is a best solution to the online data protection and copy right violation. Digital watermarking using visual cryptography has been gaining a lot of importance and protection of online data is required[1].The digital watermarking technic is used for securing the data. Digital watermarking by visual cryptography is important where high protection for digital information is necessary. In this analysis, various Visual Cryptography and watermarking technics based on visual cryptography are discussed. The main focus of analysis is on the (2, 2) VC based watermarking where two shares has been generated by using watermarking and coverimages.Keywords: Digital Watermarking, Visual cryptography, Watermark, Security.
"This item is a glaxefw, and this is a glaxuzb": Compositionality Through Language Transmission, using Artificial Neural Networks.

We propose an architecture and process for using the Iterated Learning Model (ILM) for artificial neural networks. We show that ILM does not lead to the same clear compositionality as observed using DCGs, but does lead to a modest improvement in compositionality, as measured by holdout accuracy and topologic similarity. We show that ILM can lead to an anti-correlation between holdout accuracy and topologic rho. We demonstrate that ILM can increase compositionality when using non-symbolic high-dimensional images as input.
WITHDRAWN: NFC based data monitoring and medication scheduling for patients in hospitals

Abstract Patient medication programming is crucial for successful day-to-day tracking in a health sector. It should be pointed out that a well-designed medication plan and data management system will help to access prescription care quickly and efficiently and to increase patient fulfilment. We normally have patient arrivals and registration formats filled out and we wait until the date and availability of the doctors have been settled upon. In the past, there have been some studies into the development of online and mobile appointment. Some have priority appointments.But there is still the wait and the pause in the exploration of a patient. In this regard a preceding updating and appointment system based on the Near Field Communication (NFC) has been established that enables patients to tap the NFC appointment chart at their reception or in their nurse pc or the doctor pc at their hospital/clinic for regular and emergency therapy. The system has a priority scheduling of medicinal items and NFC (RFID) card notification, which relies purely on nurses rather than on software with a message warning service using the Internet.
RTM-ADCIGs Using the Combining Local and Global (Clg) Optical Flow Method: Application for Robust Angle Gathers

Summary Angle-domain Common-Image gathers (ADCIGs) is important output for seismic image and reservoir characterization. Compared with Kirchhoff migration and one-way wave-equation migration, Reverse-Time Migration (RTM) is the most accurate imaging method for complex areas. Generating the angle gathers for RTM efficiency and robustness still is a challenge. In the abstract, we will mainly discuss how to generate high-quality angle gathers with the optical flow method. Firstly, we use the Combining Local and Global (CLG) optical flow to estimate the wavefield direction. Then, we apply the wavefield decomposition method with the analytical wavefield to weaken the wave-front overlapping situation. Moreover, we propose using the valid normalization and least-squares division to improve the estimated accuracy for the reflection angle, and the binning and regularization for the angle gathers is also to be discussed. Finally, we present results on Sigsbee 2A model to illustrate our approach is valid.
A study on the aspects of death education in current high school literature textbooks -Focusing on the genre materials of death motif narrative

A study on the aspects of death education in current high school literature textbooks -Focusing on the genre materials of death motif narrative - literature;literature education;a course of literature education;death;death education;human nature
Smart Attendance Registration For Future Classrooms

Conventional method of attendance marking in a classroom, not only adds the logistical overload on a teacher but also consumes a good proportion of the valuable time of both the teacher and students. Also, due to the large strength of students usually present in a classroom, there is a possibility of proxy attendance. Hence, it is really difficult for a lecturer to manually record the actual attendance. This is the reason for growing need of smart and automated attendance registration system in a class room. The focus of this work is to develop a more reliable and user friendly attendance registration system. Here, the face of an individual is used for the purpose of attendance marking. This stems on the fact one of the unique feature of an individual is his face. The face recognition strategy examines the facial features, recognize and match them to one of the many faces in the database. First, faces need to be detected from global image and then, the detected image is recognized and attendance of recognized students are exported to a database. Viola Jones algorithm is used for real time face detection. Face recognition is done by combining Principal Component Analysis (PCA) algorithm.
Patent Showdown at the N.D. C[orr]al

Software patent cases often present dozens of claims requiring tremendous effort and years of costly litigation to reach a resolution. In a provocative essay, Judge William Alsup offers an innovative case management solution inspired by western frontier justice. As Judge Alsup warned attorneys in a recent case, tell your clients that “the day of reckoning is close at hand.”Modeled after the famous “Shootout at the OK Corral,” the “Showdown at the N.D. C[orr]al” aims to streamline patent litigation by requiring the patentee to choose its “best” claim and the defendant to choose the “weakest” claim for an early summary judgment showdown. Judge Alsup emphasizes the potentially severe stakes: “injunction city” if the patentee prevails and “big” sanctions if the claims fail.This article assesses whether Judge Alsup’s patent case management invention works for its intended purposes. Based on a review of the two showdowns to date, it concludes that the showdown procedure has yielded mixed results. The procedure, however, raises serious fairness concerns that could well lead to a bigger showdown at the Federal Circuit Corral.
PEMANFAATAN METODE MARKER BASED TRACKING PADA TEKNOLOGI AUGMENTED REALITY (AR) UNTUK RANCANG BANGUN APLIKASI TUNTUNAN SHOLAT PADA PLATFORM ANDROID

Prayer is a compulsory worship for every Muslim. Therefore, from the earliest possible time the children should begin to be taught to pray so that later when they reach the compulsory age for praying, the children are ready. Various methods can be applied by parents and teachers to teach how to perform prayers with the correct prayer movements and readings. The rapid development of information and communication technology, both in terms of hardware and software, can be used as a tool to create learning media for prayer guidance. Among them is the android based (AR) technology. AR or known as augmented reality is a new technology in the multimedia field. AR technology that can combine the real world with the virtual world, is interactive according to real time (real time), and takes the form of 3D animation. AR is a technology that is able to combine virtual objects in two dimensions (2D) or three dimensions (3D) into a real environment, then project these objects in real time. AR technology is broadly divided into two, namely marker based trackin and markerless. In this study, a marker based tracking method will be used and runs on an Android-based smartphone to build a learning media application for prayer and reading movement guidance aimed at children to make it more interesting. With the marker based tracking method on technology, children will get a profile picture of prayer movements and their reading. Keywords: reality, marker based tracking
Streamline Graded Readers Level 1 , 2 , 3, 4

Streamline Graded Readers Level 1 , 2 , 3, 4 , Streamline Graded Readers Level 1 , 2 , 3, 4 , دانشگاه تهران
A SIGEVO impact award for a paper arising from the COCO platform

The paper Comparing Results of 31 Algorithms from the Black-Box Optimization Benchmarking BBOB-2009 received the 2020 SIGEVO Impact Award for ten-year impact, which was announce at the ACM GECCO 2020 conference. The work compares the performance of 31 algorithms that had been benchmarked with the Comparing Continuous Optimizer platform (COCO) for the Black-Box-Optimization Benchmarking (BBOB) GECCO workshop in 2009.
Algorithmic Central Planning: Between Efficiency and Freedom

The paper hypothesizes that due to developments in computing and data analytics technologies, an economic order based on planning might soon be feasible, and potentially more efficient than that based on individual property, contract and market exchange. I explore the consequences of this claim for the normative theory. In the areas of economy promising the highest efficiency gains, or characterized by significant inequality in the distribution of social costs of markets’ operation (like healthcare, transport or agriculture), it might be worthwhile to consider planning as the new organizing paradigm. However, if the hypothesis is plausible, we might soon be facing a question: do we prefer a liberal economic order because it leads to higher overall efficiency, or because it promotes individual liberty and autonomy? As of today the answer is “both,” but this answer is contingent upon the current state of technology. I argue that as long as efficiency is the organizing principle of private law, we risk concluding that property, contract, and markets become obsolete once planning offers a higher degree of efficiency. This conclusion would come at the cost of individual liberty. Moreover, I suggest that the societal move towards a planned economy could occur tacitly, step-by-step, without an explicit decision by the community. This move could follow the incentive structure in the law and the overall ideology of late capitalism. Without issuing a judgment on the superiority of one paradigm over the other, I argue that for the transition to be legitimate, it should result from an explicit democratic process. I conclude with some suggestions on how to achieve it.
Analyzing the Competition: Abstractive Summarization at Thomsom Reuters Labs

This manual task of writing a summary for a 30->100 page court document can be measured against a computer written task to learn the publishable acceptance accuracies of each. Acceptance leverages accuracy and grammar. The initial accuracies were 74% for the computer approach and 88% for the manual human approach.The first computer approach started with 100M annotated documents and the watershed moment came when they used OpenNMT. Initially the approach used a human manual highlight of the sentences (text) to summarize. Just doing this reduced the time from 30 mins to 3 mins per document.Next, they performed TFIDF and embeddings to get a weighted embedding for each sentence of the court documents. They choose the highest scoring sentences (the distinguishing ones) using this weighted BOW model. Finally, they introduce a language scoring by leveraging BertScore.Lastly, they adjusted the focus for the human reviewers to review the abstracts most likely needing review. This was accomplished using a straightforward binary classifier of ones needing or not needing editing in the past.