Reviewerly/exHarmony huggingface dataset:
Detecting Change using HTM for a Security Surveillance Application

Detecting change is part of human nature. Humans build up virtual images of their surroundings over time and notice any change instantly which all happens thanks to their brain. While all of this is functions very well in the human brain, there are substantial benefits to an efficient change detection mechanism, but then created virtually. To replicate the structural and algorithmic properties of the human brain, this paper presents a system based on Hierarchal Temporal Memory (HTM) to detect change in a series of images. Moreover, it integrates the change-detecting HTM machine into a robotic security guard, responsible for monitoring and guarding valuable items. The system was designed to serve a security surveillance application to process and analyse several image inputs during non-working hours and identifying changes e.g. related to unauthorised access. The input to the system is a series of multiple images that were initially processed with MATLAB in order to resizing them from a 256*256 matrix to a smaller size, to then convert them into a single line vector in CSV format to suit HTM’s input requirements. In the various tests being performed, it is shown that HTM detects spatial as well as temporal anomalies, when they occur once or twice, however, if the pattern occurs more regularly, then it gets learned and becomes a familiar pattern, meaning it is no longer detected as an anomaly.
Generating documentation during compilation of simple programs

This thesis investigates if automatic generation of documentation might be possible, and attempts to create a tool that performs this through symbolic execution. It parses and analyses a subgroup o ...
LibGuides: Library Research Navigator: Destination 2: Funding

Your preliminary source of information and guidance as you begin or continue with your research journey.
LibGuides: K12 Digital Citizenship: Adult-Specific Resources

This guide provides resources to help K-12 students be proactive digital citizens. Resources for teachers, librarians, administrators, tech specialists and families
Preface to the CLEI 2018 Special Issue

We are proud to introduce the special issue with extended versions of selected papers presented in the 43rd Latin American Conference in Informatics (CLEI 2018).
Design of a Reconfigurable In-Memory Neural Network Accelerator

Neural networks (NNs) are nowadays widely used for many applications like speech and image recognition. This kind of neural networks has already exceeded human accuracy in many domains at the cost of high complexity from a computational point of view. Usually, CPU and GPU are used to implement such algorithms. GPUs perform better than CPUs thanks to their high number of cores and their wider buses which allow increasing the throughput to the memory. However, while GPUs can reach very high-performances for data-oriented algorithms, their power consumption is very high. For this reason, for low power application, neural network accelerators are designed to obtain high performance with low power consumption. This thesis work can be divided into two parts: in the first one the AlexNet algorithm is implemented on CPU and GPU and performances are compared. In the second part, a reconfigurable In-Memory neural network accelerator is presented. This accelerator allows implementing the most common neural networks layers and it is characterized by very low power consumption. The word “In-Memory” means the capability of executing simple logic operations inside the memory. An architecture based on Logic-in-Memory has several benefits mainly related to the possibility of executing some operations inside the memory itself without wasting energy for transferring data from memory to the computational units.
RHLE: Relational Reasoning for Existential Program Verification

Reasoning about nondeterministic programs requires a specification of how their nondeterministic choices are allowed to be resolved. When reasoning about safety properties, it is sound to overapproximate the permitted behaviors. Once its safety is established, a program remains safe for every valid implementation of its nondeterministic choices. Overapproximate specifications are less useful when establishing that a nondeterministic program exhibits some desirable behavior, however, as resolving nondeterminism to specific choices is not guaranteed to preserve the execution that resulted in the desirable final state. This paper proposes a flexible way to underapproximate the behaviors of nondeterministic choices so that clients can soundly reason about the existence of desirable behaviors, while at the same time permitting some freedom in how those choices are implemented. We present a pair of program logics, called HLE and RHLE, that use these specifications to reason about existential program behaviors in the single program and relational settings, respectively. We have implemented a verifier based on these program logics that is capable of automatically verifying a wide range of relational properties, including refinement and noninterference. We have evaluated our approach by using this tool to verify a diverse set of programs and properties drawn from the literature.
Art Coding Education Program to Improve Computational Thinking

Recently 4th Industrial Revolution, Such as Artificial intelligence, IOT(Internet of things) etc , In every core industry, software education is important to keep pace with the times. Coding education is growing their interest. Computing thinking tests showed significant increases in evaluation, decomposition, and algorithms and the creativity test showed a statistically significant rise in originality and resistance to hasty termination. These results improved the computing thinking and creativity emphasized in the art coding education program and this shows that an art coding education program that utilizes processing is effective. But in reality, there is not enough awareness, interest, and preparation for future human resource education through software education to cope with the wave of change in the education field. This study intends to contribute to achieving the purpose of this education and As an experimental research on art coding education program improves computing thinking and creativity, game coding education program will be applied to the development of various topics.
LibGuides: COVID-19 Resource Guide for Students: Restaurant Menus Online

