Reviewerly/exHarmony huggingface dataset:
A New Adaptive Corporate Learning Model

The article discusses issues related to the main trends in corporate learning and the creation of a model of adaptive learning organizations. As one of the main conditions for their activities, the idea of forming a knowledge management system in adaptive learning organizations, widespread use of corporate knowledge portals, and empowering communities of practice is put forward and substantiated. In this regard, the article focuses on the peculiarities of their construction and functioning. A list of the main problems that arise in the knowledge management system is given, and the ways of their solution are determined. Particularly interesting is the question of modern new functions of the knowledge management system, an overview of the current existing experience of solving this using e-learning and vr-technologies is given.
Libra Currency and its Global Financial and Economic Impact

Facebook, the social media, has announced its very own cryptocurrency called ‘Libra,’ formerly known as ‘Facebook coin,’ to the basket of blockchain digital currencies. It is yet another option in the digital age’s monetary system. Long before its launch, it was compared to the world’s largest cryptocurrency; Bitcoin has so far been successful due to its nonvolatile nature, making it a good stock investment. If everything goes as planned, the Libra Association expected to launch in 2020. According to current reports, the Libra currency will be backed by American multinational corporations Uber, MasterCard, eBay, and Visa. The paper shows this new development in the digital tern and how it will influxes the financial markets. Its unforeseen consequences, libra will have a significant impact on the global economy.
Modelling Adoption of Innovation at a State Owned Company

This study aims To measure the level of technology readiness level (TRL) and to assess user acceptance to use the transportation management system software utilizing technology acceptance model (TAM) approach. Technology acceptance model (TAM) is used to describe the three components, i.e., perceived usefulness, perceived ease of use, and behavioral intention to use . To ensure that these 3 components are important factors of TAM, authors utilized factor analysis method, whereas t-test calculations were carried out to find out the relationships between components. The results show that the TRL of transportation management system software readiness is 9 which means that it is ready to be used widely in the company. The factor analysis shows that TAM is influenced by the three components, which is able to explain about 66.8% of variations. In the meantime the t test shows that all hypotheses are accepted, so there are significant relationships between components analyzed. To summarize, the authors conclude that the company can benefit the usefulness and ease of use of the transportation management system software developed, so that the behavioral intention to use and the utilization of this technological innovation can be optimized.
Peer review declaration

All papers published in this volume of Journal of Physics: Conference Series have been peer reviewed through processes administered by the Editors. Reviews were conducted by expert referees to the professional and scientific standards expected of a proceedings journal published by IOP Publishing. • Type of peer review: Single-blind / Double-blind / Triple-blind / Open / Other (please describe): Open • Conference submission management system: EIConferences@126.com • Number of submissions received: 85 • Number of submissions sent for review: 70 • Number of submissions accepted: 63 • Acceptance Rate (Number of Submissions Accepted / Number of Submissions Received X 100): 74.1 • Average number of reviews per paper: 2 • Total number of reviewers involved: 5 groups with a total of 20 reviewers (each group consists of a lead reviewer and 3 reviewers, each reviewer reviews about 7 papers on average) • Any additional info on review process: Authors will submit their papers through the official email address of the conference, and the deadline for submission is September 21, 2021. The person in charge of the mailbox of the conference committee will sort out all the submissions, divide them into groups and distribute them equally to 5 review groups. The review groups will return comments one after another within 2 weeks, and the person in charge of the conference committee will feedback the comments to the authors. Each paper was reviewed by two reviewers who gave their own comments: Papers with good quality and themes will be accepted directly, and the authors can register for the next stage of the conference; for papers with medium quality, revision suggestions will be given, and then the review groups will decide whether to accept them or not after the authors revise and return; For papers with very poor quality, the review groups will give rejection suggestions. All involved reviewers are recognized specialists in fields covered by the Conference. The final decision regarding acceptance/revision/rejection was based on reviews received from the reviewers. If the two reviewers cannot agree on a recommendation, the final at the sole discretion of the lead reviewer. The authors themselves do not have any decision on whether their papers are accepted or not. The final approved papers will be registered until October 18, 2021. The conference committee will send the invitation to the accepted authors and submit the information of the authors’ papers to the publishers. Contact person for queries: Name: Xiangtao Wang Affiliation:Shaanxi higher education alliance Email: lidueiconferences@126.com
An Imperative Pure Calculus

