Reviewerly/exHarmony huggingface dataset:
Preface to Special Issue on Software Verification

chapter Share on Preface to Special Issue on Software Verification Authors: C. A. R. Hoare View Profile , Jayadev Misra View Profile Authors Info & Claims Theories of Programming: The Life and Works of Tony HoareOctober 2021 Pages 77–80https://doi.org/10.1145/3477355.3477360Online:02 October 2021Publication History 0citation2DownloadsMetricsTotal Citations0Total Downloads2Last 12 Months2Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Application of backpropagation artificial neural network to predict human development index of Maluku Province

The Human Development Index (HDI)) is a comparative measurement of longevity and healthy living, education, and a decent standard of living, for all countries throughout the world. HDI is used to classify whether a country is a developed country, a developing country or an underdeveloped country and also to measure the effect of economic policies on quality of life. In Indonesia HDI is one of the important indicators in measuring success in efforts to build the quality of human life (community/population), determine the rank or level of development of an area and as a allocator for determining general allocation funds. However, in reality the calculation and publication time of HDI by the Central Bureau of Statistics takes quite a long time. So this research aims to predict the HDI value of Maluku Province for the next 5 years using the Artificial Neural Network (ANN) Backpropagation method. And also, design or build an application system with the Graphic User Interface (GUI) Matlab to facilitate the calculation of prediction HDI values by each user. The research obtained the best prediction accuracy level using the learning rate (α) = 0.1, Target Error = 0.0000001, Maximum epoch = 500, network architecture 3-3-1, and scheme of data composition consists of 80% training data and 20% testing data. The percentage of prediction accuracy obtained for Maluku Province HDI is 99.57%, the average percentage of absolute error (MAPE) is 0.0043%. The pattern of predictive data shows an increase in HDI values from 2019-2023.
Prospects for the Higher Eeducation System's Development in the Pandemic

The progress of the pandemic is poorly predictable. In this context, two scenarios for the education system adapting to it can be possible. The first scenario relies on the pandemic ending by the summer of this year, when the educational process, for the most part, will return to a normal mode - that is, to mainly a direct contact between teachers and students. The second scenario involves a continuation of the pandemic, where remote learning methods will have to be relied on at least for the duration of the fall semester, and possibly, over the entire next school year.
OSCAR-Net: Object-Centric Scene Graph Attention for Image Attribution

Images tell powerful stories but cannot always be trusted. Matching images back to trusted sources (attribution) enables users to make a more informed judgment of the images they encounter online. We propose a robust image hashing algorithm to perform such matching. Our hash is sensitive to manipulation of subtle, salient visual details that can substantially change the story told by an image. Yet the hash is invariant to benign transformations (changes in quality, codecs, sizes, shapes, etc.) experienced by images during online redistribution. Our key contribution is OSCAR-Net (Object-centric Scene Graph Attention for Image Attribution Network); a robust image hashing model inspired by recent successes of Transformers in the visual domain. OSCAR-Net constructs a scene graph representation that attends to fine-grained changes of every object's visual appearance and their spatial relationships. The network is trained via contrastive learning on a dataset of original and manipulated images yielding a state of the art image hash for content fingerprinting that scales to millions of images.
Innovation and Practice of Teaching System of Vocational Education Normal Majors -in the Case of Automation Major of Jilin Engineering Normal University

As the importance of vocational education continues to rise in China, there is a need of excellent teachers for the vocational education who meet the requirements.This article takes the automation major of Jilin Engineering Normal University as an example and elaborates the innovation and practice of the practical teaching system of excellent vocational education teacher training.It includes the professional orientation, history and characteristic advantages of the major, the main initiatives and effectiveness of the reform of the major, the main initiatives and effectiveness of the construction of the teaching team and the basic teaching organization, the main initiatives and effectiveness of the construction of the professional teaching quality assurance system, the results of the tracking survey and external evaluation of the training quality of graduates, and the main ideas and initiatives for the next step of promoting the construction and reform of the major.The research results provide references for the construction of teaching reform of related majors.
ARTIFICIAL INTELLIGENCE AND ITS CHALLENGES FOR INTELLECTUAL PROPERTY IN INDIA

