Reviewerly/exHarmony huggingface dataset:
Locating Errors in Faulty Formulas

Given a drawing of a read-once formula (called the blueprint), and a blackbox implementation with the same topology as the blueprint that purports to compute the formula, can we tell if it does? Under a fault model, where the only faults in the implementation are gates that complement their outputs, we show that there is an efficient algorithm that makes a linear number of probes to the blackbox implementation and determines if the blueprint and implementation are identical. We also show a matching lower bound. We further ask whether we can diagnose where the faults are, using blackbox testing. We prove that if the implementation has a property called polynomial balance , then it is possible to do this efficiently. To complement this result, we show that even if the blueprint is polynomially balanced and there are only logarithmically many errors in the implementation, the implementation could be unbalanced and the diagnosis problem provably requires super-polynomially many tests. We point out that this problem is one instance of a general class of problems of learning deviations from a blueprint, which we call conformance learning . Conformance learning seems worthy of further investigation in a broader context.
Large Basic Cone and Sparse Subspace Constrained Nonnegative Matrix Factorization With Kullback–Leibler Divergence for Data Representation

In this article, a new constrained NMF model with Kullback–Leibler (KL) divergence is developed for data representation. It is called large basic cone and sparse representation-constrained nonnegative matrix factorization with Kullback–Leibler divergence (conespaNMF_KL). It achieves sparseness from a large simplicial cone constraint on the base and sparse regularize on the extracted features.
A Case for Property-Type Semantics

In linguistic semantics, propositionalism is the view that all intensional constructions (esp. attitude reports) can be interpreted as relations to truth-evaluable propositional contents. Propositionalism has been adopted for its uniformity and ontological parsimony, and for its ability to capture natural language reasoning. These merits notwithstanding, propositionalism has been challenged by the observation that some intensional constructions (incl. objectual and de se-attitude reports, ‘know how’-sentences, and de dicto-readings of depiction reports) resist a propositionalist analysis. This paper reconciles the merits of propositionalism with its empirical challenges. To this aim, it replaces propositions by properties as uniform objects of the attitudes. This replacement is motivated by the observation that all non-propositional attitudinal objects can be coded as properties through established type-shifts. It is supported by the ability of the resulting semantics to distinguish truth-evaluable from non-truth-evaluable attitude complements, to capture cross-attitudinal co-predication, and to explain differences w.r.t. the acceptability of different kinds of co-predication. At the same time, it gives a sense of what a propositionalist semantics – if successful – might look like and which requirements it must meet.
Training of Competitive Graduates Based on the Educational Standard of the ITMO University

The paper presents the concept, structure and features ofITMOUniversity’s independently established educational standard of a new generation. The standard has been developed on the basis of Federal State Educational Standard of Higher Education 3++, professional and international standards of engineering education, foresight forecasts of world scientific and technological development. The harmonious intellectual, cultural and moral development, as well as the formation of a professionally competitive personality is ensured by the implementation in the educational programs of the ITMO Code. TheITMOUniversityhas created mechanisms for the formation of actual requirements for the preparation of competitive professionals demanded at an international level. The authors propose the design and implementation system of the educational programs based on integration of the fundamental classical technical education, enhanced development of the universal, common and professional competencies, and extended implementation of the modern theoretical and applied practice-oriented researches, which are supported an active participation of industrial companies and research organizations in educational activities. An interdisciplinary content of educational programs together with orientation to individualization of education and introduction of advanced educational technologies including design, digital, network etc. provides a stable technology platform to achieve the standard requirements for learning outcomes.
An ElGamal-Like Digital Signature Based on Elliptic Curves

In this work, we present a new variant of the ElGamal digital signature scheme. We ameliorated the signature equation to make it more secure against current attacks. The method is based on the elliptic curves notion. We analyze the complexity and security of the protocol.
POLITENESS IN ONLINE COMMUNICATION: RETAILER-CLIENT INTERACTION

Purpose of the study: The paper aims to unfold politeness in online communication among retailers and clients and debates some ways where cultural values of communication can be taught and thus re-learned.&#x0D; Methodology: The qualitative approach was adopted where discourse analysis method used to review and analyse the updates and comments from Facebook and WhatsApp of conveniently collected data for this study.&#x0D; Main Findings: The study suggest a deterioration of cultural values in communication is at an alarming level among retailers and clients in online communication.&#x0D; Applications of this study: The study will benefit online businesses. Area of studies include business management and communication. Other sub- areas include culture and ethic relations.&#x0D; Novelty/Originality of this study: The study is new to Malaysian business context where multi-racial and multilingual environment play significant roles.
Design of Optimal Fuzzy Controllers for Autonomous Mobile Robots Using the Grey Wolf Algorithm

