Reviewerly/exHarmony huggingface dataset:
A review of the Multiple Object Detection, Tracking and Recognition in Video Surveillance Systems using different approaches

Moving item location in any video scene and its detection are the 2 significant testing errands in the moving video investigation system which is dynamic in nature. It is trying because of impediment, nearness of shadows, jumbling, dynamic foundation, clamor etc. Detection of moving objects, following, object coordinating crosswise over multi-camera, and reidentification are the fundamental strides of multi camera video investigation system. Multiple object location and following in savvy city video investigation can be created by propriety of society, for example, shrewd observation, savvy stopping, traffic observing, vehicle route, savvy human services and so forth. The objective of this paper is to examine and audit different methodologies towards such different types of moving object detection, its segmentation, histogram equalization, filtering, classification etc… Also, this survey paper gives a brief idea about the work done by various authors till date in the field of video image processing so that this review papers serves as a base paper for many of the researchers who want to do research in this exciting field of video processing. Some of the drawbacks or the disadvantages of the works that were carried out by the earlier researchers are considered in our research work, studied in brief &amp; problem is being defined along with the objectives in order to overcome some of the deficiencies of the existing algos.
Shortest paths for Dubins vehicles in presence of via points

This paper addresses the issue of computing the shortest path in the plane connecting two assigned poses (positions and orientations) while crossing an assigned via-point without a prescribed orientation. The problem is a natural extension to the Dubins classical one, and it has been recently considered for the potential applications of its solution on path planning for teams of vehicles, in the presence of obstacles and for the Dubins’ traveling saleman’s problem. The solution that we propose is obtained using mathematical tools from analytic geometry and it provides easily computable algorithms well suited for on-line path planning. The effectiveness of the proposed planning method is validated by worked examples and simulations.
One-vs-All Models for Asynchronous Training: An Empirical Analysis

Any given classification problem can be modeled using multi-class or One-vs-All (OVA) architecture. An OVA system consists of as many OVA models as the number of classes, providing the advantage of asynchrony, where each OVA model can be re-trained independent of other models. This is particularly advantageous in settings where scalable model training is a consideration (for instance in an industrial environment where multiple and frequent updates need to be made to the classification system). In this paper, we conduct empirical analysis on realizing independent updates to OVA models and its impact on the accuracy of the overall OVA system. Given that asynchronous updates lead to differences in training datasets for OVA models, we first define a metric to quantify the differences in datasets. Thereafter, using Natural Language Understanding as a task of interest, we estimate the impact of three factors: (i) number of classes, (ii) number of data points and, (iii) divergences in training datasets across OVA models; on the OVA system accuracy. Finally, we observe the accuracy impact of increased asynchrony in a Spoken Language Understanding system. We analyze the results and establish that the proposed metric correlates strongly with the model performances in both the experimental settings.
Partial bundle adjustment for accurate three‐dimensional reconstruction

Structure from motion aims at estimating the cameras and sparse structure of the scene globally, but the approximation biases in bundle adjustment and the propagated errors among the registered cameras and triangulated points reduce the quality of the reconstruction. To improve the accuracy of the reconstruction, the authors present an efficient subgraph‐based approach to optimise the visibility graph locally. The central idea is to divide the visibility graph into well‐configuration subgraphs for partial bundle adjustment based on a Markov random field, reconstruct the dense local points via the subgraph‐based multi‐view stereo matching, and then merge them into a consistent scene to extract the complete surface. They evaluate the proposed algorithm on several real and synthetic datasets, and the results demonstrate that their algorithm can improve the reconstruction quality significantly and maintain an inexpensive computation cost in the meanwhile.
Exact Topology Learning in a Network of Cyclostationary Processes

Learning the structure of a network from time-series data, in particular cyclostationary data, is of significant interest in many disciplines such as power grids, biology, finance. In this article, an algorithm is presented for reconstruction of the topology of a network of cyclostationary processes. To the best of our knowledge, this is the first work to guarantee exact recovery without any assumptions on the underlying structure. The method is based on a lifting technique by which cyclostationary processes are mapped to vector wide sense stationary processes and further on semi-definite properties of matrix Wiener filters for the said processes. We demonstrate the performance of the proposed algorithm on a Resistor-Capacitor network and present the accuracy of reconstruction for varying sample sizes.
Development of scroll vacuum pump characteristics by thermal deformations compensation

