Reviewerly/exHarmony huggingface dataset:
A Manifestation of Cloud Computing Environments for Application Clusters, High-Performance Clusters and Allocation strategies for Virtual Machines

Cloud Computing (CC) is the advancement of the Grid Computing (GC) worldview in the direction of administration arranged structures. The phrasing connected to this sort of handling, while portraying shared resources, alludes to the idea of Service of X. Such assets are accessible on interest and at an altogether low cost contrasted with self-conveyance of individual segments. CC is found everywhere in current situations, from vast scale associations to a just little scale business, everybody is equipping themselves cloud. Due to its effortlessness, observing and support over remote association, expansive territory inclusion. Cloud can be any sort Software as an administration, stage as an administration, foundation as an administration dependent on its use. High Performance Computing (HIPECO) implies the accumulation of computational capacity to build the capacity of handling substantial issues in science, designing, and business. HIPECO on the cloud permits performing on interest HIPECO errands by superior clusters in a cloud atmosphere. Currently, CC arrangements (e.g., Microsoft Azure, Amazon EC2) enable the users to make use of only the fundamental storage and computational utilities. They prevent the allowance of custom adjustments of the topology designs or parameters of the system. The associations structures of the nodes in HIPECO clusters ought to give a quick bury node correspondence. It is vital that adaptability is safeguarded also. In a foundation, as an administration, virtualization viably maps virtual machines to the physical machines. In spite of the fact that it is difficult, undertaking for hypervisor to choose fitting host to serve up and coming virtual machine is a must requirement. In this paper, our main aim is to examine different techniques/types of cluster topology mapping and their necessities in numerous Cloud situations to accomplish higher dependability along with adaptability of utilization which is executed inside Cloud resources (CR), HIPECO resource allocation (RA) on the cloud clusters and Cluster based designation procedure.
Digital Support for Adaptation of Foreign Trainers within the Framework of the Project «BUDDYSYSTEM»: Case of the Ural Federal University Named after First President of Russia B.N. Yeltsin

The problem of adaptation of foreign students to the Russian educational environment is becoming increasingly important due to the increase in the number of foreign students in higher education institutions of Russia. The Internet support of the adaptation system on the basis of specially created for it support systems — “buddysystems” — begins particular importance in this process. The article describes the author’s system of work with newly arriving students, undergraduates, graduate students for their comprehensive adaptation at the Ural Federal University named after the fi rst President of Russia B. N.Yeltsin, Yekaterinburg, Russian Federation. One of the key elements is the using of digital technologies for successful communication with foreign students. Analysis of the project “BUDDYSYSTEMURFU” shows its multiplicativity and the possibility of implementation in the universities of the country.
A Multi-agent Model for Cell Population

An intriguing problem inArroyo, Fernando computer science is the formal description of dynamics in cell populations. We propose here a multi-agent-based model that could be used in this respect. The model proposed in this paper consists of biological entities (cells) as agents and a biochemical environment. Both are represented by multisets of symbols. The environmentMitrana, Victor evolution is regulated by multiset Lindenmayer rules depending on the current state of all agents, while the evolution of each agent, whichPăun, Andrei depends on the environment current state, is defined by means of multiset patterns. We discuss some algorithmic problems related to the dynamics of the proposed multi-agent model: infinite and stationaryPăun, Mihaela evolution, environment, and agent reachability.
Developing a Method for Measuring the Failover Times of First Hop Redundancy Within Video Networks

IP protocols have been used to distribute compressed media over private and public networks for a number of years. Recently the broadcast sector has started to adopt IP technologies to transport real time media within and between their facilities during production. However, the high bitrate of uncompressed media and its sensitivity to latency and timing variations requires careful design of the network in order to maintain quality of service. Connectionless protocols are commonly used, which means that packet loss is of particular concern and redundant paths must be provisioned with mechanisms to switch between them. This project develops and critically analyses a method for measuring the effectiveness of first hop redundancy protocols for broadcast video production networks. The aim extends previous work [1] to recommend particular configurations to optimise networks and to provide a method that broadcast engineers can use to verify performance. Cisco’s HSRP is recommended with static routes configured for redundant paths. It is recommended that the network is tested using a synthetic RTP stream with a low complexity packet sniffer and NICs with hardware timestamps. Further work is identified including ways to improve the accuracy of the results and to consider the impact of more complex networks.
Detecting Behavioral Design Patterns from Software Execution Data

