Reviewerly/exHarmony huggingface dataset:
Pedagogical conditions of personal-creative development of elementary school pupils in the process of music learning

Pedagogical conditions for the personal-creative development of elementary school pupils in the process of teaching music. The purpose of the article is to isolate andsubstantiate the pedagogical conditions that ensure the effectiveness of personal-creative development of elementary school pupils in the process of learning music. The theoretical (analysis, synthesis, generalization of scientific and pedagogical sources)and empirical (pedagogical observation) methods of research were used to reveal the topic. The article deals with the issues of personal-creative development of elementary school pupils as a component of their personal development, which is carried out during musical creative activity. The author’s understanding of the personal-creative development of the elementary school pupils is presented in the context of determining the creativity of the elementary school pupils. The author summarizes the understanding of creativity in the context of music education, highlights the main aspects of this concept in scientific research of recent years. The category of communication regarding the musical creativity of elementary school pupils in the process of teaching music, which includes verbal and non-verbal communication, application of collective and group forms of work, has been modified. The peculiarities of the elementary school age, which create psychological preconditions for artistic-creative, in particular, musical creative activity of children and the effectiveness of their personal-creative development are considered. On the basis of the analysis of scientific literature the author generalized understanding of pedagogical conditions in research works on creative development of students. The concept of creative interaction as a key in defining the pedagogical conditions of creative activity in the learning process is covered. It is determined that creative interaction is based on the principles of personal approach and individualization. It has been found that developing a music-creative environment is a complex, capacious concept. A number of additional conditions must be implemented in order to create it. The pedagogical conditions of the personal-creative development of elementary school pupils, which ensure its effectiveness in the process of teaching music are substantiated.
Knowledge Management in the Courts of Accounts of Brazil: the perception of External Control Auditors.

The Knowledge Management (KM) enables the harmonization of corporate strategy and organizational structure efficiency, positively impacting on competitiveness and organizational performance. The objective of this article is to understand the perception of external control auditors about the KM processes and cultural orientation in the Courts of Accounts of Brazil. The nature of the study required the use ofthe quantitative investigation method by exploratory factor analysis. The results showed that the perception of employees of Brazilian Audit Courts revealed perspectives of KM processes in its administrative, operational and strategic actions, showing good human resources management practices of the Audit Courts of Brazil (TCs) in the categories of developing an organizational culture and to improve the results.
Operator overloading for cv::UMat converted to equivalent function calls at compile time

OpenCV is an open source programming library for computer vision and image processing, and has been used worldwide in industry and academia as a de facto standard for more than 10 years, from large-scale computers to embedded devices such as smartphones. OpenCV has image data representation classes cvMat and cvUMat as image processing APIs, and the latter can implement parallel computation using heterogeneous computing such as the OpenCL framework. Operator overloading is a technique that enables intuitive programming using arithmetic operations and assignment operators, and is defined in cvMat. On the other hand, operator overloading is not defined in cvUMat, and it is necessary to call functions appropriately. Therefore, programming using cvUMat is difficult, and there is a problem that the code is not compatible with cvMat using operator overloading. In addition, cvMat operator overloading has a problem of extra memory reallocation at runtime, so it is not appropriate to apply it directly to cvUMat. Therefore, in this paper, we propose a method to realize operator overloading that does not require extra memory reallocation at runtime and can be equivalently converted to cvUMat function calls at compile time. This method enables programming that achieves intuitive operator overloading without any overhead at runtime.
The 5 Best Bell & Howell FD35 Camera Lenses

The Bell & Howell FD35 is a fantastic film camera. It is actually a rebranded Canon TX. The best 5 lenses to use with the Bell & Howell ...
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version)

We study various formulations of the completeness of first-order logic phrased in constructive type theory and mechanised in the Coq proof assistant. Specifically, we examine the completeness of variants of classical and intuitionistic natural deduction and sequent calculi with respect to model-theoretic, algebraic, and game-theoretic semantics. As completeness with respect to the standard model-theoretic semantics a la Tarski and Kripke is not readily constructive, we analyse connections of completeness theorems to Markov's Principle and Weak Konig's Lemma and discuss non-standard semantics admitting assumption-free completeness. We contribute a reusable Coq library for first-order logic containing all results covered in this paper.
GB iOS X | Download and Update Latest Version (v6.0)

GB iOS X is a WhatsApp mod developed for Android devices that emulates how the messaging app appears on Apple devices. StefanoYG developed this ...
A biblioteca pública na produção científica brasileira do campo de estudos infocomunicacionais das décadas de 1970 e de 1980: uma análise entre o texto e o contexto