Abstract Influence of thermal deformations of scroll vacuum pumps working elements on clearances in working mechanism is considered. Analysis of influence of a clearance value on indicator diagrams and pumping speed was carried out. It is shown that alteration of a clearance due to thermal deformations decreases pumping speed at low pressures. The design of scroll elements compensating clearances alteration in pump operation and improving pumping characteristics is presented.
The Sustainable Development Practices Role and Transformational Leadership: Interaction and Impact on the Financial Performance

The purpose of this study is to explore the direct relationship between sustainable development practices and financial performance. It also examines the moderating effect of transformational leadership approach on this relationship. Using primary data sources, this study presents a case study of the Jordanian construction industry. A survey of 290 managing directors or his appointed representative for 1113 construction companies in Jordan. Data were collected from October 2017 until April 2018. The multiple regression analysis and hierarchical multiple regression analysis are used to verify the hypotheses of this study. Analyzed data reveals a positive relationship among sustainability development factors (i.e. environmental, economic, social aspects) and financial performance. Furthermore, the result of hierarchical multiple regression has shown that the moderating effect of transformational leadership is significant only on the relationship between Environmental aspects and financial performance. Also, the transformational leadership does not moderate the impact of â€œEconomic aspects and Social aspectsâ€ on the financial performance. This work strengthens the previous findings in the available literature as to how sustainability practices enhance the construction firms' performance. Moreover, this study involves the moderating role of transformational leadership on the main relation which also proves and supports the existing knowledge on performance measurement and performance of organisations. This study also contributes to practical aspects, by providing contractors with insights into implementing sustainability practices and tools to measure the sustainable construction firms' performance.
A Full-Image Full-Resolution End-to-End-Trainable CNN Framework for Image Forgery Detection.

Due to limited computational and memory resources, current deep learning models accept only rather small images in input, calling for preliminary image resizing. This is not a problem for high-level vision problems, where discriminative features are barely affected by resizing. On the contrary, in image forensics, resizing tends to destroy precious high-frequency details, impacting heavily on performance. One can avoid resizing by means of patch-wise processing, at the cost of renouncing whole-image analysis. In this work, we propose a CNN-based image forgery detection framework which makes decisions based on full-resolution information gathered from the whole image. Thanks to gradient checkpointing, the framework is trainable end-to-end with limited memory resources and weak (image-level) supervision, allowing for the joint optimization of all parameters. Experiments on widespread image forensics datasets prove the good performance of the proposed approach, which largely outperforms all baselines and all reference methods.
Driver-automation cooperative steering control system in avoiding obstacle for road vehicles

Due to various defects of driverless technology, driver-automation cooperative steering control system is still an accepted method in transportation system. In this paper, a cooperative control system for obstacle avoidance is proposed to combine the advantages of driver and automatic controller. With the system, a MPC-based automatic controller and an optimal preview acceleration driver model are employed for avoiding obstacles. Besides, an authority allocation mechanism based on level of lane departure and space collision risk is devised to allocate the weights between driver and controller based on the real-time status of vehicle, in which the driver's command and the automatic controller's one will be balanced by weighted summation. Finally, the effectiveness of proposed cooperative control system is verified by CarSim-Simulink cosimulation platform.
DDRM-CapsNet: Capsule Network Based on Deep Dynamic Routing Mechanism for Complex Data

The Recently proposed CapsNet has attracted the attention of many researchers. It is a potential alternative to convolutional neural networks (CNNs) and achieves significant increase in performance on some simple datasets like MNIST. However, CapsNet gets a poor performance on more complex datasets like CIFAR-10. To address this problem, we focus on the improvement of the original CapsNet from both the network structure and the dynamic routing mechanism. A new CapsNet architecture aiming at complex data called Capsule Network based on Deep Dynamic Routing Mechanism (DDRM-CapsNet) is proposed. For the purpose of extracting better features, we increase the number of convolutional layers before capsule layer in the encoder. We also improve the dynamic routing mechanism in the original CapsNet by expanding it into two stages and increasing the dimensionality of the final output vector. To verify the efficacy of our proposed network on complex data, we conduct experiments with a single model without using any ensembled methods and data augmentation techniques on five real-world complex datasets. The experimental results demonstrate that our proposed method achieves better accuracy results than the baseline and can still improve the reconstruction performance on the premise of using the same decoder structure as the original CapsNet.
Inconsistency Proofs for ASP: The ASP - DRUPE Format

