Miracle-dz/UniFAR-FTUs huggingface dataset:
Improved Internet Security Protocols Using Cryptographic One-Way Hash Chains

In this dissertation, new approaches that utilize the one-way cryptographic hash functions in designing improved network security protocols are investigated. The proposed approaches are designed to be scalable and easy to implement in modern technology. The first contribution explores session cookies with emphasis on the threat of session hijacking attacks resulting from session cookie theft or sniffing. In the proposed scheme, these cookies are replaced by easily computed authentication credentials using Lamport's well-known one-time passwords. The basic idea in this scheme revolves around utilizing sparse caching units, where authentication credentials pertaining to cookies are stored and fetched once needed, thereby, mitigating computational overhead generally associated with one-way hash constructions. The second and third proposed schemes rely on dividing the one-way hash construction into a hierarchical two-tier construction. Each tier component is responsible for some aspect of authentication generated by using two different hash functions. By utilizing different cryptographic hash functions arranged in two tiers, the hierarchical two-tier protocol (our second contribution) gives significant performance improvement over previously proposed solutions for securing Internet cookies. Through indexing authentication credentials by their position within the hash chain in a multi-dimensional chain, the third contribution achieves improved performance. In the fourth proposed scheme, an attempt is made to apply the one-way hash construction to achieve user and broadcast authentication in wireless sensor networks. Due to known energy and memory constraints, the one-way hash scheme is modified to mitigate computational overhead so it can be easily applied in this particular setting. The fifth scheme tries to reap the benefits of the sparse cache-supported scheme and the hierarchical scheme. The resulting hybrid approach achieves efficient performance at the lowest cost of caching possible. In the sixth proposal, an authentication scheme tailored for the multi-server single sign-on (SSO) environment is presented. The scheme utilizes the one-way hash construction in a Merkle Hash Tree and a hash calendar to avoid impersonation and session hijacking attacks. The scheme also explores the optimal configuration of the one-way hash chain in this particular environment. All the proposed protocols are validated by extensive experimental analyses. These analyses are obtained by running simulations depicting the many scenarios envisioned. Additionally, these simulations are supported by relevant analytical models derived by mathematical formulas taking into consideration the environment under investigation.
A Novel method for license plate location

license plate location is one of the key steps for license plate recognition. With license plate recognition technology, police can better manage vehicle and this technique also give convenience to application such as parking fee charge. In this paper, we propose a novel method to locate license plate of china in complicate environment. First, we change the RGB image into greyscale image. Then, we apply Sobel operator on the grey-scale image to get its Sobel edge image. After that the Sobel edge image is change into a binary image in which each pixels of the image are decided by statistic its variance in nearby vertical and horizontal pixels. Base on the binary image above, the algorithm locates the candidate boxes and produces a list for them. Next, we select the boxes above by using hsv colour space and then merge the boxes base on their location. At last, the unreasonable boxes are removed and the final location of license plates produced. Our method has outperformed two types of license plate location products in a small surveillance dataset and achieved a fast and high precision location result compared with the-state-of-art.
A Recognition Method of CAPTCHA with Adhesion Character

The emergence of CAPTCHA( Completely Automated Public Turing Test to Tell Computers and Humans Apart )is to better protect the network security ,and the research on recognition of CAPTCHA technology is conducive to expand the design ideas and to improve the loopholes of the original design. In order to improve the recognition rate of CAPTCHA, we proposed a recognition method of CAPTCHA with Adhesion Character, which effectively improves the segmentation quality of adhesive character CAPTCHA in the complex background. First is the based preprocessing of the image and utilize the method of connected area noise reduction to further denoise the image. Then use the projection histogram to cut the adhesion characters and finally neural network training is used to obtain the final recognition results. The method can deal with images with complex background, basically achieve zero noise cuttingand can better cut the adhesion characters, the latter part of the training process is relatively simple. The experimental results show that this method is practical and has higher recognition rate.
Using the Systemic-Transdisciplinary Approach to Enhance the Operational Reliability and Maintenance Programming of Complex Technical Objects

The complexity of technical objects is constantly increasing. A single accident or failure on such complex technical objects may cause large human losses, in ict damage on the environment, and be accompanied by severe economic losses. Generally, these single accidents and failures are caused by force-majeure circumstances. These circumstances can be identi fied, as well as further controlled using the methodology of various types of the systemic approach. These types of systemic approach are enhanced not only by the new mathematical methods but also by the general philosophical solutions. The methodology of systemic-transdisciplinary approach particularly uses models of spatial, time and information units of order. These models are the result of using the philosophical concept of a single world. These models with total isomorphism allow for more in-depth studies of non-biological, biological and social objects. The findings of such studies may provide a basis for enhancing the reliability of existing methods for monitoring complex technical objects.
Hyperspectral data feature extraction using spatial coherence based neighborhood preserving embedding

