Reviewerly/exHarmony huggingface dataset:
Model-based evolutionary algorithms

tutorial Share on Model-based evolutionary algorithms: GECCO 2020 tutorial Authors: Dirk Thierens Utrecht University, The Netherlands Utrecht University, The NetherlandsView Profile , Peter A. N. Bosman Centrum Wiskunde & Informatica - CWI, Amsterdam, The Netherlands Centrum Wiskunde & Informatica - CWI, Amsterdam, The NetherlandsView Profile Authors Info & Claims GECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference CompanionJuly 2020 Pages 590–619https://doi.org/10.1145/3377929.3389868Published:08 July 2020Publication History 0citation60DownloadsMetricsTotal Citations0Total Downloads60Last 12 Months6Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
An Explorative Design Study of a Booking System : Evaluating the Usability and Experience of a User Interface for Novice Admin Users

This study explored how the UI of booking sunbeds could be designed to be efficient and effective while being satisfactory to use for novice admin users of the system. Personas were created through ...
COVID-19 & Cyber Security Challenges US, Canada & Korea

Globalization and ubiquitous Internet have made significant contribution to man-kind while bringing business, education and health closer to every home on the planet. However, in the process of dynamic development and innovation to the Information Communication Technologies (ICT) and Internet, in conjunction with the fast developments in Computing Industry and Artificial Intelligence, the Cyber Security has become of critical importance to governments, businesses, in-dustries, health and academia worldwide. Given current spread of COVID-19 with its impact on economies, business, industries, health and nations security in US, Canada and South Korea the importance of Cyber Security has become par-amount. Millions of people lost their jobs, many people died, many are seriously ill, and the morale is quite low worldwide. It is in time like these that criminals and outlaws are exploiting any possible vulnerability that could give an oppor-tunity for effective cyber-attack(s). The principal author, lived, worked and stud-ied in South Korea, Canada and US, working with co-authors in times of earlier and current Cyber Security related issues in South Korea, Canada and US. Past twenty years may have brought most valuable and fascinating technologies to mankind worldwide, but at the same time the global mobility, seamless connectiv-ity and free sharing of information and goods among the nations worldwide also promoted new dimension of computational challenges, such as cyber security.
Scheme for sub-shot-noise transmission measurement using a time-multiplexed single-photon source

Sub-shot-noise performance in transmission measurements can be achieved in optical quantum metrology owing to significantly lower uncertainty in light intensity of quantum beams compared to their classical counterparts. In this work, we simulate the outcome of an experiment that uses a multiplexed single-photon source, considering several types of experimental losses, where we show that the sub-Poissonian statistics of the output is key for achieving sub-shot-noise performance. We compare the numerical results with the shot-noise limit attained using coherent sources and the quantum limit, obtained with an ideal photon-number Fock state. We also investigate conditions in which threshold detectors can be used, as well as the effect of input light fluctuations. Our results show that sub-shot-noise performance can be achieved with improvement factors ranging from 1.5 to 2, even without using number-resolving detectors.
LibGuides: Continuity of Library Services: Streaming Services

A guide on how the library can help you with online teaching and learning in Spring 2020. Please see ut.edu homepage for COVID-19 updates
LibGuides: Tools for Success - Teaching Online: Additional Resources

This guide is for faculty members looking for tools that can help them be successful facilitators of online education. Specifically created during the COVID-19 crisis, the tools listed in this guide can be useful for anyone teaching distance courses.
An Analysis of the Narrative and Argumentative Texts of High School Korean Textbooks with Auto-Kohesion, a Korean Analysis System

This study aims to analyze the linguistic and psycholinguistic differences between narrative and argumentative materials of high school Korean textbooks with Auto-Kohesion, a computer program designed to investigate Korean texts by a wide range of measures. The results show that the higher proportion of modifiers and the use of more pronouns (the second and the third person pronouns) are noticeable in the narrative texts. For all word frequency measures, the average word frequency in the narrative texts is lower than in the argumentative texts. Also, the reference cohesion (noun overlap for adjacent sentences and total sentences), the syntactic complexity, the average sentence length, and the average word length are relatively higher in the narrative texts. These results have several pedagogical implications for the development of Korean textbooks and Korean language teaching materials.
Utilization of Data-Driven Learning for Teaching Prepositions

