Reviewerly/exHarmony huggingface dataset:
Research and Design of College Educational Resource Sharing Information System in Military Civilian Integration Based on .NET Platform

In view of the problems existing in the sharing of college educational resources in the military civilian integration, this paper puts forward the requirements for the construction of college educational resources sharing information system in the military civilian integration. The system mainly includes four aspects: teacher information management, teaching point information management, open major and course information management and resource information management. It also analyzes the contents and functions of each management module, and the main functions and access rights of the main information management module and background management are analyzed and designed. The structure of the main modules in the database is designed. The application of Ajax technology in the combination query of teachers' information and the information access control based on users are discussed. Finally, through the operation of the system, the effectiveness of the system design is verified.
The Seed: Exploring the relationship of ecological mutual restriction by AR interaction

This is an art project named "The Seed" which is designed to explore the mutual restriction relationship between ecological members by AR interaction, and the way to build a suitable space for this interaction. "The Seed" is a fictional planet which shows a small universe that requires sound as a source of energy, and a satellite that surrounds it will emits sound when approaching. In this world, sound, as a factor that can't be directly observed through the eyes, becomes the main subject that needs to be manipulated. By interacting with it, it is hoped that the participants can not only enjoy it but also realize how our ecosystem is working. And to break the traditional goal of become the final winner in the traditional game process, how to maintain the operation of this virtual alien world has become the main rule in the entire process.
An Overview of Various Types of CAPTCHA

Authentication is a commonly used technique in software applications to ensure whether the correct user is getting access to secured services or not. Due to the fast pace of data growth, there is an increasing need for security of online data. This is commonly achieved by the use of various CAPTCHAs. CAPTCHAs are an implementation of reverse Turing test. Turing test is used to distinguish between humans and computers. A fundamental property that the use of CAPTCHA necessitates is that the CAPTCHA must be easy and efficient for humans but difficult for computers. CAPTCHAs are used to protect the data from malicious bots and web crawlers. They are not only used in web sites but also used in banking transactions, cloud computing, distributed infrastructures and income tax services. In this paper, an analysis of the different categories of CAPTCHAs, the attacks against them and ideas and designs to develop more robust and user-friendly CAPTCHAs in the coming future are presented.
Resource Elastic Database Acceleration

Database sizes are growing faster than the processing power in the post-Moore era due to the advent of big data applications, which make hardware acceleration mandatory. We propose dynamic stream processing using partial reconfiguration to provide a high-performance solution to runtime-known problems. This work researches the benefits of applying resource elastic techniques when building the execution pipeline.
Deep Metric Learning Based on Rank-sensitive Optimization of Top-k Precision

Deep metric learning has shown significantly increasing values in a wide range of domains, such as image retrieval, face recognition, zero-shot learning, to name a few. When evaluating the methods for deep metric learning, top-k precision is commonly used as a key metric, since few users bother to scroll down to lower-ranked items. Despite being widely studied, how to directly optimize top-k precision is still an open problem. In this paper, we propose a new method on how to optimize top-k precision in a rank-sensitive manner. Given the cutoff value k, our key idea is to impose different weights to further differentiate misplaced images sampled according to the top-k precision. To validate the effectiveness of the proposed method, we conduct a series of experiments on three widely used benchmark datasets. The experimental results demonstrate that: (1) Our proposed method outperforms the baseline methods on two datasets, which shows the potential value of rank-sensitive optimization of top-k precision for deep metric learning. (2) The factors, such as batch size and cutoff value k, significantly affect the performance of approaches that rely on optimising top-k precision for deep metric learning. Careful examinations of these factors are highly recommended.
How Good is Good Enough?

In Human Behaviour Understanding, social interaction is often modeled on the basis of lower level action recognition. The accuracy of this recognition has an impact on the system's capability to detect the higher level social events, and thus on the usefulness of the resulting system. We model team interactions in volleyball and investigate, through simulation of typical error patterns, how one can consider the required quality (in accuracy and in allowable types of errors) of the underlying action recognition for automated volleyball monitoring. Our proposed approach simulates different patterns of errors, grounded in related work in volleyball action recognition, on top of a manually annotated ground truth to model their different impact on the interaction recognition. Our results show that this can provide a means to quantify the effect of different type of classification errors on the overall quality of the system. Our chosen volleyball use case, in the rising field of sports monitoring, also addresses specific team related challenges in such a system and how these can be visualized to grasp the interdependencies. In our use case the first layer of our system classifies actions of individual players and the second layer recognizes multiplayer exercises and complexes (i.e. sequences in rallies) to enhance training. The experiments performed for this study investigated how errors at the action recognition layer propagate and cause errors at the complexes layer. We discuss the strengths and weaknesses of the layered system to model volleyball rallies. We also give indications regarding what kind of errors are causing more problems and what choices can follow from them. In our given context we suggest that for recognition of non-Freeball actions (e.g. smash, block) it is more important to achieve a higher accuracy, which can be done at the cost of accuracy of classification of Freeball actions (which are mostly plays between team members and are more interchangable as to their role in the complexes).
Film Grain and Film Scanner Noise in HDR Video