Design pattern detection techniques provide useful insights to help understand the design and architecture of software systems. Existing design pattern detection techniques require as input the source code of software systems. Hence, these techniques may become not applicable in case the source code is not available anymore. Large volumes of data are recorded and stored during software execution, which is very useful for design pattern detection of software systems. This chapter introduces a general framework to support the detection of behavioral design patterns by taking as input the software execution data. To show the effectiveness, the proposed framework is instantiated for the observer, state and strategy patterns. The developed pattern detection techniques are implemented in the open-source process mining toolkit ProM. The applicability of the proposed framework is evaluated using software execution data containing around 1.000.000 method calls that are generated by running both synthetic and real-life software systems.
Image Smoothing Using $$\ell ^p$$ ℓ p Penalty for $$0\le p\le 1$$ 0 ≤ p ≤ 1 with Use of Alternating Minimization Algorithm

Total Variation (TV) filtering is a very popular filtering technique. Recently, using variants of TV penalty term, many filtering methods were presented. The main objective of such approaches is to provide sparse solutions and retain some important details of an image, such as edges. The paper presents a possible solution for the penalty term consisting of p-th power of the differences of neighbouring signal values. The special cases are: $$p=1$$ , $$0<p<1$$ and $$p=0$$ . For that purpose, the alternating minimization algorithm proposed by Wang et al. 2008 with the Gauss-Seidel iterations is used. We propose a solution for the special case $$p=\frac{1}{2}$$ and for the generalized case $$0<p<1$$ .
Research and Design of Mobile Storage Monitoring Based on File Filter Driver

In order to deal with the problem that the confidential information in the intranet is easily leaked, the method based on file filter driver is used for mobile storage monitoring to solve such problem. Through the close relationship between the file filter driver and other components of the operating system, we expound the principle of file filter driver. Except that, we discuss about the reason why the file filter driver is applied to the control of mobile storage device. Besides, the file filter technology related to this is elaborated. On this basis, we probably design a mobile storage monitoring system based on file filter driver.
Introduction of Brain Cognition

This chapter analyzes brain mechanisms for launching the attention to video information, describes swarm intelligence to consciously and proactively implement these mechanisms and advances the concepts of “brain-inspired object detectionObject detection ” and “brain-inspired compressive trackingCompressive tracking ,” respectively. Algorithms for swarm intelligence are interpreted as an integration of deep learningDeep learning with target impulse responses, defining the selected objects in videos for tracking as eigenobjectsEigenobjects . Such swarm intelligence achieves the robustness, accuracy and speed simultaneously, as preliminarily validated on challenging data under the unmanned drivingUnmanned driving scene. Brain mechanisms for a selective cognitionSelective cognition to locate eigenobjects and mechanism for the motionMotion tracking are illustrated, taking detection and tracking of dangerous objects as an example. Based on the biologicalBiological mechanisms, mechanisms for the eigenobjectsEigenobjects detection and its motion trackingMotion tracking by brain-inspired robotsBrain-inspired robots are analyzed, along with a sketch of the scheme to implement biological mechanisms in integration models. The perspective applications of compressive trackingCompressive tracking by brain-inspired robotsBrain-inspired robots are preliminarily discussed, and at the end of this chapter, the outline of this book is also presented.
Subgraph Query for Building Service-Based Systems

Given the broad applications of service-oriented architecture (SOA) in service-oriented software engineering, service-based systems (SBSs) built from existing Web services are becoming increasingly popular. As a result, the selection of the appropriate component services to include in SBSs has become a crucial step in the SBS-engineering process. Unfortunately, most of the existing methods require that system engineers have a detailed knowledge of the corresponding SOA techniques, which can incur several limitations, including excessively demanding development conditions and a lengthy development cycle. To address this issue, we propose to use subgraph queries for SBSs (SQS), which is an efficient approach that allows system engineers to build SBSs based on previous development experience. The SQS converts the SBS engineering problem into a subgraph isomorphism problem and uses a customized algorithm inspired by the VF2 algorithm to build SBSs with quality constraints and optimization goals for system quality. The SQS offers a new paradigm for efficient SBS engineering that significantly reduces the time and effort required in the system-engineering process. We discuss a series of experiments that use two real-world Web service datasets to demonstrate the practicality, effectiveness, and efficiency of this approach.
Platinum Assemblage of Matysken River (Koryak Highlands, Russia): Key Properties and Relation with Bedrock Source

In this work, we present our first data on the spatial distribution of platinum group elements (PGE) in the minerals of the Matysken massif of Uralian-Alaskan type (Koryak Highlands). The platinum assemblage of the massif is represented by Ir-rich isoferroplatinum rimmed with secondary tetragonal minerals (tulameenite and tetraferroplatinum), native Os and Ir inclusions, minerals of laurite RuS2—erlichmanite OsS2 series. Both primary Pt–Fe and Os–Ir–Ru alloys of central parts of the massif dunite core are enriched in Ir relative to the samples from its outermost parts. The reasons for such distribution remain unclear. However, it corresponds with Nekrasov’s model, which describes the peculiarities of the composition of PGE minerals in different parts of zonal Uralian-Alaskan type massifs.
Modelling Security Requirements for Software Development with Common Criteria

