Reviewerly/exHarmony huggingface dataset:
Quantum Runge-Lenz Vector and the Hydrogen Atom, the hidden SO(4) symmetry using Computer Algebra

Pauli first noticed the hidden SO(4) symmetry for the Hydrogen atom in the early stages of quantum mechanics [1]. Departing from that symmetry, one can recover the spectrum of a spinless hydrogen atom and the degeneracy of its states without explicitly solving Schrodinger's equation [2]. In this paper, we derive that SO(4) symmetry and spectrum using a computer algebra system (CAS). While this problem is well known [3, 4], its solution involves several steps of manipulating expressions with tensorial quantum operators, simplifying them by taking into account a combination of commutator rules and Einstein's sum rule for repeated indices. Therefore, it is an excellent model to test the current status of CAS concerning this kind of quantum-and-tensor-algebra computations. Generally speaking, when capable, CAS can significantly help with manipulations that, like non-commutative tensor calculus subject to algebra rules, are tedious, time-consuming and error-prone. The presentation also shows a pattern of computer algebra operations that can be useful for systematically tackling more complicated symbolic problems of this kind.
Flip the Library

This paper was produced as a culminating project for the University of Hawaiʻi at Mānoa College of Education, Learning Design and Technology program. The results from this study were presented at the 2020 Technology, Colleges, and Community Worldwide Online Conference.
Refal on Server Side

This work is devoted to the description of the project of updating the technology of algorithmic language application created in the USSR in the 60s of the XX century by V. F. Turchin. The language was originally intended for various logical transformations primarily of text material. In practice, the scope was wider: machine translation, optimization and compilation of programs, proof of theorems, modeling of complex electronic circuits, solving a number of problems of artificial intelligence. The language now has a sufficient number of followers, mainly in scientific circles.The objective of the described project is to create a product that allows the use of Refal in modern mass applications and to expand the range of its potential users to the entire Internet. A survey of the community of users and developers of Refal was conducted in order to get an idea of the current state of Affairs, current implementations and ways of language development. Possible means of project implementation were considered. No information was received on similar developments under way.
Investigation of the cross-platform Flutter framework. Will the heyday of this technology mean the disappearance of the native development on Android and iOS?

The work is devoted to research of the cross-platform framework for developing mobile applications Flutter from Google. A practical test of the technology was carried out to establish whether it is convenient enough and reliable. The article presents the findings of the testing. The comparison of the mechanisms of Flutter and other popular mobile cross-platform frameworks is given. The main features and differences of the technology are considered. Recommendations on its use are formulated.
LibGuides: Resume Building Resources: Home

A selection of resources for UIUC undergraduates to develop their resumes beyond the classroom.
Could Your Smart Phone Help in the Fight Against the COVID-19 Pandemic?

Civil liberties; Cell phones; Public health surveillance; Coronaviruses; COVID-19 (Disease)
LibGuides: Art, Design and Photography : eBooks

Useful links, resources and research assistance for all programmes involving Art, Design or Photography at IADT How to use the Discovery search system to search the Library catalogue
Metode K-Means SAW dalam Seleksi Penerima Dana akat pada Badan Amil akat

akat is an obligation for Muslims as the implementation of the Five Pillars of Islam including sadaah and infa. The higher the communitys awareness to pay zakat, the more amil zakat boards establish in the community, one of them is Pertaminass amil zakat body (BAMA) in Palembang. The problem currently encountered is that the determination of the recipient of zakat funds must compare the results of the survey one by one so that it is obtained who is most entitled to receive the zakat funds. This procedure may cause relatively high complexity both of time, the accuracy of the results and may affect the target recipient of zakat. The purpose of this study is to minimize the mistakes of BAMA officers in the distribution of zakat funds, so that a decision support system is needed in determining the recipient of zakat funds where the system has been determined based on criteria. K-Means Clustering is a method that groups data according to each cluster. Simple Additive Weighting (SAW) is a method used for the ranking process by using preference values. In this study, the K-Means Clustering method will divide the zakat recipient data according to the distance calculated from the initial position between the zakat recipient data, then the SAW method will sort the zakat recipient data based on each cluster.
LibGuides: EDU 461: Children's Literature: Lesson Plans

This guide will help students in EDU 461 perform research and create lesson plans based on children's books.
Promestra Security compared with other random number generators

Background. Being able to trust cryptographic algorithms is a crucial part of society today, because of all the information that is gathered by companies all over the world. With this thesis, we wa ...
Secure Remote Attestation for Safety-Critical Embedded and IoT Devices

