Reviewerly/exHarmony huggingface dataset:
Aplikasi Pengenalan Ragam Kuliner di Kabupaten Sukoharjo

Sukoharjo Regency offers many places for people and tourists to eat or just gather with family. Not all culinary places in Sukoharjo are known by the public and tourists. Therefore, to make it easier for the public to obtain information about existing places to eat, an application is needed that is expected to provide clear information and can be accessed easily. Application of introduction to culinary variety in Sukoharjo district is an application to run on android devices that provide information about existing eating places. In addition, it is expected to be a media campaign for culinary entrepreneurs in Sukoharjo district so that it can help develop the potential of culinary tourism. The information presented by this application includes a variety of things, from places, menus, to prices offered. The stages of this study include needs analysis, system design, implementation and testing, and using a UML (Unifed Modeling Language) design model. This application development utilizes the webview system function that exists on Android devices, Android Studio software and databases using MySQL. Testing this system uses the black box method where all tested scenarios get valid results. Then testing the questionnaire to the general public gets the highest percentage score of 81% for statements that markers on the map can be displayed. The final result of this research is the application of the introduction of various eating places in Sukoharjo district so that it helps people find the desired place to eat.
Research Guides: Accessing Electronic Resources - Spring Semester 2019 issues: Home

Information on access issues with library electronic resources due to HSTS protocol on Stetson's network.
Designing a Dashboard Application as a Media Monitoring the Performance of a Steam Power Plant at PT Cahaya Fajar Kaltim

PT Cahaya Fajar Kaltim is a company engaged in the field of Steam Power (PLTU) resources in East Kalimantan Province. The problem is the Engineering Department has difficulty in evaluating the engine. Problems including recording maintenance of vibration checks have not been computerized so that reports related to recording are often found to be empty, recapitulation related to reports take a long time, and evaluations regarding machine performance cannot be traced in real time. Based on the above problems, the solution needed is an application that can assist the maintenance management process, including recording vibration checks, recording machine maintenance, and visualizing information in the form of dashboards related to engine performance. Based on the evaluation results, the application is able to help record maintenance of vibration checks in a computerized, the report recap can be done quickly, evaluations related to engine performance can be maximized with a dashboard that has machine status notification features, abnormal status engine notifications, and graphical dashboards that check display information in real-time.
The Role Of Innovations In Economic Development

The change in production, sales, and consumption of society's economic development has led to economic innovation. An integral part of the lifestyle of the aforementioned society is a key element of economic development and involves investment in innovation.
IP-Strategy 3.C6

Certificate Course IP-Strategy Part 3 | Chapter 6 The role of IP within the resource-based view
Network-based Classification of Authentication Attempts using Machine Learning

Network security operators are challenged with protecting an increasing number of clients from authentication-based attacks such as password guessing. Host-based defenses help in preventing such attacks but are difficult to manage and monitor at scale. These challenges open the door for network-based defenses. In this work, we introduce AuthML. AuthML performs protocol-agnostic authentication modeling to detect successful and unsuccessful authentication attempts at the network level. Using machine learning (ML), AuthML operates directly on network communication to determine the outcome of authentication attempts in real time. To show AuthML’s efficacy, we validate our approach on multiple deployment scenarios. AuthML achieves an accuracy of 99.9% examining 29,015 new flows in this operational phase, demonstrating that we can achieve similar performance in real time to state-of-the-art techniques without manual protocol analysis.
An Imaginative Thinking Towards the Future of the High Performance Simulator（HPS）

Since beginning the first High-Performance Patient Simulator (HPS) Workshop in multi-facility participation in Osaka in December 2002, 28 workshops have been held under the Japanese Association for Medical Simulation.The HPS technological backbone developed in 1995 is based on a physiological model constructed on a computer using a manikin as a man/machine interface, but in recent years transformational changes have been made with using techniques such as a remote simulation lecture (TelSim) by the development of high-speed Internet communication, an addition of augmented reality (AR) to HPS, a simulation under the virtual reality (VR) environment.As one of the topics behind these technologies, we will present an imaginative thinking towards the future of the HPS.
Transfer Learning for Object State Classification