This article presents an analysis of the scientific production around public libraries on the Information Sciences and Communication studies. The main theme of research is to identify how Public Library has been represented in the discourses that comes from this production. It determines the 1970’s and the 1980’s as the corpus of the analysis, considering the weight of these years to the studies on the theme in Brazil. Conducts bibliographic survey in an important brazilian database in library and information science- BRAPCI -  aiming to map the scientific production. Identifies 68 documents published during the period and after applying the research`s criteria, it defines a corpus of analysis a total of 12 scientific articles.  For the purposes of the analysis, it employs content analysis. It concludes that social and historical constructions about public libraries during these period, deeply guided by the desires of the higher socioeconomic classes, reverberate in the appropriations and understanding of the Public Library through Brazilian society.
Electromagnetic guitar: chord playing support system on guitar by electromagnets

We introduce ElectroMagnetic Guitar (EMG), a new guitar interface that supports chord playing mainly for beginner guitar players. In the case of right handed players, they play the guitar with their left hand’s fingers on a fretboard and pick the strings with their right hand’s fingers, our guitar guides the player’s fingering of the left hand by magnetic force. To realize such a concept, we made an original fretboard with controllable electromagnets mounted and attached it to the normal classic guitar. EMG ‘draws’ player’s left hand fingers with magnetic material attached toward proper chord positions on the fretboard. As a result of an informal user study, our EMG prototype offered sufficient magnetic force to keep chord form, though not enough power to properly draw fingering.
Indonesian culture recognition portal based on crowd sourcing contents

The people of Indonesia experienced high cultural crisis, especially the younger generation who prefer foreign cultures rather than local cultures, so that local cultures fade away. The aim of this research is to develop a portal about Indonesian culture based on crowd sourcing contents to rise the recognition of local cultures. This research seeks to change the perception of old fashioned local cultures to become new fashioned local cultures by combining local cultures with the implementation of information and communication technology which is currently being used by the people of all walks of life. The method used in this study is crowdsourcing because it requires the help of all members of the communities to fill in the content and managed data which later have a large volume, so that it needs cloud computing. The website portal was successfully created and the next challenge is to increase website contents such as video, photographs and narration.
Study on Book Ontology in the Digitization Process of Books

Abstract In the construction of digital library, it is difficult to find the content information of massive electronic books.Thus, the problem of many islands of information is presented, which hinders the efficient utilization of resources. This paper proposed an ontology framework of the electronic book domain to realize the semantic description of information resources. The KeyGraph algorithm was used to extract the key words of the book content abstract and chapter content of the electronic books, and the corresponding classes in the domain ontology were instantiated with the keyword content. Finally the semantic retrieval model has been proposed for extracting the query keywords. Content abstract and chapter content were obtained from book ontology. Compare query keywords with their similarity to get the final query result.
THE FEATURES OF STUDENTS’ INTRODUCTION INTO THE UNIVERSITY EDUCATIONAL PROCESS

&nbsp; The article analyzes students’ adaptation to the socio-economic conditions, new education systems at university, as well as personal processes related to forming professional competence. The peculiarities of students’ attitudes to university training were examined with the survey conducted among students. The revealed peculiarities of university training were related to characteristics of the students’ personal, psychosocial and professional development. Students’ main activities include their professional training, self-affirmation, intellectual development, moral and physical self-improvement. The conclusion is made that it is important to ensure the link between general and professional education, socially useful work. The centre of cognitive interest is thinking, so, the problem-based learning, which activates students’ mental activity, has a positive effect on their emotional sphere. Such intellectual feelings as a feeling of something new, curiosity, surprise contribute to students’ mental activity. If there is a space for manifestations of intelligence, students become active; boredom appears if there is no place for intelligence. Anyone can give an example, when it was difficult to reproduce the content of a listened lecture, a read book or a watched movie, because mental activity was not encouraged. The peculiarity of cognitive interest lays in an individual’s desire to delve into the essence of cognized objects. From this point of view, a cognitive interest can become a motive for learning, which is the basis of students’ positive attitudes to higher education, to knowledge that, in turn, evokes positive experiences of mental work with a constant desire to obtain deeper knowledge on some learned subjects. Existing cognitive tasks that require a person to be active, exploratory or creative are important prerequisite for appearance of cognitive interest. &nbsp
Library Guides: Summer & Winter Research Program - Library research and data skills: Research and data skills

How to use EndNote referencing software, the UQ Research Data Manager (UQRDM) for storing project data and strategic scholarly publishing.
Efficient Block replication to optimize the blockchain resources

Blockchain is a great tool that provides a scalable data ledger ensuring integrity of the registered data. The validation of the blocks integrated in the blockchain can be fully distributed using a voting mechanism. This article proposes to use the blockchain as a distributed database to store information in different nodes of an ad hoc network. The main issue resides in the volume of resources needed to validate and store the blocks. We propose a distributed blockchain with k resiliency, instead of a full replication, over the nodes to reduce the overall used memory and bandwidth while providing robustness through data duplication.
Enforcement case law round-up 2019—CJEU and selected national case law

Enforcement case law round-up 2019—CJEU and selected national case law Carina Gommers, Carina Gommers Search for other works by this author on: Oxford Academic Google Scholar Willem Leppink, Willem Leppink Search for other works by this author on: Oxford Academic Google Scholar Marius Schneider Marius Schneider Emails: carina.gommers@hoyngrokh.com, w.leppink@ploum.nl and ms@cew-law.be. Search for other works by this author on: Oxford Academic Google Scholar Journal of Intellectual Property Law & Practice, Volume 15, Issue 7, July 2020, Pages 507–515, https://doi.org/10.1093/jiplp/jpaa079 Published: 03 June 2020 Article history Received: 04 May 2020 Accepted: 08 May 2020 Published: 03 June 2020
LibGuides: Instructional Design & Technology Graduate Program: Literature Reviews

Welcome to the Libguide for students and faculty in the Learning Design & Technology Graduate Program.
A Water Balloon Eye Model for Teaching about the Human Eye

A physical eye model made of a water balloon and a convex lens is described. It can be used to model how an image is formed in the eye as well as shortsightedness and farsightedness. The model is unique in featuring a fluid-filled “eyeball” with “intraocular pressure,” making it a useful tool for teaching about accommodation and glaucoma. Instructional ideas for the model are suggested.
File Folder Follies

Abstract The reviewer looks at Roger E. Bissell's latest work, What's in Your File Folder? Essays on the Nature and Logic of Propositions. He considers a range of topics including propositions, syllogisms, the meaning of existence, the nature of entities and characteristics, axioms, causality, and logic, among others.
LibGuides: Visual Communications: Getting Started

A guide to finding library and research resources on Visual Communications at Cazenovia College.
GSU Library Research Guides: Web Savvy -- General Guide: Malcolm McGregor

A multi-page tutorial on evaluating web sites, for beginners and those who think they know. Visit a Credible Facebook Page about a boy with cancer
Domain Authority Stack

Domain authority stacking is a safe way to use backlinks for varying authority in order to rank a money site without penalization. In our strategy, we ...
The Future of pandas

There are an increasing number of packages that are built on top of or compatible with pandas. Some of these like sklearn-pandas integrate with other packages like scikit-learn to utilize DataFrames for machine learning. Others, like Plotly, provide interactive plotting capabilities and online collaboration. pandas has recently made the push in the last couple years to branch out into other languages. There is now a pandas.js package and a ruby wrapper that enables ruby users to call into the Python pandas API. There is also a push to optimize data analysis at a more global scale using an up-and-coming LLVM called Weld. It takes an approach similar to NumExpr but on an even larger scale. The idea is to combine all the data analysis operations together lazily and only run them when an actual result is needed. This allows the operations to be optimized for parallel compute and loading of memory on a much grander scale.
군사학 학문연구 동향 탐색 - 한국군사학논총 논문 분석을 중심으로 -

The purpose of this study is to investigate the trends of what kind of research is actually being conducted on the military studies. To do this, the research analyzed the articles published in the Review of Korean Military Studies. As a method for analysis, a topic modeling technique, which is one kind of text mining, was used. As a result, it was found that the research was mainly conducted on nine subjects. In view of the nature and content of the subject, despite the fact that the military studies is a fusion of literature, the paper published in the Review of Korean Military Studies has found that the thesis of the humanities and sociological approach is mainstream.In order to investigate the research trends of military studies and to examine the relationship among the research topics, an association rule mining was conducted. As a result, it was found that the research topics derived from the topic modeling analysis were dealt with in some ways with some relevance. The most peculiar thing is the subject related to politics and diplomacy, which, along with almost all the subjects, are relevant and appear in the study, which is a military studies that talks about war, but political and diplomatic solutions or approaches are important in solving military problems.This study is an exploratory study to identify trends in the field of military studies, and it is expected to be helpful in looking at the achievements of the Korean association of future military affairs of the past decade and in the future development of military science.
LibGuides: Instructional Design & Technology Graduate Program: Finding Instruments

Welcome to the Libguide for students and faculty in the Learning Design & Technology Graduate Program.
SISTEM KOMPUTERISASI DALAM MENINGKATKAN PRODUKTIVITAS KERJA PEGAWAI DI KANTOR CAMAT SIBABANGUN KABUPATEN TAPANULI TENGAH

Current technological developments, encourage every organization to process data quickly, completely and accurately. One technology that can help in processing data in an organizational environment is to use computer devices and computerized systems that are good and appropriate. This research was conducted at the Sibabangun District Head Office in Central Tapanuli District, the form of research used in this study was descriptive qualitative to help analyze data and facts obtained. Based on the results of data analysis, it is known that the role of computerization in increasing employee work productivity at the Sibabangun Sub-District Head Office in Central Tapanuli Regency is very helpful for the work process carried out in the sub-district office. In addition, computers are tools that support the work processes used by the employees of the Sibabangun sub-district office to create systems and services that produce good work productivity for the sub-district.
Blockchain Freedom From Mediation Costs

This paper is a focus on the possible use of blockchain in different fields. The new form of collective certification reduces the costs of mediation and services. This technology easy to use, the absence of visible and invisible costs and reduction of transaction times in generating agreement is the base of success of this collective platform self- certified. This analysis seeks to reconstruct the fields of use of the chain of blocks and its flexibility. These characteristics allow us to hypothesize a future of sure success as long as we know the flaws and the main features such as the immutability.
MusicID: A Brainwave-based User Authentication System for Internet of Things

We propose MusicID, an authentication solution for smart devices that uses music-induced brainwave patterns as a behavioral biometric modality. We experimentally evaluate MusicID using data collected from real users whilst they are listening to two forms of music; a popular English song and individual's favorite song. We show that an accuracy over 98% for user identification and an accuracy over 97% for user verification can be achieved by using data collected from a 4-electrode commodity brainwave headset. We further show that a single electrode is able to provide an accuracy of approximately 85% and the use of two electrodes provides an accuracy of approximately 95%. As already shown by commodity brain-sensing headsets for meditation applications, we believe including dry EEG electrodes in smart-headsets is feasible and MusicID has the potential of providing an entry point and continuous authentication framework for upcoming surge of smart-devices mainly driven by Augmented Reality (AR)/Virtual Reality (VR) applications.
Basic Geophysics - High-sensitivity Seismometers

Why is the seismometer installed in the mine tunnel?Function, shielding and coupling of highly sensitive seismometers at the Black Forest Observatory (BFO), Interview with Thomas Forbriger
Graphology for Employee Recruitment

Graphology can indicate well a person's personality structure, abilities, capabilities to grow and develop, and perhaps most importantly, integrity. This research aimed at knowing how Graphology works in daily lives. Graphology is a scientific method in a basis of analyzing strokes. Combinations of strokes have significant interpretation. The method used was qualitative method. The data collected consisted of primary data and secondary data. Primary data were obtained through observation and interview to employee and Graphologist. While, secondary data were obtained through literature study. The sample was employees selected by using Graphology (20 employees). In analysing the data, N Vivo11 was used. The result concluded that the role of Graphology is very important because it is helpful in terms of knowing the extent of the competencies of the employee.
Library Guides: Summer & Winter Research Program - Library research and data skills: Research Data Management

How to use EndNote referencing software, the UQ Research Data Manager (UQRDM) for storing project data and strategic scholarly publishing.
An approach to metric rectification using sequential estimation of spatial adjacent planes appeared in single view image

In this paper, we propose a metric (Euclidean) rectification method for a target spatial plane showed up in a single viewpoint image. Our approach is realized from a homography matrix calculated without using four points correspondence, unlike general well-known metric rectification methods. The method first estimates a projection matrix for the pre-defined world coordinate system on a specific plane regarded as the base one, and then sequentially estimates adjacent spatial planes appeared in the input image, using our previous method.<sup>1 </sup>Once our method can estimate the target plane, the world coordinate system on the base plane is moved to on the estimated target plane, and it is regarded as the new world coordinate system. By doing this, it can be showed that the homography matrix for the target plane is calculated only from the original projection matrix and the transformation parameters between the old and the new world coordinate systems (rotation and translation). Finally, metric rectification can be realized using the calculated homography matrix; i.e., the proposed method can obtain 3D information such as length and angle on a plane where four-point correspondence is not easily determined, only using a single view image. Experimental results showed the validity and effectiveness of our approach.