Author(s): Rattanavipanon, Norrathep | Advisor(s): Tsudik, Gene | Abstract: In recent years, embedded and cyber-physical systems (CPS), under the guise of Internet-of-Things (IoT), have entered many aspects of daily life. Despite many benefits, this develop-ment also greatly expands the so-called attack surface and turns these newly computerizedgadgets into attractive attack targets. One key component in securing IoT devices is malwaredetection, which is typically attained with (secure) remote attestation. Remote attestationis a distinct security service that allows a trusted verifier to verify the internal state of aremote untrusted device. Remote attestation is especially relevant for low/medium-end em-bedded devices that are incapable of protecting themselves against malware infection. Assafety-critical IoT devices become commonplace, it is crucial for remote attestation not tointerfere with the device’s normal operations. In this dissertation, we identify major issues inreconciling remote attestation and safety-critical application needs. We show that existingattestation techniques require devices to perform uninterruptible (atomic) operations duringattestation. Such operations can be time-consuming and thus may be harmful to the device’ssafety-critical functionality. On the other hand, simply relaxing security requirements of re-mote attestation can lead to other vulnerabilities. To resolve this conflict, this dissertationpresents the design, implementation, and evaluation of several mitigation techniques. In par-ticular, we propose two light-weight techniques capable of providing interruptible attestationmodality. In contrast to traditional techniques, our proposed techniques allow interrupts tooccur during attestation while ensuring malware detection via shuffled memory traversals ormemory locking mechanisms. Another type of techniques pursued in this dissertation aimsto minimize the real-time computation overhead during attestation. We propose using peri-odic self-measurements to measure and record the device’s state, resulting in more flexiblescheduling of the attestation process and also in no real-time burden as part of its interactionwith verifier. This technique is particularly suitable for swarm settings with a potentiallylarge number of safety-critical devices. Finally, we develop a remote attestation HYDRAarchitecture, based on a formally verified component, and use it as a building block in ourproposed mitigation techniques. We believe that this architecture may be of independentinterest.
LibGuides: COVID-19: Free Activities to Do at Home: Digital Libraries

This guide provides listings for FREE things to do when you're stuck indoors, and will be updated regularly as new items are discovered. Explore the tabs along the top of the page for curated links to various resources.
LibGuides: Toolbox for the SJC Higher Ed Community: Home

Guide to a wide variety of free or low-cost tools and resources useful to the Higher Education Community
Universal Lower-Bounds on Classification Error under Adversarial Attacks and Random Corruption

We theoretically analyse the limits of robustness to test-time adversarial and noisy examples in classification. Our work focuses on deriving bounds which uniformly apply to all classifiers (i.e all measurable functions from features to labels) for a given problem. Our contributions are three-fold. (1) In the classical framework of adversarial attacks, we use optimal transport theory to derive variational formulae for the Bayes-optimal error a classifier can make on a given classification problem, subject to adversarial attacks. The optimal adversarial attack is then an optimal transport plan for a certain binary cost-function induced by the specific attack model, and can be computed via a simple algorithm based on maximal matching on bipartite graphs. (2) We derive explicit lower-bounds on the Bayes-optimal error in the case of the popular distance-based attacks. These bounds are universal in the sense that they depend on the geometry of the class-conditional distributions of the data, but not on a particular classifier. Our results are in sharp contrast with the existing literature, wherein adversarial vulnerability of classifiers is derived as a consequence of nonzero ordinary test error. (3) For our third contribution, we study robustness to random noise corruption, wherein the attacker (or nature) is allowed to inject random noise into examples at test time. We establish nonlinear data-processing inequalities induced by such corruptions, and use them to obtain lower-bounds on the Bayes-optimal error for noisy problem.
The Professional Competences Of The Pupils Developed Through The Exercise Company

Through this paper “The professional competences of students developed through the exercise company” we intend to bring into the plan the importance of choosing effective teaching strategies, active-participatory, students-centered teaching methods, the use of modern educational means in skills training and practical skills among high school students, the technology sector. The modern concept of the exercise company involves the creation of learning situations through which the activities of a real company are simulated, the focus is on developing the legal and entrepreneurial economic skills of the students to facilitate their transition from school to the real, professional life. Through the specific activities of the exercise company, the students acquire legal and entrepreneurial skills easily, naturally under the impulse of the necessity of carrying out activities in the business environment, being motivated by the constantly changing economic life and the adversity existing within the market. This paper emphasizes the importance of designing and using modern teaching methods in the instructional-educational process so that the student achieves performance. Achieving performance involves developing skills, practical skills, teamwork skills, leadership ability, decision making and taking responsibility, critical and creative thinking, practical application of theoretical knowledge, problem solving, perseverance, and all these essential skills that will facilitate their insertion in the labor market.
Guides: Data Literacy Instruction for Undergraduate Chemistry: Survey for chemistry faculty