局部线性嵌入(LLE)和邻域保留嵌入(NPE)等流形学习方法可以提取高光谱数据的主要结构特征,有助于对数据的理解和进一步处理. 但是,这些方法忽视了高光谱图像中相邻像素之间的相关性. 针对这个问题,提出一种基于空间一致性思想的邻域保留嵌入(SC-NPE)特征提取算法,通过一个优化的局部线性嵌入,并考虑相邻像素的相关特性,在高维空间建立数据的局部邻域结构. 然后寻找一个优化的变换矩阵,将局部邻域结构投影到.
The Elegant Solution: Toyota's Formula for Mastering Innovation

Crucial Conversations: Tools for Talking When Stakes Are High. 2002. Kerry Patterson, Joseph Grenny, Ron McMillan, and Al Switzler. New York: McGraw-Hill. 240 pages. Crucial Conversations is a stellar publication that should be included in every manager’s personal library because of its unique insight into improving communication between individuals under stressful conditions. The authors present a method of toning down every human’s physiologically driven defense mechanism that releases adrenaline into one’s body when it is threatened, which translates into a flight or fight response. By sublimating this response they show how a person can interject more information into the conversation, which they refer to as “the pool of shared meaning,” in order to make better choices. This carefully crafted book leads the reader through a personal self-discovery process that is both insightful and informative. Just being aware of the tools the authors unfold for the reader in this gripping book will broaden the mechanism one has to deal with stressful situations. Actually incorporating them into some of the many encounters with others who trigger the flight or fight response will certainly improve the quality of life everyone is seeking in the long run. The book presents an interesting feature that allows readers to tailor it to themselves. After it introduces the concept of dealing with crucial conversations, a self-scoring trueand-false instrument is presented to help identify the tactics the reader typically uses to approach risky conversations. Scoring is easy; however, using the online version at www.crucialconversations. com/sus is quicker, but one does have to register with VitalSmarts, the author’s consulting firm first (it is free). The results will not only tell which of the six styles under stress matches the responses entered, but they are also keyed to the subsequent chapters of the book that are most germane to the traits identified as needing improvement. The six styles under stress are portrayed as a chart, with silence (flight) and violence (fight) as column headings. Masking, avoiding, and withdrawing fall under silence, and controlling, labeling, and attacking fall under violence. Chapter 7 “STATE My Path: How to Speak Persuasively, Not Abrasively” is an example of the response that one can expect in any chapter that could be found in the book. STATE is an acronym for: Share your facts, Tell your story, Ask for others’ paths, Talk tentatively, and Encourage testing. The first three skills describe what to do. The last two tell how to do it. (p. 124) Each point is fully explained and, more important, it is supported by an example that includes the dialogue that might be used in a stressful encounter in which the STATE concepts could be used. Crucial Conversations is a classic book that has not been surpassed in the six years it has been in print. It was recognized as such when it was first published and for several years thereafter. It continues to pop up on the reading and discussion book lists of organizations.
Automated WAMI system calibration procedure based on multi-scale fusion and adaptive data association for geo-coding error correction

Wide Area Motion Imagery (WAMI) systems used on surveillance aircraft may suffer from system calibration errors associated with frequent re-installation. These geo-coding errors corrupt the quality of mapping of the tracked objects, ’movers’, from the image frame into world reference frame. In this study, an automated system for calibration of the imagery captured with six-camera WAMI array has been developed. The automatic calibration was achieved by a system of several multi-scale feature classifiers adaptively applied to an image captured by the camera array dependent on the feature availability and classifier accuracy. The feature extraction and association modules were designed to be operating interchangeably on a frame from any given camera. The choice of the module was performed automatically using a decision tree designed as a part of the system architecture. Calculation of the per-frame corrections to mitigate the localisation error of the movers was performed by associating the features detected in each individual camera and features extracted from available satellite imagery used as a datum. The effects of the distance to the feature and the choice of the feature extraction module on the mover localisation accuracy have been evaluated on 300 frames (6 images each) captured with the WAMI array. Significant reduction in the magnitude of the geo-coding error (from 15.77-36.54 m to 5.42-8.55 m on average) was achieved and can be seen in improved alignment of the features projected into the frame as well as the reliable mapping of the mover trajectories across frames. Unlike similar systems, focusing on post-processing, the WAMI calibration system presented in the paper was designed for continuous parameter estimation in real-time
#gottacatchemall: Exploring Pokemon Go in Search of Learning Enhancement Objects.

