Reviewerly/exHarmony huggingface dataset:
Barriers to the Adoption of Blockchain Technology in Indian Public Distribution System

The public distribution system (PDS) of India is the world’s largest distribution network. To meet the future demand, the PDS needs the adoption of latest technological advancements. This chapter studies the impediments in Blockchain adoption to Indian PDS with the help of industry experts’ opinion. The prioritization of identified barriers in this chapter, which was done using a Best worst Method (BWM) technique, will be useful for stakeholders and government authorities to take necessary actions according to the weight of each barrier. This chapter helps us to understand how to deal with the challenges on Blockchain implementation. This chapter suggests designing a proper system with adequate governance to promote the Blockchain adoption design for the smooth working of the system.
Zooids

Zooids are small wheeled robots that can coordinate to create physical charts and interfaces. Working together, Zooids can give physical form to well-known interactive visualizations and also let us explore new visualization and interaction paradigms.
Stronger Authentication

Different methods of authentication are not considered equal. The static passwords that still enable access to many Internet services are considered a relatively weak authentication mechanism. Several stronger forms of authentication exist, and their use is recommended to better protect online resources. In this chapter, we’ll discuss the issues with static passwords and how stronger forms of authentication can be used for multi-factor authentication and step-up authentication.
OpenID Connect

As described in the previous chapter, OAuth 2 provides a framework for authorizing applications to call APIs, but isn’t designed for authenticating users to applications. The OpenID Connect (OIDC)1 protocol provides an identity service layer on top of OAuth 2, designed to allow authorization servers to authenticate users for applications and return the results in a standard way. Some implementations of OAuth 2 added proprietary additions to do this, but a standard solution was needed. In this chapter, we’ll describe the problem OIDC solves in more detail and how an application can use OIDC to authenticate a user.
SAML 2

The Security Assertion Markup Language (SAML) 21 is known for providing two important features, cross-domain single sign-on (SSO) and identity federation. SAML 2 has been adopted in many enterprise environments because it enabled the enterprise to have applications used by employees, customers, and partners delegate user authentication to a centralized enterprise identity provider. This gave the enterprise a central place to manage and control identities. If you are writing an application for large enterprise customers, they may expect you to support authentication using SAML 2. In this chapter we’ll provide an overview of how SAML 2 provides SSO and how to most efficiently achieve support for this protocol for your application.
Sessions

A user’s interaction with an application over a period of time is known as a session. Users expect to navigate through the application and perform various transactions during their session without having to authenticate every time they interact with the application. In order to make this possible, an application needs a way to track that a user has been authenticated. Data about whether, when, and how a user has authenticated may be tracked by an application along with other information it maintains during a user’s session. Sessions and session state may be handled differently for web applications, single-page applications, and applications that run natively on a device, such as mobile applications. In this chapter, we’ll describe where sessions exist, session expiration, and renewing sessions.
Animated Videos Boost Grade IV Short Story Writing Skills: Experimental Study

&#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; This study aimed to investigate the influence of animated video media on the short story writing skills of grade IV students at SDN 1 Paciran. The research followed a quantitative experimental approach, utilizing a pre-experimental design with a one-group pretest-posttest design. The population comprised 30 students, and a saturated sampling technique was employed, including all students. Data analysis involved normality tests and paired t-tests. The results of the normality test indicated that the data was normally distributed, as the p-values for both the pretest and posttest were greater than 0.05. The paired t-test analysis revealed a significant improvement in short story writing skills, with a significance value (1-tailed) of 0.000 &lt; 0.05. The findings suggest that the use of animated video media positively influences the development of short story writing skills in grade IV students. This study holds implications for educators and curriculum designers, highlighting the potential of animated video media as an effective tool in enhancing students' writing abilities.&#x0D; Highlights:&#x0D; &#x0D; Interactive learning: The use of animated video media engages students in a dynamic and interactive learning process, enhancing their short story writing skills.&#x0D; Quantitative experimental research: This study employs a quantitative experimental research design to rigorously examine the impact of animated video media on grade IV students' short story writing abilities.&#x0D; Significance of media integration: The findings emphasize the significance of integrating animated video media into the curriculum as a means to foster students' creativity and proficiency in writing short stories.&#x0D; &#x0D; Keywords: animated video media, short story writing skills, grade IV students, quantitative experimental research, pretest-posttest design.&#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D; &#x0D;
A Life History Research for a Manager with Regard to His Success Case of a Hoetjip Operation