Through the advance of technology, every day new methods or computational techniques emerge that allow us to solve problems in different areas, such as medicine, engineering, even in any industrial process. Optimization is of vital importance in this industry, the main objective being to find the best possible solution to the problem. In this work we propose to use the Grey Wolf Optimizer (GWO), which is a metaheuristic inspired by the hunting behavior and leadership hierarchy of grey wolves, in addition to analyzing and explaining the proposed methodology for the optimization of fuzzy controllers for mobile autonomous robots.
A Multistep Method for Automatic Determination and Optimization of Microseismic P-Phase Arrival Times in a Coal Mine

We present an algorithm for P-phase arrival time automatic determination and optimization for microseismic events of a coal mine in steps. For P-phase detection, we apply four modules: single denoising (band-filter), fast searching (STA/LTA and peak value), accurately picking (AIC), and optimization selection (time difference of arrival time and envelope circle judgment). This method is applied for a precise determination of P-phase arrival time; in addition, an automatic quality estimate is obtained to optimize and select the effective stations and used for source location. Through the analysis and validation of seismic data in a mine located in Hebei province, the result shows that this method can pick up the first arrival time of MS signal fast and accurately and automatically judge and remove the error station. Comparing automatic picks with the manual method in terms of speed and accuracy, computation cost (0.828 s) is far less than manual method (15 s per set), precision of manual and automatic represented by picking error is up to 71.7% (between −5 ms and 5 ms, 190 sets), 83.4% (between −10 ms and 10 ms, 221 sets), and 90.57% (between −20 ms and 20 ms, 240 sets). This study shows that the method presented in this paper is feasible to precise automatic P-phase determination and is a basis on automatic and precision location.
The Automatic Undistortion Strength Estimation for Any Describable Optical Distortion

A presence of an optical distortion does undesired influence on the geometrical image quality. The main reason of its occurring is using a lens with low or variable focal length or simple camera optics. When an image captured by a camera is affected by undesired distortion and it is used for the distance measurement, it can cause significant measurement errors. The aim of this paper is to introduce a method for finding an optimal undistortion parameter for any optical distortion, which can be described mathematically. The proposed method uses the Hough transformation accumulator and at each iteration step the quality of straight lines is evaluated as a gradient from local maximum. The algorithm is verified and assessed on several images. The developed approach can be used to find the global maximum gradient in general, even when a local maximum changes its size over iterations.
Indoor Dialog Agent in Mixed Reality (video)

We aimed at implementing an indoor dialog agent, namely PhoenixBot, working in a mixed-reality environment. The agent occupies a certain position in a real-world space, and interacts with other nearby human.We developed a server that maintains information of agents and smartphone users, where the information includes current indoor position and direction. We also developed an Android application as a client, which collects real-time data from various sensors such as gyroscope, accelerometer, step detector, WiFi, magnetic field, and gravity sensor. The step detector values and WiFi signals are used to estimate the current location of the user, and the other remaining sensors are used to compute the user direction. The client application displays the real-world scene covered with some virtual objects (e.g., agent, board), as depicted in Fig. 1, where the cartoon character at the center is the dialog agent. In order to compute the right position to display the components, the client keeps consistent information of the virtual objects with the server. That is, if a user moves to other position, then it will be reported to the server and will be disclosed to the other agents and users. The dialog agent works in the way similar to other dialog agents, as it has a pipeline of modules such as Natural Language Understanding (NLU), Dialog Management (DM), and Natural Language Generation (NLG). The agent currently supports four domains: weather, campus, transport, and bible. The agent speaks only Korean for now, but will be portable to other langauges if a dataset for the target language is prepared. You can see the video clip at https://youtu.be/U2FA-XxVPvM
Internet of Things Recognition and Sensing Technology in Interactive Display Communication

