Reviewerly/exHarmony huggingface dataset:
On the Usage of Fully Homomorphic Encryption Libraries

Fully homomorphic encryption allows computation to be performed on encrypted data without knowing or learning the decryption key. Therefore this technology can be extremely useful for storing and processing personal data. Due to the great interest in this technology, many software tools and libraries are now known to support fully homomorphic encryption. However, this field of cryptography is still relatively young. Standards and guidelines for using fully homomorphic encryption schemes are still under development. Thus, when using these libraries, it is necessary to pay attention to the cryptographic strength of the used schemes to avoid significant information security risks. We consider the issues of the practical application of fully homomorphic encryption schemes, including the choice of suitable libraries and their initialization parameters to ensure a sufficient security level.
A circular proof system for the hybrid mu-calculus.

We present a circular and cut-free proof system for the hybrid mu-calculus and prove its soundness and completeness. The system uses names for fixpoint unfoldings, like the circular proof system for the mu-calculus previously developed by Stirling.
Train and test tightness of LP relaxations in structured prediction

Structured prediction is used in areas including computer vision and natural language processing to predict structured outputs such as segmentations or parse trees. In these settings, prediction is...
Detection of duplicate and non-face images in the eRecruitment applications using machine learning techniques

The objective of this work is to develop methodologies to detect, and report the noncompliant images with respect to indian space research organisation (ISRO) recruitment requirements. The recruitment software hosted at U. R. rao satellite centre (URSC) is responsible for handling recruitment activities of ISRO. Large number of online applications are received for each post advertised. In many cases, it is observed that the candidates are uploading either wrong or non-compliant images of the required documents. By non-compliant images, we mean images which do not have faces or there is not enough clarity in the faces present in the images uploaded. In this work, we attempt to address two specific problems namely: 1) To recognise image uploaded to recruitment portal contains a human face or not. This is addressed using a face detection algorithm. 2) To check whether images uploaded by two or more applications are same or not. This is achieved by using machine learning (ML) algorithms to generate similarity score between two images, and then identify the duplicate images. Screening of valid applications becomes very challenging as the verification of such images using a manual process is very time consuming and requires large human efforts. Hence, we propose novel ML techniques to determine duplicate and non-face images in the applications received by the recruitment portal.
A HINDU-ARABIC TO HAUSA NUMBER TRANSCRIPTION SYSTEM

The invention of numeration system is regarded as one of the great accomplishments of man, as it greatly assist man in expressing his communication needs and also serve as an important tool in language pedagogy, historical linguistics, comparative study of African languages and computational linguistics. However, numeral system is reported to be an endangered area being identified in the use and study of language, and in no distant time, the traditional number system of the African indigenous counting systems may lose its contact with the new generation. This paper presents a Hindu-Arabic to Hausa number transcription system. Secondary data used was sourced from literature. Context-Free Grammar (CFG) and Unified Modelling Language (UML) was used to design the system. The system designed was implemented using Python programming language. Mean Opinion Score (MOS) evaluation approach was used to evaluate the implemented system. The result of the evaluation on Numbers with Single Representations (NSR), and Numbers with Multiple Representations (NMR) is based on three (3) metrics: syllable accuracy, orthography accuracy and syntax accuracy. The experimental respondents’, system developed and human expert average scores on NSR were respectively 0%, 100% and 100% for syllable accuracy, 40.1%, 100% and 100% for orthography accuracy, and 62.8%, 100% and 100% for syntax accuracy. Similarly, the experimental respondents’, system developed and human expert average scores on NMR were respectively 0%, 100% and 100% for syllable accuracy, 21.4%, 100% and 100% for orthography accuracy, and 31.7%, 100% and 100% for syntax accuracy. The system transcribes from 1 to 1-billion, and the expert response confirmed the accuracy of the output of the system developed. The study concluded that among others, the system developed is of great importance in the teaching and learning of the traditional Hausa counting system. Future work on contextual Hausa numeral system analysis is recommended.
Pedagogical conditions for forming the readiness of university graduates for employment

This article provides information on the essence of the pedagogical conditions of employment of graduates of higher education institutions, the process of training students in this regard, practice is a key component in the preparation of graduates for professional activity. A resume is an important document for a university graduate, which reflects information about education, work experience, professional knowledge and skills, positive qualities and achievements. Successful employment depends on the correctness of the resume. This allows us to assert that the implementation of the presented pedagogical conditions in universities contributes to the formation of the readiness of university graduates for further effective employment.
Fostering Innovation Activities with the Support of a Development Bank: Evidence from Brazil