Our study will provide insights into which data literacy competencies are being taught in chemistry undergraduate curricula, in order to explore potential opportunities for advancing data instruction in chemistry and other STEM disciplines.
Pedagogical Activity and Its Role in the Issue of Education of the Personality of a Multicultural Society

In our time, before any teacher, class teacher, educator, a number of problems arise concerning the process of education, the reason for this lies in the constant change in the values ​​of society. Difficulties in the educational process today are among the most acute and urgent problems not only in pedagogical, but also social terms. The moral disorder that our society has encountered as a result of the so-called reforms has a negative impact, especially on children, adolescents and young people who do not have a certain culture. In support of this fact, we can cite constantly growing figures of crime, especially youth, as well as the willingness of many people to act to achieve material prosperity on the brink of law and lawlessness. And what is quite legal, does not always inspire. The fall of morality means, in essence, a change in the value orientations of people under the influence of various circumstances, including economic disarray. Moral education of youth is the indisputable and most important goal of every society. The shortcomings and omissions in moral education inflict on society such irretrievable and irreparable damage that, if there are shortcomings of another nature (for example, corporal or ethical), it is impossible to inflict greater harm on society. Pedagogical science, school practice has accumulated considerable experience in moral education. In pedagogical literature, the subject matter studied was reflected in the fundamental studies of B.T.Likhachev, N.K. Krupskaya, A.S.Makarenko, I.F.Sladkovsky, V.A.Sukhomlinsky, in which the essence of the basic concepts of the theory of moral education is revealed, the ways for the further development of the principles, content, forms, and methods of moral education are indicated.
Privacy at Facebook Scale

Content based data classification is an open challenge. Traditional Data LossPrevention (DLP)-like systems solve this problem by fingerprinting the data inquestion and monitoring endpoints for the fingerprinted data. With trillions ofconstantly changing data assets in Facebook, this approach is both not scalableand ineffective in discovering what data is where. This paper is about anend-to-end system built to detect sensitive semantic types within Facebook atscale and enforce data retention and access controls automatically. The approach described here is our first end-to-end privacy system thatattempts to solve this problem by incorporating data signals, machine learning,and traditional fingerprinting techniques to map out and classify all datawithin Facebook. The described system is in production achieving a 0.9+ averageF2 scores across various privacy classes while handling trillions of dataassets across dozens of data stores.
The Effectiveness of Renewable Energies Projects in Kuwait—PAAET Solar Energy Project

In Kuwait, 70% of electricity is generated from oil power station where the total irradiation on a plane equals 1891 kWh/m2/year and the average monthly temperature rises about 42.3 °C, so the solar energy can be considered as a main renewable source of energy in Kuwait. 70% of produced energy is used in air conditioning and other services for households, while the commercial sector consumes only 30% of the produced electricity (42.58 billion kWh in 2010). The Public Authority for Applied Sciences and Training (PAAET) started to design Kuwait’s first solar energy station, and this project is supported by Pan Arab Consulting Engineers (PACE) and was proposed to cover 17,542 m2 with a total proposed production of 2046 MWh/Year. This research report discusses the proposed design in order to find the main problems causing low performance, especially the dust and the long period to get rate of return. A set of recommendation was listed.
Preclustering Algorithms for Imprecise Points

We study the problem of preclustering a set B of imprecise points in ℝ^d: we wish to cluster the regions specifying the potential locations of the points such that, no matter where the points are located within their regions, the resulting clustering approximates the optimal clustering for those locations. We consider k-center, k-median, and k-means clustering, and obtain the following results.Let B:={b₁,…,b_n} be a collection of disjoint balls in ℝ^d, where each ball b_i specifies the possible locations of an input point p_i. A partition 𝒞 of B into subsets is called an (f(k),α)-preclustering (with respect to the specific k-clustering variant under consideration) if (i) 𝒞 consists of f(k) preclusters, and (ii) for any realization P of the points p_i inside their respective balls, the cost of the clustering on P induced by 𝒞 is at most α times the cost of an optimal k-clustering on P. We call f(k) the size of the preclustering and we call α its approximation ratio. We prove that, even in ℝ^1, one may need at least 3k-3 preclusters to obtain a bounded approximation ratio - this holds for the k-center, the k-median, and the k-means problem - and we present a (3k,1) preclustering for the k-center problem in ℝ^1. We also present various preclusterings for balls in ℝ^d with d⩾2, including a (3k,α)-preclustering with α≈13.9 for the k-center and the k-median problem, and α≈254.7 for the k-means problem.
K-nearest neighbor (KNN) with global GINI diversity index for classification subsidy food in Semarang city, Indonesia