There have been many state-of-the-art neural network developments in recent years that have been trained to achieve great accuracy by using a lot of data and GPU processing power.In this paper, we examine the use of pre-trained neural network for fast and accurate prediction of new models.This paper used image object state classification as a test model.It demonstrates different ways a neural network can be constructed by using the pre-trained neural networks ResNet [3], InceptionV3 [1] and VGG19 [7].It further explores fine tuning techniques to improve accuracy.The final neural network model had 62.8% accuracy on the validation data and 70.4% accuracy on the training data.
User-Created Functions, Scripts, and S4 Methods

User-created functions and scripts often make the life of an R user easier. If a repetitive task involves several different lines of code, creating a function or script to do the task saves time. In S4, methods for generic functions are the functional side of S4 and require special treatment.
Reconsidering the Assessment Policy: Practical Use of Liberal Multiple-choice Tests (SAC Method)

Examinees’ performances are assessed using a wide variety of different techniques. Multiple-choice (MC) tests are among the most frequently used ones. Nearly, all standardized achievement tests make use of MC test items and there is a variety of ways to score these tests. The study compares number right and liberal scoring (SAC) methods. Mixed methods sequential explanatory research design was used which consists of both quantitative and qualitative analysis of the data. A test with ten questions was conducted to 73 prospective English teachers who were selected purposively and they were asked why they had chosen more than one option in the second part of the test. Priority was on the quantitative data obtained from the test results. Qualitative data were collected using participants’ explanations for their answers. The analysis of the qualitative findings was used to explain the findings of the quantitative results. The results reveal that liberal scoring method rewards partial knowledge and penalizes blind guessing. It is superior to the conventional scoring methods as it eliminates their disadvantages. Though it eliminates the disadvantages of other scoring methods, liberal scoring method is difficult to be used practically in the classroom. Without a technological help, teachers may find liberal scoring method really difficult. The study also provides teachers with a Microsoft Excel document for practical use of liberal MC tests. With the help of this document, teachers can easily conduct liberal MC tests in their exams. Suggestions to the test designers and policymakers at both national and international levels about the use of liberal scoring method were provided at the end of the study.
Propagating Configuration Decisions with Modal Implication Graphs.

Highly-configurable systems encompass thousands of interdependent configuration options, which require a non-trivial configuration process. Decision propagation enables a backtracking-free configuration process by computing values implied by user decisions. However, employing decision propagation for large-scale systems is a time-consuming task and, thus, can be a bottleneck in interactive configuration processes and analyses alike. We propose modal implication graphs to improve the performance of decision propagation by precomputing intermediate values used in the process. Our evaluation results show a significant improvement over state-of-the-art algorithms for 120 real-world systems.
Experience Demographic Factors and their Influence on Instructor Perspectives of Online versus Face-to-Face Education at a Jesuit Institution

While instructors are a critical component of the education paradigm, research into instructor perspectives on online education are sparse.The purpose of this phase of a larger study is to explore how experience demographic factors affect instructor perceptions at a Jesuit, Catholic private University in the northeast.Previous research from the larger study demonstrated that online and face-to-face instructor perspectives significantly differed on most individual and program factors.The specific demographic factors analyzed in this paper include (a) level taught, (b) number of years teaching, (c) whether the instructor had experienced an online course, and (d) self-reported technological skill level.
APP para el control de robots LEGO EV3 y su utilización en la solución de un reto con docentes

espanolEl presente trabajo da a conocer el desarrollo de una app para telefonos Android para ser utilizada en un proyecto de extension universitaria con docentes de secundaria y por sus estudiantes. De esta manera, se da a conocer las herramientas utilizadas para su construccion, el modelo de robot Lego EV3 utilizado, asi como la evaluacion de la herramienta (app) por parte de los docentes. Generando de esta manera un gran componente de motivacion entre los usuarios de esta aplicacion y un gran interes por la importancia de las aplicaciones moviles. EnglishThis work presents the development of an app for Android phones to be used in a university extension project with high school teachers and their students. In this way, the tools used for its construction, the model of Lego EV3 robot used, as well as the evaluation of the tool (app) by teachers, are disclosed. Generating in this way a large component of motivation among users of this application and a great interest in the importance of mobile applications.
Increasing the information superiority on the modern battlefield through the use of virtual reality systems

