Reviewerly/exHarmony huggingface dataset:
Secondary Filter Keyframes Extraction Algorithm Based on Adaptive Top-K

As the coal mine environment is similar to night-time, there is less discernible information, which makes the coal mine video images collected by the camera have a high level of redundancy, less available information, obvious light spots, and noise interference, which are not conducive to extracting useful information from the video. In view of the above problems, a keyframes extraction algorithm for coal mine video images based on a secondary filter with adaptive Top-K is proposed. The algorithm calculates the eigenvalues of the feature points using the principal component analysis method, then filters the eigenvalues by the threshold of adaptive Top-K to extract the effective keyframes of the coal mine image. The experimental results show that the algorithm can extract the keyframes more accurately using the adaptive threshold method.
Extended Abduction in Assumption-Based Argumentation

Assumptions are needed to perform non-monotonic reasoning in assumption-based argumentation (ABA), while hypotheses are used to perform abductive or hypothetical reasoning. However not only were hypotheses sometimes confused with assumptions when representing them in ABA frameworks but no work has been done to perform extended abduction in ABA frameworks whose languages contain explicit negation $$\lnot $$ . Hence first we define consistency of ABA frameworks w.r.t. $$\lnot $$ . Second based on it, we present the framework to perform extended abduction in ABA while treating hypotheses along with assumptions in the framework. Theoretically it is shown that Sakama and Inoue’s extended abduction w.r.t. an abductive logic program (ALP) containing classical negation can be captured by our extended abduction in ABA instantiated with the ALP. Finally we provide the method to compute extended abduction in ABA based on answer set programming.
SOCIAL RISKS IN THE IMPLEMENTATION OF INNOVATIVE LEARNING TECHNOLOGIES IN THE COLLEGE

Social risks in the implementation of innovative technologies of training in college have been considered. The main directions of development of innovative changes in education have been adduced. Based on the data of sociological content analysis on this subject, the key trends of technological achievements in the educational environment of institutions of the secondary vocational education have been revealed. The concept of social risk has been given. As factors of perception of social risks its interacting components have been allocated. Based on the theory of risk society, it has been substantiated, that the risks in education are the risks of society, they are the same for the whole society and the whole Institute of education.
Generalized Weyl-Heisenberg Algebra, Qudit Systems and Entanglement Measure of Symmetric States via Spin Coherent States. Part II: The Perma-Concurrence Parameter

This paper deals with separable and entangled qudits | ψ d ⟩ (quantum states in dimension d) constructed from Dicke states made of N = d - 1 qubits. Such qudits present the property to be totally symmetric under the interchange of the N qubits. We discuss the notion of perma-concurrence P d for the qudit | ψ d ⟩ , introduced by the authors (Entropy 2018, 20, 292), as a parameter for characterizing the entanglement degree of | ψ d ⟩ . For d = 3 , the perma-concurrence P 3 constitutes an alternative to the concurrence C for symmetric two-qubit states. We give several expressions of P d (in terms of matrix permanent and in terms of unit vectors of R 3 pointing on the Bloch sphere) and precise the range of variation of P d (going from separable to maximally entangled states). Numerous examples are presented for P d . Special attention is devoted to states of W type and to maximally entangled states of Bell and Greenberger–Horne–Zeilinger type.
Calculating Device for Digital Fuzzy Filter in Robot Arm

Precision in positioning mobile objects depends on various factors. In particular, one should point out the specific features of objects themselves, faults in the drives running due to the incorrect processing of the given values of the generalized coordinates and the contact bounce. In this paper an experimental model of the robot manipulator is observed. To eliminate the contact bounce affecting the precision in a robot manipulator positioning, a digital fuzzy filter device has been developed. A calculating device for the digital fuzzy filter is made up of five units: the unit for calculating the membership function degrees, the minimum unit, the maximum unit, the multiplication unit, the unit for calculating the digital fuzzy filter coefficients. The filter is supposed to recalculate the voltage rates transmitted to the input from the potentiometer. Another task is to control the time taken by the manipulator joints to make a turn so that to calculate the coefficients for regulation α and β, which change the output voltage transmitted to the servo. The potentiometers send to the digital filter input two signals with the current and the preceding voltage rates. But it is crucial that the signal of the difference rate to be transmitted to the digital filter input. So a separate unit for calculating the voltage rates remainder has been developed. In this paper the general operating principles of the following units are analyzed - the unit for calculating the voltage rates difference and the unit for calculating the membership function degrees. The analysis is aimed at solving the problems of precision in positioning the robot manipulator and eliminating the contact bounce. Experimental results are provided to demonstrate the effectiveness of the proposed digital fuzzy filter device for operational systems guiding and controlling mobile objects.
Adaptive Learning for Correlation Filter Object Tracking

