Reviewerly/exHarmony huggingface dataset:
Security Survey and Analysis of Vote-by-Mail Systems

Voting by mail has been gaining traction for decades in the United States and has emerged as the preferred voting method during the COVID-19 pandemic. In this paper, we examine the security of electronic systems used in the process of voting by mail, including online voter registration and online ballot tracking systems. The goals of these systems, to facilitate voter registration and increase public confidence in elections, are laudable. They indisputably provide a critical public good. It is for these reasons that understanding the security and privacy posture of the mail-in voting process is paramount. We find that online voter registration systems in some states have vulnerabilities that allow adversaries to alter or effectively prevent a voter's registration. We additionally find that ballot tracking systems raise serious privacy questions surrounding ease of access to voter data. While the vulnerabilities discussed here are unlikely to enable an adversary to modify votes, several could have the effect of disenfranchising voters and reducing voter confidence in U.S. elections infrastructure, thereby undermining the very purpose of these systems.
Human-aware Contingent Planning

Contingent planning models a robot that must achieve a goal in a partially observable environment with non-deterministic actions. A solution for this problem is generated by searching in the space of belief states, where a belief state is a set of possible world states. However, if there is an unav oidable dead-end state, the robot will fail to accomplish his task. In this work, rather than limiting a contingent planning task to the agent’s actions and observations, we model a planning agent that is able to proactively resort to humans for help in order to complete tasks that would be unsolvable otherwise. Our aim is to develop a symbiotic autonomous agent, that is, an agent that, proactively and autonomously, asks for human help when needed. We formalize this problem and propose an extension of a translation technique to convert the contingent planning problem with human help into a non-deterministic fully observable planning problem that can be solved by an off-the-shelf efficient FOND planner.
Agile Methodology Influence on SDLC (Software Development Life Cycle)

Agile methodology that utilizes iterative development and prototyping are widely used in variety of industry projects as a light weight development method which can satisfy to the changes of requirements. Short iterations are used that are required or efficient product delivery. Traditional software development processes are not much efficient to manage the rapid change in requirements. Despite the advantages of Agile, criticism on agile methodology states that it fails to pay attention to architectural and design issues and therefore is bound to produce small design-decisions. Here, in this paper we identify the impacts that agile methodology has on software development processes with respect to quality within the organizational, methodical, and cultural framework.
LibGuides: Engineering: E-Resources

A comprehensive guide to all of the Library service's resources which are tailored to support you with your studies. How to find electronic resources for your course
Code-switching in Whatsapp group of Indonesian Participating Youth (IPY) 37

This research aimed to investigate the types, reasons, and dominant topics of code-switching in the chatroom of the WhatsApp group of Indonesian Participating Youth (IPYs) of the Ship for Southeast Asian Youth Program (SSEAYP) 37. The research was conducted using a qualitative descriptive approach. The participants of this study were 13 members of the SSEAYP 37 alumni WhatsApp group. The result of the study showed that the types of code-switching among the participants consists of 65 intra-sentential, 20 inter-sentential, and 3 tag switching. The internal factors that affected the group members to produce code-switching were natural occurrences, less formality, millennial identity, and a point of emphasis. The external factors were difficulty in communicating in Bahasa Indonesia or commonly used English, the same level of language proficiency among group members, and the difference in meaning. In addition, the most dominant topics in code-switching were related to technology, organizational terminology, and music.
Los pronombres reflexivos en las Dependencias Universales en español

espanolEn este trabajo, argumentamos que en los actuales treebanks que aplican el formalismo de las Dependencias Universales, la anotacion de los reflexivos espanoles es un problema sin resolver, que afecta claramente a la precision y consistencia de los parsers actuales. Evaluamos diferentes propuestas para afinar las diferentes categorias y discutimos los problemas pendientes. Creemos que la solucion para estos problemas se puede encontrar en una anotacion en multiples niveles, combinando la anotacion de la relacion de dependencia y de las caracteristicas (features) de los tokens, en lugar de ampliar el numero de categorias en un solo nivel de anotacion. Aplicamos la propuesta a la version espanola del treebank UD AnCora (v2.5) y proporcionamos una tabla de conversion categorizada que se puede ejecutar mediante un script Python. EnglishIn this paper, we argue that in current Universal Dependencies treebanks, the annotation of Spanish reflexives is an unsolved problem, which clearly affects the accuracy and consistency of current parsers. We evaluate different proposals for fine-tuning the various categories, and discuss remaining open issues. We believe that the solution for these issues could lie in a multi-layered way of annotating the characteristics, combining annotation of the dependency relation and of the so-called token features, rather than in expanding the number of categories on one layer. We apply this proposal to the v2.5 Spanish UD AnCora treebank and provide a categorized conversion table that can be run with a Python script.
Quantifying the Politics and Physics of Ubiquitous Sensing, Using Veillance Flux

