Reviewerly/exHarmony huggingface dataset:
Katten och jag : Möbler för både katt och människa

This is an investigative work about the relationship between cat and human in the home environment, interpreted through three objects. My work stems from the hypothesis that one can design furnitur ...
All Guides: Music: Find Books

This guide provides an overview of recommended QNL collections on popular science such as databases, books, journals, reference and other resources, printed or digital, that are accessible through different websites and platforms.
LibGuides: eBooks: Studying with eBooks

Finding and reading eBooks at University of South Wales Mae'r canllaw hon hefyd ar gael yn Gymraeg A brief guide to studying with eBooks
Tutorial: Deep Dive into Apache Cassandra: Theory, Design, and Application

Distributed storage systems are fundamental to many Internet-scale applications. To achieve high performance, modern storage systems often choose to provide only weaker guarantees (e.g., weak consistency and eventual correctness). Moreover, to deal with semi-or unstructured and unpredictable data, these systems mainly support a flexible data scheme and simple interface. As a result, it requires a new way of thinking about storage and data modeling. This tutorial consists of a series of hands-on and interactive exercises for beginners that have minimum or even no experience in distributed storage systems. We will first give an overview of distributed storages and new storage paradigms like NoSQL/NewSQL. Then we discuss their key properties (e.g., consistency, availability, fault-tolerance, etc.) and an important trade-off (i.e., CAP theorem). Finally, we will walk through exercises of installing and configuring Cassandra. If time permits, we will build a simple application on top of Cassandra.
2-D Joint Sparse Reconstruction and Micro-Motion Parameter Estimation for Ballistic Target Based on Compressive Sensing

The sparse frequency band (SFB) signal presents a serious challenge to traditional wideband micro-motion curve extraction algorithms. This paper proposes a novel two-dimension (2-D) joint sparse reconstruction and micro-motion parameter estimation (2D-JSR-MPE) algorithm based on compressive sensing (CS) theory. In this technique, the 2D-JSR signal model and the micro-motion parameter dictionary are established based on the segmented SFB echo signal, in which the idea of piecewise effectively reduces the model complexity of ballistic target. With the accommodation of the CS theory, the 2D-JSR-MPE of the echo signal is transformed into solving a sparsity-driven optimization problem. Via an improved orthogonal matching pursuit (OMP) algorithm, the high-resolution range profiles (HRRP) can be reconstructed accurately, and the precise micro-motion curves can be simultaneously extracted on phase accuracy. The employment of 2-D joint processing can effectively avoid the interference of the sparse reconstruction error caused by cascaded operation in the subsequent micro-motion parameter estimation. The proposed algorithm benefits from the anti-jamming characteristic of the SFB signal and 2-D joint processing, thus remarkably enhancing its accuracy, robustness and practicality. Extensive experimental results are provided to verify the effectiveness and robustness of the proposed algorithm.
Research Guides: Library Quick Start: Library Search

Learn how to effectively use library resources, services, tools Library Search is an excellent place to start your library research
Research Guides: Summer Tales 2020: Reading #1

Summer Tales was launched to create virtual communities for students taking classes remotely promising short mental breaks from coursework through a fool-proof method of distraction.
An analysis of user behaviors on the search engine results pages based on the demographic characteristics

The purpose of this survey-based study is to make an analysis of search engine users' behaviors on the Search Engine Results Pages (SERPs) based on the three demographic characteristics gender, age, and program studying.In this study, a questionnaire was designed with 12 closed-ended questions.Remaining questions other than the demographic characteristic related ones were about "tab", "advertisement", "spelling suggestion", "related query suggestion", "instant search suggestion", "video result", "image result", "pagination" and the amount of clicking results.The questionnaire was used and the data collected were analyzed with the descriptive statistics as well as the inferential statistics.84.2% of the study population was reached.Some of the major results are as follows: Most of each demographic characteristic category (i.e.female, male, under-20, 20-24, above-24, English computer engineering, Turkish computer engineering, software engineering) have rarely or more click for tab, spelling suggestion, related query suggestion, instant search suggestion, video result, image result, and pagination.More than 50.0% of female category click advertisement rarely; however, for the others, 50.0% or more never click advertisement.For every demographic characteristic category, between 78.0% and 85.4% click 10 or fewer results.This study would be the first attempt with its complete content and design.Search engine providers and researchers would gain knowledge to user behaviors about the usage of the SERPs based on the demographic characteristics.
Analysis of Contextual Sensors for Fall Detection