&lt;i&gt;In the article, the authors describe the potential of using virtual reality systems in the aspect of increasing information superiority on the modern battlefield. The purpose of the article is to identify virtual reality systems as a tool to support this process. At the beginning, the authors present the genesis of virtual environments and they make a critical analysis of several virtual reality simulators, which have been the subject of scientific research in the last few years. In this way, the authors emphasise the dynamic development of the ICT sector and the possibility of using its technical innovations to support military operations. Next, the authors discuss data processing, which was correlated with the cycle of strategic thinking. Presentation of the hierarchy of information in information systems was the result of these analyses. In addition, the authors refer to the implementation of the communication process in the context of maximising the information superiority. They point to the relationship between the process of designing interactive virtual reality systems and communication theory. Finally, they highlight the advantages and disadvantages of virtual reality simulators in the context of increasing information superiority on the modern battlefield.&lt;/i&gt;
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.

As formal verification of software systems is a complex task comprising many algorithms and heuristics, modern theorem provers offer numerous parameters that are to be selected by a user to control how a piece of software is verified. Evidently, the number of parameters even increases with each new release. One challenge is that default parameters are often insufficient to close proofs automatically and are not optimal in terms of verification effort. The verification phase becomes hardly accessible for non-experts, who typically must follow a time-consuming trial-and-error strategy to choose the right parameters for even trivial pieces of software. To aid users of deductive verification, we apply machine learning techniques to empirically investigate which parameters and combinations thereof impair or improve provability and verification effort. We exemplify our procedure on the deductive verification system KeY 2.6.1 and specified extracts of OpenJDK, and formulate 53 hypotheses of which only three have been rejected. We identified parameters that represent a trade-off between high provability and low verification effort, enabling the possibility to prioritize the selection of a parameter for either direction. Our insights give tool builders a better understanding of their control parameters and constitute a stepping stone towards automated deductive verification and better applicability of verification tools for non-experts.
An Analysis of Influential Factors of Semantic Inferences

Based on whether the given information will be integrated or not, semantic inferences are classified into bridging inferences and elaborative inferences. Moreover, studies on the influential factors of semantic inferences show that semantic inferences are not only affected by contextual constraints, but also closely related to processing strategies.
Public Perception on the Conflicting Roles of the Nigerian Police and Nigeria Security and Civil Defence Corps in Awka Metropolis

Abstract Unless something is done to control it, a better, safer and more prosperous society emerging in Nigeria will remain elusive. This is because the conflict between the Nigerian Police and Nigerian Security and Civil Defence Corps have created a security gap which criminal culprits are taking advantage of in perfecting their crimes. Previous studies on the Nigerian Police and Nigeria Security and Civil Defence Corps have not focus their attention on assessing the degree of conflict between them. This study therefore assesses the Public Perception on the Conflicting Roles of the Nigerian Police and Nigeria Security and Civil Defence Corps in Awka Metropolis. The sample was drawn from 604 adult participants that reside in Awka Metropolis and systematic random sampling method was adopted. Data were generated through questionnaire administration on demographic characteristics of participants. The group conflict theory of George Vold (1958) formed the theoretical framework. The study therefore recommends that effort should be made to provide adequate awareness or orientation on the differences and similarities in the security roles played by the NSCDC and the police to curb the occurrence of clashes between them. Also the ministry of interior should ensure that there is a synergy between the NSCDC and the police while performing their official duties to avoid unnecessary conflict between them. Keywords: Conflicting Roles, NSCDC, Public-Perception, Systematic failure, The Nigeria Police.
Lexically dependent estimation of acoustic information in speech II: Minimal pair confusability

We aim to develop a framework for the analysis of phonetic contrast systems that is fundamentally lexical and does not depend on assumptions of inventory homogeneity and independence of distribution in words and higher-order systems. Previously (Redmon and Jongman, 2018, JASA) we reported results of an open-class identification experiment on a 240-word sample of the 26,793-word single-speaker database in Tucker et al. (2018). Here, we present results of the second experiment in the project: a 2AFC task where the choice set is limited to obstruent-contrastive minimal pairs. This task forms the opposite end of a continuum from least restricted utilization of acoustic or higher-order information (Exp. 1), to localized attention to a particular contrast in the lexicon. Just as the first experiment provided estimates of a lower bound on listeners’ sensitivity to different cues in the signal, the results of this experiment provide an upper bound on those estimates. Participants were presented with 480 stimuli balanced between contrastive obstruents in #CV, VCV, and VC# positions. The results were then used to determine network edge weights on a phonological lexicon on the model of Vitevitch (2008), which emphasizes the interaction between acoustic features, neighborhood topology, and higher-order information in the lexicon.
FUZZY CLUSTERING IMAGE INPAINTING ALGORITHM BASED ON MODIFIED CUCKOO SEARCH