While physical film prints are not widely used for motion picture distribution due to the industry's successful transition to digital cinema distribution, negative film and interpositive (IP) film are still frequently used as a source for motion picture releases in High Dynamic Range (HDR) and Standard Dynamic Range (SDR) formats. Modern productions that use film as the acquisition format typically scan the film negative in a film scanner and then use modern digital production processes such as visual effects, editing and color grading like modern digital camera workflows. Remastering projects leverage the thousands of film negatives and IPs that are stored in Hollywood studios' vaults to create new versions of older titles. IPs were created in traditional photochemical film workflows and are often available for use in remastering projects. — Film scanning is a critical step in both modern film production and remastering workflows as it converts the analog medium of film to a digital format. The film scanning process itself can introduce scanner noise into the digital image which has different characteristics than the more familiar film grain noise. Film grain noise is inherent in the physical film medium itself and its visibility and characteristics vary based on the film format and the type of film used. Filmmakers often consider the characteristics of film grain as a visual aesthetic that can be leveraged creatively to enhance the storytelling. Traditional photochemical film workflows that did not use film scanners also were impacted by film grain noise. — Scanning different types of film elements (e.g. negatives and IPs) in different film scanners with different scan settings can lead to different results. The visibility of these differences change when the scan is used to create an SDR Home Master or SDR Cinema release versus an HDR Home Master due to the increased luminance and contrast often associated with the HDR format. This paper quantifies these differences and explains the visual impact of film grain versus scanner noise with an emphasis on HDR video. Additionally, this paper describes our recent experiments with test films and presents visual examples of scanner noise and film grain noise.
Toward on-line fitting of a human skeleton-marker model for accurate motion tracking