Designing software needs to address the issues of adaptation and evaluation in terms of object-oriented concepts to prevent the loss of resources in terms of system failure. System security assessments are common practice and system certification according to a standard requires submitting relevant software security information to applicable authorities. Many security-related standards exist for the development of various security-critical systems however Common Criteria (ISO/IEC 15408) is an International de-facto standard which provides assurance for specification, implementation, and evaluation of an IT security product. This research will provide aid in better communication and enhanced collaboration among different stakeholders especially between software and security engineers by proposing a model of security-related concepts in de-facto standard Unified Modeling Language (UML). In this paper, we present a Usage Scenario and a Conceptual Model by extracting key security-related concepts from Common Criteria. The effectiveness is illustrated by a case study on Facebook Meta-Model, which is built for the evaluation purpose of Common Criteria models.
Design Implications from Cybersickness and Technical Interactions in Virtual Reality

The present study sought to advance understanding about the relationships among contextual, individual, and technical factors in their influence upon human responses to virtual reality (VR) environments. Within this examination, the researchers first conducted a systems analysis of the two comparable VR training environments to isolate potential cybersickness antecedents. Second, a pilot study presented both environments in randomized order to participants to examine how specific features in these environments contributed to user cybersickness responses. Finally, these results were examined considering a triadic theory of cybersickness which positions the phenomenon as a combination of task, system, and individual differences converging and interacting.
Image Enhancement Technology for an 8K Endoscope

At present, 8K is the highest resolution of video systems, and its research was originally implemented for broadcasting services. In addition, 8K has an important application in medical field, and its application in an endoscopic surgery, which uses a 0.02 mm thread, is in practical stage. The 0.02 mm thread is not visible on 2K (i.e., a high-definition television (HDTV)) and 4K endoscopes, but it can be traced using 8K endoscopes. However, fine focus is necessary. It is very difficult to adjust the focus of 8K because it is impossible to do it with the usual tools such as view finders or small monitors. Commercial HD/4K cameras are equipped with autofocus functions. Meanwhile, professional 4K/8K cameras and 4K/8K endoscopes do not have an autofocus function. Generally, the central areas are the focal point of an autofocus function. However, in the case of 8K endoscopes, the central areas are not always the focal points. The focal depth is very deep and the focal points may change during endoscopic surgeries. Thus, the focus of the endoscope should be manually controlled by a medical doctor. Although fine focused 8K frames are extremely sharp and are useful for pathological diagnosis of still images. However, out-of-focus 8K still images cannot be used for this purpose. In this study, the total variation for an 8K endoscope still image is proposed and its validity is proven using the 8K endoscope frames.
Peripheral Distortion on Views in a Fish Tank Could Be Corrected Using a Trapezoidal Glass and Microlens Array

In this study, we discuss a way of correcting the distortion of views that look into fish tanks. It is widely known that those views are all seen distorted due to light distortion. That is, light rays traveling inside the tank towards an observer are refracted on the boundaries between different media: water, glass and air. Therefore, those rays come away from the observer, which are however necessary for constructing the observer’s view without distortion. To capture the rays, a trapezoidal glass and microlens array are placed at specific positions and an image formed behind the array is taken by a camera. Finally, the observer’s view is constructed from the single image without distortion.
EVLA

Transport Layer Security (TLS) is a de facto standard for secure communication over the Internet and other critical infrastructures. The trust model deployed in the TLS is based on digital certificates which contain signed assertions on bindings between identities and their public key. Such a certificate is issued by a trusted certification authority (CA) that verifies an identity-key binding during a certificate validation process. As different applications require different grades of security, CAs have introduced different types of certificates and validations. So-called, extended validation (EV) certificates are believed to be the most secure, as to issue such a certificate a CA has to conduct a rigorous identity verification procedure. However, it turns out that in practice such certificates may not provide any additional security, as it is challenging to check whether a CA indeed has verified an identity according to the procedure. In this paper, we consider how to add value to the security of EV certificates. We propose Extended-Validation Certificates with Location Assurance (EVLA), a blockchain-based system that increases the security of EV certificates through checking and asserting that a CA and a given entity indeed have met during the certification process. We discuss possible ways of realizing EVLA and their implications.
Case Reasoning Based Design System for Product Packaging