Fuzzy C-means (FCM) algorithm is a widely used clustering, however, it is influenced by the initial cluster centers, and is easy to fall into local opitma.In order to overcome this drawback, we propose a modified cuckcoo search (MCS) which changes the detection probability P from a constant value to a varible number of iterations decreases.This will not only improve the quality of the population, but also ensure the covergence of the algorithm.Therefore, we can use the MCS algorithm to generate the FCM clustering centers and avoid the local optimal problem of FCM.The proposed algorithm has better clustering effect and faster running speed.In this paper, MCS_FCM algorithm classifies the image pixels into a number of categories according to the similarity principle, making the similar pixels clustering into the same category as possible.According to the provided gray value of the pixels to be inpainted, we calculate the category whose distance is the nearest to the inpainting area and this category is to be inpainting area, and then the inpainting area is restored by the modified CDD model to realize image inpainting.
Interfaces e usabilidade: organização de critérios para avaliação

This paper aims to organize usability criteria as a fundamental part in interactive interfaces design projects.It presents partial results of a major research on concepts Human-computer interaction and research on principles and usability criteria, based on analysis of some authors in this field.The major research aims to study theoretical fundamentals on interaction design and usability, with the goal of evaluating the access to Health Units' information of the Sistema Único de Saúde (Unified Health System) in the city of Natal, Rio Grande do Norte, available in Municipal Government Portal.The research method includes the definition of usability criteria, which supported the analysis of the Government Portal.In addition, the research included a survey with users.Thus, based on the results it was proposed the redesign the pages of the site to access the information about the Unified Health System and its Health Units.
Design Emocional, Integração Social e Universidade: consideração ao projetar para o idoso contemporâneo

Based on the average life of the Brazilian population, this article is dedicated to attending to the growing population of the elderly.Universities, through courses and events, seek to integrate this group into their campus.The PUC-Rio More than 50 is a reference of exchange of knowledges and attendance of demands of this public, from Design's point of view.Inspired by this action, the objective is to present a proposal for university extension to be offered in Campo Grande, Mato Grosso do Sul.To do so, finding ways to socially integrate the elderly through university services complemented the objective.Understanding the emotional reasons of 25 elderly people, users of activities promoted by the United Happy Age Association in Mato Grosso do Sul, guided the methodological course.Finally, the article presents a graphic piece to communicate the proposal of university extension south-mato-grossense, considering theoretical supports of the Emotional Design and the experience of the carioca program.
The Alignment Between Business Objectives Clarity and Software Objectives

This paper aims to highlight a very important concept and plays a key role in the success of software development, which is the alignment between business objectives and software objectives. In this research we refer to most of the literature that dealt with this subject. The researcher designed a questionnaire and conducted field interviews with software project managers. This study concluded with a set of recommendations and found that the alignment between business objectives and software goals plays a prominent role in software development and has a positive impact on the success of the software. Keywords: business objective, software objective, software development, alignment DOI : 10.7176/CEIS/10-2-04 Publication date :March 31 st 2019
Subspace Ensemble-Based Neighbor User Searching for Neighborhood-Based Collaborative Filtering

Neighborhood-based collaborative filtering (NCF) typically uses a similarity measure for finding similar users to a target user or similar products on which the target user rated. To find neighbor users, traditional similarity measures rely only on the ratings of co-rated items when calculating similarity of pairwise users. Some hybrid similarity measures can avoid this situation but they suffer from the time-consuming issue. To solve the mentioned issues, the current paper presents an effective method of subspace ensemble-based neighbor user searching (SENUS) for NCF. First, three item subspaces are constructed, or interested, neither interested nor uninterested, and uninterested subspaces. In each subspace, we calculate the co-rating support values for pairwise users. Then, SENUS combines three co-rating support values to get the total co-rating support values for pairwise users, which are utilized to generate direct neighbor users for a target user. For the target user, its neighbor users include direct and indirect ones in SENUS, where its indirect neighbors are the direct neighbors of its direct neighbors. Experimental results on public datasets indicate that the proposed method is promising in recommender systems.