This study investigates the use of a discovery learning method using concordances to teach prepositions, which are considered multimeaning, low-transparency, and high-frequency words. The study presents a specific way to examine the versatility of prepositions that are difficult for learners to understand through context using concordances. In order to use the corpus for education (exploiting corpora to teach), the instructor-selected concordances were provided to the learners to discover the usage and meaning of each preposition. The results indicated that learners made remarkable progress in the use of correct prepositions when using the corpus of the experimental group for each preposition. Exploratory learning using the corpus proved more effective than traditional lecture-based instruction, and the validity of using the concordances was demonstrated, which could encourage the authentic use of language in teaching and learning.
EFFECTS OF EXPOSURE TO VIOLENCE ON ATTITUDE TOWARDS SCHOOLING AMONG SECONDARY SCHOOL STUDENTS IN BARKIN LADI LOCAL GOVERNMENT AREA OF PLATEAU STATE

The study looked at possible effects regular exposure of school children to violence can have on their attitude towards schooling in Barkin Ladi Local Government Area that has had several cases of violence in recent times. In this era of no-one-left-behind educationally, there is need to find out how these vulnerable school children in the study Area are faring in the face of incessant killings around them. Causal comparative design was employed for the study. Four research questions and two hypotheses guided the study. Six schools ( 2 public and 4 private) in affected and accessible communities in the study area were purposively sampled and one hundred and eighty two students who joined those schools due to displacement from their own communities constituted the sample for the study. A 20-item attitude to schooling questionnaire with good content validity as judged by two experts; one from Measurement and Evaluation and one from Educational Psychology, University of Jos, was used for data collection. Construct validity of the instrument was established through factor analysis and its internal consistency reliability coefficient using, Chronbach-Alpha method was 0.95. Data collected were analysed using frequency counts, means and Chi-square statistics. The findings show that many of the students had positive attitude towards schooling, enrolment status of schools fluctuated, direction of attitude of students varied with gender, but not with school-type. Girls were found to have more positive attitude than boys. Based on the findings, the researchers concluded that the vulnerable students were still having positive attitude towards schooling in spite of security challenges around them. Displaced ones still enrolled into existing schools in their new localities, whether public or private. It was recommended among others that environment be made safe and secure to further boost the students’ attitude towards schooling.
Research on Association Rule Recommender System Combining Time and Rating Information

In this paper, when using Apriori algorithm to mine association rules, it often appears that the antecedent of the rule is the same, but the recommended consequent is more than one. In order to solve the problem, this paper proposes a weighted association rule recommendation algorithm which combines time and rating information. First of all, we describe the user's personalization and interest from the perspective of time and rating. From the point of view of time, the user's viewing data is sorted according to time to generate orderly user number, movie type and corresponding rating data. Time weight is introduced to add time weight to the user's rating on the sequence, so as to describe the importance of time. From the perspective of scoring, this paper filters out the low scoring and studies whether the scoring will affect the recommendation effect. Then, time and rating weighting are introduced to get the weighted value of association rules. Then, the weights and association rules are combined to select association rules whose confidence and support meet the threshold to generate strong association rules. Finally, strong association rules are used to recommend users, so as to improve the efficiency of the recommendation system.
A FRAME WORK TO ELIMINATE IRRELEVANT FEATURES USING HYBRID FEATURE SELECTION ALGORITHM

The recognition/classification of a given pattern is characterized by one of the two following tasks. Supervisedclassification is a problem of establishing decision regions between patterns and assigning an unknown inputpattern into one of the predefined classes. In unsupervised classification, classes are learned based on thesimilarity of patterns. Supervised can lead to reduction in accuracy during classification of instances. Variableselection is the most essential function in predictive analytics that reduces the dimensionality, without losingappropriate information by selecting a few significant features of machine learning problems. The majortechniques involved in this process are filter and wrapper methodologies. While filters measure the weight offeatures based on the attribute weighting criterion, the wrapper approach computes the competence of thevariable selection algorithms. The wrapper approach is achieved by the selection of feature subgroups by pruningthe feature space in its search space. The objective of this paper is to choose the most favourable attribute subsetfrom the novel set of features, by using the combination method that unites the merits of filters and wrappers. Toachieve this objective, an Hybrid Feature Selection (HFS) method is performed to create well-organized learners.The results of this study shows that the HFS algorithm can build competent business applications, which havegot a better precision than that of the constructed which is stated by the previous hybrid variable selectionalgorithms.
TAKING IRAT OUTSIDE THE CLASSROOM: USING AN INTERACTIVE BOOK TO MODIFY TEAM-BASED LEARNING IN A FIRST-YEAR PROGRAMMING COURSE

TAKING IRAT OUTSIDE THE CLASSROOM: USING AN INTERACTIVE BOOK TO MODIFY TEAM-BASED LEARNING IN A FIRST-YEAR PROGRAMMING COURSE
Verified proof checking for higher-order logic