To study how to display the scientific and technological information of enterprise products through interactive dissemination and make a pre-marketing, the Internet of Things is integrated and how to attract people's attention and interact more with the support of the Internet of Things technology is discussed. With the rapid development of science and technology, there are more and more platforms to display enterprise products. Because of its extensive application needs, it opens a new direction for the development of various fields in China and provides new innovative ideas. In terms of product exhibition, the Internet of Things may connect various scenarios of product use, satisfy the practical needs of consumers, truly realize customer experience, gain the trust of consumers, and ultimately facilitate transactions. Therefore, referring to relevant literature and through the perception layer of the Internet of Things, obtain the information of visitors, guide them to exhibition visits, and give feedback in the process of experience. The results show that the identification and sensing technology in the Internet of Things can be applied to the interactive display, which can interact with the visitors well, not only let them have a better experience, but also achieve efficient marketing in the exhibition. It lays a certain foundation for expanding the audience of related technologies and products after that but also provides new ideas for the application of the Internet of Things technology in the direction of cultural communication.
Arbitrary Screen-Aware Manga Reading Framework with Parameter-Optimized Panel Extraction

While reading Manga on smart devices, it is inconvenient to drag and zoom through contents. Therefore, this work proposes a user-friendly and intuitive Manga reading framework for arbitrary reading conditions. Our framework creates a reading flow by breaking pages into contextual panels, organizing panels as display units, grouping units as a display list according to reading conditions, and playing the list with designed eye-movement-simulated transitions. The core is parameter-optimized panel extraction, which uses the occupied area of extracted panels and the ratio of borders parallel to each other to automate parameter selection for matching up identified panel corners and borders. While applying to 70 Manga chapters, our extraction performs comparatively better against two state-of-the-art algorithms and successfully locates “break-outs.” Furthermore, a usability test on three chapters demonstrates that our framework is effective and visually pleasing for arbitrary Manga-reading scenarios while preserving contextual ideas through panel arrangement.
Mobile Devices in Programming Contexts

"What design innovations can the ubiquity and features of mobile devices bring to the programming realm?" has been a long-standing topic of interest within the human-computer interaction community. Yet, the important design considerations for using mobile devices in programming contexts have not been analyzed systematically. Towards this goal, we review a sample of the existing research work on this topic and present a design space covering (i) the target contexts for the designed programming tools, (ii) the types of programming functionality supported, and (iii) the key design decisions made to support the programming functionality on the mobile devices. We also review the design processes in the existing work and discuss objectives for future research with respect to (i) the trade-offs in enabling programming support given the constraints of mobile devices and (ii) applying human-centered methods particularly in the design and evaluation of programming tools on mobile devices.
Using Cluster Ensembles to Identify Psychiatric Patient Subgroups

Identification of patient subgroups is an important process for supporting clinical care in many medical specialties. In psychiatry, patient stratification is mainly done using a psychiatric diagnosis following the Diagnostic and Statistical Manual of Mental Disorders (DSM). Diagnostic categories in the DSM are however heterogeneous, and many symptoms cut across several diagnoses, leading to criticism of this approach. Data-driven approaches using clustering algorithms have recently been proposed, but have suffered from subjectivity in choosing a number of clusters and a clustering algorithm. We therefore propose to apply cluster ensemble techniques to the problem of identifying subgroups of psychiatric patients, which have previously been shown to overcome drawbacks of individual clustering algorithms. We first introduce a process guide for modelling and evaluating cluster ensembles in the form of a Meta Algorithmic Model. Then, we apply cluster ensembles to a novel cross-diagnostic dataset from the Psychiatry Department of the University Medical Center Utrecht in the Netherlands. We finally describe the clusters that are identified, and their relations to several clinically relevant variables.
CPR: Client-Side Processing of Range Predicates

Range predicates are important to diverse application workloads. A system may process range predicates using either a server-side, a client-side, or a hybrid of these two solutions. This study presents CPR, a client-side solution that caches the result of range predicates and looks up their results. This implementation provides strong consistency and supports alternative write policies. It is embodied in a flexible framework named RangeQP that provides the hybrid solution. We quantify strengths and limitations of CPR when compared with the server-side solution.
Life extension of UAVs: a case study of Indian UAVs

