Reviewerly/exHarmony huggingface dataset:
Accessibility Theorems

The central topic in the next chapters is to find sufficient conditions concerning the feasible domain D, the objective function f, and the sequence $$(p_n: n \in \mathbb {N}_0)$$ of mutation probability distributions guaranteeing the convergence of the corresponding random search procedure $$(X_n: n \in \mathbb {N}_0)$$ , hence, $$\displaystyle \begin{aligned} f(X_n) \rightarrow \inf \limits _{x \in D}f(x) \quad P-\mbox{a.s.}, \:n \rightarrow \infty , ~~ \mbox{for all starting points} ~ x_0 \in D. \end{aligned} $$
Community

I joined a Ruby meetup a few years ago because I was working with Ruby on Rails, a web technology framework. I wanted to learn more about it and meet fellow practitioners. After a few months, I’d learned a lot, but better, I’d met interesting people. It was a sacrifice of a night every month, but it was worth it. There are of course ways to build networks other than joining a meetup. You can find community online, from your school, or from your work. Where you find it is less important than that you find one. Community members help you learn, provide contextual advice, and cheer you on when you succeed.
FHJ: A formal model for hierarchical dispatching and overriding

© Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, and Marco Servetto. Multiple inheritance is a valuable feature for Object-Oriented Programming. However, it is also tricky to get right, as illustrated by the extensive literature on the topic. A key issue is the ambiguity arising from inheriting multiple parents, which can have conflicting methods. Numerous existing work provides solutions for conflicts which arise from diamond inheritance: i.e. conflicts that arise from implementations sharing a common ancestor. However, most mechanisms are inadequate to deal with unintentional method conflicts: conflicts which arise from two unrelated methods that happen to share the same name and signature. This paper presents a new model called Featherweight Hierarchical Java (FHJ) that deals with unintentional method conflicts. In our new model, which is partly inspired by C++, conflicting methods arising from unrelated methods can coexist in the same class, and hierarchical dispatching supports unambiguous lookups in the presence of such conflicting methods. To avoid ambiguity, hierarchical information is employed in method dispatching, which uses a combination of static and dynamic type information to choose the implementation of a method at run-time. Furthermore, unlike all existing inheritance models, our model supports hierarchical method overriding: that is, methods can be independently overridden along the multiple inheritance hierarchy. We give illustrative examples of our language and features and formalize FHJ as a minimal Featherweight-Java style calculus.
Correction

This article refers to:Are We More Reactive to Persuasive Health Messages When They Appear in Our Customized Interfaces? The Role of Sense of Identity and Sense of Control
Introduction to the Restoration of Astrophysical Images by Multiscale Transforms and Bayesian Methods

The image restoration is today an important part of the astrophysical data analysis.The denoising and the deblurring can be efficiently performed using multiscale transforms.The multiresolution analysis constitutes the fundamental pillar for these transforms.The discrete wavelet transform is introduced from the theory of the approximation by translated functions.The continuous wavelet transform carries out a generalization of multiscale representations from translated and dilated wavelets.The à trous algorithm furnishes its discrete redundant transform.The image denoising is first considered without any hypothesis on the signal distribution, on the basis of the a contrario detection.Different softening functions are introduced.The introduction of a regularization constraint may improve the results.The application of Bayesian methods leads to an automated adaptation of the softening function to the signal distribution.The MAP principle leads to the basis pursuit, a sparse decomposition on redundant dictionaries.Nevertheless the posterior expectation minimizes, scale per scale, the quadratic error.The proposed deconvolution algorithm is based on a coupling of the wavelet denoising with an iterative inversion algorithm.The different methods are illustrated by numerical experiments on a simulated image similar to images of the deep sky.A white Gaussian stationary noise was added with three levels.In the conclusion different important connected problems are tackled.
Word2vec Feature Extraction in Traveler Comments Using Machine Learningin Imbalance Data

The tourism industry is one industry that utilizes promotion of product and services through Internet and web technology.One of the uses is on the tripadvisor website which provides a place for users to give their opinions on attractions, accommodations and hospitality.The opinion given is in the form of comments and ratings on a topic.This research was conducted to classify user comments on tourist objects to be in the form of rating on a scale of 1 to 5. The dataset used is user opinion data on the tripadvisor application with a total data of 17675.Word2vec is used to extract semantic features from words from the data they have.The data classification algorithms used in this study are random forest and SVM, and use the SMOTE and NearMiss handling imbalance techniques.The results showed that the utilization of random forest algorithms and SMOTE provided the best accuracy results with an accuracy of 82.11%, an average precision of 81.2% and an average F Score of 81.58%.
Hiding Images as a Single Image Using Arithmetic Operations