I evaluate the impact of the Banco Nacional de Desenvolvimento Econômico e Social, (BNDES) disbursements on companies’ R&D intensity of companies operating in the Brazilian manufacturing sector for the period of2003-2011. Using Instrumental Variable (IV) technique, I find a crowding-in impact of receiving funding from BNDES on business-funded innovation intensity, resulting in an increased commitment in innovation activities for funded Brazilian manufacturing companies. The findings of this analysis provide new evidence regarding the industrial sector activity of the Brazilian development bank, adding on the debate about additionality/substitutability of public financial resources.
The effect of vlog based educational material on the knowledge, attitudes, and behaviors of female adolescents in preventing iron deficiency anemia

Purpose:  Iron deficiency is a significant nutrient problem, a major nutritional problem, especially iron-deficiency anemia. The video blog (vlog) is one of the educational tools in the form of audiovisual. The purpose of this research was to analyze the influence of education using video blogs (vlogs) on increasing the knowledge, attitudes, and behaviors of young women on the prevention and countermeasures of iron-nutrient anemia.  Methods: The study used the quasi-experimental design in 2 groups consisting of 36 respondents per group. The subjects were young women who meet the criteria and have smartphones. We used a simple random sampling technique. The group first received a video blog (vlog) and the second group received a media booklet. The questionnaires were first tested for validity and reliability. Media Video Blog validated by three audiovisual experts and three nutritionists. Test the influence and test the difference is done using SPSS version 20 .  Result: Quantitative analysis results showed that the pretest-posttest score showed an increase in knowledge (p < 0.001), attitudes (p < 0.001), and behaviors (p < 0.001) about the prevention and countermeasures of iron-nutritional anemia After the video blog intervention (vlog) and media booklet.  Conclusion: Education using video blogs (vlogs) can improve knowledge and attitudes, except improved behavior using higher media booklets.   Keywords: Iron nutrient deficiency anemia; vlog-based educational material, female adolescents, social media
The Ways to Create Problem Situations in Physics Teaching of High School

In middle school physics teaching, the design of appropriate problem situations is very important. It can stimulate students’ interest in the content of this lesson, enhance students’ motivation for learning, and promote the learning efficiency of students’ independent cooperative inquiry.
Requirements Knowledge Model Construction and Requirements Elicitation Method of Avionics Systems Software based on Multi-ontology

Avionics systems software usually has the characteristics of complex structure, wide function coverage, high reliability, and high safety. These characteristics have led to the increasing scale and complexity of software systems, and the increasing variety of research & development (R&D) personnel. This further intensify the knowledge-intensive trend of software development, and make the software requirements elicitation activities more complicated. In the knowledge engineering community, an ontology is an explicit specification of a conceptualization. This paper uses the ontology method to construct a requirement knowledge framework and requirement knowledge is expressed as a clear, complete, and consistent hierarchical ontology concept and association, which is more conducive to knowledge sharing and reuse as well as reflects multiple viewpoints of stakeholders. This paper builds a requirements knowledge multi-ontology framework which is divided into GO (generalization ontology), TO (task ontology), DO (domain ontology), and AO (application ontology). And it decomposes the GO into structure ontology and action ontology in the framework. It makes up for the deficiency of undifferentiated knowledge representation of the GO. Then, this paper proposes and integrates the concept of software requirement error pattern into the multi-ontology framework in a consistent form. In addition, this paper evaluates the quality of the constructed ontology and the evaluation results show that the constructed ontology in this paper has a high quality. Finally, this paper facilitates the requirements elicitation based on the multi-ontology framework to avoid errors and improve the quality and reliability of software products.
The Secured Attribute-Based Document Collection Hierarchical Encryption Scheme in Cloud Computing

This paper is an endeavor to give an upgraded data storage security model in Cloud Computing and making a put stock in condition in cloud computing. There are a considerable measure of convincing purposes behind organizations to convey cloud-based storage. For another business, start-up costs are fundamentally decreased in light of the fact that there is no compelling reason to contribute capital in advance for an inner to help the business. By a long shot, the main inquiry customers considering a move to cloud storage ask is regardless of whether their data will be secure. Stored data offsite doesn't change ata security necessities; they are the same as those confronting data put away on location. Security ought to be based on business prerequisites for particular applications and data sets, regardless of where the data is stored. We trust that data storage security in Cloud Computing, a zone brimming with challenges and of fundamental significance, is still in its earliest stages now, and numerous examination issues are yet to be distinguished. In this paper, we examined the issue of data security in cloud data storage, to guarantee the rightness of customers' data in cloud data storage. We proposed a Hierarchical Attribute-Based Secure Outsourcing for moldable Access in Cloud computing which likewise guarantees data storage security and survivability accordingly giving put stock in condition to the customers. To battle against unapproved data spillage, delicate data must be encoded before outsourcing in order to give end-to-end data confidentiality affirmation in the cloud and past. It upgrades the security in the proposed model successfully.
ON THE ASSESSMENT OF TEACHER ACTIVITY IN THE FRAMEWORK OF THE NEW CERTIFICATION MODEL