Abstract K-Nearest Neighbor (K-NN) is one of the classification methods using the distance from the variable. Determination of the distance used greatly affects the results of the classification. The distance commonly used as a weighting is the Euclidean distance. The Euclidean distance does not distinguish between categories and variables, this is certainly a problem in itself. Therefore the weighting used is the global GINI diversity index. This method will be applied to the classification of subsidy food in Semarang city, based on the factors that influence it. Independent variables that are used include the field of business of household heads (X1); Employment Status (X2); Homeownership status (X3); Roof Building Materials (X4); Main wall material of the house (X5); Main Material of the house floor (X6); Drinking Water Source (X7) and Main Cooking Fuel (X8). Based on the results of classification using the KNN method with a global weighting GINI diversity index, with training: testing is 80: 20 obtained an accuracy of 85% with a value of K = 5.
Comparing node-sorting algorithms for multi-goal pathfinding with obstacles

Background. Pathfinding plays a big role in both digital games and robotics, and is used in many different ways. One of them is multi-goal pathfinding (MGPF) which is used to calculate paths from a ...
PEMBERDAYAAN GURU, STAF DAN ORANG TUA KB TK KHADIJAH DALAM PERTOLONGAN PERTAMA PADA KECELAKAAN DENGAN PELATIHAN BLS DAN AMBULASI

AbstrakThe jurisdiction of Polrestabes Surabaya was ranked in the top 3 contributors to the number of traffic accidents of 39 Polres in the East Java Regional Police in 2017. KB Khadijah Kindergarten is in the middle of Surabaya and an area with heavy traffic, so there is a high risk of traffic accidents, but the school has never received material and information about first aid in an accident so that if there is an accident the teacher and staf are not ready and unable to provide help properly. The purpose of this community service is to provide knowledge and abilities to teachers, staff, and parents to be able to do first aid in an accident. The method used in this empowerment is lectures and demonstrations about first aid in accidents which include Basic Life Support (BLS), splinting &amp; Bandaging, and ambulation/transportation and also using leaflet media. As many as 47 people consisting of teachers, staf and parents participated in this activity and also carried out an evaluation of knowledge and self efficacythrough pre-test and post-test. The results achieved through this activity is that there is an increase in knowledge and self-efficacy in conducting first aid in an accident. This is because the lecture, simulation, and also leaflet methods can provide a technically clear description so that participants know and can practice relief assistance in accidents. Subsequent community service activities are expected to achieve wider goals and diverse communities.
Why Study English? Mapping the Relationship Between Motivation, Anxiety and Effort Be Strengthened

The South Bengkulu Education Office in 2017 initiated the English Language Community Learning Program (PPKBI), aimed at all high school students in South Bengkulu Regency. As the program progresses, students' learning motivation tends to decrease, as seen from the decreasing number of participants. It is important to identify various factors that influence student performance in learning English. This study aims to identify the relationship between motivation, anxiety and efforts that are intended in learning English. This study uses data from 315 high school students in Bengkulu Selatan Regency, 2017 PPKBI participants (an average of 16.15 years, 179 women). The questionnaire was distributed randomly. The questionnaire consisted of 40 items (LLOS / Language Orientation Learning Scale (24 items), Anxiety Scale for Foreign Language Classes (6 items) and Business Aimed (10 items). Calculations were carried out by identifying common factors using Exploratory Factor Analysis, followed by Factors Confirmatory Analysis (CFA) The hypothesized model meets the requirements for goodness of fit index and the questionnaire has good index validity and reliability.The model explains that most students who follow through PPKBI are more intrinsically motivated; Intrinsic Motivation Stimulation, based on positive sensations when listen or say English vocabulary, Intrinsic Motivation Achievement, based on positive feelings after mastering English, and Understanding Intrinsic Motivation, based on the desire to develop English language proficiency Briefing related to these findings can increase student retention in the PPKBI program for the following year yes.