Artificial intelligence (AI) is one of today's most crucial technologies Once thought to be a distant possibility reserved for science fiction, advances in AI research have propelled the technology out of the realms of fiction and onto the verge of kicking off a fourth industrial revolution that is expected to have far-reaching effects on humanity and is “likely to leave no stratum of society untouched.” AI-based apps have already had an impact on people's lives in ways that are frequently not fully appreciated or comprehended. Until recently, the private sector has mostly pushed the spread of AI technology, which has generally been focused on consumer items.In the short and medium-term, AI technology has the potential to offer efficiency and cost savings to industries such as manufacturing, commerce, transportation, medical care, education, and farming. AI technology is already prevalent. It recommends information to people online, helps businesses work more efficiently, and can even drive automobiles — while AI technology has limitations. AI advancements provide concerns that are expected to alter legal frameworks, including different facets of intellectual property law.
Millennium Development Goals and Entrepreneurial Skill Development In Nigeria

In September 2000, leaders from 189 nations ratified the Millennium Declaration. The declaration is an unprecedented global commitment and one of the most significant United Nations documents of recent time. It offers a common and integrated vision on how to tackle some of the major challenges facing the world. The declaration has resulted in eight Millennium Development Goals (MDGs) focused on reducing poverty, improving the quality of peoples’ lives, ensuring environmental sustainability, and building partnerships to ensure that globalization becomes a more positive force for all the world’s people. Specific targets and indicators have been set for each of the goals, to be achieved by 2015. These goals might remain elusive unless much emphasis is laid on the development of entrepreneurial skills. Entrepreneur can provide the new approaches needed to hasten the process of reducing poverty and hunger. This paper shows that while the MDGs do not formally set targets for financial sector, Nigeria needs microfinance to empower the skilled economically active poor through an integrated microfinance model in order to achieve the MDGs.
Leadership Style and its Influence on Organisational Commitment: Special Reference to the Construction Industry of Uae

This study was conducted to examine the Leadership Style of Supervisors and how it influenced on organisationalcommitment; special reference to the construction workers in the United Arab Emirates (UAE). UAE is a promisingcountry in the region for infrastructure development and other industries of tourism, and real estate. Studies on Leadershipstyles showed that different kinds of leadership styles of the supervisors were having influence on job dissatisfaction,employee retention issues, reduced productivity, less commitment, and ultimately failure of the company. Therefore,study was focused on different theories on Leadership styles and organisational commitment using pre-testedquestionnaires distributed manually and electronically among 205 employees in the construction sector and out of which150 samples were analyzed by random sampling method. Pearson correlation analysis showed that Consultative (r =0.191), Team Management (r = 0.174) and Impoverished Management (r = -0.161) leadership styles were significantlycorrelated (p-0.05). Also, the prevailing leadership styles of the supervisors of the company were strongly influenced onthe organisational commitment of the employees of the industry. The Supervisors were being able to keep busy all thetime (r = 0.242), the chance to do different things from time to time (r = 0.266) and the way my boss handle his/herworkers (r = 0.235) were the factors significantly correlated (p-0.01). Therefore, it can be concluded that leadership stylehas a strong influence on employees’ organisational commitment.
A Trust Model for Context-Aware E-Health Services

Technological advancements such as ubiquitous communication, pervasive computing and ambient intelligence, have made context-aware services a reality. The health sector has adopted the use of context-aware e-health services to improve the quality of life, provide real-time patient monitoring, and in general better healthcare. However, the capability of accessing patients’ context and health information via context-aware e-health services has given rise to issues of privacy and trust. The main objective of this research is to propose a Trust Model, which ensures that the privacy of the patient’s health and context information is maintained and secure from unauthorised access. This means that the patient cannot only trust the service and context-providers, but also has control of their context and health information. The proposed trust model monitors the patient’s health status and context information using sensors. The model is implemented using a proof-of-concept context-aware e-health service that uses blockchain technology to ensure data integrity and accountability. If successfully implemented, the security of the user’s context and health information will be guaranteed, and thus lead to increased uptake of context-aware e-health services.
Social Interactions of Orang Asli Preschoolers in Malaysia