The article discloses issues related to the assessment of teachers' performance in the framework of the formation of a national system of professional growth of teachers, a proposed new model of teacher certification, taking into account the requirements set out in the professional standard of a teacher. These issues have become relevant in connection with the modernization of the entire education system, where the teacher is the main figure. The system of work on preparing teachers for participation in the procedure of the upcoming new certification model is described, the experience of conducting advanced training courses for teachers, which were one of the tools for understanding the professional deficits of teachers, is considered. Special attention is paid to the empirical and theoretical foundations of the study of the problem of assessing teachers' activities by native and foreign researchers. The method of theoretical analysis of different approaches to the disclosure of the concept of "assessment" was used. The results of national studies, which formed the basis of the requirements for the assessment of the teacher's professional activity, are analyzed. With the help of such a multidimensional analysis, a conclusion was made and the necessity was substantiated, along with organizational, informational, educational and methodological support, of scientific and methodological support of the certification process by solving the proposed special professional tasks, analyzing the results of practical exercises organized in the process of conducting advanced training courses for teachers.
Decompiling and Disassembling Android Applications

This chapter discusses how applications are compiled, assembled, decompiled, and disassembled. In addition to this the chapter also discusses how applications can be pulled off running Android devices and subsequently decompiled.
Enhancing Underwater Images using fusion of Wavelength Compensation Image Dehazing and Wavelet Transform

In this paper we optimize the underwater image enhancement technique by combining Wavelength Compensation and Image Dehazing (WCID) and Wavelet Transformation Technique. Scope of our research is restricted to only for underwater image enhancement and then combining the WCID and wavelet transform image enhancement techniques to get optimized result. We explore and optimize the need of underwater image enhancement techniques by combining WCID and wavelet transform. DWT form of wavelet transform divides the image into the different sub bands. WCID use to process the low sub band by applying dehazing and then colour correction process to get enhanced image. Our efforts on these underwater images are demonstrated by analysing the performance of these combined approaches of WCID and wavelet transform. Experimental results show that better quality of images using the combination of WCID and wavelet transform as compare to existing techniques like AHE  and Dark channel prior (DCP). Also, it was observed that better PSNR and MSE values in proposed method as compared to existing methods.
The Critical Role of Data in Nigeria’s Development: An Assessment

Development engineering is a strategic interest for many economies in view of its potential to deliver resources for national development.It requires critical real time data to craft and deliver a development plan.This paper was conceived as a response to the near circle struggle of Nigeria with non-availability of basic data for delivery of public programmes.The outbreak of COVID-19 pandemic in 2019, the lockdown that followed in March 2020 and, the need to deliver material assistance to the poorest of the poor across Nigeria, brought to the fore the need to have reliable database of citizens in Nigeria.Real names and residents of persons became very useful in contacts tracing, but these were lacking.It was equally discovered that many Nigerians falsify record just like the government to have advantage.Nonetheless, the work noted that change is possible.The Government was encouraged to conduct census which was due since 2016, because census data is the nucleus of development planning.Directors of BPRS at the 774 Local Government Areas in Nigeria were prompted to reactivate one of their core mandates, namely, information gathering from the communities.The channel of data flow from local governments to the NBS was seen as a crucial screening process than a curse.
PENINGKATAN KETERAMPILAN MENULIS TEKS ANEKDOT DAN PRESTASI BELAJAR BAHASA INDONESIA DENGAN METODE INKUIRI PESERTA DIDIK KELAS X IPA 1 SMAN 3 METRO

Research purpose descriptive writes environment anekdot tex by metohde inquiry students X IPA 1 SMA 3 Metro. Methode observation, documents, and interview. Tecniqe of data tes and non tes. Enhancement skill write tex anekdot praciclus I total presentase 47,38%, and learning achievement praciclus 46 to cyclus I or 66, increased 20%. Cyclus II enhancement skill write tex anekdot or 97,68%, increased as 50,30%, and learning achievement 75, increased 9%. Cyclus III enhancement skill write tex anekdot 65,69%, increased 31,99%, and learning achievement 85, increased 10%. Conclusion inquiry method to enhancement skill write tex anekdot increased of significant from pracyclus, cyclus I, cyclus II and cyclus III, especially write tex anekdot.
Natural Language Processing in Medical