Fun and helpful resources aimed to assist those in home quarantine during the coronavirus pandemic of 2020
Research Guides: ESL at Tarrant County College: LearningExpress Library 3.0

This guide is for ESL students who need resources for learning English or becoming a United States citizen.
Italian linguistic norm taught at school in a diachronic corpus of written texts of elementary school pupils (1933-2016)

This paper proposes a diachronic analysis of the Italian linguistic norm taught at school, by examining written texts produced by elementary school pupils, from the thirties to the present day. Students' texts are analyzed in relation to the features of Italian typically identified in previous studies.
LibGuides: Wegner Library Interlibrary Loan-ILLiad: Home

A how-to guide for creating, navigating and placing a request with Wegner's Interlibrary Loan System, ILLiad.
LibGuides: Computer Networks: News & Magazines

This guide is for the subject of Computer Networks. It contains resources available in the NCU Library.
LibGuides: Cloud and Networking Infrastructure Management: Websites & Statistics

This guide is for the NCU specialization Cloud and Networking Infrastructure Management. It contains resources available in the NCU Library.
On Entropic Convergence of Algorithms

The paper describes an approach to measuring convergence of an algorithm to its result in terms of an entropy-like function of partitions of its inputs of a given length. It is a way to relate the set-theoretic definition of a function to the program that computes it. The approach, though very preliminary, may show how to improve a given algorithm.
Guides: Library Reserves & Course Material Support for Faculty Guide: Open Educational Resources

This guide for Pepperdine faculty provides important information and highlights available support resources for the transition to electronic-only course reserves.
TRAINING THE COMPUTATIONAL THINKING WITH AUGMENTED REALITY