To solve the real-time quality and adaptive quality of traditional correlation algorithm. An adaptive correlation filter tracking algorithm is proposed. First, training the filter using machine learning, make the algorithm be adaptive to the object changing. Then, weighting the image patch with a cosine window, the object region has larger weighting value than the edge region, which ensures the continuity of the Cyclic matrix. At last calculate the response matrix using the convolution of the input image patch and the filter matrix in Fourier domain. Experiment on various videos shows that for 26 pixel × 24 pixel object, filter the image in a 130 × 120 pixel patch, the processing speed could be 210 fps. The proposed tracking algorithm can track object with good timing quality and robustly.
Improving Working Conditions for Contingent Faculty

Contingent Academic Labor: Evaluating Conditions to Improve Student Outcomes, by Daniel Davis. Sterling, VA: Stylus Publishing, 2017. 136 pages. Paper, $19.95; eBook, $15.99.Professors in the Gig E...
The Problem of Cluster Analysis

We shall now formulate in general terms the basic or “generic” problem of cluster analysis, and then discuss the consequences of this formulation.
An Architectural Approach to the Precedent-Oriented Solution of Tasks in Designing a Software Intensive System

The paper presents an approach to architectural modeling focused on its use for the development of functional components of a software intensive system (SIS), each of which is associated with the solution of a specific design task. To ensure the independence of proposed architectural modeling from the specificity of a certain SIS, the approach is focused on creating a complex of specialized means called TASK, which is intended for solving the design tasks in the workplace of a member of the design team. The specificity of the complex consists in forming by the designer for any solved task its reusable model (model of a precedent), which is included in the experience base applied in the design process of a certain SIS or their family. The prototype version of the TASK was developed in the personified version of the toolkit WIQA, which provides the solution of design tasks at the conceptual stage of the development of the SIS. This version of objectifying the approach is specifically implemented in a prototype form so that it can be used as a sample that can be fitted for architectural modeling of any design tasks when developing any SIS.
New Algorithms for Manipulating Sequence BDDs

Sequence binary decision diagram (SeqBDD) is a data structure to represent and manipulate sets of strings. This is a variant of zero-suppressed binary decision diagram (ZDD) that manipulates combinatorial sets. Nowadays, binary decision diagrams (BDDs) and its family have been recognized as an important data structure to manipulate discrete structures. SeqBDD has some set manipulation operations inherited from ZDD, but the number of the operations is not enough to deal with a wide variety of requests in string processing area. In this paper, we propose 50 new algorithms for manipulating SeqBDDs. We divide the operations into three categories and list up them. We also analyzed the time and space complexities of some new algorithms.
Comparison of classification algorithms on optical satellite imagery for mapping posidonia oceanica meadows: the case study of Limassol, Cyprus

Posidonia Oceanica meadows are important marine ecosystems that offer habitat to fish, organisms, and shelter for threatened species as well. This study compares classification algorithms for the validity of Posidoniaoceanica mapping through optical satellite imagery in the region of Limassol – Akrotiri bay. More specifically, side-scan sonar mapped data derived from the portal of the Department of Lands and Surveys and imported to the ArcGIS WMS service, as well as a Landsat 8 satellite image for the region of Cyprus were used. Training data and regions of interest (ROI) were created, followed by supervised classification using Spectral Angle Mapper, Mahalanobis Distance, Maximum Likelihood and Minimum Distance algorithms in ENVI 5.4 software. A sample of 1,000 random points was added to the study area before conducting a relative comparison to test the performance of the algorithms used. Since, there weren’t any raw data to automate the comparison of the algorithms, a random manual selection of 30 points was considered.
An Easy-to-Understand Expert System for the Prediction of Direct, Diffuse and Global Solar Radiations in Indian Region

Building is a modifier of indoor climate to provide comfort to its inhabitant. The building walls and roof often have sloppy surfaces, and the thermal performance evaluation of the building requires simultaneous values of direct, diffuse and global solar radiation. Such values are available only for limited locations. Consequently, the thermal evaluation of building in regions of complex climate and design of efficient air-conditioned system has continually suffered a setback. This paper presents an easy-to-understand expert system for the prediction of direct, diffuse and global solar radiation in the Indian region. The approach is based on a multi-frame output model of the artificial neural network analysis. The computational algorithm includes estimation of direct, diffuse and global components of solar radiation through clear sky conditions. The deviations of these estimates from measurements are considered to be due to random weather phenomena characterized by atmospheric clearness indices which are determined by an artificial neural network analysis based on interrelationship of direct, diffuse and global solar radiation. The target values of atmospheric clearness index achieved as a result of ANN analysis are expressed by an explicit polynomial representation which in turn enables the determination of atmospheric clearness index as a function of latitude and longitude of location, time of the day and month of the year. The whole computational scheme is embedded in a graphical user interface which is designed to assist a wide spectrum of users such as energy planner, engineers, architects, scientists and researchers to predict direct, diffuse and global solar radiation.
Methods of Compensation of Dynamic Objects Movement in Video Pototy in Video Confidential System