The health care system is a knowledge-based industry that contains a large and growing volume of narrative information that is summarized in reports of abuse reports, reports by physicians, pathologists, as well as radiologists. This material is usually kept in unstructured, non- standardized formats in electronic care systems, which create it difficult for systems to understand the material substances of the history material. Then, retrieving valuable and expressive health material is a trial to make. However, natural language processing (NLP) methods have been used to construct narrative material in health care.
Classification and quantitative analysis of histopathological images of breast cancer

This paper provides a robust and reliable computational technique in cancer research. The morphological features analysis is always considered as an important tool to analyse the abnormality in cellular organisation of cells. These features of malignant cells show changes in patterns as compared to that of benign cells. However, manual analysis is time-consuming and varies with perception level of the expert pathologist. To assist the pathologists in analysing, morphological features are extracted, and two datasets are prepared from the group cells and single cells images for benign and malignant categories. Finally, classification is performed using supervised classifiers. In the present investigation, three classifiers [artificial neural network (ANN), k-nearest neighbour (k-NN) and support vector machine (SVM)] are trained using publicly available breast cancer datasets. The result of performance indicators for benign and malignant images was calculated and it is found that the classification accuracy achieved by the single cells dataset is better than the group cells. Furthermore, it is established that ANN provides a better result for both datasets than the other two (k-NN and SVM). The proposed method of the computer-aided diagnosis system for the classification of benign and malignant cells provides better accuracy than the other existing methods.
DIDÁCTICA A TRAVÉS DEL JUEGO EN EDUCACIÓN PRIMARIA. LA GAMIFICACIÓN COMO PROPUESTA / DIDACTICS THROUGH THE PRIMARY EDUCATION COURSE. GAMIFICATION AS PROPOSED

It is nothing new that positive emotions are related to a greater and better learning capacity and it is this situation that, especially in view of the current global pandemic situation with all the impact it has created at a psychological level -and therefore, directly or
Improving Accuracy of Recommender Systems using Social Network Information and Longitudinal Data

The rapid development of technology, the Internet, and the development of electronic commerce have led to the emergence of recommender systems. These systems will assist the users in finding and selecting their desired items. The accuracy of the advice in recommender systems is one of the main challenges of these systems. Regarding the fuzzy systems capabilities in determining the borders of user interests, it seems reasonable to combine it with social networks information and the factor of time. Hence, this study, for the first time, tries to assess the efficiency of the recommender systems by combining fuzzy logic, longitudinal data and social networks information such as tags, friendship, and membership in groups. And the impact of the proposed algorithm for improving the accuracy of recommender systems was studied by specifying the neighborhood and the border between the users’ preferences over time. The results revealed that using longitudinal data in social networks information in memory-based recommender systems improves the accuracy of these systems.
The Implementation of Technology-Enabled Seamless Language Learning in Teaching Descriptive Text

This study reports on the implementation of Technology-Enabled Seamless Language Learning (TESLL) in writing descriptive text.It aimed to investigate how TESSL was being implemented in the classroom and how it affected the students' skill in writing descriptive text.Triangulation mixed-method was applied in this research with 6 classes of first year students from different study program at Universitas Kuningan were chosen as the participants.The data were taken from various sources like tests, observation notes, and documents to support the findings.Observation notes and documents were used to find out how TESLL was implemented in the classroom.Tests results were used to investigate how TESLL affect students writing skills.The first result showed that with the involvement of technology like LMS, online quizzes, YouTube videos and video conferences apps could cater the teaching and learning descriptive text in remote setting.This model also enhanced and elicited students' participation in the classroom activity especially in quizzes sessions.Then, second, the t result indicated that the significant scores were below 0.05.Therefore, it can be concluded that the implementation of TESLL has a significant effect in developing students' descriptive writing skill
Management FISIP Apps For Optimization Of Services In FISIP UB Malang

Higher education management program is required to optimize the services. Implementation of this service requires management that can use programs that are created in accordance with the stated objectives. Management needs in Educational Institutions Therefore, it is necessary to change service programs from conventional to online application-based programs in their application. This study discusses about supporting system for services optimizing in higher education through management programs that utilize online application-based technology. Qualitatively related is applied in this study to obtain data more related to the management program through observation, interviews with key informants and documentation. The results of the study show how to use information technology that is sustainable in implementing programs in the field of education that facilitate information management, supporting business processes and optimizing the services. This needs to be supported by efforts to empower management functions in managing online application-based programs.