Falls are a major problem among older people and often cause serious injuries. It is important to have efficient fall detection solutions to reduce the time in which a person who suffered a fall receives assistance. Given the recent availability of cameras, wearable and ambient sensors, more research in fall detection is focused on combining different data modalities. In order to determine the positive effects of each modality and combination to improve the effectiveness of fall detection, a detailed assessment has to be done. In this paper, we analyzed different combinations of wearable devices, namely IMUs and EEG helmet, with grid of active infrared sensors for fall detection, with the aim to determine the positive effects of contextual information on the accuracy in fall detection. We used short-term memory (LSTM) networks to enable fall detection from sensors raw data. For some activities certain combinations can be helpful to discriminate other activities of daily living (ADL) from falls.
Localized Spectral Graph Filter Frames: A Unifying Framework, Survey of Design Considerations, and Numerical Comparison

A major line of work in graph signal processing [2] during the past 10 years has been to design new transform methods that account for the underlying graph structure to identify and exploit structure in data residing on a connected, weighted, undirected graph. The most common approach is to construct a dictionary of atoms (building block signals) and represent the graph signal of interest as a linear combination of these atoms. Such representations enable visual analysis of data, statistical analysis of data, and data compression, and they can also be leveraged as regularizers in machine learning and ill-posed inverse problems, such as inpainting, denoising, and classification.
The Connected Repository

As all of our information moves from print to digital objects we need new ways to validate, cross-reference, and authenticate information. The Web 3.0 is providing us the next generation tools to h...
Problem-Solving Exercise for Robot Programming through Individual and Collaborative Learning

Engineers are required to possess abilities to comprehensively understand and solve practical issues. To acquire such skills, practical training in problem-solving groups is generally effective. However, in group learning, some students may carry out most of the work, and the other students do nothing. Therefore, we conducted a robot programming workshop through individual and collaborative learning. Collaborative learning included tasks that each student had to complete on their own. The result showed that everyone worked hard on their tasks.
STEM EDUCATION IN LITHUANIA: THEORETICAL INSIGHTS AND PRACTICAL IMPLEMENTATION

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 5769-5779ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1505Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
Bevisningen i förfarandepatentmål – ett olösligt problem? - En utredning av bevisproblematiken i mål om intrång i förfarandepatent.

In the case of infringement of method patent there is special difficulty regarding the evidence. The purpose of this essay is therefore to investigate the problem of evidence in cases of infringement of method patent. In addition, the essay is going to answer questions about whether a procedural legal remedy can solve the problem and also if it is possible to achieve success in such a case without revealing business secrets. In cases where the evidence is inconclusive, the court commonly uses rules based on the burden of proof in order to reach a verdict. These rules are based on various theories and principles, including the substantive theory of proof and the theory of preservation of evidence. In addition to this there are other procedural legal remedies available to reach a ruling or to facilitate the parties. The purpose of the patent legislation is to help drive industrial development forward. In order to fulfill the purpose there used to be a presumption rule in the field of method patent law. This rule stated that if two products were equal to each other, they would be presumed to have been manufactured using the same procedure. The presumption rule was later repealed. Courts have therefore been forced to find a solution to the problem without legislation and their solution is shown in T 7-288-82, T-349-87, T 89/91 and PMT 1387-16.The courts´ solution is however not predictable, it needs to be tried in the highest legal instance to make it more predictable. Reintroducing the presumption rule would fulfill the requirement of predictability. This requires that the presumption rule first must be revised in order to not have any negative consequences for technological development. Although this would make the process more predictable for the parties involved there is still the problem of the evidence. The main issue is that a trial involves disclosing possible corporate secrets, both to the public and to the opposing party. The problem regarding the evidence is extremely difficult to solve.
Training and Assistance in Scientific Writing for Teachers of Smpn Minasa Tene in Pangkep Regency

