Reviewerly/exHarmony huggingface dataset:
Artificial intelligence as inventor: exploring the consequences for patent law

Discusses the challenges which the creative output of artificial intelligence poses for patent law. Reviews the growth of machine-generated inventions, the requirements for patentability, including novelty and inventive step, what constitutes inventorship, the approaches adopted by the EU, the UK and the US, and whether they achieve the optimum social welfare effect. Considers alternative approaches, and notes the potential role of ownership.
Library and Academic Success: Artificial Intelligence: AI in Canada

Artificial Intelligence machine learning deep learning artificial neural network data mining natural language processing robotics mechatronics
LibGuides: Open Access : OA Theses

The purpose of this guide to help students at Independent College Dublin understand what Open Access is, how it is changing the way we publish and consume knowledge, and where they might find Open Access resources related to their subject.
Vérification dynamique ciblée et interactive de programmes grâce à une architecture modulaire

Le cycle de developpement d’une application contient plusieurs phases, de l’ecriture au soutien technique suivant la publication. Une phase particulierement importante est la verification du programme. Il s’agit de verifier que le programme produit repond a la specification au senslarge, c’est a dire qu’il presente le comportement prevu sans bogue, quel que soit le scenario et les entrees presentees. De nombreux outils sont disponibles pour assister l’utilisateur dans cette tâche. Parmi ceux-ci,on trouve les outils de verification formelle qui permettent de modeliser le deroulement d’un programme et d’en prouver mathematiquement la validite. Les analyses statiques peinentcependant a verifier des programmes complexes, et une autre famille d’outils est souvent necessaire. Ce sont les outils dynamiques, qui verifient l’integrite du programme pendantson execution. Dans ce domaine, on trouve surtout des outils specialises et efficaces, mais peu flexibles. En effet, en l’absence d’une structure commune, beaucoup d’outils reecrivent integralement toutes les fonctionnalites de base, et ce cout de developpement fait qu’ils se limitent souvent aux fonctionnalites strictement necessaires. Peu d’outils proposent ainsi une instrumentation dynamique ou une interface graphique.----------ABSTRACT: The development cycle of an application covers multiple different stages, from code writing to technical support. One crucial phase is program verification and debugging. During this stage, the developers need to make sure that the program they deliver corresponds to both its explicit and implicit specification, meaning that it has to behave correctly and without any bug whatever input is given to it. Multiple tools exist to assist the developers. Among them, formal verification is a method which proves mathematically the validity of a program by modeling its behavior. However, this type of static analysis struggle to analyse properly complex programs, and developers often also rely on dynamic tools, which check the integrity of a running program. A large number of specialized tools exist in that domain, but they often go for a lean approach, with little flexibility and adaptability. This is partly due to the lack of a common framework for high performance runtime verification tools. Most tools have to reprogram every functionality from the ground up, which means they often limit their scope to what is strictly necessary to reduce development costs. Features such as dynamic instrumentation or even a graphical user interface are seldom available. As part of this research project, we propose a solution to this problem, taking example on the recent development in integrated development environments. The goal is to provide modularity in order to share underlying features as much as possible. This removes the need for rewriting those basic features and enables developers to focus on more advanced tasks, which in turn produces better verification tools.
Language Night 2020

Language Night 2020 is aiming to present a very versatile as well as a fascinating phenomena of Spoken Language. Authors of Language Night 2020 in a briliant manner describe Informal Language in the context of various foreign languages: la langue français, polish, finnish and many others. It gives to readers a wonderful opportunity to rethink language's border (probably it might be necessary to push it further slightly or the opposite). Moreover, our Collection of Articles suggest to all of us to expand our knowledge on Spoken Language and to experience it together.
The Perception Survey of Special Education Professionals Regarding the Compilation and Quality Management of Special Education Text-books

The purpose of this study is to survey the perception of special education professionals about the compilation and quality management of special education text-books. The participants consisted of 600 special education teachers and 100 special education professionals who had participated in the development of special education text-books. As a result, the special education teachers used text-books by an average degree. The special education teachers recognized both the type and number of text-books. by an average degree but the participants who assisted in the development of the text-books recognized that they were under production. All participants of this study recognized the necessity of the development for digital special education text-books. In relation to the cost of compilation and development, the participants who had developed special education text-books recognized the increased cost of development regarding the illustrations within the text-books. These results will have an effect on the developmental policy regarding the compilation and quality management of special education text-books.
Effective forms of formation of pedagogical thinking in students