This study examined the patterns of socioculturally appropriate social interactions of Malaysia’s Orang Asli children in an educational computer environment. The socioculturally appropriate collaborative interaction were identified and classified into seven dominant categories. Factors facilitating and inhibiting the verbal and non-verbal interaction were examined and analyzed by using the sociocultural appropriateness framework. Rogoff’s Sociocultural Theory and the three foci of analyses: personal, interpersonal, and community or contextual planes were utilized in this study. A multi-method case study design was employed to identify the patterns of socioculutrally appropriate social interactions unique to the Malaysia’s Orang Asli preschool children in Selangor. 12 preschool children were observed and interviewed using a semi-structured questionnaire. Seven dominant interaction patterns related to socioculturally appropriate social interactions of Orang Asli preschool children were examined. Factors facilitating and inhibiting the social interactions were identified using the application of Rogoff’s three foci of analyses and series of semi-structured interviews with Malaysian preschool teachers and Orang Asli preschool children. Malaysian preschool educators will be informed to socioculutrally integrate the information and computer technology into their preschool classrooms and to promote positive prosocial interaction among Orang Asli children whilst engaged with the computer.
Underwater Target Detection Based on Deep Neural Network and Image Enhancement

Abstract Underwater target detection tasks refer to the detection of targets contained in underwater images. Unlike traditional target detection tasks, for underwater targets, due to factors such as illumination, camera shake, complex background interference, and diversification of target types, the effect of target detection will be affected. In this paper, we propose a target detection algorithm based on image enhancement and deep network. The algorithm first enhances the image data to obtain a better contrast, and then uses a deep learning algorithm to separate the target and the background to improve the detection performance of the target. Experimental results show that the algorithm can achieve better detection performance.
Design and Build IT-Based Libraries in Manufacturing Companies

Every company or agency that carries out business activities cannot be separated from recording/documenting a document. Documents are created to record everything related to various activity data ranging from attendance data, order data, sales data, financial data, audit data, training data and others. To do the storage and maintenance of documents required good documentation. With good documentation management, ideas, ideas and thoughts that have been carried out previously will be stored properly as well. Currently, with the rapid development of information technology, document storage can be overcome by changing the form of paper documents into digital/file forms. Documents are converted into a digital form and stored on storage media. In manufacturing companies, currently there are still many companies that do not integrated document archiving, documents are still stored in their respective departments so that the availability of shelves in that department increases and this will have an effect on the availability of space. In order for document access to be done in an integrated manner, archiving is needed like a library. Documents that need to be documented in manufacturing companies include product data, product sample testing data, ISO documents, ISO audit results documents, customer audit results documents, supplier audit results documents, training data, book/reference data, borrowing and returning book.
USE OF TRADITIONAL GAME “KABENTE” TO IMPROVE VOCABULARY MASTERY OF SMP NEGERI 1 SIOMPU BARAT

Problem in this research was whether the use of traditional game Kabente has a significant effect on students’ vocabulary mastery. While the objective of this research was to know the significance effect of traditional game Kabente n students ocabularymastery at grade VII A SMP Negeri 1 Siompu Barat. This research was pre experimental research. The population of the research were all grade II students of SMPNegeri 1 Siompu Barat which consisted of 3 classes with total 79 students. Sample in this research was taken with random sampling technique. Sample of the research was class VII A consisted of 25 students. Instrument which used in this research was test. Research outcome obtained showed that the mean score in pre-test was 36.36, while in post-test was 80.06. From hypotehis test result by using t test, obtained tcount = 2.54 and obtained significant value 0.00&lt;0.050. therefore, it could be concluded that H0 was rejected and H1 was accepted. Therefore, the application of traditional game Kabente had significant effect on students vocabulary mastery at grade VII students of SMP Negeri 1 Siompu Barat, academic year 2020/2021.
Visualization of Program Development Process

The aim of this paper is to improve the process of program development using high-level languages. The practical application in programming training is expected, especially at early stages. The teacher gets an opportunity of visual monitoring of the program development process, which means the active participation in the formation of an effective student programming style. The extension for Visual Studio, which monitors the process of programming, is developed.
Analysing the semantic content of static Hungarian embedding spaces

Word embeddings can encode semantic features and have achieved many recent successes in solving NLP tasks. Although word embeddings have high success on several downstream tasks, there is no trivial approach to extract lexical information from them. We propose a transformation that amplifies desired semantic features in the basis of the embedding space. We generate these semantic features by a distant supervised approach, to make them applicable for Hungarian embedding spaces. We propose the Hellinger distance in order to perform a transformation to an interpretable embedding space. Furthermore, we extend our research to sparse word representations as well, since sparse representations are considered to be highly interpretable.
MENTAL ARITHMETIC MOBILE APPLICATION FOR CHILDREN