The purpose of this study is to contribute to the revitalization of restaurant business by reproducing the process of a hoetjip manager's extraordinary working life and success story after founding the business with a study of life history research, a qualitative study. The results of this study are as follows. First, President Lee Bada created a sound occupation view as a chef through unusual choices and determination, and through the foregoing, he developed a future-oriented kitchen work culture. Second, after the establishment of the hoetjip, President Lee Bada has exhibited servant leadership to practice low attitude and consideration thereby strengthening emotional empathy with business partners and acting as a counselor to employees. Third, President Lee Bada discovered and implemented unique policies in the concept and promotion of restaurant operation thereby achieving innovation and high performance in hoetjip management. The results of this study explored the process of transformation into a unique philosophy and entrepreneur through the life history of a chef. It is expected that the process and results will provide useful directions for those who want to become cooks and those who want to start a restaurant business hereafter.
Circular Bowing, Cyclical Work

Circular Bowing, Cyclical Work explores the collaboration between composer Henrik Strindberg and myself, violinist Karin Hellqvist, from my viewpoint as performer and co-creator. On my initiative, as part of my PhD in artistic research at the Norwegian Academy of Music in Oslo, a cyclical collaborative practice is being developed. Our process differs from the conventional separation of roles that I have so far experienced as a performer of contemporary Western classical music. The exposition highlights how my understanding of the emerging concept of 'the artistic palette' develops through the shared work and dialogue around Cirkulära Stråk for violin and electronics, when expanding my practice and establishing a new work mode. Through examples from the artistic process, the exposition aims at further unfolding how we as collaborators develop ways of challenging each other. A keyword for my defiance of the traditional and formal task division, is the search for connection – connection to my collaborator, the work, and the embodied knowledge of my artistic palette. The exposition comprises written reflections, transcribed dialogue and sketches as well as video and audio documentation. Documentary video conversations are held in Swedish with English subtitles.
On some skew codes over ℤq + uℤq

In this paper, we investigate the structure and properties of skew negacyclic codes and skew quasi-negacyclic codes over the ring [Formula: see text] Some structural properties of [Formula: see text] are discussed, where [Formula: see text] is an automorphism of [Formula: see text] A skew quasi-negacyclic code of length [Formula: see text] with index [Formula: see text] over [Formula: see text] is viewed both as in the conventional row circulant form and also as an [Formula: see text]-submodule of [Formula: see text], where [Formula: see text] is the Galois extension ring of degree [Formula: see text] over [Formula: see text] and [Formula: see text] is an automorphism of [Formula: see text] A sufficient condition for one generator skew quasi-negacyclic codes to be free is determined. Some distance bounds for free one generator skew quasi-negacyclic codes are discussed. Furthermore, given the decomposition of a skew quasi-negacyclic code, we provide the decomposition of its dual code. As a result, a characterization of self-dual skew quasi-negacyclic codes over [Formula: see text] is provided. By using computer search we obtained a number of new linear codes over [Formula: see text] from skew negacyclic and skew quasi-negacyclic codes over [Formula: see text].
Compliance

Mention the word “compliance” to an application development team, and you may get some quizzical looks. What exactly is compliance and why does it matter to application developers? This chapter will provide a brief overview of compliance, why it’s needed, how it benefits application providers, and how to approach it.
Troubleshooting

You’ve created your application, fired off your first authentication, and your hard work blows up in a roaring flame of error messages… or, worse, nothing happens, no error messages are displayed, and you don’t have a clue where to start looking. Fear not, there is a methodical approach to debugging authentication and authorization issues. We’ll share an approach, tools, and techniques, and soon you’ll be solving authentication and authorization issues with the mastery of Sherlock Holmes.
A Recommendation System for Buying a used Car using the Promethee Method