Abstract The overall design procedure of product packaging is divided into 2 phases: generation of packaging design scheme and detailed design scheme, based on which, overall structure of design system for product packaging PACKAGING is designed. By using CBR technology, generation of product design scheme in PACKAGING is achieved, Meanwhile, each key technological step in generating procedure of design scheme for product packaging is discussed in detail.
Bearing-Only and Bearing-Doppler Target Tracking Based on EKF

According to the characteristics of underwater target tracking, extended Kalman filter (EKF) algorithm was applied to underwater bearing-only and bearing-Doppler non-maneuverable target tracking problem. EKF is recursive Bayesian filter algorithm based on the linearization of the nonlinearities in the target state and the measurement equations. To ensure the observability in passive target tracking, we use single maneuvering observer. The simulation results show the suitability and effectiveness of the EKF algorithm to the single non-maneuverable target.
UnProVET: Using Explicit Constraint Propagation to Construct Attack Graphs

One of the important problems in network security consists in the construction and analysis of attack graphs which represent all possible attacks a malefactor can carry out within a specific computer network. In this paper we describe the software system for constructing such attack graphs. The system is based on the constraint propagation mechanisms which are very close to that employed by the algorithms for solving Constraint Satisfaction Problem (CSP) and its variants. Unlike several other known software systems for attack graph generation it employs explicit constraint propagation implemented using special data structures. The computational experiments show that the system has good performance and outperforms the competition in certain scenarios.
A Supervised Approach to Analyse and Simplify Micro-texts

Analysis of micro-text presents a challenging task due to the incompleteness of its corpus in the domain of Natural Language Processing (NLP). Primarily, micro-text refers to the limited textual content in the form of letters and words, collected from various web-based resources. In the present paper, we are motivated to build a supervised model for analysing micro-text. The model assists in simplifying the texts and extracting the important knowledge from unstructured corpora. Additionally, we have prepared an experimental dataset to validate the proposed model. The validation process offers 94% accuracy to identify the micro-text from the unstructured corpus like Twitter. The proposed model helps to design various applications such as annotation system and prediction system for micro-texts in the future.
Linear Hash Functions as a Means of Distortion--Rate Optimization in Data Embedding

Embedding hidden data is usually performed by introducing some distortions (errors) in cover objects. If the distortions exceed a certain bound, steganalysis can detect the presence of hidden data. So the problem is to embed as much data as possible and not exceed a permissible distortion level to ensure indetectability. We describe a general class of stegosystems that solves the problem by employing linear hash functions. The suggested stegosystems allow to transmit hidden information of the amount asymptotically close to the maximum possible under the given distortion.
Topology in Quantum Information

Quantum Computation began when the fundamental questions of computer science and information theory were asked in the realm of quantum mechanics. This change of perspective inspires many problems combining physics, computer science and information theory and results in a better understanding of the nature of quantum physics.
Features of Image Spatial Filters Implementation on FPGA

The article presents the features of spatial image filters implementation on programmable logic integrated circuits (FPGAs). The presented solutions allow using crystal architecture capabilities to achieve the highest performance of filtering algorithms. The results show the advantages of using programmable logic in image processing tasks.
A Disparity Computation Framework

A disparity map is a key component of stereo vision systems. Autonomous navigation, 3D reconstruction and mobility are examples of areas that use disparity maps as an important element. Although much work has been done in the stereo vision field, it is not easy to build stereo systems with concepts such as reuse and extensible scope. In the present paper, we contribute to reducing this gap by presenting a software architecture that can accommodate different stereo methods through a new standard structure. Firstly, we introduce scenarios that illustrate use cases of disparity maps, and we show a novel architecture that foments code reuse. A Disparity Computation Framework (DCF) is presented and how its components are structured regarding compartmentalization are discussed. Then, we introduce a prototype that closely follows our proposal, and we describe some test cases that were performed. We conclude that the DCF can satisfy different on-demand scenarios and that it can support new stereo methods, functions, and evaluations for different applications without much effort.
Probe Point Selection Strategy for Lunar Rover Based on Particle Swarm Optimization

In order to successfully complete the exploration mission on moon surface, it's necessary to choose a suitable probe point to plan a feasible path for lunar rover. In this paper, a probe point selection strategy is presented. The proposed strategy consists of the following three steps: Firstly, the feasible region on a given terrain map is generated by Breadth-first search algorithm based on rover travers ability; secondly, the evaluation cost of the probe point is constructed by geography information and light condition; finally, an optimal point that satisfies the constraint is selected by particle swarm optimization (PSO). In order to verify that the selected probe point can be safely arrived, the path of the rover is planned by A* algorithm. The experimental results show the correctness and feasibility of the proposed probe point selection strategy.