Two approaches to on-line fitting of the human kinematics model and marker arrangement are proposed for accurate pose estimation in motion tracking. A `flexible' skeleton-marker model that can adjust the lengths of the body segments and relative locations of markers in addition to the whole joint angles is employed. In order to avoid the ill-posedness due to the huge degrees of freedom and the overfitting, the model and the whole joint angles are updated frame-wise. The particle filter and a frame-wise gradient descent method were examined for the model update. The former was applied based on an expectation that a stochastic technique can help to avoid the overfitting of the model. The latter had a success in the authors' another work to estimate the global gradient to reduce the estimation error only from one sample. While the both techniques worked from the viewpoint of accuracy, it was found that the particle filter had a drawback in the aspect of computation cost, so that the frame-wise gradient descent method is more preferable although it still has a problem in a high-rate implementation.
Chinese News Event Corpus Construction Method Based on Syntax Tree

At present, the weakly supervised model is usually used for the expansion of the event corpus, which avoids the expensive manual annotation process. However, the weakly supervised model relies on the knowledge base and a small part of manually annotated corpus data, which makes the model have the problems of poor portability. In order to solve this problem, we construct a public domain event extraction model using syntax tree. In this paper, we propose a classification structure of Chinese syntax tree according to the view of event extraction, and put forward an event extraction algorithm for various syntax tree types. Moreover, in the construction algorithm of trigger word dictionary, we use cross-corpus dictionary information to construct Chinese trigger word dictionary from the perspective of semantics. As a result, we obtain 40,128 Chinese news events, which initially constituted the corpus of Chinese new events.
The Best of SIAM Data Mining 2020

Big DataVol. 8, No. 5 Guest EditorialThe Best of SIAM Data Mining 2020Yan Liu and Sriraam NatarajanYan LiuComputer Science Department, Viterbi School of Engineering, University of Southern California, Los Angeles, California, USA.Search for more papers by this author and Sriraam NatarajanDepartment of Computer Science, University of Texas at Dallas, Richardson, Texas, USA.Search for more papers by this authorPublished Online:19 Oct 2020https://doi.org/10.1089/big.2020.29040.ediAboutSectionsView articleView Full TextPDF/EPUB Permissions & CitationsPermissionsDownload CitationsTrack CitationsAdd to favorites Back To Publication ShareShare onFacebookTwitterLinked InRedditEmail View article"The Best of SIAM Data Mining 2020." Big Data, 8(5), pp. 333–334FiguresReferencesRelatedDetails Volume 8Issue 5Oct 2020 InformationCopyright 2020, Mary Ann Liebert, Inc., publishersTo cite this article:Yan Liu and Sriraam Natarajan.The Best of SIAM Data Mining 2020.Big Data.Oct 2020.333-334.http://doi.org/10.1089/big.2020.29040.ediPublished in Volume: 8 Issue 5: October 19, 2020PDF download
ExtraDet With Quad Feature Pyramid Networks

In this paper, we look at different architectures of feature pyramid networks and introduce a new one, namely, QuadFPN. We apply this FPN technique to the popular EfficientDet and obtain an improvement in performance by a minimum of 1.2% mAP on COCO dataset on each of the models under 10 million parameters (D0, D1, D2). Thus, we present a scalable and an alternate technique similar to BiFPN.
Selective Cascade of Residual ExtraTrees

We propose a novel tree-based ensemble method named Selective Cascade of Residual ExtraTrees (SCORE). SCORE draws inspiration from representation learning, incorporates regularized regression with variable selection features, and utilizes boosting to improve prediction and reduce generalization errors. We also develop a variable importance measure to increase the explainability of SCORE. Our computer experiments show that SCORE provides comparable or superior performance in prediction against ExtraTrees, random forest, gradient boosting machine, and neural networks; and the proposed variable importance measure for SCORE is comparable to studied benchmark methods. Finally, the predictive performance of SCORE remains stable across hyper-parameter values, suggesting potential robustness to hyper-parameter specification.
Efficient method for evaluation and hardware-in-loop testing of electro–optical tracking system

Object tracking technology is being continually improved to ensure robust tracking performance under real conditions, such as cluttered background, fast motion, and lengthy occlusions. The performance of these video trackers depends significantly on evaluation methodologies adopted during the assessment of tracking algorithms. Most of these video trackers are evaluated using video sequences annotated with the simulated visual attributes of objects. Generating such sequences with the requisite attributes is laborious and time consuming. These annotated video sequences may fail to address real challenges; hence, the trackers must be tested using available opportunity targets in lengthy field trials. We present an innovative scheme for the hardware-in-loop testing of such video trackers for efficient evaluation under complex background scenarios. The designed simulator can provide the real-time visual characteristics of object parameters with a live background without halting the evaluation process. The proposed method facilitates the efficient evaluation of a closed-loop video tracker by providing a virtually endless video sequence containing realistic visual attributes of potential objects. In addition, the validation of the tracker’s performance in realistic scenarios, the comparative performance of tracking algorithms under varying operational conditions, and an in-depth analysis of the tracker system parameters are presented.
Study on the Test Method of Mechanical Properties of Non-Metal Low-Voltage Measuring Box Shell after Artificial Accelerated Aging

The characterization method of aging properties is of great significance for the study of aging degree of polymer materials, including the rule and mechanism of aging, as well as the influence of environmental factors on aging. The research of these methods plays an important role in the development of new experimental technology and testing methods, the improvement of material production technology, the development of special materials, and the design of new materials according to specified properties. Among them, the characterization method of aging performance is mainly realized by mechanical property analysis. The changes of mechanical properties of polymer materials during aging mainly include the changes of impact strength and bending strength of plastics. Through the study of the mechanical property test method after the artificial accelerated aging of the non-metallic low-voltage metering box shell material, the corresponding technology and standards are provided for the quality control of the equipment in the field of smart grid measurement.
Pandora’s Blocks

Abstract Chapter 1 opens the lid on Bitcoin so that all of its attributes, problems, and connotations come spilling out. At the same time, it pulls these disparate strands back into focus by outlining the many discrepancies examined in subsequent chapters. So while in some ways the chapter acts like a primer for cryptocurrencies, blockchains, and their political economies, the material laid out works to set up the book’s underlying argument: asymmetric concentrations of power inevitably form though processes of algorithmic decentralisation. In the process, a short history of Bitcoin introduces some of its key stakeholders as well as some of its core technical functions.
On the Professional Responsibility of a Teacher-Musician

The article deals with various aspects of the professional responsibility of a music teacher at school. On the example of the author’s scientific and pedagogical interaction with Professor E. B. Abdullin, the issues of continuity of traditions of national music education, standards of professional competencies of a teacher-musician, the relationship of research and practical work in the framework of music and pedagogical activities are considered. The historical retrospective highlights some episodes that characterize the creative path by E. B. Abdullin in the context of the development of the system of national music and music-pedagogical education. The article considers the situation related to the development of the concept of teaching the educational field “Art” in a 12-year school, provides a brief analysis of the current problems of state regulation of General education in General, and the subject area “Art” in particular. These examples raise questions of mutual responsibility of the music teacher and the teaching staff to students and society. The article also provides some data on the results of scientific research. The conclusions are formulated on the basis of a psychological and pedagogical study of the possibilities of implementing an individual approach in the classroom system, conducted in 2003–2006 on the basis of General education school No. 1732 in the city of Moscow with an in-depth study of music. The problems identified during the study of the possibilities and forms of application of game techniques and methods by music teachers in the educational process are noted.
A Study Protocol to Research and Improve Presence and Vection in VR with a non-Euclidean Approach

While immersive experiences with Virtual Reality are becoming commonplace in industry to provide end-users with a realistic, but safe simulation of real-world situations, an interesting phenomenon occurring when users wear Head-mounted displays is presence. This is defined as the subjective experience of being in one place or environment even when one is physically located in another. A strong sense of presence is essential to ensure that the user feels truly immersed in the virtual world, but most VR environments are unable to create a strong sense of presence due to the way navigation in the environment is implemented, which creates a discontinuity between the perceived motion by the user's eyes and their inner ear. This paper presents a study protocol and preliminary work aiming to resolve the problem of discontinuity by using non-Euclidean geometry to design and implement a virtual world. As work in progress, the of its effectiveness with users will be shared at the conference.
Synthesizing human-friendly optimal strategies in board games

We present a tool for synthesizing and verifying optimal game playing strategies represented by compact fast-and-frugal trees, i.e., prioritized lists of strategic rules. The purpose of the tool is to create human-friendly optimal strategies for simple board games, e.g. for teaching a human player to play optimally, or to assess the difficulty of a given board game in terms of the length of the generated strategy. The tool supports arbitrary one-or two-player zero-sum games with perfect information specified through the game description language GDL within general game playing. When synthesizing a strategy, the game is initially solved, the solution is turned into a fast-and-frugal tree, and the tree is then minimized. We illustrate the use of the tool to synthesize compact optimal strategies for Tic-tac-toe, Nim, and Sim, which leads us to provide an even shorter optimal strategy for Tic-tac-toe than the well-known Simon & Newell strategy. Additionally, we have developed a visual tool enabling users to build and verify manually crafted fast-and-frugal strategies.
Undeniable Signature Scheme: A Survey

Nowadays, almost all business organizations, committees use the internet to do transactions and confidential information exchange. So it is crucial to make these transactions secure and reliable. A system to be confident and trustworthy needs a function of cryptography, and also it must manage the keys of cryptography. The digital signature, which is universally verifiable, is a solution when there are disputes between the sender and receiver. Later the undeniable signature scheme was introduced as a modern technique to verify the validity of a message sent by the sender. The undeniable signature scheme has its properties to protect the interests of the sender and receiver. An authenticated verifier only can check the signature with the approval of the signer. In this paper, we have discussed various undeniable signature schemes-key generation, signature verification, and disavowal protocol. This paper compares different schemes of the undeniable signature on the various notations of security.
Monadic W in Coq

Though mechanized proofs for the type inference algorithm W have already been presented in the literature, none of them can be said to be similar to a usual functional implementation as they are not monadic and they carry extra parameters. Also, the proofs of those formalizations rely on axioms because, at the time, the formal certifications of the unification algorithm was still to be done. Recent developments have shown how to reason within proof assistants using monadic/effectful frameworks and how they may simplify parts of the certification. In this paper, we present a complete monadic formalization in Coq of algorithm W and Damas-Milner type system, which includes proofs of correctness and completeness of type inference, as well soundness, completeness, and termination of the unification algorithm. Our approach uses an extension of the Hoare State Monad to simply proofs.