To overcome the difficulties of teaching Computer Programming, felt by teachers and students, an increasingly biggercommunity of researchers in Computer Science is claiming for the importance of preparing students, since very early(primary
Replicating noise in video : a comparison between physics-based and deep learning models for simulating noise

Algorithms that track objects in video following Newtonian physics can often be affected by noise in the data. Some types of noise might be hard or expensive to capture, so to be able to augment or ...
Users' and Librarians' Perceptions of School Resource Center KOHA Library Automation Implementation: A Case Study of School Resource Centre at Kolej Tingkatan Enam Petaling Jaya.

This paper discusses the findings of qualitative and quantitative data analysis on users’ andlibrarians’ perceptions of school resource center KOHA library automation which has beeninstalled in the library. Descriptive statistics by using SPSS analysis tool shows that the use ofKOHA at the school resource centre has resulted in positive feedback from the users. Therespondents perceived themselves moderately high for all statements on reliability, personalizedsearch, information security, flexibility, functional benefit and benefit in supporting teachingand learning process. The installation of KOHA is part of an outreach program for the community, by Asia e University Knowledge Centre. The initiative is aligned with the Digital Malaysia program, which was designed to promote the use of ICT which can improve the livelihood of society and education. Furthermore, librarians may help in supporting the education system and upholding a quality education system in general by working together with other librarians regardless of the difference in terms of the library type.
Perancangan Sistem Informasi Penerimaan Siswa Baru Berbasis Web Pada SMK Bhakti Pertiwi Kota Tangerang

SMK Bhakti Pertiwi is one of the private Vocational Schools in Tangerang City, of course, as an educational institution, of course, it is also expected to keep up with technological developments, because for tens of years SMK Bhakti Pertiwi was established, new student data processing systems still use manual methods. As for some of the problems that are often faced by the new admissions committee when conducting a manual admission system include: Registration forms are often tucked / lost / wrong when placed in a folder that is in place so that when needed for re-registration it often takes time other than that it will cause delays in reporting, inaccurate recording of student data, especially those with somewhat similar names, etc. For this reason, the author tries to make a final assignment regarding the new student admission system at the Bhakti Pertiwi Vocational School, Tangerang City, which until now has not been computerized. Web-based information systems can be used as a means of improving the new student admission system. The utilization will facilitate a job such as recording, storing, searching and processing data faster so that the decisions taken are more appropriate, saving costs and time both for the committee and for the registrant
Guides: Library Reserves & Course Material Support for Faculty Guide: Library ebook Collections

This guide for Pepperdine faculty provides important information and highlights available support resources for the transition to electronic-only course reserves.
Audio super resolution using Neural Networks

In this era of technological advancement, people tend to demand high-quality videos, audios, and images. So deep convolutional neural networks play an important role in learning low-resolution data and obtaining high-resolution data by performing interpolation method. This is similar to the image super-resolution. Here we introduce a signal processing technique to convert the low resolution into high-resolution data with the help of signal processing methods such as up-sampling and down-sampling using subpixel convolution through Bottleneck architecture. Our model tests the missing values within the low-resolution signals and forms high-resolution signals. This technique is applied to telephony, upscaling, text to speech conversion, and also for investigations in many departments. We test the effect of convolutions used in the signal processing and measures the compatibility and scalability for the generative model of audio.
Augmented Reality as The Learning Media of Fundamental Chemistry on An Android Smartphone

Smartphone technology can be used as an innovative and promising learning media that is believed to be able to keep up with the times. Static learning media can be transformed into more dynamic learning media and can display object visualizations. One technology that can be utilized is Augmented Reality technology. Augmented reality technology is a visual technology that combines virtual world objects into real world view. The method used is ADDIE model of R&D (Research and Development) for the five stages of a waterfall model. Application used is unity 3D and Blender as supporting software. Testing of product uses validation, practicality, and effectiveness tests. The product produced is an application with an extension (.apk). The results of validation, practicality and effectiveness of the products were 0.68 with valid criteria, 78.6 with practical criteria
LibGuides: Library Research Navigator: You and your Supervisor

Your preliminary source of information and guidance as you begin or continue with your research journey.
A-Posteriori Novelty Metrics Based on Idea Decomposition

Novelty assessment procedures based on a-posteriori rationales are often used to extract useful information about creativity and/or idea generation effectiveness. In this context, the metric proposed by Shah and colleagues in 2003 (SNM), is one of the most used in design research. However, scholars highlighted some non-negligible flaws and also possible variants have been proposed, claimed to improve the original version. The aim of this paper is to perform a systematic literature review about the SNM variants, in order to verify whether the acknowledged flaws of the metric have been overcome or not. As a result, this paper highlights that the problems affecting the original SNM version have not been comprehensively resolved, and the different variants proposed in literature can even present some additional flaws. Accordingly, a comprehensive list of pros and cons of the reviewed metrics has been reported, thus providing fundamental information to support accurate metric selection.
Bitcoin and Blockchain to Indonesia’s Economic Resilience: A Business Intelligence Analysis

Blockchain technology has been a phenomenal discovery since its use on Bitcoin, a crypto currency created by Satoshi Nakamoto. Featuring decentralization, it allows Bitcoin to escape the interference of third parties and governments. Departing from Keynesian Theory, this study used a mixed quantitative and qualitative approach. The econometric quantitative approach uses the Vector Error Correction Model (VECM) modeling to predict the impact of Bitcoin investment on Indonesia's transaction of capital. A qualitative approach is used to analyze the LOFT effects of Bitcoin on Indonesia's economic resilience. Unlike previous studies, this study attempts to provide an explanation from the standpoint of national resilience, especially in the field of economic resilience. VECM analysis found that Bitcoin had a significant positive effect on Indonesia's transaction of capital in both the short and long terms Even though the magnitude of the influence of bitcoin is relatively small, it needs to watch out for macro performance through capital transactions. Qualitative data indicate that there is a change of Bitcoin function in Indonesia, from a payment method, into an instrument of investment. The finding explains that Bitcoin has the potential to weaken the resilience of the Indonesian economy through a reduction in the balance of payments, while Blockchain can be the main foundation of the financial industry revolution in Indonesia.
Submission to the Review of Telecommunications and Other Legislation Amendment (Assistance and Access) Act 2018

Lyria Bennett Moses, Director of the Allens Hub, together with Hub member Genna Churches and Hub research assistant, Nicholas Parker, prepared a submission for the Independent National Security Legislation Monitor’s Review of Telecommunications and Other Legislation Amendment (Assistance and Access) Act 2018 (‘TOLA Act’). The Act, controversially passed on the last sitting day of Parliament into 2018 may have wide spread ramifications for broader network security and encryption protocols. The submission touches on a number of issues, including the need for clarity, transparency and accountability, particularly surrounding the boundaries of national security and law enforcement agencies power to collect, access, analyse and act on data whilst maintaining public trust. The need for transparency and accountability feeds into a discussion on the range of interpretations which could be derived from elements of the Act and that the Act itself amended the Telecommunications (Interception and Access) Act 1979 (Cth) and the Telecommunications Act 1997 (Cth) which already contained known issues of duplication, confusion and conflict. The submission closes by considering the need for public justification of such powers and if the powers are required, the appropriate form and standard of reporting on the use of those powers. The Allens Hub have been invited to provide oral evidence at the INSLM hearings in Canberra during February 2020.
CSI Library: Resources for Learning and Teaching Remotely: Online Reserve List

This guide lists a few of the electronic resources that are now available to students and faculty to help with distance learning and teaching for the Spring semester
The effects of brand image, perceived trust and perceived risk on online booking intention: a conceptual model / Khairil Anuar Bahari... [et al.]

Over time, the use of the internet and technology has grown rapidly. Most businesses today use the internet as a means of communicating with their customers. This is because the internet has various interactive features and isalways available for use. However, when there are too many interactive features to use, it can make the site more complex, less useful, and users find it difficult to use. Referring to an overview of past literature, the article generally proposes a conceptual framework with six propositions to understand the role of brand image, perceived trust and perceived risk of online buying intentions among hotel website users. As a basic theory, Stimulus Organizational Stimulation (SOR) has been used to support the proposed framework in this study. As a result, the researcher argues that brand image has an impact on the perceived risk and perceived trust of the hotel website. Consequently, hotel websites with higher perceived risk and perceived trust are more likely to influence online booking intentions.
%%title%% %%sep%% League of Legends %%currentyear%%

Having your personal avatar is one thing. Having your very own personal LoL challenger avatar is a different league on its own. That means you get to ...
Audacity for macOS – Download Best Audio Software for Mac

Having Audacity for Mac OS devices can be an amazing experience. If you own an Apple computer and are an avid fan of music, then you probably want ...
PCV82 DEVELOPMENT AND VALIDATION OF A METHOD TO EXTRACT LEFT VENTRICULAR EJECTION FRACTION DATA FROM EHR PHYSICIAN NOTES

Left Ventricular Ejection Fraction scores (LVEF) assess the pumping power of the left ventricular wall of the heart and it is an important factor to consider in retrospective analysis studies focused on Heart Failure (HF). We built a pipeline to extract LVEF results from clinical notes on a large cloud based Electronic Health Record (EHR) platform. A literature review showed that only rule-based approaches had been tried. We explore both a rule-based and machine learning approach. We manually annotated 4924 sentences containing LVEF results, pulled from de-identified SOAP notes. 1424 of the sentences were used to build the rule-based and machine learning pipelines, while 3500 sentences were used for validation. Overall, the rule-based pipeline yielded an F-1 Score of 0.87 (Precision: 0.95, Recall: 0.81) and the machine learning based pipeline, a F-1 Score of 0.95 (Precision: 0.95, Recall: 0.94). For the machine learning pipeline, results with ratio percentage value ( e.g. 60%) had a F-1 Score of 0.95 (Precision: 0.95, Recall: 0.93), results with interval percentage values (e.g. 35-50%) had a F1-Score of 0.94 (Precision: 0.96, Recall: 0.93) and relative percentage values (e.g. >40%) had a F1-Score of 0.93 (Precision: 0.96, Recall: 0.95). Results: without dates had a 0.96 F-1 Score (Precision: 0.98, Recall: 0.94), results with MM-DD-YYYY dates had a 0.92 F-1 Score (Precision: 0.91, Recall: 0.94), results with dates MM-YYYY dates had a 0.79 F1-Score (Precision: 0.86, Recall: 0.76) and results with YYYY dates had a 0.96 F-1 Score (Precision: 0.98, Recall: 0.94). These results are based on the validation set. The machine learning pipeline had a better recall performance than the rule-based pipeline, resulting in a much higher F1 accuracy score. This machine learning method can also be used to develop other extraction pipelines for other clinical data items found in EHR notes.
LSC-Tomball: Library Research Guides: Math Guide: Getting started ...

This guide will help students find the resources they need to succeed in math, including math tutoring and online pradtice sessions.
LibGuides: APA Referencing Style : Other Materials

The aim of this guide is to present concisely the basic rules for citing various types of resources in APA Referencing Style (6th edition).
How To Block Your Number When Calling Someone On Android & iPhone

Would you like to learn how to block your phone number when youre calling someone? Well, there are two different ways to do this, one method is ...
How Asia Confronts COVID-19 through Technology

With societies around the world tackling the Coronavirus pandemic, the role of digital technology has come into focus as a means of augmenting efforts to manage disease and its impacts. What can apps, big data, and digital analytics contribute to such efforts, and what risks do they pose? Asia provides important lessons. Not only have societies in the region long been at the forefront of technological development, but they have also proactively adopted digital solutions as they confront COVID-19. Importantly, Asia has a history of managing highly contagious diseases, and outbreaks like SARS in 2002 or H1N1 in 2009 have provided experiences in risk management and health provision that now powerfully inform both digital and non-digital responses to the current pandemic. The result is a diverse range of different approaches that can teach us much about the advantages and disadvantages of designing tech solutions to fight pandemics.