The future of our country depends on who will replace us, or in other words, what kind of personnel we will train. Today, educators need to be able to effectively organize the educational process, accurately assess the current situation, work in the process of pedagogical relations in accordance with the age, psychological and personal characteristics of the student, prevent potential conflictsand predict the future. The presence of such cases determines that they have their own pedagogical thinking. The article explains the theoretical essence of the concept of "pedagogical thinking" on the basis of philosophical, psychological interpretations of the concept of "thinking". Also, effective forms of formation of students' pedagogical thinking in the educational process on the basis of examples from the disciplines of the pedagogical series are described.
The Influence of Self-Efficacy on Students Writing Perfoemance at the Fifth Semester of English Education Departmen UIN Alauddin Makassar

The results of this research showed that the coefficient influence of students’ self-efficacy on writing performance was 9.841 and the coefficient influences the value of both variables was 0.736. It was shown that the students who got a high score in writing tests; they also got a high score for their self-efficacy. Based on the results of the research it could be concluded that there was a significantinfluence of self-efficacy on students writing performance. By having high selfefficacy, students were able to write better and produce a good piece of writing than those who have low self-efficacy.
Development of Augmented Reality (AR) Based Trompong

In gamelan, one of the most important instruments is trompong. Trompong is an idiphones instrument that has 10 rows of round shaped metal called pencon. Every pencon has its own sound. As a traditional music instrument, of course gamelan especialy trompong must be preserved continuously. But unfortunately, playing Balinese gamelan with real instrument is hard to do because the difficulty to finding gamelan in the real world. By using technolgy such as Augmented Reality, playing trompong possible to do even without having the real instrument. Augmented Reality will be develop using Unity 3D software along with Vuforia SDK, and also this application using Android smartphone as a base of Augmented Reality application. This Augmented Reality application called TrompongAR and will be marker based Augmented Reality, by using a target marker will help Augmented Reality to place where the 3-dimensional trompong will placed. The 3-dimensional trompong will have 10 pencon that can played by tapping the pencon, the touched pencon will produce sound like the real instrument.
A Development of Healthcare Monitoring System Based on Internet of Things Effective

The Recently there has been a growing interest in health care due to the COVID-19 situation. In this paper, we intend to develop a healthcare...
STRATEGI MEGHIDUPKAN LITERASI AWAL ANAK USIA DINI RENTANG USIA NOL SAMPAI LIMA TAHUN

Literacy is currently very important in life. However, the problem of Indonesian children's literacy ability is far from what was expected. It caused by parents have not been able to be a good model of literation. Therefore, the strategies need to be applied to improve early childhood literacy. This study uses qualitative research using theoretical studies. Improving of early childhood literacy of parents can do activities that can be done such as activities at home and their surrounding. Activities at home can be done such as reading when they are sleeping, eating and drinking, bathing and playing. And, the activities in their environment can be done by introducing the library and providing book shopping.
A Comparative Study on Transformer Versus Sequence to Sequence in Machine Translation

Machine translation is the process of translating one natural language into another natural language. In the experiment, machine translation tasks were performed on the English to German data set and the English to Thai data set through the sequence-to-sequence model, the sequence-to-sequence model with attention mechanism and the transformer model. Through the analysis of the experimental data, it is concluded that the transformer model is not only better than the first two models in the performance of machine translation, but also the structural characteristics of the transformer model. When the data set is a relatively rare English to Thai data set, the transformer model is collected, and the impact of the result is less than the first two, which proves that the transformer model improves the quality of machine translation.
LibGuides: Licensing Agreements for Electronic Materials in Libraries: Formulating Search Strategies

This LibGuide provides an overview of the many issues surrounding licensing agreements in public and academic libraries, both from a Canadian perspective and from other jurisdictions.
Object detection and tracking in video sequences: formalization, metrics and results

One of the promising areas of development and implementation of artificial intelligence is the automatic detection and tracking of moving objects in video sequence. The paper presents a formalization of the detection and tracking of one and many objects in video. The following metrics are considered: the quality of detection of tracked objects, the accuracy of determining the location of the object in a frame, the trajectory of movement, the accuracy of tracking multiple objects. Based on the considered generalization, an algorithm for tracking people has been developed that uses the tracking through detection method and convolutional neural networks to detect people and form features. Neural network features are included in a composite descriptor that also contains geometric and color features to describe each detected person in the frame. The results of experiments based on the considered criteria are presented, and it is experimentally confirmed that the improvement of the detector operation makes it possible to increase the accuracy of tracking objects. Examples of frames of processed video sequences with visualization of human movement trajectories are presented.
SAFETY AND EFFECTIVENESS OF RIBOON-LIKE WIND TURBINE