This paper proposes a new mechanism for hiding images by blending two or more color images together. The resultant image formed from the blending process does not show the input images. The proposed mechanism makes it difficult to identify images taken for blending process. The work is attempted to mix two or more color images together for new hiding mechanism. The proposed mechanism first considered two color images and then following the processes such as resizing images, segmentation, rotation of pixel bits to make images more complex, and then hides the input images by combines these complex images by performing arithmetic operations on pixels. Math activities performed on pixels unmistakably combine the images to hide input images. The reverse procedure obviously concentrates input images with no bit loss or quality in the images. The work can be stretched out to blend more images to keep privacy in image information, diminishing spaces for dumping images.
Is offensive commenting contagious online? Examining public vs. interpersonal swearing in response to Donald Trump's YouTube campaign videos

&lt;p&gt;&lt;strong&gt;Purpose: &lt;/strong&gt;&lt;/p&gt; &lt;p&gt;The current study explores the spillover effects of offensive commenting in online community from the lens of emotional and behavioral contagion. Specifically, it examines the contagion of swearing –a linguistic mannerism that conveys high arousal emotion –based upon two mechanisms of contagion: mimicry and social interaction effect.&lt;/p&gt; &lt;p&gt;&lt;strong&gt;Design/methodology/approach:&lt;/strong&gt;&lt;/p&gt; &lt;p&gt;The study performs a series of mixed-effect logistic regressions to investigate the contagious potential of offensive comments collected from YouTube in response to Donald Trump’s 2016 presidential campaign videos posted between January and April 2016.&lt;/p&gt; &lt;p&gt;&lt;strong&gt;Findings:&lt;/strong&gt; &lt;/p&gt; &lt;p&gt;The study examines non-random incidences of two types of swearing online: public and interpersonal. Findings suggest that a first-level (a.k.a. parent) comment’s public swearing tends to trigger chains of interpersonal swearing in the second-level (a.k.a. child) comments. Meanwhile, among the child-comments, a sequentially preceding comment’s swearing is contagious to the following comment only across the same swearing type. Based on the findings, the study concludes that offensive comments are contagious and have impact on shaping the community-wide linguistic norms of online user interactions.&lt;/p&gt; &lt;p&gt;&lt;strong&gt;Originality/value:&lt;/strong&gt; &lt;/p&gt; &lt;p&gt;The study discusses the ways in which an individual’s display of offensiveness may influence and shape discursive cultures on the Internet. This study delves into the mechanisms of text-based contagion by differentiating between mimicry effect and social interaction effect. While online emotional contagion research to this date has focused on the difference between positive and negative valence, Internet research that specifically look at the contagious potential of offensive expressions remain sparse.&lt;/p&gt;
Implementation of Artificial Intelligence Wheel Chair for Differently-abled Person

The vehicle is designed by taking into consideration of the physically challenged people especially the paraplegic patients. These people are living in our vicinity with paralyzed legs, their mode of transport from one place to another is through the wheel chairs. The normal wheel chair has to be operated manually with more man power, this eventually makes tiresome for people to cover long distances, in order to overcome such hardships faced by those people artificial intelligent wheel chair is proposed work. The vehicle is being controlled by the analog sensors fitted in the patient’s hand. The device used here is an accelerometer MPU 6050 sensor. The arduino nano board and arduino uno board is acting as an interface between the accelerometer and RF transmitter, DC gear motor and the RF receiver respectively. Coding is developed be the principles of accelerometer in x, y and z directions. The vehicle moves in all four direction according to the gesture of the patient. On the whole the vehicle is patient friendly and cost efficient.
Cross-domain Visual Exploration of Academic Corpora via the Latent Meaning of User-authored Keywords

Nowadays, scholars dedicate a substantial amount of their work to the querying and browsing of increasingly large collections of research papers on the Internet. In parallel, the recent surge of novel interdisciplinary approaches in science requires scholars to acquire competencies in new fields for which they may lack the necessary vocabulary to formulate adequate queries. This problem, together with the issue of information overload, poses new challenges in the fields of natural language processing (NLP) and visualization design that call for a rapid response from the scientific community. In this respect, we report on a novel visualization scheme that enables the exploration of research paper collections via the analysis of semantic proximity relationships found in author-assigned keywords. Our proposal replaces traditional string queries by a bag-of-words (BoW) extracted from a user-generated auxiliary corpus that captures the intentionality of the research. Continuing on the line established by previous works, we combine novel advances in the fields of NLP with visual network analysis techniques to offer scholars a perspective of the target corpus that better fits their research needs. To highlight the advantages of our proposal, we conduct two experiments employing a collection of visualization research papers and an auxiliary cross-domain BoW. Here, we showcase how our visualization can be used to maximize the effectiveness of a browsing session by enhancing the language acquisition task, which allows an effective extraction of knowledge that is in line with the users’ previous expectations.
Digital Signatures