© 2016 The Authors. Published by Elsevier B.V. We present a simple calculus where imperative features are modeled by just rewriting source code terms, rather than by modifying an auxiliary structure which mimics physical memory. Formally, this is achieved by the block construct, introducing local variable declarations, which also plays the role of store when such declarations have been evaluated. In this way, we obtain a language semantics which is more abstract, and directly represents at the syntactic level constraints on aliasing, allowing simpler reasoning about related properties. We illustrate this possibility by a simple extension of the standard type system which assigns a capsule tag to expressions that will reduce to (values representing) isolated portions of store.
Assertions

In the preceding chapters, you studied locating web elements like links, buttons, frames, and textboxes, and the test cases related to them. Before automating any test case for a web app or page, you need to validate it, which is done by providing conditions about the web element. This validation or check is done by using assertion functions, which are available in Selenium with Python.
Do pretrained transformers infer telicity like humans?

Pretrained transformer-based language models achieve state-of-the-art performance in many NLP tasks, but it is an open question whether the knowledge acquired by the models during pretraining resembles the linguistic knowledge of humans.We present both humans and pretrained transformers with descriptions of events, and measure their preference for telic interpretations (the event has a natural endpoint) or atelic interpretations (the event does not have a natural endpoint).To measure these preferences and determine what factors influence them, we design an English test and a novel-word test that include a variety of linguistic cues (noun phrase quantity, resultative structure, contextual information, temporal units) that bias toward certain interpretations.We find that humans' choice of telicity interpretation is reliably influenced by theoretically-motivated cues, transformer models (BERT and RoBERTa) are influenced by some (though not all) of the cues, and transformer models often rely more heavily on temporal units than humans do.
Semantic Similarity Assessment using Universal Networking Language

Semantic similarity assessment is a key problem in Natural LanguageUnderstanding which finds wide application in Information Retrieval and Extraction.Determining whether two natural language text units are semantically equivalent is a challenging task.In this work, a machine learning approach based on matching of Universal Networking Language (UNL) forms has been proposed for semantic similarity assessment.Features which measure the relatedness of the UNL forms are used as input to a Support Vector Machine classifier to determine semantic equivalence.The performance of the system has been evaluated on the Microsoft Research Paraphrase Corpus with an accuracy of 71%.The suitability of the UNL matching scheme for handling multi-lingual inputs has also been demonstrated.
Formative assessment of students’ learning in the era of privacy

Generated marks can be commented on by the teacher. They are not considered part of the education record until they are recorded by the teacher .
INFORMATION AND COMMUNICATION TECHNOLOGY: MENDORONG EFISIENSI KINERJA AUDITOR SELAMA PANDEMI COVID-19

The evolution of information technology is going rapidly, supported by the COVID-19 pandemic where all activities related to face-to-face and gathering activities are limited. Many companies already have implemented ‘work from home’ policies for their employees, including auditors. Responding to this phenomenon, many companies have finally changed the auditor’s work system by applying remote audit techniques based on the use of ICT tools.The application of Information and Communication Technology (ICT) will minimize direct contact, and also reduce audit. The purpose of this study is to examine the effectiveness and efficiency of auditor's performance by applying remote audit techniques using ICT. In this study uses a qualitative approach. By to obtain a depth understanding of the object of research related to the existing problems such as the risks and to find out whether the application of ICT in remote audit techniques is effective and efficient when it’s carried out during a pandemic. A literature study is employed to assess the efficiency of ICT performance in remote audit techniques. The results of this study indicate that the application of ICT in supporting the remote audit process during the Covid-19 pandemic is the best way. However, we should still paying attention to the appropriateness of the devices, the signal, and data security protection so that the evidences provided by the auditee to the auditors are remains usable and reliable.
FORMATION OF PROFESSIONAL COMPETENCIES OF STUDENTS IN THE COURSE OF TRAINING IN THE ACADEMIC DISCIPLINE OF "MANAGEMENT OF A 'SMART CITY' "