Children are surrounded by digital technologies that excite and entertain; thus, they spend a lot of time on it in a day. Based on the research, lots of children have negative attitude towards Mathematics as it influences their performance in Mathematics whether as a compulsory subject in school or basic numerical operations like Addition, Subtraction, Multiplication and Division. This arithmetic mobile application research is important to enhance the community awareness on any mobile application used to improve children’s mathematical skill and also increase the self�efficacy in performing Mathematics among them. This project planned to develop an arithmetic mobile application with features that are highly in demand by parents and teachers like reward system and have language options which is Bahasa or English. This application will also contain features like Beginner, Intermediate and Advance level to enhance self-confidence and motivation when user accomplish one level and reach another level
Genome Reconstruction problem : By using De Bruijn graph

Since its early formulations, the genome assembly problem has attracted lots of interest from algorithm theoretic as well as from algorithm engineering point of view. In this problem, which is an inversion problem by nature, one is asked to reconstruct the entire DNA sequence from the short, randomly picked sequence fragments that a DNA sequencing instrument is able to read. In this study, the De Bruijn graph method will be examined to reconstruct the Genome. And discussed preferred k-mer length for this algorithm in ideal conditions.
LibGuides: Developmental Education: Interlibrary Loan (ILL)

This guide provides resources that can be used to supplement the various courses and disciplines covered by developmental education courses at HCC.
Development of point diffraction interferometer by a dimension-reduction-based phase-shifting algorithm

To avoid exhaustive calibration of the shifter device in point diffraction interferometers, we present a dimension-reduction-based method to reconstruct the phase map from more phase-shifting fringe patterns with three or more frames. The proposed method assumes that the intensity space can be described adequately by the sine and cosine of multiple phase shifts introduced, which are the basis of the intensity space. Then, low-dimensional approximations of high-dimensional intensity spaces are determined by the newly developed reduced basis decomposition technique. Finally, the phase is reconstructed using the low-dimensional surrogates of the intensity spaces without the knowledge of accurate phase steps. Numerical and experimental studies demonstrated that the proposed method outperforms the existing popular phase reconstruction techniques in terms of accuracy and efficiency. Moreover, the performance of the proposed method is not limited by variations in the background and modulation, unlike the existing phase-shifting-algorithm-based approaches.
Organization of the educational process in the university during the pandemic

In modern conditions of the pandemic and related economic and social changes, the quality of knowledge acquired by students both online and in the classroom has become even more important in the field of higher education and university pedagogical practice. The student's attitude towards their future professional and research activity and their understanding of the purpose, necessity, usefulness, and benefits of acquired professions are also important. This proves the increasing organizational complexity of the educational process and creation of effective psychological and pedagogical conditions in the educational environment of universities, on which the professional competence of future specialists largely depends. The article is devoted to the study of the relationship and interdependence of students’ educational, scientific, and cultural orientations in the course of higher education. It analyses the attitude of students towards the educational process and the formation of professional identity as the main value orientation for a given period of study. Modern media communication technologies are actively used in the educational process. A consistent and systematic approach is provided with the help of the Periscope application, which is a platform for distance learning. It allows holding open classes and workshops, participating and watching the learning process in real-time, broadcasting interesting events (conferences, exhibitions, seminars). Special attention is paid to media activity in social networks. Vkontakte, Instagram, and Facebook are the applications developed and used as effective platforms for sharing the news, announcements, polls, discussions, photo and video reports about university events. For instance, last year the North Ossetian State University became one of the leaders of the rating based on the results of monitoring the information openness of universities. The rating was presented by the Ministry of Education and Science of the Russian Federation during the conference devoted to information interaction. The qualification acquired within the university study gives graduates the opportunity, on the one hand, to actively participate in the design, implementation, and further development of complex applied systems. On the other hand, it provides a basis for the scientific solution of related problems within applied research. In addition, an essential element of the master's degree is the creation of a professional area, which opens up the opportunity for students to acquire the appropriate additional qualifications necessary for leadership and managerial positions in addition to the content of education and professional practice.