The Augmented Reality Game, Pokemon Go, took the world by storm in the summer of 2016. City landscapes were decorated with amusing, colourful objects called Pokemon, and the holiday activities were enhanced by catching these wonderful creatures. In light of this, it is inevitable for mobile language learning researchers to reflect on the impact of this game on learning and how it may be leveraged to enhance the design of mobile and ubiquitous technologies for mobile and situated language learning. This paper analyses the game Pokemon Go and the players' experiences according to a framework developed for evaluating mobile language learning and discusses how Pokemon Go can help to meet some of the challenges faced by earlier research activities.
3D Robotic Mapping and Place Recognition

An effective and robust perception pipeline is an essential requirement for the development of an autonomous mobile robot. This thesis contributes in the domain of perception by proposing novel approaches in the areas of environment representation, simultaneous localization and mapping (SLAM) and loop closure detection.The above highlighted aspects provide mobile robots with the capability of generating accurate and consistent maps of the environment in an online, incremental manner.
Oracle Security

This book covers the field of Oracle security from simple to complex. It describes basic RDBMS security features (e.g., passwords, profiles, roles, privileges, synonyms) and includes many practical strategies for securing an Oracle system, developing auditing and backup plans, and using the Oracle Enterprise Manager and Oracle Security Server. Also touches on advanced security features, such as encryption, Trusted Oracle, and Internet and Web protection.
Reconstruction software of the silicon tracker of DAMPE mission

DAMPE is a satellite-borne experiment aimed to probe astroparticle physics in the GeV-TeV energy range. The Silicon tracker (STK) is one of the key components of DAMPE, which allows the reconstruction of trajectories (tracks) of detected particles. The non-negligible amount of material in the tracker poses a challenge to its reconstruction and alignment. In this paper we describe methods to address this challenge. We present the track reconstruction algorithm and give insight into the alignment algorithm. We also present our CAD-to-GDML converter, an in-house tool for implementing detector geometry in the software from the CAD drawings of the detector.
Estimation of Transition Probabilities for the Illness-Death Model: Package TP.idm

In this paper the R package TP.idm to compute an empirical transition probability matrix for the illness-death model is introduced. This package implements a novel nonparametric estimator which is particularly well suited for non-Markov processes observed under right censoring. Variance estimates and confidence limits are also implemented in the package.
A new method for extracting knowledge from patents to inspire designers during the problem-solving phase

ABSTRACT Nowadays, patents are more than an industrial property protection, they constitute a considerable source of information. Several approaches deal with the extraction of pertinent information from patents, some of them translate that information into useful knowledge for problem-solving purposes. However, very few methods use a physical approach and a consistent analysis of the main function in the problem definition phase. This paper proposes a new method to inspire designers with ideas and analogous solutions. The objective is to contribute to solve complex technical problems by exploiting knowledge found in patent documents. The method is divided into three sections: problem definition, research and analysis, and innovation. The first two sections use iteratively a knowledge base formed by pertinent keywords related to the problem context, physical keywords from functional decomposition and physical analysis, and technological keywords recovered through patent analysis. In the third section, interesting patents are classified in a structured discovery matrix from the physical phenomena involved which are crossed in accordance with the related techniques found. The method is supported by a physical effects database of energy conversion and by evolution trends of technical systems. A deep offshore biphasic separator illustrates the method.
Technological Innovations in Large-Scale Teaching

There are millions of people worldwide—of all ages, conditions, backgrounds, and motivations—with significant learning needs. Unfortunately, traditional education is not efficient enough to meet these needs. That is, the available educational resources are not fully exploited to help cover the demand. There is an increasing need for large-scale access to cost-effective and high-quality education. The use of technological innovations for large-scale teaching might be part of the solution. In this context, the goals of this study were to identify technological innovations that can be considered historical milestones in large-scale teaching, to systematize experts’ opinions about the topic, and to propose strategies for the successful implementation of massive open online courses (MOOCs). The researchers identified and analyzed a documentary corpus and found that, in the use of technologies for large-scale teaching, there has been a parallel evolution that have led to the emergence of MOOCs and includes five roots: distance education and online learning, testing or teaching machines and computer-assisted instruction, learning management systems, open education and open educational resources, and online massive teaching. The researchers propose three strategies for the successful implementation of MOOCs: careful consideration of the c/x MOOC pedagogical spectrum characteristics, selection of an appropriate MOOC model, and management of implementation challenges.
Algebraic Methods in Computer Vision