The article considers features of the professional competencies formation in the preparation of bachelors in "State and municipal management" in the academic discipline of "Management of a 'Smart City' ". Digital technologies and technologies necessary for their implementation are analyzed. Based on the "smart city" model, the Federal State Educational Standard and the requirements for specialists from employers, appropriate professional competencies are proposed, that students should acquire at RSUH within a course in the academic discipline of "Management of a 'Smart City' ".
Advances in Object Detection Algorithms – A Brief Survey

One of the key senses mankind has always desired to impart to an Intelligent system is Computer Vision, as it enables the system to sense its environment, automatically understand the context and decide whether to take the next action or not. This action can be observation, navigation, motion, manoeuvre, etc., Over the last few decades, we have seen tremendous advances in object detection, and with the advent of Deep learning it is possible to accurately process images/videos, classify, segment, and detect all the objects in the environment, leading to contextual understanding of the image/video for further actions to be taken based on the context. In this paper I explore the various advances made in Object Detection and present how algorithms have evolved over time, giving us near accurate outcomes. In this I evaluate key algorithms before the invent of CNNs and then few after them. I also explore the one-stage and two-stage algorithms including R-CNN family of algorithms, YOLO algorithms, and few others. I start with an overview of object detection and the stages involved, discuss a brief working of the algorithm and showcase its detection accuracy results, offering the advantages and disadvantages of a specific algorithm. Post 2014, with deep learning coming to the fore, object detection has transformed computer’s ability to classify, and today’s algorithms offer very high accuracy in detection as they heavily deploy selective search algorithms combining multiple low-level image features with high-level context. Selective search algorithms assist in extracting ROI (Region of Interest) creating a boundary around the object and for each ROI, SVM (Support Vector Machine) classifiers are used to determine the type of object in the ROI. R-CNN and YOLO models have varied applications in the field of tracking
Re-Vision: Spectacles for the Visually Challenged

The primary issue faced by all types of visually challenged people around the globe is their self-independence. They feel dependent on every task they want to perform in their daily lives and this acts as an obstacle to the exciting things which they would otherwise want to do. This paper proposes a solution in the form of wearable smart spectacles which works on the Raspberry Pi Platform for making the visually challenged people self-sufficient and move freely in their known as well as unknown surroundings. This smart Spectacle uses a USB (Universal Serial Bus) camera and detects real-time objects in the vicinity using the SSD-MobileNets object detection algorithm and provides vision in the form of audio through the use of Headphones. The Smart Spectacles also combines the use of the OCR algorithm for Text Detection and proposes the module for quick and accurate detection of currency by the visually challenged.
Development of an E-book based on Multimode Representation and Technological Pedagogical and Content Knowledge (TPACK)

This research aimed to develop an e-book for physics teachers based on multimode representation and Technological Pedagogical and Content Knowledge (TPACK)Thus, it was expected to improve pedagogical, professional, and ICT literacy competencies have been carried out. This research employed Educational Research and Development (R&amp;D) by Borg and Gall, but the steps were limited only to the initial product revision. The instrument used was a questionnaire to evaluate the quality and understanding of the e-book. This study involved five expert validators in pedagogy, IT, and physics content. After the e-book draft was validated and revised, it was tested on a limited basis to 16 in-service physics teachers and eight pre-service teachers. The development eligibility of the e-book for physics teachers was seen from the results of the quality and readability tests of the content. The results of the expert validation regarding the quality of the developed e-book are in the excellent category with an average percentage of 88%. The test results show that the average percentage of physics teachers’ e-book understanding is 80.3%. The test results conclude that the multimode and TPACK-based e-books developed for high school physics teachers are feasible to apply. However, it should be tested more extensively before being used further in the learning process.
DABUS gains territory in South Africa and Australia: Revisiting the AI-inventorship question