This thesis is about verified computer-aided checking of mathematical proofs. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. Using these tools, we have produced a mechanized proof checker for higher-order logic that is verified to only accept valid proofs. To the best of our knowledge, this is the only proof checker for HOL that has been verified to this degree of rigor. Mathematical proofs exist to provide a high degree of confidence in the truth of statements. The level of confidence we place in a proof depends on its correctness. This correctness is usually established through proof checking, performed either by human or machine. One benefit of using a machine for this task is that the correctness of the machine itself can be proven. The main contribution of this work is a verified mechanized proof checker for theorems in higher-order logic (HOL). The checker is implemented as functions in the logic of the HOL4 theorem prover, and it comes with a soundness result, which states that it will only accept proofs of true theorems of HOL. Using a technique for proof-producing code generation (which is extended as part of this thesis), we synthesize a CakeML program that is compiled using the CakeML compiler. The CakeML compiler is verified to preserve program semantics. As a consequence, we are able to obtain a soundness result about the machine code which implements the proof checker.
Electronic Textbook - A Means Of Improving The Effectiveness Of The Educational Process

One of the most important areas reflecting the achievements of scientific and technological progress in the first place is the field of education. It is education that is the factor that ensures the future of individual countries and of all mankind, is the driving force accelerating the development of society. In recent years, in our republic great importance has been attached to the educational process as an actual system.
Research Guides: ORCiD: Connecting Research & Researchers

This guide explains what ORCiD is, how it can benefit researchers, and ideas of how to use it.
LibGuides: Succeeding In Online Learning: What To Expect In Online Classes

Resources for succeeding in online coursework. Getting comfortable with the environment, managing time and stress, and studying effectively.
Design de informação como ferramenta para a elaboração de uma cartilha com exercícios de yoga para redução da ansiedade em idosos

Getting older is the natural way of life. However, when advancing to the third age the human being, experience several biological, social, economic and psychological changes, which are accompanied by a reduction in physical capacity and mental faculties. As a result, anxiety affects older people more easily. Nevertheless, there are several practices that can help minimize anxiety, such as improving well-being and physique. one of these practices is Yoga.Thus, the development of this work increases from the request of psychology Lenemar Nascimento Pedroso, who is also a facilitator in a Mindfulness and Yoga workshop for the elderly, at the Center for the Study of the Elderly (NETI), at the Federal University of Santa Catarina (UFSC).For that, it used the Human-Centered Design methodology and knowledge and tools of Graphic and Editorial Design, Information Design and Copywriting were explored. These resulted in a humanized booklet for the elderly at NETI's “Mindfulness and Yoga” workshop, with yoga exercises to reduce anxiety.
Adoption of Cloud Computing and OPAC Visibility in Nigerian University Library System

OPAC visibility, implementation of the cloud system and challenges of its adoption are the variables that define the crust of the research. The study, compartmentalizing the Nigerian University libraries, adopted the quantitative methods employing the use of observation and survey. A two-month long observation of the websites and OPAC of the studied universities was undertaken. The non-probability sampling - precisely purposive sampling - was deployed while the entire one hundred and sixty (160) Nigerian universities – as at 2018 – served as the sample size for the study. A questionnaire was designed to collect primary data on the availability of OPACs and adoption of cloud hosting in Nigerian university libraries. This was administered electronically via the email-boxes of virtual/systems librarians. Significant trends noticeable in the research findings include low visibility, in-house hosting of OPAC and indifference to the adoption of cloud computing with hosting (subscription) fee, downtime in internet connectivity and fear of vulnerability to hackers’ attack being the significant challenges. It is recommended that stakeholders should leverage on the existing consortium (platform) facilitated by Nigerian Research and Education Network (NgREN) to benefit from the economy of scale in addition to collaboration with relevant global agencies. Furthermore, a synergy between the librarians and the ICT units should be strengthened for a better understanding of the technical challenges in order to provide appropriate solutions to them.
Implementasi Algoritma Agglomerative Hierarchical Clustering untuk Mengklasifikasikan Penerima Bantuan Sosial RASTRA