The systems of videoconferencing as the main components of the organization of troop management organization are analyzed. Particular attention is paid to aviation control systems and air defense in the area of anti-terrorist operations. The analysis of the process of organizing and functioning of videoconferencing in control systems has been analyzed, which revealed the main security risks of the video resource. Considered ways to increase the efficiency of management and operational activities, due to methods of compensation of motion, using technology to reduce the volume of video data for quality improvement. It is proposed to use the developed block search template for the method of matching the blocks of processing of dynamic video objects.
Towards Integrating Software Development and Multimedia Content Creation

Recently, computer system and user interfaces have been greatly evolved. Especially, multimedia contents are becoming more important because of the improvement of users’ impression and usability. Quality of multimedia contents may determine the application evaluation more than the quality of functions of the software. Although the importance of multimedia contents increases, integration of software development process and multimedia creation process is not discussed in the research field. Therefore, we propose a new integrated approach featuring software development and multimedia content creation. The new approach is implemented through a development process whose model is automatically generated by an algorithm that has already been specified. The algorithm facilitates the generation of phases and stages, based on the relationships among development documents. This results in a new development process. Further, quality control and progress control are easily governed by the process model that is in turn based on the document relations. Similarly to software measurements (supported by particular techniques), the completion rates of each document can be measured. Hence, we also have also metrics for quality and progress. Thus, the integrated process model and the metrics will be useful in controlling quality and progress, as it concerns applications that bring together software and multimedia content.
New Theory of Laser. Method of Density-Matrix

This paper is based on the Lindblad equation for the statistical operatorStatistical operator and the equation for the density matrixDensity matrix , which are equivalent to each other. These equations contain a dissipative operatorDissipative operator and a dissipative matrixDissipative matrix . Described equations are applied here for the formation of the equations which characterize the operation of the laserLaser . First, the Hamiltonian was given by means of a unitary transformation into a diagonal form. Then a dissipative matrix was found, which characterizes the operations of thermodynamic transitions of the atom between the energy levels, pumping and attenuation operations. By using the diagonal of the Hamiltonian, dissipative matrix equations are obtained, which describe the continuous work of the laser. From the kinetic equation for the radiation, the spectral density of the radiation energy at the laser output is found.
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems

Process-algebraic methods have proven to be excellent tools for designing and analysing concurrent systems. In this paper we review several process calculi and languages developed and studied by Rocco De Nicola and his students and colleagues in the three EU projects AGILE, SENSORIA, and ASCENS. These calculi provide a theoretical basis for engineering mobile, service-oriented, and collective autonomic systems. KLAIM is a framework for distributed mobile agents consisting of a kernel language, a stochastic extension, a logic for specifying properties of mobile applications, and an automatic tool for verifying such properties. In the AGILE project of the EU Global Computing Initiative I, KLAIM served as a the process-algebraic basis for an architectural approach to mobile systems development. For modelling and analysing service-oriented systems, a family of process-algebraic core calculi was developed in the SENSORIA project of the EU Global Computing Initiative II. These calculi address complementary aspects of service-oriented programming such as sessions and correlations. They come with reasoning and analysis techniques, specification and verification tools as well as prototypical analyses of case studies. In the ASCENS project, the language SCEL was developed for modelling and programming systems consisting of interactive autonomic components. SCEL is based on process-algebraic principles and supports formal description and analysis of the behaviours of ensembles of autonomic components.
Claire Chase: <i>Density 2036</i>, part vi. The Kitchen, NYC.

In a 2013 article Claire Chase muses on her dream to commission and premiere the ‘21st-century Density ’. This performance demonstrated some of the difficulties with this idea in the actuality of twenty-first-century composition – the Work as it was perceived in the mid-twentieth century is largely displaced; the performer and her body has been rendered visible, her contribution central, and this concert is far more a portrait of Claire Chase than it is of her instrument. But Chase had in fact already accounted for this. ‘Of what will the Density of our time be made?’ she wrote, prophetically. ‘Of osmium? Of signal processing? Of wood? Of carbon? Of flesh? Of air?’
Visualisation Design as Language Transformations - From Conceptual Models to Graphics Grammars