This paper draws from and builds upon DO Oriakhogba ‘What If DABUS Came to Africa? Visiting AI Inventorship and Ownership of Patent from the Nigerian Perspective’ (2021) 42(2) Business Law Review 89. It reviews the recent granting of a patent by the Companies and Intellectual Property Commission (CIPC) to Dr Stephen Thaler in respect of the DABUS-generated invention in South Africa and the judgment of the Australian Federal Court (FCA) upholding AI-inventorship. The review, which is based on desk research, is conducted against a backdrop of statutory provisions and case law from both countries, the provisions of the Patent Cooperation Treaty (PCT) and relevant literature dealing with the inventorship question. The paper determines whether, without reform of the extant patent law and policy, recognition of artificial intelligence (AI) as an inventor does not undermine the foundational concept of human inventorship, and the central focus on human creation and agency for intellectual property protection in South Africa and Australia. In connection with this, the paper asks and examines the question of whether the CIPC patent grant and the FCA judgment can stand judicial scrutiny under the extant patent regimes in South Africa and Australia.
EVALUATION OF CITATION TRENDS BY ANALYSING PAPERS OF AN ISSUE OF THE JOURNAL SCIENTOMETRICS

The citation indicators of the research papers, published in a random issue of the journal Scientometrics , are analyzed. These papers, published at the same date, can be correctly ranked according to the citations accumulated by May 1, 2021. A significant variation in the citation of the papers was found. The article analyzes both the subject matter and structure of the leading papers, papers from the middle group, as well as papers from the outsider group. It is shown that the largest citation values are achieved by the papers dealing with gender issues in science, the development of methods for processing large amounts of scientific information, as well as issues of publication and publishing policy. The relationship between citation and demand for articles is investigated.
RETRACTED: Remote Monitoring System Based on Artificial Intelligence Technology

Abstract With the advent of the information age, IOTT has been favored by many industries and has become another profound revolution in the IT industry. In such an era, the application of IOTT in IB construction can broaden the practicability of intelligent system, ORA, improve the management and service ability of IB, so as to improve people’s quality of life. This paper expounds the development status and future challenges of IOTH, and analyzes the interactive design of smart TV.
Tracing sharing in an imperative pure calculus

© 2018 Elsevier B.V. We introduce a type and effect system, for an imperative object calculus, which infers sharing possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct representation of sharing effects at the syntactic level allows us to express in a natural way, and to generalize, widely-used notions in literature, notably uniqueness and borrowing. Moreover, the calculus is pure in the sense that reduction is defined on language terms only, since they directly encode store. The advantage of this non-standard execution model with respect to a behaviorally equivalent standard model using a global auxiliary structure is that reachability relations among references are partly encoded by scoping.
Looking Back the Peace-Unification Education and the Peace-Unification Diplomacy: Focusing on the Constructive Relationship between the Peace and the Unification