Along with the times and lifestyle changes, cars have begun to become an important means of transportation, even mandatory for today's people. Buying a used car is one solution for some people who have limitations to buy a new car. When buying a used car, there are several criteria that potential buyers want. The number of these criteria often confuses potential buyers in determining the choice of a car that suits their wishes. Therefore, it is necessary to have a decision-supporting information system that can help in increasing efficiency and effectiveness in the selection of used cars. The data used in this study were obtained through literature studies, questionnaire division and data scrapping. The data is used to build a decision support system application using the Preference Ranking Organizational Method for Enrichment Evaluation (PROMETHEE) method to be a solution to determine the choice that best suits the criteria of prospective used car buyers. Evaluation is carried out by precision and recall testing, as well as questionnaires on prospective buyers to conduct a user acceptance test. The test results show that the PROMETHEE method can be used to provide recommendations for used cars according to the criteria of potential buyers. In addition, 89.2% of respondents agreed that the system built can make it easier for potential buyers to make their choice
Recursive Functions and the Stack

In Chapter 10 , you learned that functions can be used to package together pieces of code into well-defined units that can be reused over and over again. In this chapter, we are going to go into more detail about how JavaScript keeps track of these functions.
Classification of Schmidt-rank-two multipartite unitary gates by singular number

Abstract The multipartite unitary gates are called genuine if they are not product unitary operators across any bipartition. We mainly investigate the classification of genuine multipartite unitary gates of Schmidt rank two (SR-2), by focusing on the multiqubit scenario. For genuine multipartite (excluding bipartite) unitary gates of SR-2, there is an essential fact that their Schmidt decompositions are unique. Based on this fact, we propose a key notion named as singular number (SN) to classify the unitary gates concerned. The SN is defined as the number of local singular operators in the Schmidt decomposition. We then determine the accurate range of SN. For each SN, we formulate the parametric Schmidt decompositions of genuine multiqubit unitary gates under local equivalence. Finally, we extend the study to three-qubit diagonal unitary gates due to the close relation between diagonal unitary gates and SR-2 unitaries. We start with discussing two typical examples of SR-2, one of which is a fundamental three-qubit unitary gate, i.e. the CCZ gate. Then we characterize the diagonal unitary gates of SR greater than two. We show that a three-qubit diagonal unitary gate has SR at most three, and present a necessary and sufficient condition for such a unitary gate of SR-3. This completes the characterization of all genuine three-qubit diagonal unitary gates.
Contract Strengthening through Constrained Horn Clause Verification

The functional properties of a program are often specified by providing a contract for each of its functions. A contract of a function consists of a pair of formulas, called a precondition and a postcondition, which, respectively, should hold before and after execution of that function. It might be the case that the contracts supplied by the programmer are not adequate to allow a verification system to prove program correctness, that is, to show that for every function, if the precondition holds and the execution of the function terminates, then the postcondition holds. We address this problem by providing a technique which may strengthen the postconditions of the functions, thereby improving the ability of the verifier to show program correctness. Our technique consists of four steps. First, the translation of the given program, which may manipulate algebraic data structures (ADTs), and its contracts into a set of constrained Horn clauses (CHCs) whose satisfiability implies the validity of the given contracts. Then, the derivation, via CHC transformation performed by the VeriCaT tool, of a new set of CHCs that manipulate only basic sorts (such as booleans or integers) and whose satisfiability implies the satisfiability of the original set of clauses. Then, the construction of a model, if any, of the new, derived CHCs using the CHC solver SPACER for basic sorts. Finally, the translation of that model into the formulas that suitably strengthen the postconditions of the given contracts. We will present our technique through an example consisting of a Scala program for reversing lists. Note that the Stainless verifier is not able to prove the correctness of that program when considering the given contracts, while it succeeds when considering the contracts with the strengthened postconditions constructed by applying our technique.
Building a Parallel Corpus and Training Translation Models Between Luganda and English

Neural machine translation (NMT) has achieved great successes with large datasets, so NMT is more premised on high-resource languages. This continuously underpins the low resource languages such as Luganda due to the lack of high-quality parallel corpora, so even 'Google translate' does not serve Luganda at the time of this writing. In this paper, we build a parallel corpus with 41,070 pairwise sentences for Luganda and English which is based on three different open-sourced corpora. Then, we train NMT models with hyper-parameter search on the dataset. Experiments gave us a BLEU score of 21.28 from Luganda to English and 17.47 from English to Luganda. Some translation examples show high quality of the translation. We believe that our model is the first Luganda-English NMT model. The bilingual dataset we built will be available to the public.
A Q&amp;A about Differential Privacy

This article is a Q&A on differential privacy (DP), a state-of-the-art and popular privacy concept. There are 11 questions, including “What is DP?”, the reasons for its popularity among privacy researchers, examples of real-world applications of DP, and open-source code and platforms on DP. For those who have heard about DP, but have not yet had a chance to read papers and publications on DP (either technical or non-technical) I hope this Q&A will provide something useful and insightful.
A DCRC Model for Text Classification