Many problems in computer vision require efficient solvers for solving systems of non-linear polynomial equations. For instance relative and absolute camera pose computations and estimation of the camera lens distortion are examples of problems that can be formulated as minimal problems, i.e. they can be solved from a minimal number of input data and lead to solving systems of polynomial equations with a finite number of solutions. Often, polynomial systems arising from minimal problems are not trivial and general algorithms for solving systems of polynomial equations are not efficient for them. Therefore, special algorithms have to be designed to achieve numerical robustness and computational efficiency. In this thesis we review two general algebraic methods for solving systems of polynomial equations, the Gröbner basis and the resultant based methods, and suggest their modifications, which are suitable for many computer vision problems. The main difference between the modified methods and the general methods is that the modified methods use the structure of the system of polynomial equations representing a particular problem to design an efficient specific solver for this problem. These modified methods consist of two phases. In the first phase, preprocessing and computations common to all considered instances of the given problem are performed and an efficient specific solver is constructed. For a particular problem this phase needs to be performed only once. In the second phase, the specific solver is used to efficiently solve concrete instances of the particular problem. This efficient specific solver is not general and solves only systems of polynomial equations of one form. However, it is faster than a general solver and suitable for applications that appear in computer vision and robotics. Construction of efficient specific solvers can be easily automated and therefore used even by non-experts to solve technical problems leading to systems of polynomial equations. In this thesis we propose an automatic generator of such efficient specific solvers based on the modified Gröbner basis method. We demonstrate the usefulness of our approach by providing new, efficient and numerical stable solutions to several important relative pose problems, most of them previously unsolved. These problems include estimating relative pose and internal parameters of calibrated, partially calibrated (with unknown focal length), or completely uncalibrated perspective or radially distorted cameras observing general scenes or scenes with dominant plane. All these problems can be efficiently used in many applications such as camera localization, structure-from-motion, scene reconstruction, tracking and recognition. The quality of all presented solvers is demonstrated on synthetic and real data.
A Study of Formal Model of Interactive Behaviour in the Whole System for Implicit Action and Context

Formal techniques have been used to analyze a variety of properties of interactive behaviour in a number of systems. To have a better understanding of the implicit of the interactive behaviour, it is necessary to find a general method to describe the task. In this study, we proposed a formal model to illustrate the implicit task. We validated the effect of this model by an experiment in the simulated coach bus station by receiving transition information by the holder held device. This paper analyses the whole system, the rooms, the public displays, the mobile devices and the timeliness of information in the system. The model made the interactive process clearer and provided a basic framework to study the related issues of orientation in the interactive system in the future.
Social structure and economic performance: the case of organic banana farmers in the vale do Ribeira region, in Brazil

When one faces the main challenges of contemporary agriculture in a global scale, the fundamental problem that emerges from such analysis is that conventional agriculture is not sustainable on the long term, as it deals with the natural biome on an industrial logics without taking into consideration its biological cycles (carbon, nitrogen, potassium and other elements). In this sense, due to its extensive mode of production, conventional agriculture is often characterized by an energetic unbalance, consuming more energy than the total energy produced with its harvest. On the other hand, organic agriculture presents itself as an alternative for the extensive and predatory method of conventional productive procedures, conciliating productivity with the mitigation of the environmental impacts of agriculture, such as environmental degradation, losses on biological diversity, and erosion of the ecological basis. In this sense, taken as one of the most efficient strategies to achieve a better food security, organic production also has a decisive role within the agroecology field and, therefore, on the conservation of ecosystems.1,2 However, organic production brings with itself several challenges for its full implementation, both technical, managerial and commercial ones. These challenges are materialized by witnessing the rates of organic agriculture implementation in different regions of the world. As one may notice on the Table below, organic production still seizes a low representability on the total amount produced on countries with different levels of income (Table 1). Table 1 Country’s organic farming share on the total agrarian output
Avast Ye Salty Dogs: Salt damage in the context of coastal residential construction and historical maritime timbers

Salt damage is a frequent problem in wood exposed to seawater and other saline environments. Symptoms of salt damage are often referred to as fuzzy wood and have been historically considered non-structural damage, but a growing number of customer inquiries have prompted a re-evaluation of this phenomenon. This paper details several case studies involving salt damage, discusses current knowledge on the underlying mechanisms and highlights on-going work at the Forest Products Laboratory to investigate the causes and effects of salt on wood. A better understanding of the salt damage process will eventually lead to remedial treatment options.