In this article, we frame the process of visualisation design as a systematic transformation between two distinct domain-specific languages. As a result, we obtain a general framework, which may inform the process of visualisation design, as well as enable the creation of flexible general-purpose systems for interactive visual analytics. Our efforts aim towards raising the level of abstraction, by allowing users to express queries through a vocabulary that is specific to their problem domain. This domain-specific language is based on the conceptual model of the input data. Subsequently, a visualisation specification prescribes a language transformation, which maps from the user-defined conceptual model to the application-defined graphics grammar. The key to this approach is a formal interpretation of the conceptual data model, using rich type information in order to capture the data semantics and structure. The theoretical foundations for this approach are introduced, building on existing theories from database, type system, and visualisation literature. Subsequently, we discuss the key concepts of the proposed framework. Finally, the applications of the framework are illustrated by three use cases, which successfully applied these concepts in real-world visual analytics scenarios.
Spectral and petrophysical data for filling in thematic database in Earth observation over test site

In the presented work the team of PhD students and post-docs aim to collect spectral and petrophysical data for filling thematic database in Earth observation. The spectral data are result of performed laboratory spectrometric measurements of collected rock samples from a test site in Bulgaria. The petrophysical data are result of performed measurements of the petrophysical properties of the collected rock samples from the same test site. The main result of the project work is collect information for filling thematic spectral database in remote sensing monitoring of land covers in a selected test site in Bulgaria. This activity is also in line with the Copernicus of the EC. Filling the database with additional information about collected rock samples such as petrophysical data will lead to upgrading of the measurement methods and in monitoring of different types of land covers and the creation of interdisciplinarity in different fields geosciences and Earth observations. The results will increase efficiency of research investigations in remote sensing monitoring of land covers, synergy between different fields of science, and shared information.
Educational book design: art, aesthetic and technological characteristics

In this article on the example of the design project of the textbook T.N. Adametskaya «History of Design», made by designer R.R. Shvetsov, the author takes a closer look at the design stages and features of the design approach to the educational publication.
Web-enabled Software for Real-time Autonomous Wireless Sensors Data Visualization

Real-time autonomous wireless sensors must provide information that is both accurate and timely. With the widespread of IoT, a myriad of sensors are producing a large quantity of numeric data. Still, as users, we are inclined to consume data that has been processed and displayed as visual information in order to facilitate decision processes.
A Collaborative Filtering Algorithm for Hierarchical Filtering of Neighbors Based on Users’ Interest

In order to alleviate the sparsity of rating data and single rating similarity, from the perspective of optimizing similarity, this paper proposes a collaborative filtering algorithm for filtering neighbors hierarchically based on user interest (HFNCF). Firstly, this paper adopts the user’s rating number and rating size of each category to calculate user interest, and then improved similarity calculation, and join the interest coincidence degree factor to find similar users with the same interest of the target user, then find similar users with the target user having the largest interest cross-domain, and obtain the neighbor candidate set. Secondly, this paper considers the relative time changes between user ratings and adding time factors to improve the similarity of ratings to select the final similar neighbors. Finally, the comprehensive similarity is obtained by combining the two similarities, so that the target user’s ratings are predicted based on the rating of the final similar neighbors, and generate recommendations by the rating. Experimental proof, the algorithm proposed in this research achieves a lower MAE on MovieLens dataset compared to the traditional algorithm. Therefore, the HFNCF algorithm effectively selects neighbors, and improves the recommendation quality and accuracy.
Photovoltaic Systems with Sun Tracking Position

This paper describes the work of solar photovoltaic systems and the types of photovoltaic panels. Solar energy can be transformed in many ways into electrical, and the simplest way is through photovoltaic cells. The work principles of photovoltaic cell is based on photoelectric effect. Solar panels can be fixed, or mobile panels with one or two rotation axis. Mobile systems can be optimally positioned in relation to the sun, no matter where the sun is in the sky.
Analysis and Categorization of Human Facial Emotion Using PCA and Artificial Neural Network

The research on human facial emotions started with Darwin in 1965 [1]. Now it becomes one of the interesting research areas of computer science. In this paper we propose a very simple but effective way to classify emotions from human facial image. We work with seven emotions: Neutral, Angry, Fearful, Disgust, Happy, Sad, Surprise and ten different human face images in each emotion for our experiment. Our work is based on Edge detection, Segmentation, Gabor transformation and GLCM calculation. Canny edge detection technique is used for edge detection and morphological segmentation technique is used for segmentation. We use Principal component analysis (PCA) for dimension reduction of our dataset. A neural network is used to classify emotions. Finally a comparison has been made with some existing methods which prove the effectiveness of our proposed system final output in the form of emotions.