This is just an overviewof the Digital Signaturetopic andthere are different types of encryption techniques are being used to ensure the privacy of data transmitted over the internet.Digital Signatureis a mathematical scheme which ensures the privacy of conversation, integrity of data, authenticity ofdigitalmessage/sender and non-repudiation of the sender.
Rancang Bangun Sistem Informasi Manajemen Distribusi Ijazah Pada Universitas Dinamika Bangsa

Management of diploma management in Universitas DinamikaBangsa is still conventional, the data collection process is still written manually. Part related to the management of diploma namely BAAK (Administrative Bureau of Academic and Student Affairs), Prodi Staff, Kaprodi(Head of Study Program), Chairman and Vice Chairman I. BAAK in charge of printing diploma then Staff Prodi duty to equip and distribute diploma to student. Kaprodi in charge of distributing diplomas that have not been taken one year. Every process in the making of diploma is not well recorded, such as diploma that has not been printed because the data is not complete student or diploma which not yet complete because not yet signed by student concerned. The purpose of this research is to design a management information system of distribution of diploma, so that every procedure and transition of diploma is recorded historically. Development of this information system using object-oriented approach includes the stages of problem formulation, data collection, system analysis, modeling and prototyping.&#x0D;
Progressive prototyping for the design of Spatial-Number Sense tools

While many design studies have used prototypes as test-instruments to validate the success or failure of design outcomes, however, only a few have touched upon the role of prototypes as learning agents for a designer during the design process. Prototypes, according to these, are considered more than mere evaluation tools; they are the means by which designers organically and evolutionarily learn, discover, generate, refine and communicate their design ideas. This study attempts to enumerate such roles of prototypes during a progressive prototyping approach followed for the design of spatial-based Number Sense tools for children. Due to a dearth of prior existence of similar learning tools, the designer had followed the approach of research through design with constant user feedback, during which the prototypes played a pivotal role in shaping her thought process and the study outcomes. The designed prototypes in the study, while acting as a tool for reifying designer's ideas also served like a provocative probe for the user group; where children's reactions to these probes stimulated ideas to the designer during the progressive design stages. The paper elucidates how the prototypes have progressively evolved during the design process taking into consideration the user feedbacks, field observations, and the designer's thought process.
PRESENSI SISWA MENGGUNAKAN QR CODE DAN SMS BROADCAST BERBASIS WEB

Student attendance is one of the factors that need to be controlled by the School to maintain Indonesian resources. Therefore a school needs a system that can be used, for handles the students attendance data and distributes it to the parents.&#x0D; This necessity can be facilitated by building an online attendance system for the students. The online attendance system uses QR Code and Broadcast Short Message Service (SMS). The online attendance system used Waterfall methodology phases as the system development phases. Afterward the system performance is evaluated using the black-box testing.&#x0D; The results test using black-box testing show that the system can accomplish the purpose of this research to meet the need of the School in collecting the student attendance data and distributing the information of the students attendance data to the parents. This system uses QR Code and the results of collecting the student attendance data are sent by the system through Broadcast SMS to parents.
Pengaruh Anggaran Pendidikan, Jumlah Guru dan Jumlah Kelas terhadap Partisipasi Pendidikan Sekolah Menegah Pertama di Kabupaten/Kota Provinsi Sumatera Barat

This study aims to determine and analyze: 1) The influence of the education budget on the gross enrollment rate of junior high school education, 2) The effect of the number of teachers on the gross enrollment rate of junior secondary school education, 3) the effect of the number of classes on the gross enrollment rate of school education junior secondary in regencies / cities in West Sumatra Province. This research is classified into descriptive and associative research. The data analysis technique used in this study in proving and testing the proposed hypothesis is a panel data regression model. The results of this study found that: 1) There is a negative and insignificant influence between the education budget on the gross enrollment rate of junior secondary education, 2) There is a negative and significant effect between the number of teachers on the gross enrollment rate of junior secondary education, 3) There is positive and significant effect between the number of classes on the junior high school education gross enrollment rate in the district / city of West Sumatra Province.Keywords: education budget, number of teachers, number of classes, rough participation rates
Effectiveness of Higher Education Loan Scheme in Financing Tertiary Education in Bayelsa State, Nigeria