In this paper, solved a robot path planning problem in known environment using anew algorithm called the Fuzzy Probalistic Road Map Star PRM* algorithm.In this algorithm, we have modeled the workplace including obstacles As fuzzy.Here, we develop PRM algorithm, so that it can run in a fuzzy environment.We assign a weight for each obstacle (fuzzy number) which represents the obstaclemeasures, meaning that whenever this weight is larger, the obstacle becomes more impassable (or more dangerous).This algorithm has been designed for using by robot's movement in difficult areas (such as areas full with obstacles in which the robot requiresto crossover these obstacles to reach its goal).By compare the FPRM* withnormal PRM we found that modeling the environment as fuzzy helps to improve the path.
Inversion results appended with estimates from vegetation changes in assessment of Ground Surface Temperatures for the Amazon Region, Brazil

Estimates have been made of ground surface temperature (GST) variations for 25 localities in the region of Manaus (province of Amazon in Brazil) making use of both forward and inverse models. The work is based on analysis of borehole temperature logs as well as remote sensing data concerning changes in vegetation cover. Results of functional space inversion (FSI) of borehole temperature data reveal the occurrence of a cooling event, with a decrease in temperature of slightly less than 1oC, for the period of 1600 to 1850 AD. This episode coincides roughly with the period of “little ice age” in the southern hemisphere. It was followed by a warming event, with magnitudes varying from 2 to 3oC, that lasted until recent times. Integration of these results with estimates based on changes in normalized index of vegetation cover (NVDI) of the last decade points to continuation of climate warming over the last decade. This event is found to be prominent in areas of deforestation in central parts of the Amazon region.
Approximate Nearest Neighbor Search Using Query-Directed Dense Graph

High-dimensional approximate nearest neighbor search (ANNS) has drawn much attention over decades due to its importance in machine learning and massive data processing. Recently, the graph-based ANNS become more and more popular thanks to the outstanding search performance. While various graph-based methods use different graph construction strategies, the widely-accepted principle is to make the graph as sparse as possible to reduce the search cost. In this paper, we observed that the sparse graph incurs significant cost in the high recall regime (close or equal to 100%). To this end, we propose to judiciously control the minimum angle between neighbors of each point to create more dense graphs. To reduce the search cost, we perform K-means clustering for the neighbors of each point using cosine similarity and only evaluate neighbors whose centroids are close to the query in angular similarity, i.e., query-directed search. PQ-like method is adopted to optimize the space and time performance in evaluating the similarity of centroids and the query. Extensive experiments over a collection of real-life datasets are conducted and empirical results show that up to 2.2x speedup is achieved in the high recall regime.
The Influence of Motivation and Leadership Style on Productivity and Performance of Education Management in Aliyah Madrasah Swasta (MAS) AS'AD Jambi City

The current research emphasized on the teacher’s performance in supply chain perspective influenced by education suppliers, supply chain education and leadership styles among educational staff in Madrasah Aliyah Private (MAS) As'ad Jambi City. The population in this study is the teacher at MAS As'ad Jambi City as many as 38 teachers. The approach in this study uses a quantitative approach to the survey method and utilized SAMRT-PLS for analysis. The study reported that education suppliers, supply chain education and leadership styles influence the teachers’ performance that is required for effective supply chain management.
Blockchain Technology and Higher Education: Characteristics, Dilemma and Development Path

This article first sorts out the specific measures taken by various subdivision fields of the Chinese education industry to actively respond to the call for suspended class, ongoing learningafter the outbreak of COVID-19 Among them, online education is facing a huge challenge and an unprecedented development opportunity as a new teaching method Before the submission, most of the research in the academia favored macro-policy recommendations On this basis, this paper focuses on the impact of the epidemic on structural changes in education, online teaching models, comparison of online and offline training between China and foreign countries, and the future development trend of online education With a view to providing suggestions for relevant departments and education practitioners © 2020 ACM
LibGuides: Library Technology Resources: Copyroom

User manuals, troubleshooting and other documentation for virtual reality system, One Button Studio, etc.
Software Quality Assurance and Systemic Review