Unmanned Aerial Vehicles (UAVs) are an integral part of any Armed force. They are being used in dull, dirty, dangerous and demanding missions. These missions restrict the life of UAV thus increasing the cost of UAV operations. To keep the operational cost low, it is essential to utilize UAVs to their full potential and life. The process of aging of UAV which results in structural and performance deterioration cannot be stopped, but its impact can be limited by using preventive measures, proper maintenance and implementing the required changes. A well-used UAV can be a befitting candidate for Life extension. Life extension of UAVs cannot be just on economic factors but also on reliability and performance in the extended life. This paper presents the case study of life extension of Indian UAVs which are designed and developed by Aeronautical Development Establishment, Bengaluru. These UAVs have been field tested and operationalized by Armed forces under varying environmental and usage conditions. The procedure, conditions and lessons learnt during the life extension process of UAVs are described. Life extension of these UAVs has resulted in considerable amount of cost and time saving to the users.
Tweeting into the void?: creating a UK library Twitter list and analyzing best practice – successes and myths

Despite the vast amount of research into social media use by libraries, no research has been made into its use by smaller UK libraries. Although many statements have been made regarding the time- and cost-saving nature of social media, there is a lack of comparative research about its usefulness in different types of library. To address these points, this study gathered statistics from 1,425 library accounts on the social media tool Twitter. Five smaller libraries were selected for a more in-depth metric analysis and interview regarding their accounts and their measuring of return on investment (ROI).The study found that while many libraries are using Twitter, academic libraries were the first to sign up en masse. Despite clear best practice criteria, many accounts are not utilizing Twitter to its fullest capacity. The two greatest influencing factors on followers were found to be the amount of time since the account’s registration and the type of library.When interviewed, the smaller libraries in this study were shown to be following best practice criteria, but were working outside these parameters to create unique initiatives. However, the five interviewed libraries have not been recording any metrics, data or examples of successful tweets on social media, making it difficult to measure ROI. Furthermore, the libraries interviewed have been reaching followers who are not library users. This alters libraries’ social media strategies and is something that should be part of the discussion surrounding library use of social media.
Parameter optimization of the not fully accessible system of the hub airport service based on a simulation model with a fuzzy regulator

Abstract The problem of determining the optimal number of technological resources of the hub airport functional subsystem, serving passengers in a separate technological operation, is considered. The analysis is limited to incomplete systems in which the maintenance of certain applications can be performed only by certain resources. As an optimization tool, a simulation model was used that takes into account the features of passenger flows and the hub airport production process and includes a fuzzy controller (FC), which reflects the logic of the airport dispatcher controlling the ground handling process. The paper describes a model example of solving an optimization problem indicating the possibility and feasibility of using a fuzzy controller as a model for the strategy of a human operator. The main result of optimization is the time dependence of the number of technological resources of the functional subsystem which is applicable at the stages of making decisions on increasing its capacity, operational resource management, planning staff shift work, solving a number of other tasks, especially relevant for hub airports with intense but uneven flows of aircraft and passengers.
Efficient Parallel Associative Classification Based on Rules Memoization

Associative classification refers to a class of algorithms that is very efficient in classification problems. Data in such domain are multidimensional, with data instances represented as points of a fixed-length attribute space, and are exploited from two large sets: training and testing datasets. Models, known as classifiers, are mined in the training set by class association rules and are used in eager and lazy strategies for labeling test data instances. Because test data instances are independent and evaluated by sophisticated and high costly computations, an expressive overlap among similar data instances may be introduced. To overcome such drawback, we propose a parallel and high-performance associative classification based on a lazy strategy, which partial computations of similar data instances are cached and shared efficiently. In this sense, a PageRank-driven similarity metric is introduced to reorder computations by affinity, improving frequent-demanded association rules memoization in typical cache strategies. The experiments results show that our similarity-based metric maximizes the reuse of rules cached and, consequently, improve application performance, with gains up to 60% in execution time and 40% higher cache hit rate, mainly in limited cache space conditions.
SPC product codes, graphs with cycles and Kostka numbers

The SPC product code is a very popular error correction code with four as its minimum distance. Over the erasure channel, it is supposed to correct up to three erasures. However, this code can correct a higher number of erasures under certain conditions. A codeword of the SPC product code can be represented either by an erasure pattern or by a bipartite graph, where the erasures are represented by an edge. When the erasure contains erasures that cannot be corrected, the corresponding graph contains cycles. In this work we determine the number of strict uncorrectable erasure patterns (bipartite graphs with cycles) for a given size with a fixed number of erasures (edges). Since a bipartite graph can be unequivocally represented by its biadjacency matrix, it is enough to determine the number of non-zero binary matrices whose row and column sum vectors are different from one. At the same time, the number of matrices with prescribed row and column sum vectors can be evaluated in terms of the Kostka numbers associated with Young tableaux.