한반도의 통일은 남과 북의 구성원들, 그리고 국제사회의 동의와 협조를 필요로 한다는의미에서 국내적이면서 동시에 국제적이다. 따라서 통일을 이루어 내기 위해서는 대내외적역량 배양이 필수적이었고, 이는 통일교육과 통일외교라는 이름으로 존재해 왔다. 초기에는대한민국의 체제적 우월성과 대한민국이 주도하는 민족문화의 회복을 통일의 정당성과 명분으로 제시하였고, 이후에는 민족모순의 극복 혹은 분단된 민족의 복원이야말로 식민지배체제의 진정한 극복이라는 민족과제로서의 통일이 강조되었다. 최근에는 통일이 남과 북의갈등과 대립을 해결하는 것을 넘어서 동북아와 세계적인 평화체계의 구축에 기여한다는 명분이 강조되고 있다. 2018년 이후 통일교육은 평화·통일교육으로, 통일외교는 평화·통일외교로 전환되었다. 명칭의 변경은 단지 표현의 변화에 그치지 않고 함축된 의미와 목적성의변화를 동반한다. 그렇다면 통일에서 평화·통일로의 전환은 어떤 변화를 동반하였는가? 본고는 이러한 문제인식 하에 “왜 통일은 평화·통일로 전환되었으며 ‘평화통일’이 아닌 ‘평화· 통일’은 무엇을 의미하는가?”라는 질문에 대해 답하고자 하였다. 이를 위해 평화·통일을 평화와 통일의 구성적 관계에 중점을 두고 논하고 있으며, 우리가 도달하고자 하는 평화·통일이란 평화적 수단에 의한 통일이자 통일의 결과로서의 평화의 성취 둘 모두를 포괄하는것이라고 답하고 있다. 그리고 평화·통일외교의 방향성은 이러한 평화·통일에 대한 우리의의지를 대외적으로 전파하는 것이어야 함을 지적하고 있다.The Unification of the Korean Peninsula has both domestic and international aspects in that it needs the agreement and cooperation of the inhabitants of the two Koreas and international society. In this vein, cultivating the capabilities for Unification at home and abroad was a must, which has been existed under the name of Unification Education and Unification Diplomacy. In the beginning, the superiority of the democratic system of the ROK and the recovery of the national culture driven by it were suggested as the legitimacy and cause for the Unification. Then, the Unification as a means of overcoming the colonial regime through restoring the divided nation was emphasized. Recently, the Unification not only for solving the conflicts and confrontation of the two Koreas but also for the construction of the peace system in north-east Asia and the world is emphasized. In 2018, the Unification Education turned into Peace-Unification Education and the Unification Diplomacy turned into Peace-Unification Diplomacy. The change of the appellation accompanies the change of the implied meaning and finality. Then, what did the change from the ‘Unification’ to ‘Peace-Unification’ bring about? Against this backdrop, this article tries to answer the question “Why did the Unification turn into the Peace-Unification and what does it mean?” For answering this, this article reviews the Peace-Unification focusing on the constructive relationship between peace and unification and argues that the Peace-Unification as our destination means both the Unification through peaceful means and the achievement of peace as the result of the Unification. And the article also points out that the orientation of the Peace-Unification Diplomacy should pursue to send our understanding and will of Peace-Unification clearly to foreign actors.
USE OF HYPERTONIC GLUCOSE AS A SCLEROSANT IN THE TREATMENT OF MICROVASES

Telangiectasias and microvessels are the most common types of varicose veins, usually their appearance is related to genetic susceptibility, normally affecting the lower limbs of the body. The PEIM (Aesthetic Injectable Procedure in Microvessels) has been widely used to eliminate telangiectasias and microvessels. Therefore, the objective was to describe the effectiveness of liquid sclerosing agents in the treatment of telangiectasias and microvessels. This work is part of a literary review covering the period between 1986 and 2020 using Scielo, Google Scholar and Pubmed platforms. Telangiectasias and microvessels generally do not present health problems, most of the time the problem is esthetic without pathological character. Currently, there are several sclerosing substances used in the treatment, in this case, hypertonic glucose is identified as one of the most used sclerosing agents, because, even though a treatment takes a little longer to obtain results, it is a little painful, the risk of complications is lower and procedure value is affordable. Although the sclerotherapy technique has been used for a long time, so far no sclerosant with absence and complications and totally effective has been discovered, even though there are case studies that report to the contrary, thus, this literature review shows that more studies are needed. to prove the efficacy and safety of hypertonic glucose.