Abstract Quality is most of the important factor in industries now a day. Software industries have to work on quality assurance and control, as day by day variety of software is developed and drawn in the market. To satisfy the growing demand and need of customer in today's competitive world companies have to concentrate on the software quality, which is checked while the development of software. Software quality depends upon customer satisfaction which can be achieved through applying standards. With increasing demand for software products with high “Quality”, it has become imperative for organizations to adopt quality models like (International Standard Organization) ISO 9001, (Capability Maturity Model Integration) CMMI or Six Sigma etc. to set and sail on their quality journey. While designing, the architect should analyze the system requirements before committing the resources to it. The analyzing process helps us to ensure the high quality of architecture design. Software testing is an important technique for assessing the quality of a software product. For maintaining the quality, performance, speed, efficiency, and cost of the software quality Assurance activities, principles, and methods are implemented in the early stages of software engineering development phases. The Software Engineering Institute (SEI) Maturity Model and other standards are relevant in understanding the importance and roles of the quality group.
Corrigendum: The Trade-Off Between Format Familiarity and Word-Segmentation Facilitation in Chinese Reading

Missing FundingIn the original article, we neglected to include the fund**Ministry of Education Humanities and Social Sciences Research Youth Project, China**, **18YJC190023** in the article. The authors apologize for this error and state that this does not change the scientific conclusions of the article in any way. The original article has been updated.
Aprendizaje por refuerzo en sistemas multiagente mediante MARLÖ

Gracias al Instituto Valenciano de Investigacion en Inteligencia Artificial (VRAIN) por concederme la beca de formacion que ha hecho este trabajo posible.We gratefully acknowledge the support of NVIDIA Corporation with the donation of the Titan V GPU used for this research.
LibGuides: Research Introduction: UVa Library Databases

With the challenges presented by the Fall 2020 semester and the increased dependence on the UVA Library's online resources, this guide is intended to walk you through the basics of access to our online databases as well as tips and tricks for honing your
Welcome Message from the General Chairs

We are pleased to host the 10th APSIPA ASC this year in the Aloha state, in the middle of the Pacific Ocean at a cross-section between Asia and North America.The theme of this year's APSIPA ASC is on "Catching the Big Data Wave in Signal and Information Processing".APSIPA was formally founded in 2009 with the goals of promoting research and education in signal and information processing that encompasses processing, recognition, classification,
THE FUTURE OF HUMANISM: THE PLACE OF HUMAN IN TECHNOGENIC CIVILIZATION

The article is devoted to reflections on the future of the humanistic paradigm that underlies modern culture, and an analysis of the views of modern philosophers and historians on this scientific problem. Modern science and technology are evolving very rapidly. Society is trying to keep up with their development and modernize culture to meet new requirements. The foundation of modern culture is humanism as a system of views and values associated with the recognition of the central role of man, as well as with the belief in the need to coordinate strategies for solving any socio-cultural issues with the essence of human. At the same time, a person in the context of a humanistic worldview is certainly perceived as a bearer of the individual “I”, acts as the basis of personality. Science and technology are still developing within the framework of a humanistic system of values, and they also set ambitious goals based on such value. However, there are already very significant contradictions between the values of humanism and scientific achievements. Consequently, there is a need for a fundamental analysis of this situation. It seems that technology poses a significant threat to humanism, and this threat can be realized in several scenarios. On the one hand, modern science undermines “faith” in humanism when it claims that despite advances in the analysis of the functioning of the brain, it has failed to find the very center of personality, the individual “I” of a person, on the basis of which the humanistic paradigm is built. That is, science has failed to figure out how electrical impulses turn into consciousness. And if we assume that no “I” actually exists, that this is only a certain function of the brain to create a holistic picture of the world, then a person can be considered simply as one of the algorithms. Then it does not matter on what basis this algorithm works, that is, “live” and artificial algorithms in fact are not fundamentally different. Such considerations, of course, leave humanism no chance. Such reasoning, of course, leaves no chance for humanism. On the other hand, the “humanistic” goals of humanity can lead to its complete or partial transformation into a certain “super-humanity”. And attempts to define the “spiritual” values of such a future “new formation” look like a fundamentally insoluble task. So, from the point of view of determining the future states of humanism, modern philosophers have something to think about.
IMPLEMENTASI SISTEM INFORMASI ABSENSI GURU MENGUNAKAN TEKNOLOGI FINGERPRINT DI SEKOLAH MENENGAH ATAS (SMA) NEGERI 2 MANOKWARI

The aim of this study is to find out how to design teacher absence applications using fingerprints and how to fill in teacher absence applications. This research has been conducted at SMAN 2 Manokwari, data collection techniques have been performed through observation and interviews. The SDLC method is used for system development. Fingerprint-based teacher attendance applications are created using the PHP programming language. With the fingerprint-based teacher presence application, it can make it easier for schools to fill in teacher absences, teachers can be on time and manipulation of teacher presence can be monitored from the application