Sensing plays a critical role for human biology, as well as for technological systems. As distributed sensing, mass surveillance, and body-worn sensors become widespread, there is a need for a clear metric of sensing, to enable design and regulation of sensory devices in line with privacy requirements. In this article, sensing is quantified using veillance flux, to create a metric and visualization of the capacity-to-sense. Tracking the capacity-to-sense “emitted” from cameras, and other sensors, is conceptualized in terms of physics, with applications in transportation vehicles and industrial control, in journalism and scientific discovery, as well as in how human sensing might be protected, shielded, and enhanced, in the face of false information in our increasingly networked world.
REAL TIME HUMAN FACIAL EMOTION RECOGNITION SYSTEM

Now-a-days human–machine interaction is most important area in recent research field where all types of machines try to understand human emotions and gestures.Understanding the human behavior for machine, researchers worked continuously because if machine able to understand the human behavior it work better.Human emotions can understand by pictures, verbal ,text, vocal, and facial expressions. For judge specific emotions of a human facial expressions plays an important role. Limited work is done in the field of real time human emotion recognition with the help of facial pictures/images. In this research paper, we will propose method for real time emotion recognition from facial image. There are three proposed method steps, we are using in this research work first one is for face detection- Haar cascade, second one we use here feature extraction using Active Shape Model (ASM) and third one is for classification of five emotions that is happiness, anger, disgust, surprise and neutral. Our proposed method lies in the implementation of emotion recognition of happiness, anger, disgust, surprise and neutral at real time on Raspberry Pi IV. The Raspberry Pi IV when mounted on any kind of robot and it can be recognize emotions dynamically in real time in any environment
Binary sequences derived from differences of consecutive quadratic residues

For a prime $p\ge 5$ let $q_0,q_1,\ldots,q_{(p-3)/2}$ be the quadratic residues modulo $p$ in increasing order. We study two $(p-3)/2$-periodic binary sequences $(d_n)$ and $(t_n)$ defined by $d_n=q_n+q_{n+1}\bmod 2$ and $t_n=1$ if $q_{n+1}=q_n+1$ and $t_n=0$ otherwise, $n=0,1,\ldots,(p-5)/2$. For both sequences we find some sufficient conditions for attaining the maximal linear complexity $(p-3)/2$. Studying the linear complexity of $(d_n)$ was motivated by heuristics of Caragiu et al. However, $(d_n)$ is not balanced and we show that a period of $(d_n)$ contains about $1/3$ zeros and $2/3$ ones if $p$ is sufficiently large. In contrast, $(t_n)$ is not only essentially balanced but also all longer patterns of length $s$ appear essentially equally often in the vector sequence $(t_n,t_{n+1},\ldots,t_{n+s-1})$, $n=0,1,\ldots,(p-5)/2$, for any fixed $s$ and sufficiently large $p$.
Machine Learning for Exploring Spatial Affordance Patterns

This dissertation uses supervised and unsupervised data mining techniques to analyse office floor plans in an attempt to gain a better understanding of their geometry-to-function relationship. This question was deemed relevant after a background review of the state-of-the-art in automated floor-plan generation tools showed that such tools have been prototyped since the 1960s, but their search space is ill-informed because there are few formalisms to describe spatial affordance. To show and evaluate the relationship of geometry and use, data from visual graph analysis were used to train three supervised learners and compare these to a baseline accuracy established with a ZeroR classifier. This showed that for the office dataset examined, visual mean depth and integration are most tightly linked to usage and that the supervised learning algorithm J48 can correctly predict class performance on unseen examples to up to 79.5%. The thesis also includes an evaluation of the layout case studies with unsupervised learners, which showed that use could not be immediately reverse-engineered based solemnly on the VGA information to achieve a strong cluster-to-class evaluation.
Changes In the Trend of Communication In Interaction In the Digital Millennium

Communication is a crucial thing that can affect the relationship between one human being and another human being.In his sense, communication is the process of interaction between two or more individuals whose purpose is to convey information.With the development of information technology, communication also changes media and delivery, and this can affect the attitude of individuals in interacting with others.The internet progress brought rapid change and created a new environmental transition that led the industrial society into a digital society.We use meta-analysis research methods with the type of literature study.This research uses two sources, namely primary and secondary sources.The results of the data are presented in the form of narrative texts, which are then analyzed with relevant theories to strengthen the results of our analysis, and the conclusions are also displayed in the narrative form.The results found that changes in communication trends occur due to technological developments and the development of new media in society.This paper will explain changes in communication trends, the development of communication information technologies, and the impact of technological advances on the millennium and digital communication alternatives.
AUDIT TATA KELOLA SISTEM INFORMASI PENDAFTARAN SISWA MENGGUNAKAN COBIT 4.1 DI BLK SURAKARTA