Traditional text classification models have some drawbacks, such as the inability of the model to focus on important parts of the text contextual information in text processing. To solve this problem, we fuse the long and short-term memory network BiGRU with a convolutional neural network to receive text sequence input to reduce the dimensionality of the input sequence and to reduce the loss of text features based on the length and context dependency of the input text sequence. Considering the extraction of important features of the text, we choose the long and short-term memory network BiLSTM to capture the main features of the text and thus reduce the loss of features. Finally, we propose a BiGRU-CNN-BiLSTM model (DCRC model) based on CNN, GRU and LSTM, which is trained and validated on the THUCNews and Toutiao News datasets. The model outperformed the traditional model in terms of accuracy, recall and F1 score after experimental comparison.
Power sum polynomials and the ghosts behind them

Abstract The power sum polynomial associated to a multi-subset of the projective plane $$\text {PG}(2,q)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mtext>PG</mml:mtext><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mi>q</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> is the sum of the $$(q-1)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mo>(</mml:mo><mml:mi>q</mml:mi><mml:mo>-</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:math> -th powers of the Rédei factors of the points in the multi-subset. The classification of multi-subsets having the same power sum polynomial passes through the determination of those multi-subsets associated to the zero polynomial, called ghosts. In this paper we provide new classes of ghosts and compute the dimension of the ghost subspace by exploiting the linear code generated by the lines of $$\text {PG}(2,q)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mtext>PG</mml:mtext><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mi>q</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> and its dual. Moreover, we explicitly enumerate and classify ghosts for planes of order 2, 3, 4.
Secure 3D route optimization of combat vehicles in war field using IoV

In terms of both breadth and size, the Internet of Things is rapidly increasing. The purpose of 3D route optimization is to discover an optimal and collision-free path while taking kinematic limitations into account. 3D route optimization can be used in various fields, such as combat vehicles and a variety of additional uses. For the secure transmission of the data between the vehicles in Internet of Vehicles, blockchain can be used. The goal of route optimization is to make the most of available resources. It is the process of constructing a mathematical model of a real-world physical problem and attempting to solve the problem using these tools. Hard computing is best for solving mathematical problems that don't solve the problems of the real world. Soft computing is better used in solving real-world problems as it is stochastic in nature, i.e., it is a randomly defined process that can be analyzed statistically but not with precision.
Fostering Discipline in Grade 2 Students: The TGT Learning Model

This study aimed to assess the effectiveness of the TGT (Team Game Tournament) learning model, supported by snakes and ladders media, in improving the disciplined character of grade 2 students at SDN Watutulis 2. Conducted as a classroom action research (CAR) with multiple cycles, the research encompassed pre-cycle activities, cycle 1, and cycle 2. The subjects consisted of 26 grade 2 students (13 boys and 13 girls) from SDN Watutulis 2. Data collection techniques included observation, interview documentation, and self-assessment sheet tests. The pre-cycle results indicated that only 10 students completed the tasks, while 16 did not meet the minimum completeness criteria (KKM) of 75. To address this, cycle 1 was implemented, and following the application of the TGT learning model, 18 students completed the tasks, while 8 did not, resulting in an average score of 80.19 and a completeness percentage of 69.23%. Since 8 students remained incomplete, cycle 2 was initiated. During the second cycle, 23 students completed the tasks, while 23 did not, yielding an average score of 84.42 and a completeness percentage of 88.46%. The findings indicate that the TGT learning model effectively enhances students' discipline character. The implications of this research are discussed in terms of improving teaching practices and student character development.&#x0D; Highlights:&#x0D; &#x0D; Effective intervention: The TGT learning model, combined with snakes and ladders media, serves as an effective intervention to improve disciplined character among grade 2 students.&#x0D; Iterative approach: The research consisted of multiple cycles, allowing for ongoing reflection, adjustments, and improvements in implementing the TGT learning model.&#x0D; Positive outcomes: The application of the TGT learning model led to increased completion rates, higher average scores, and improved discipline character among the grade 2 students involved in the study.&#x0D; &#x0D; Keywords: TGT learning model, disciplined character, grade 2 students, classroom action research, snakes and ladders media.