This study highlights the effectiveness of Higher Education Loan Scheme in financing tertiary education in Bayelsa State.The research work was anchored by the human capital model and cost-sharing model.The study adopted Raosoft calculator to determine the size of the sample from the population of study and a sample size of 377 respondents was arrived at using the calculator and were distributed amongst students of Bayelsa state origin in higher institutions of learning and retrieved 100 copies.Due to the COVID-19 pandemic shortfall in the total number of retrieved questionnaires had been observed.The distribution of sponsorship across students of Bayelsa state origin reveal that 63% per cent were sponsored by Parent/Guardians, 3% per cent were by Bayelsa Higher Education Students Loan Scheme, 2% per cent are on scholarship while 33% per cent are self-sponsored.The data obtained from the survey were analyzed with SPSS.The Board should relax its policy on provision of guarantors to access loan and concentrate on withholding certificates as collateral.This recommendation is made because majority of the respondents are afraid of their inability to provide guarantors that are willing to guarantee them to access the loan; thereby, moving about with loan forms in search of guarantor until the time frame to access loan for registration would elapse, and that would require them to suspend their studies even with the presence scheme.
Chinese Urban Newspapers New Communication Platform User Stickiness Influencing Factors: Taking Qianjiang Evening Newspaper as an example

Media convergence begins with digitalization and ends with intelligence, which mainly includes content convergence, channel convergence, platform convergence, administration convergence and management convergence.Chinese media convergence has been in the deep convergence period.One of the most important things to put forward deep convergence is establishing mobilization first, building up our own mobile communication platform and occupying the commanding height of guiding public opinion, guiding thought, inheriting culture and offer people service.In China, urban newspapers once promoted newspapers prosperity for 20 years.Nowadays urban newspapers compared with party newspapers hardly has financial supports and depends on markets for development.Urban newspapers are experiencing more fierce challenges compared with party newspapers.In mobile communication situation, microblog, wechat, news application, short video, broadcast platforms and so on are becoming the channels people receiving information and they are important props for urban newspapers channels changes.Urban newspapers new communication platform offer information and service by mobile terminals，support good user experience and sustain good relations with users.The research is to analyze users stickiness factors by surveys, therefore offer theories thoughts for urban newspapers convergence development.
Diophantine Equations with a Finite Number of Solutions: Craig Smorynski's Theorem, Harvey Friedman's Conjecture and Minhyong Kim's Guess

Matiyasevich's theorem states that there is no algorithm to decide whether or not a given Diophantine equation has a solution in non-negative integers. Smorynski's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. We prove: (1) Smorynski's theorem easily follows from Matiyasevich's theorem, (2 ) Hilbert's Tenth Problem for Q has a negative solution if and only if the set of all Diophantine equations with a finite number of rational solutions is not recursively enumerable.
De-Centralized Certificate Creation and Verification using Block Chain (DCCVuB)

The rapid growth in the population has lead to generation of large amount of data from each individual. Each and every individual holds several physically signed documents. Currently, the documents, certificates, and contracts are all printed in papers and manually signed. It is difficult for other party say a recruiter, or a government official or any other custom officer to verify the validity of the certificates and other documents of the individual. It consumes a tremendous amount of time for validating and verifying such documents manually. Thus we propose a system to develop a Decentralized application (DApp) for implementing a Blockchain[1] to store and verify the documents. By the nature of blockchain, the documents are securely stored with high integrity, and no further modifications can be done to the blocks in the chain which in turn reduces the creation of forged documents. Also using Distributed Ledger technology(DLT)[5] and IPFS the data is decentralised so that it is readily available with integrity. Also, using MultiSig[3] concepts, the system is more secured by two step authentication. Thus, blockchain creates trust and DLT provides integrity ease of access. And with use of IPFS the DApp is decentralized4]
Klasterisasi Tingkat Masa Studi Tepat Waktu Mahasiswa Menggunakan Algoritma K-Medoids

The period of study on time is one of the parameters of a student's success in completing college to obtain a bachelor's degree. A student is said to have completed his studies on time if he is able to complete his studies less than or equal to the predetermined time. Academic Provides facilities to find out the estimated time of student graduation. By providing information on which students are included in the cluster, they can complete their studies on time and which students do not complete their studies on time. In this study, the data processed were data from students who had graduated in the previous year. Then the data is processed using rapidminer software. This study applies the K-Medoids algorithm in clustering. The result of testing this method is to determine the student clusters who can complete the study period on time and the student clusters who cannot complete the study period on time. This research is expected to contribute to the campus in evaluating the tendency of students to complete their studies on time or not. The results of the evaluation of performance can produce information for study programs, lecturers and students in making policies