The registration information system at the BLK Surakarta enables data redundancy. It will be analyzed to avoid this. The process of registering student services into the system is limited to the number of prospective students but input data is still unable to implement policies so that when data input still occurs or data from the same data or many data often occur. This study uses Cobit 4.1 to audit the registration information system available at the BLK Surakarta. The selected subdomain is the Delivery Subdomain and Support DS 10 and DS11, the purpose of which is to determine the maturity level value in the IT process that has been applied in the BLK Surakarta and provide recommendations that need to be corrected. Based on the maturity level statement in the Maturity Management Guidelines Control Framework. The resulting output is the study indicate that BLK Surakarta must conduct system performance evaluations that are routinely carried out with those responsible for identifying and tracking problems so that they are aware of the current system conditions. In Domain 10 of Delivery &amp; Support, the results of the Current Maturity Level calculation are 3.27 with conditions Determining the Process. While Domain Deliver &amp; Support 11, the result of calculation of Current Maturity Level is 3.31 with the Requirements for Determining the Process. The new student registration section has implemented a payment data management process but the lack of available tools makes data management less than optimal.Keywords: Student Registration Services, Registration Information System, COBIT 4.1, DS 10 and DS11 Domains, Defined Process
Abstracting Linear Equation Systems

We show how to compute finite abstractions of linear equations systems over the reals. We develop a general method based on elementary modes, that can be applied to the various abstractions into finite structures, including the sign abstraction as used in abstract interpretation based program analysis, and the difference abstraction as used in change prediction algorithms for flux networks in systems biology.
Enabling Edge Cloud Intelligence for Activity Learning in Smart Home

We propose a novel activity learning framework based on Edge Cloud architecture for the purpose of recognizing and predicting human activities. Although activity recognition has been vastly studied by many researchers, the temporal features that constitute an activity, which can provide useful insights for activity models, have not been exploited to their full potentials by mining algorithms. In this paper, we utilize temporal features for activity recognition and prediction in a single smart home setting. We discover activity patterns and temporal relations such as the order of activities from real data to develop a prompting system. Analysis of real data collected from smart homes was used to validate the proposed method.
Enhanced Residual Networks for Context-based Image Outpainting

Although humans perform well at predicting what exists beyond the boundaries of an image, deep models struggle to understand context and extrapolation through retained information. This task is known as image outpainting and involves generating realistic expansions of an image's boundaries. Current models use generative adversarial networks to generate results which lack localized image feature consistency and appear fake. We propose two methods to improve this issue: the use of a local and global discriminator, and the addition of residual blocks within the encoding section of the network. Comparisons of our model and the baseline's L1 loss, mean squared error (MSE) loss, and qualitative differences reveal our model is able to naturally extend object boundaries and produce more internally consistent images compared to current methods but produces lower fidelity images.
A Study of College English Teaching Mode Under the Concept of Innovative Entrepreneurship Education

To cultivate students' innovation and entrepreneurship ability is an important policy put forward by the Party and the State for college teaching in the new era.Under the new situation and according to the new requirements and measures put forward by the State, there are still some problems in College English teaching, such as insufficient awareness of education innovation, backward teaching concepts, insufficient integration of curriculum design, and imperfect evaluation system.This paper aims at the curriculum system of College English.In order to solve these problems, it is necessary to help students to establish innovative consciousness.Teachers should renew the educational concept and innovate teaching mode.Universities should build the integrated curriculum of College English with entrepreneurship and innovative awareness, establish and improve the multiple evaluation system, strengthen practical teaching, and improve college students' innovation and entrepreneurship ability.
Research Guides: Scholarly Communication for Librarians: Copyright

This guide contains information and resources shared at the Scholarly Communication Boot Camp sessions.
Rearticulating Rhetorical Modes of Apologies in Academic Texts: EFL University Studentsâ€™ Voices