Abstract Answer Set Programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer set. Verifying whether a claimed answer set is formally a correct answer set of the program can be decided in polynomial time for (normal) programs. However, it is far from immediate to verify whether a program that is claimed to be inconsistent, indeed does not admit any answer sets. In this paper, we address this problem and develop the new proof format ASP-DRUPE for propositional, disjunctive logic programs, including weight and choice rules. ASP-DRUPE is based on the Reverse Unit Propagation (RUP) format designed for Boolean satisfiability. We establish correctness of ASP-DRUPE and discuss how to integrate it into modern ASP solvers. Later, we provide an implementation of ASP-DRUPE into the wasp solver for normal logic programs.
PROGRAM PENINGKATAN KETERAMPILAN LITERASI PADA SEKOLAH UNGGUL DI SD MUHAMMADIYAH 09KOTA MALANG

This study describes the strategies, constraints, and solution of problems ofincrease of literacy skills in ELEMENTARY SCHOOL Muhammadiyah Malang09. Research methods qualitative approach is done with this type of research isdescriptive. The data obtained through interview, observation, and study thedocumentation. The analysis of the data using analysis Miles and Hubberman.After having analyzed the data then tested their validity by using triangulationtechniques and extension of the observation.The results showed that the implementation of the literacy activitiesstarting in 2015. There is an increasing literacy skills in ELEMENTARYSCHOOL Muhammadiyah Malang 09. Students who originally just used toreading books of non text, now students can already produce literacy, namelybooks. Literacy skills improvement strategies in ELEMENTARY SCHOOLMuhammadiyah Malang 09 refers to the three stages of literacy school. Startingfrom conditioning phase, implementation phase, until the development oflearning-based literacy.Constraint strategies in literacy skills improvement in ELEMENTARYSCHOOL Muhammadiyah Malang 09, among others: (1) the procurement of nontext book readings, (2) the competence of teachers ' literacy is still low, (3) thespirit of students in literacy is low, (4) lack of funding, (5) space the narrowlibrary, (6) the lack of specialized personnel as a librarian.Solutions of a constraint strategies in literacy skills improvement inELEMENTARY SCHOOL Muhammadiyah Malang 09, among others: (1) theexistence of dues homeroom and caregivers, (2) guardian of the budget proposalmakes the grade, (3) school in collaboration with the literacy community, (4)socializing the funding to caregivers, (5) spatial librarian, (6) the assignment andscheduling of teacher as a librarian.
APPLICATION OF INFORMATION SESSION INFORMATION SYSTEM AS MEDIA SUBMISSION OF FINAL RESULTS COMPREHENSIVE SESSION

&#x0D; &#x0D; &#x0D; Good information that is based on data that has been processed properly so as to generate useful communication. The trial assessment system has 3 parts, but the system is not mutually integrated because 2 of them can already be accessed online while the examiner's assessment system still uses the local network. In the grading system, the examiner has a session news information system that is useful for conveying the final results of the session to the trial participants. This is because as technology advances are utilized as well as possible by educational institutions in this case namely universities to be used in a comprehensive session of thesis students or final assignments. Therefore, development is carried out on the examiner's assessment system so that it can be accessed online, where there is a trial news information system. The research was conducted using the method of observation, interviews and literature to maximize this research. The trial news information system is a very important system when a comprehensive trial process takes place. This is because the news information system of the hearing has information about the grades, grades and status obtained by the trial participants. This certainly becomes very vital in the trial assessment system. The display that will be developed in the examiner's rating system will be user friendly, making it easier for the board of examiners to use it. Even though the system was developed but did not change the original flow of the examiner's assessment system so that the board of examiners could adjust well to the new system, along with the news information system of the trial. With the existence of a hearing news information system, it makes the comprehensive trial process perfect and the trial assessment system becomes integrated again as before.&#x0D; &#x0D; &#x0D;
Dynamical evolution of photon-added thermal state in thermal reservoir*

The dynamical behavior of a photon-added thermal state (PATS) in a thermal reservoir is investigated by virtue of Wigner function (WF) and Wigner logarithmic negativity (WLN), where this propagation model is abstracted as an input–output problem in a thermal-loss channel. The density operator of the output optical field at arbitrary time can be expressed in the integration form of the characteristics function of the input optical field. The exact analytical expression of WF is given, which is closely related to the Laguerre polynomial and is dependent on the evolution time and other interaction parameters (related with the initial field and the reservoir). Based on the WLN, we observe the dynamical evolution of the PATS in the thermal reservoir. It is shown that the thermal noise will make the PATS lose the non-Gaussianity.
The role that access and attitudes toward tablets have on learners’ achievement in a Johannesburg school