The scientific writing training and assistance is intended for the teachers of SMPN 3 Minasa Tene in Pangkep Regency in 2019 and concerns with the central role of teacher academic landscape at the school. Its primary objective is to provide insights into the many fundamentals of developing skills for scientific paper particularly those that make up the process of composing text for classroom action research. While there is a growing consensus among the teachers that it is important to articulate the standards, knowledge and skills for scientific writing to navigate toward career and professional growth, there remains a significant lack of the rudiments of scientific writing among the teachers. To tackle this, training methodology entails a myriad of instructional approaches including lecturing, questions and answers, discussions, brainstorming, demonstrations and practices of writing classroom action research papers. The results are favorable in the areas that call for substantial improvement in scientific writing skills; 1. A set of activities is set and proceeds to the detailed planning stages according to the objectives and targets; 2. The training captures participants’ attention and productive participation, and ultimately garners favorable responses; 3. Approaches to the training have positive influences on the development of expertise and competent performance of scientific writing for classroom action research; 4. The training consists of a group of Natural Sciences, a group of Mathematics and a group of Indonesian Language, with each presenting one systematic scientific paper of classroom research; and 5. It provides training material course for teacher professional development. These commendable results not only suggest that the training is a good path to improving academic writing skills but also tap into the understanding of how and under which specific conditions academic writing performance is effective. This also calls for future effort into teacher assessment training that concerns with teacher competence to design standardized questions and tests for educational assessment out of concern that the potential educational benefits of student assessment be fully realized.
Improvement Assessment Method for Special Kids By Observing The Social and Behaviour Activity Using Data Mining Techniques

Data mining identifies heterogeneous data that has diverse information. Clustering is the process of gathering unique items into classes, were most clustering methods are based on numerical or cate...
Security Test of iZettle's Reader 2 : A card terminal for safe payments?

Ethical hacking and penetration testing are two methods often used when organizations and companies want to measure their level of information security, and find out if there are additional steps t ...
Semantic verification of dynamic programming.

We prove that the generic framework for specifying and solving finite-horizon, monadic sequential decision problems proposed in (Botta et al.,2017) is semantically correct. By semantically correct we mean that, for a problem specification $P$ and for any initial state $x$ compatible with $P$, the verified optimal policies obtained with the framework maximize the $P$-measure of the $P$-sums of the $P$-rewards along all the possible trajectories rooted in $x$. In short, we prove that, given $P$, the verified computations encoded in the framework are the correct computations to do. The main theorem is formulated as an equivalence between two value functions: the first lies at the core of dynamic programming as originally formulated in (Bellman,1957) and formalized by Botta et al. in Idris (Brady,2017), and the second is a specification. The equivalence requires the two value functions to be extensionally equal. Further, we identify and discuss three requirements that measures of uncertainty have to fulfill for the main theorem to hold. These turn out to be rather natural conditions that the expected-value measure of stochastic uncertainty fulfills. The formal proof of the main theorem crucially relies on a principle of preservation of extensional equality for functors. We formulate and prove the semantic correctness of dynamic programming as an extension of the Botta et al. Idris framework. However, the theory can easily be implemented in Coq or Agda.
Sealing pointer-based optimizations behind pure functions

Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive type, traversing a term can be implemented generically as a higher-order combinator, and backtracking search is dramatically simplified by persistent datastructures. However, existing pure functional programming languages all suffer a major limitation in these domains: traversing a term requires time proportional to the tree size of the term as opposed to its graph size. This limitation would be particularly devastating when building automation for interactive theorem provers such as Lean and Coq, for which the exponential blowup of term-tree sizes has proved to be both common and difficult to prevent. All that is needed to recover the optimal scaling is the ability to perform simple operations on the memory addresses of terms, and yet allowing these operations to be used freely would clearly violate the basic premise of referential transparency. We show how to use dependent types to seal the necessary pointer-address manipulations behind pure functional interfaces while requiring only a negligible amount of additional trust. We have implemented our approach for the upcoming version (v4) of Lean, and our approach could be adopted by other languages based on dependent type theory as well.
COMPARING NATURAL LANGUAGE PROCESSING TO STRUCTURED QUERY LANGUAGE ALGORITHMS

Using natural language processing to create Structured Query Language (SQL) queries has many benefits in theory. Even though SQL is an expressive and powerful language it requires certain technica ...
Archer Library: Streaming Media Access: How To Access Streaming Media: FAQ/Flowcharts

This Guide provides the various paths towards accessing streaming video and streaming audio/music for U of Regina Library users.
Loma Linda University Libraries: Citation Style Guide: Off-Campus & Mobile Access

How to cite electronic documents in AMA, APA, MLA, and Chicago styles, plus links to further information on these style formats.
LibGuides: E-Book & Digital Study Aid Access: Getting Started

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.
THE USE OF WORD LIST STRATEGY TO IMPROVE STUDENTS’ VOCABULARY (A Classroom Action Research of the Eighth Grade Students of MTs Al Manar in the Academic Year 2019/2020)