The objectives of this research are 1) to describe the frequencies of rhetorical modes of apologies in academic texts written by EFL university students, and 2) to find out problems that they face when constructing rhetorical modes of apologies through exposition, narration, description and argumentation genres of writing. Using documents and interviews, this qualitative research mainly deals with the purposive sampling technique, data reduction, and display concerning rhetorical modes of apologies and problems on constructing them. The research results show that the interpretation of students' rhetorical expressions is meta-pragmatic based on interactions, linguistic nuances, and rhetorical meanings. Rhetorical modes of apologies influence the language production, contextual expressions, and dissemination of messages to audiences or readers. The language used in the rhetorical modes of apologies is integrally connected to one's identity, personality, and situation. Therefore, several efforts are made to see how linguistic differences in a series of interactions lead to denials, avoidance of responsibility, reduction of offensiveness, corrective action, and mortification. The interview results outline that rhetorical modes of apologies function as an integral part of interests, utilities, and moral values instead of some problems the students faced while writing the academic texts.
Implementation of Augmented Reality in Multiplayer Games

This research develops augmented reality games by applying multiplayer features.Some previous research on augmented reality games has suggestions for features similar to multiplayer.And the weaknesses of some previous studies also exist in augmented reality which still requires technology-based tracking markers.The markers used must match the Markers available in the database game.For this reason, an augmented reality game needs to be made by adding multiplayer features and also applying marker less technology.This study succeeded in making a Multiplayer Action Game by utilizing Augmented Reality technology without using the luther-sutopo method.Based on the tests that have been carried out, alpha test results that contain functional tests are obtained and the results of beta testing with a questionnaire obtained 90,6% value which is declared "Good" then this game is feasible to use and support.
Trustworthy isolation of DMA devices

Abstract We present a mechanism to trustworthy isolate I/O devices with direct memory access (DMA), which ensures that an isolated I/O device cannot access sensitive memory regions. As a demonstrating platform, we use the network interface controller (NIC) of an embedded system. We develop a run-time monitor that forces NIC reconfigurations, defined by untrusted software, to satisfy a security rule. We formalized the NIC in the HOL4 interactive theorem prover and we verified the design of the isolation mechanism. The verification is based on an invariant that is proved to be preserved by all NIC operations and that ensures that all memory accesses address allowed memory regions only. We demonstrate our approach by extending an existing Virtual Machine Introspection (VMI) with the monitor. The resulting platform prevents code injection in a connected and untrusted Linux.
The Precision and Accuracy of English Verbs Choice in Recount Text Written by the Students of CEC Denpasar: An Analysis of Metalanguage

&lt;p&gt;This writing entitled “The Precision and Accuracy of English Verbs Choice in Recount Text Written by The Students of CEC Denpasar: An Analysis of Metalanguage” was conducted in order to be able to find out the percentage of precision and accuracy of English verbs choice in recount text written by the students of CEC Denpasar, analyze the lexico-semantic error, and describe the factors that cause this error. The data in this study were taken directly from recount texts written by the students of CEC Denpasar, interview, and questionnaire. Those data were collected by using a test, interview, and questionnaire method. The theory applied in this writing is Metalanguage from NSM theory proposed by Wierzbicka (1996). However, in describing the error, the analysis was done through configuration only by the qualitative method. The result shows that out of twenty-six verbs, twelve chosen verbs were less precise. Through Metalanguage, those errors can be described configurationally. Moreover, the difference between the error and the recommendation verbs can be explained, therefore, the difference can be shown. There were two factors that cause this error. They are external (teacher, method, strategy, technique used in teaching) and internal (motivation, potency, competence, and learners’ language background) factors.&lt;/p&gt;
A Comparison of Public and Private School Teachers' Job Satisfaction When Controlling for Policy Perspectives, Individual, and Workplace Characteristics

The purpose of this study is to contribute to the empirical literature concerning the factors that contribute to the job satisfaction levels of public and private school teachers. Furthermore, an emphasis is placed on how policy, procedures, and workplace characteristics affect levels of job satisfaction. This study focused on other contributing factors of job satisfaction such as personal attributes, human capital, occupational characteristics, and school characteristics. Inferential statistics concluded that there was a statistically significant difference between the job satisfaction levels of public and private school teachers.
Guidelines for training the process of creating algorithms with their further implementation on programming languages

Today our society has reached such a level of development that in many areas of human activity, it is robots that perform different types of work. This is especially true for those areas that are associated with a danger to human life or require serious physical costs. But robots are still only performers. Algorithms, programs by which robots function, is written by a person. Thus, man occupies a major position in the human—robot tandem. To compile algorithms of different levels of complexity, a combination of theoretical knowledge and practical skills is needed, which are formed both in the process of mastering the theoretical foundations and in the process of continuous practical activity on applying the theory to the implementation of various kinds of tasks.The article presents guidelines for creating infographics for students under the guidance of a teacher in extracurricular computer science classes using special computer programs. The article presents guidelines for creating infographics for students under the guidance of a teacher in extracurricular computer science classes using special computer programs.