One of the central themes across education policies in South Africa is ensuring equal access to education in a context of diminishing resources. The roll-out of technology in schools plays a pivotal role in achieving equity. With the emphasis on technology integration, it is imperative to fully understand the factors that influence this process. Thus, this study investigated the role of access to tablets, and learners’ attitudes towards tablets, on learner achievement. A convenience sample of 276 learners from an independent high school in Johannesburg, where tablets were used in the learning environment, completed a cross-sectional survey consisting of a demographics section, a section on access to technology, and a scale on attitudes towards the use of tablets. The results indicate that learner achievement is largely influenced by learner attitudes towards tablets, and in particular, enjoyability of use. Findings provide evidence that tablet provision, while necessary, is not sufficient for the successful integration of tablets and subsequent redress of equality in education in South Africa. Keywords: access; attitudes; educational technology; enjoyability; Information and Communication Technology (ICT); learner achievement; tablets
Comparing “parallel passages” in digital archives

Purpose The purpose of this paper is to present a language-agnostic approach to facilitate the discovery of “parallel passages” stored in historic and cultural heritage digital archives. Design/methodology/approach The authors explore a novel, and relatively simple approach, using a character-based statistical language model combined with a tailored version of the Basic Local Alignment Tool to extract exact and approximate string patterns shared between groups of documents. Findings The approach is applicable to a wide range of languages, and compensates for variability in the text of the documents as a result of differences in dialect, authorship, language change over time and errors due to inaccurate transcriptions and optical character recognition errors as a result of the digitisation process. Research limitations/implications A number of case studies demonstrate that the approach is practical and generalisable to a wide range of archives with documents in different languages, domains and of varying quality. Practical implications The approach described can be applied to any digital archive of modern and contemporary texts. This makes the approach applicable to digital archives recording historic texts, but also those composed of more recent news articles, for example. Social implications The analysis of “parallel passages” enables researchers to quantify the presence and extent of text-reuse in a collection of documents, which can provide useful data on author style, text genres and cultural contexts. Originality/value The approach is novel and addresses a need by humanities researchers for tools that can identify similar documents and local similarities represented by shared text sequences in a potentially vast large archive of documents. As far as the authors are aware, there are no tools currently exist that provide the same level of tolerance to the language of the documents.
BTestBox: A Tool for Testing B Translators and Coverage of B Models

The argument of correctness in refinement-based formal software design often disregards source code analysis and code generation. To mitigate the risk of errors in these phases, certifications issued by regulation entities demand or recommend testing the generated software using a code coverage criteria. We propose improvements for the BTestBox, a tool for automatic generation of tests for software components developed with the B method. BTestBox supports several code coverage criteria and code generators for different languages. The tool uses a constraint solver to produce tests, thus being able to identify dead code and tautological branching conditions. It also generates reports with different metrics and may be used as an extension to the Atelier B. Our tool performs a double task: first, it acts on the B model, by checking the code coverage. Second, the tool performs the translation of lower level B specifications into programming language code, runs tests and compares their results with the expected output of the test cases. The present version of BTestBox uses parallelisation techniques that significantly improve its performance. The results presented here are encouraging, showing performance numbers that are one order of magnitude better than the ones obtained in the tool’s previous version.
Blind Robust 3-D Mesh Watermarking Based on Mesh Saliency and QIM Quantization for Copyright Protection

Due to the recent demand of 3-D models in several applications like medical imaging, video games, among others, the necessity of implementing 3-D mesh watermarking schemes aiming to protect copyright has increased considerably. The majority of robust 3-D watermarking techniques have essentially focused on the robustness against attacks while the imperceptibility of these techniques is still a real issue. In this context, a blind robust 3-D mesh watermarking method based on mesh saliency and Quantization Index Modulation (QIM) for Copyright protection is proposed. The watermark is embedded by quantifying the vertex norms of the 3-D mesh using QIM scheme since it offers a good robustness-capacity tradeoff. The choice of the vertices is adjusted by the mesh saliency to achieve watermark robustness and to avoid visual distortions. The experimental results show the high imperceptibility of the proposed scheme while ensuring a good robustness against a wide range of attacks including additive noise, similarity transformations, smoothing, quantization, etc.
Cloud security: how to protect critical data and stay productive

It is essential that business data is protected wherever it resides. When it comes to Google G Suite and Office 365, it is a complete minefield as to how much proprietary information about a company is contained across all employee inboxes. Microsoft Exchange is likely the biggest source of all that valuable information and is, unfortunately, highly susceptible to security vulnerabilities.