The objective of the research are: (1) To find out how is the implementation of the teaching using word list to improve students’ vocabulary of the eighth grade students of MTs Al Manar in academic year of 2019/2020. (2) To know how far the students understanding about the material through Word List Strategy to improve students’ vocabulary of the eighth grade students of MTs Al Manar in academic year of 2019/2020. The numbers of subject of the research are 20 students of VIIB of MTs Al Manar. The methodology of this research was Classroom Action Research (CAR). The research consisted of two cycles and each cycle consists of four steps, they were: planning, acting, observing, and reflecting. Data collected were qualitative but also supported by quantitative data. The quantitative data were gained through observation and documentation. Meanwhile, the quantitative data was collected from the test. The T-calculation result shows that T-calculation of cycle I is 8,658, and cycle II is 8,143. The improvement of the cycle I is 65% and in the cycle II is 70%. It means that there was an improvement as many as 5% from cycle I up to cycle II. This strategy can help students to remember the information and main idea of the text. This strategy can also help students in get many vocabulary. Based on the result, the researcher recommends using Word List Strategy was successful to improve students’ vocabulary.
Artificial Intelligence and Copyright Law in a European context - A study on the protection of works produced by AI-systems

This master thesis discusses current copyright rules and if there is presently a copyright protection for these types of works. There is a possibility to protect works that have been generated by AI’s. However, this is only possible if a human is using the AI as a ”tool”, in order to reach a certain end-goal. There has to be a clear link between the human author and the machine, otherwise neither authorship nor originality can be established. Ultimately, in a scenario where such a link is missing, the work would fall into public domain. The beforementioned is followed by possible solutions for protecting these works in the future. In fact, it is interesting to look into the legislation of countries such as the UK, the US and EU Member States in order to study their ways of protecting similar types of works. These solutions will treat topics such as AI as an “employee”, the UK concept of computer generated works and the attribution of legal personhood to AI-systems. Additionally, there might be a need for changing the structure of the current EU copyright rules, namely by lowering the thresholds for protection, in order to widen the possibilities to give copyright protection to AI-generated works. Ultimately, the thesis finds that the best way of protecting AI-generated works would be, to develop a new sui generis rule for AI-generated works. This solution is the most likely to see the day, as it is a flexible and easy way of attributing copyright protection without changing and lowering the traditional copyright thresholds for protection. (Less)
Post Human Design case study: a speculative approach to flourish critical mindsets

In a context of disruptive innovation Design takes on new roles, which place it in a different position compared to the practices of the last decade. Speculative Design underlines the importance of designing futuristic scenarios, users and artefacts, starting from the phenomena and innovations taking place in the present, with the aim of nurturing critical thinking and shared knowledge about these. Digital innovations related to augmented, virtual and mixed reality technologies are becoming one of the ideal tool which involves viewers in the process of maturation. The aim of this paper is to investigate new relationships between innovation, Design and users, through the analysis of a case study. The aims and objectives of the aforementioned case study fully follow the methodology of speculative Design, addressing the theme of the Post Human, of the possible evolutions of the human genre, influenced by technologies which are becoming pervasive and efficient, and with mega-trends that are significantly changing lifestyles and the relationships with the rest of living beings and ecosystems. Through the prototyping and the creation of an app, it was possible to accompany the spectators on a trans-media journey supported by augmented reality technology, used to involve viewers in the designed path and to make different contents of the exhibition usable, turning the users into actors who actively take part in the exhibition. The aim of the paper is to sum up a model useful to address both the practical and the didactic fields of application, through the use of digital and physical tool, following the concepts and the mindsets which lie behind speculative Design approach. DOI: https://doi.org/10.20365/disegnarecon.23.2019.13
LibGuides: E-Book & Digital Study Aid Access: West Academic 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.
General Purpose Vector Representation for Swedish Documents : An application of Neural Language Models

This thesis is a proof-of-concept for embedding Swedish documents using continuous vectors. These vectors can be used as input in any subsequent task and serves as an alternative to discrete bag of ...
Randomized Response Mechanisms in RTT Measurements for QUIC

The latency spin bit is an optional feature included in the QUICtransport protocol, as standardized by the Internet Engineering TaskForce (IETF). It enables passive, on-path observations for estimationof latency. This document presents the results of an inquiry into thepotential of using randomized response mechanisms (RRM) to reduceprivacy loss in latency measurements. It concludes that RRM could beused to introduce choice for clients in preserving privacy in latencymeasurements. But the trade-offs, especially since the latency spinbit is already optional, do not favour RRM.
LibGuides: English Composition and First Year Writing (for students): Home

A research guide for students in first year writing or composition classes (1005A/B, 1010, 1050, 2030, 3010, etc)