Poverty is a problem that is being faced by national development in Indonesia. Social assistance is one way for the government to overcome the problem. In order to help analyze gaps in the community the writer decides to do a cluster analysis that can be used to group the community into a particular class. Cluster analysis is performed using Agglomerative hierarchical clustering (AHC) with the method of linking single linkage, complete linkage, and average linkage. In this study used the poverty survey data of Kuala Sangkang village residents in 2018 and the data of recipients of the RASTRA assistance for Kuala Sangkang village in 2018. The results of the clustering process were 227 data, then tested using a confusion matrix. Based on the analysis and testing results it can be concluded that the process of clustering recipients of literary assistance can be formed in two clusters where for single linkage, cluster 1 consists of 222 and cluster 2 has 5 data members. Complete linkage produces cluster 1 members as much as 54 data and cluster 2 produces 173 data, average linkage produces 200 members for cluster 1 and 27 members for cluster 2. the average linkage method has better grouping results than the other two methods with accuracy reaching 54.19%, Error rate is 45.81%, and True positive / Recall rate is 92.11%.
AN ANALYSIS OF STUDENTS’ ERRORS IN USING PERSONAL PRONOUN ON WRITING NARRATIVE TEXT AT THE TENTH GRADE STUDENTS OF SMKN 1 SALATIGA IN THE ACADEMIC YEAR 2019/2020

ABSTRACTSari, Indah, Novita. 2020. An Analysis of Students’ Errors in Using Personal Pronoun on Writing Narrative Text at the Tenth Grade Students of SMKN 1 Salatiga in The Academic Year 2019/2020. A Graduating Paper, Teacher Training and Education Faculty, English Education Department, State Institute for Islamic Studies Salatiga. Counselor: Dra. Widyastuti, M.Pd.Key Words: Error Analysis; Personal Pronoun; Narrative Text.This study is mainly aimed to analyse the students’ errors in using personal pronouns on writing narrative text at the tenth grade students of SMKN 1 Salatiga in the academic year 2019/2020. The subject of this research were students in Tata Boga 1 class with 33 students. The objectives of this research were (1) To find out the types of errors made by the students in using personal pronouns in writing narrative text, (2) To find out the cause of error made by the students in using personal pronouns in writing narrative text.This study used qualitative research with descriptive method. The errors found in the sentences were classified based on the surface strategy taxonomy by Dulay. The error types were omission, addition, misformation, and misordering.The result showed that the most dominant error was found in misformation with 49 errors, the second was omission with 11 errors, and the addition has a similar result with misordering, both 1 error. The researcher concluded that the error occurred because many students still do not understand the use of personal pronouns well. Besides, the teacher’s way in delivering the material was less pleasant and less detailed.
SELF-SIMILARITY OF 𝒫-POSITIONS OF (2n + 1)-DIMENSIONAL WYTHOFF’S GAME

Wythoff’s game as a classic combinatorial game has been well studied. In this paper, we focus on [Formula: see text]-dimensional Wythoff’s game; that is the Wythoff’s game with [Formula: see text] heaps. We characterize their [Formula: see text]-positions explicitly and show that they have self-similar structures. In particular, the set of all [Formula: see text]-positions of 3-dimensional Wythoff’s game generates the well-known fractal set — the Sierpinski sponge.
A NOVEL APPROACHTO BITCOIN PRICE PREDICTION USING ML TECHNIQUES

To assess the Bitcoin cost absolutely considering divergent parameters that effect the Bitcoin esteem. In this work, we indicated grasp and recognize progressively changes in Bit Coin showcase while acquiring observation into most proper qualities encompassing Bitcoin cost. We anticipate the everyday value change with endorsing conceivable precision. The market finances of traded on an open market cryptographic forms of money at present above $230 billion. Bitcoin is most valuable cryptographic money, fills as an advanced store of significant worth, and its value consistency has been well-looked into. These attributes are appeared in the accompanying subdivision; the fundamental subtleties of Bitcoin
LibGuides: E-Book & Digital Study Aid Access: LexisNexis E-Books & Study Aids

William M. Rains Library offers access to multiple e-book platforms for study aids, treatises, and other titles for our students, staff and faculty to utilize. Lexis E-books
LibGuides: Elections 2020: LHML Resources

Selecting a good leader to lead America to accurate truth and knowledge, is the beginning of wisdom
White Sphere, Navy-Blue Background

Author(s): Karalow, Andrzej | Abstract: This music score was submitted for the Kaleidoscope 2020 Call for Scores, an open access collaboration with the UCLA Music Library.
Primary school teachers experience of the digitalisation of teaching

The aim of this study is to understand primary school teachers' experience of the ongoing process of digitalisation of teaching. The study is done in the Swedish context and includes eight intervie ...
FIU Libraries: IDS 4890 Capstone: Module 1: Resources for Weeks 1-4

This library research guide is for students enrolled in the IDS 4890 Capstone course. Find resources, services and tools to help you succeed!