Miracle-dz/UniFAR-FTUs huggingface dataset:
Historical operational data analysis for defence preparedness planning

Preparedness is an important function of defence planning that involves developing defence capabilities to deal with emergent situations relating to national defence and security. Preparedness planning relies on a number of inputs, including requirement analysis, to identify critical capability gaps. Modern data analysis can play an important role in identifying such future requirements. To this end, this paper presents an analytical study, consisting of both descriptive as well as predictive analysis, of historical defence operational data. The descriptive analysis component of the methodology focuses on identifying useful features in the collected data for building a predictive model. The predictive analysis investigates existing patterns in the data, including spatial and temporal trends. An artificial neural network based time series forecasting model is developed to predict future operations based on the identified features. The proposed methodology is applied to a defence operational data set, built from a number of unclassified sources relating to the historical operational deployments of the Australian Defence Force between 1885 and 2012. Implications are also discussed.
Layered Web security model based on EAP-SAKE

With the development and application of Web service technology,the Web security issues are increasingly prominent.It is proposed a layer security model and security mechanism to implement this model based on the EAP-SAKE for the Web.This model has the advantages of flexibility and extensibility,reduces the complexity of the system,and provides the various keys in different layers.It satisfies the security requirement of the Web service.
A Novel Dataset Generating Method for Fine-Grained Vehicle Classification with CNN

We focus on the issue of dataset generation for fine-grained vehicle classification with CNN. Traditionally, to build a large dataset, images must be first collected manually, and then be annotated with a lot of effort. All these work are time-consuming and cost-prohibitive. In this work we propose a novel method that can generate massive images automatically, and these generated images need no annotation. An AutoCAD 3D model of a car of specified make and model is imported into our system, and then images of different views of the car are generated, these images can describe all the details of a car. By taking these images as training dataset, we use a Convolutional Neural Network to train a model for fine-grained vehicle classification. Experimental results show that these images generated virtually by 3D model indeed work as effective as real images.
Mapping Product Taxonomies in E-commerce

In this paper we propose SCHEMA, an algorithm that automatically maps heterogeneous product taxonomies in the domain of e-commerce. SCHEMA employs a custom word sense disambiguation technique, based on the Lesk algorithm, in combination with the semantic lexicon WordNet. For finding candidate target categories and determining the path-similarity we propose a semantic category matching algorithm that takes into account the disambiguation process of a category. The mapping quality score is calculated using the Damerau-Levenshtein distance and a node-dissimilarity penalty. The performance of SCHEMA was tested on three real-life datasets and compared to PROMPT and the algorithm proposed by Park & Kim. The comparison shows that SCHEMA improves considerably recall and F1-score, while maintaining similar precision.
Forecasting Cloudlet Development on Mobile Computing Clouds

Article studies development dynamics of mobile cloud technologies. Advantages of this technology and problems occurring during its use are analyzed. At the same time, issues related to meeting the demand of computing and memory resources of mobile equipment using this technology are studied. For this purpose, main monitoring parameters, especially delays in network, CPU usage percentage, memory usage, completion time of intended essential operations etc. are analyzed. Considering significance of selected parameters in Cloudlet creation, Integral monitoring parameter was established. In the article analyze technologies were given as the time series of integral parameter. Thus article studies conditions necessitating development of cloudlets on mobile computing clouds and solves issues of forecasting location time of cloudlets near certain base stations.
Review of Switched Flux Wound-Field Machines Technology

ABSTRACT This paper explains the state of art of switched flux wound-field machines (SFWFMs). The main advantage of these SFWFMs when compared with induction machines, synchronous machines, direct current machines, etc. is that all the active parts such that armature coil and field excitation coil are located on the stator while the rotor part consists of only iron material without windings. This makes the machine more robust, simple structure, and more suitable to be used for high-speed applications, compared to induction machine which has low mechanical strength, less torque desnity, and low power factor. Theories, numerical and technical literature of different SFWFM are described and analysed. Merits and demerits of different SFWFM structure are discussed. This paper categorized SFWFM topologies on the basis of their structure, flux linkage, cogging torque, average torque, and efficiency.
The inhibitor apoptosis protein antagonist Debio 1143 Is an attractive HIV-1 latency reversal candidate

Antiretroviral therapy (ART) suppresses HIV replication, but does not cure the infection because replication-competent virus persists within latently infected CD4+ T cells throughout years of therapy. These reservoirs contain integrated HIV-1 genomes and can resupply active virus. Thus, the development of strategies to eliminate the reservoir of latently infected cells is a research priority of global significance. In this study, we tested efficacy of a new inhibitor of apoptosis protein antagonist (IAPa) called Debio 1143 at reversing HIV latency and investigated its mechanisms of action. Debio 1143 activates HIV transcription via NF-kB signaling by degrading the ubiquitin ligase baculoviral IAP repeat-containing 2 (BIRC2), a repressor of the non-canonical NF-kB pathway. Debio 1143-induced BIRC2 degradation results in the accumulation of NF-κB-inducing kinase (NIK) and proteolytic cleavage of p100 into p52, leading to nuclear translocation of p52 and RELB. Debio 1143 greatly enhances the binding of RELB to the HIV-1 LTR. These data indicate that Debio 1143 activates the non-canonical NF-kB signaling pathway by promoting the binding of RELB:p52 complexes to the HIV-1 LTR, resulting in the activation of the LTR-dependent HIV-1 transcription. Importantly, Debio 1143 reverses viral latency in HIV-1 latent T cell lines. Using knockdown (siRNA BIRC2), knockout (CRIPSR NIK) and proteasome machinery neutralization (MG132) approaches, we found that Debio 1143-mediated HIV latency reversal is BIRC2 degradation- and NIK stabilization-dependent. Debio 1143 also reverses HIV-1 latency in resting CD4+ T cells derived from ART-treated patients or HIV-1-infected humanized mice under ART. Interestingly, daily oral administration of Debio 1143 in cancer patients at well-tolerated doses elicited BIRC2 target engagement in PBMCs and induced a moderate increase in cytokines and chemokines mechanistically related to NF-kB signaling. In conclusion, we provide strong evidences that the IAPa Debio 1143, by initially activating the non-canonical NF-kB signaling and subsequently reactivating HIV-1 transcription, represents a new attractive viral latency reversal agent (LRA).
Sur certains aspects géométriques et arithmétiques des variétés de Shimura orthogonales

Cette these a pour objet l'etude de quelques proprietes arithmetiques et geometriques des varietes de Shimura orthogonales. Ces varietes apparaissent naturellement comme espaces de modules de structures de Hodge de type K3. Dans certains cas, elles parametrent des objets geometriques tels que les surfaces K3 et leurs analogues en dimensions superieures, les varietes hyperkahleriennes. Ce point de vue modulaire sera notre fil conducteur tout au long de ce memoire. Ainsi, dans la premiere partie, on demontre un resultat d'equirepartition du lieu de Hodge dans les variations de structures de Hodge de type K3 au dessus d'une courbe complexe quasi-projective. Dans la deuxieme partie, on etudie des analogues arithmetiques du resultat precedent. Un exemple d'enonces qu'on obtient est le suivant: etant donnee une surface K3 definie sur un corps de nombres et ayant partout bonne reduction, alors sous certaine hypothese d'approximation, il existe une specialisation telle que le nombre de Picard geometrique croit strictement. Dans la troisieme partie, on relie les problemes du saut de nombre de Picard dans les familles de surfaces K3 a la question de construction de courbes rationnelles sur ces surfaces. Enfin, on etend un resultat de Bogomolov et Tschinkel. On montre notamment que toute surface K3 definie sur un corps algebriquement clos de caracteristique quelconque et admettant une fibration elliptique non-isotriviale contient une infinite de courbes rationnelles.
An interventional study for improving the manual dexterity of dentistry students

Objectives Traditionally, the acquisition of manual skills in most dental schools worldwide is based on exercises on plastic teeth placed in a "phantom head simulator". No manual trainings are done at home. Studies revealed that preliminary training of one motoric task leads to significant improvement in performance of the required motoric task that has similar components. Performing tasks indirectly via a dental mirror are complicated for the young dental students. We hypothesized that instructed training of basic skills required in dentistry at home on a tool simulating the phantom laboratory will improve the capabilities of the students and will be reflected by their clinical grades. Methods We developed a portable tool PhantHome which is composed of jaws, gingival tissue, rubber cover and a compatible stand. Specific teeth produced by a 3D printer with drills in different directions were placed in both jaws. Students were requested to insert pins by using tweezers and dental mirror according to instructions initiating with easy tasks and continue to ones that are more complicated. 106 first clinical year dental students participated in the study; 65 trained only in the traditional phantom lab (control). 41 trained at home by the PhantHome tool two weeks before and 2 months during the initial stage of phantom lab. The students grades routinely provided in the phantom laboratory at different stages were compared. Results Students who trained with the portable tool performed better than the control group in the first direct and second indirect preparations (p<0.05). These exams were taken when the PhantHome was available to the students. Then, the tool was returned and the phantom course continued regularly. We believe that this is why no differences between the grades of the groups were observed further on. Conclusions Training by the PhantHome improves motor skills and consequently the clinical performances.
Invasion genetics of the mummichog (Fundulus heteroclitus): recent anthropogenic introduction in Iberia

Human activities such as trade and transport have increased considerably in the last decades, greatly facilitating the introduction and spread of non-native species at a global level. In the Iberian Peninsula, Fundulus heteroclitus, a small euryhaline coastal fish with short dispersal, was found for the first time in the mid-1970s. Since then, F. heteroclitus has undergone range expansions, colonizing the southern region of Portugal, southwestern coast of Spain and the Ebro Delta in the Mediterranean Sea. Cytochrome b sequences were used to elucidate the species invasion pathway in Iberia. Three Iberian locations (Faro, Cádiz and Ebro Delta) and 13 other locations along the native range of F. heteroclitus in North America were sampled. Results revealed a single haplotype, common to all invasive populations, which can be traced to the northern region of the species’ native range. We posit that the origin of the founder individuals is between New York and Nova Scotia. Additionally, the lack of genetic structure within Iberia is consistent with a recent invasion scenario and a strong founder effect. We suggest the most probable introduction vector is associated with the aquarium trade. We further discuss the hypothesis of a second human-mediated introduction responsible for the establishment of individuals in the Ebro Delta supported by the absence of adequate muddy habitats linking Cádiz and the Ebro Delta. Although the species has a high tolerance to salinity and temperature, ecological niche modelling indicates that benthic habitat constraints prevent along-shore colonisation suggesting that such expansions would need to be aided by human release.
x86 Instruction Set Architecture

The Instruction Set Architecture, or ISA, is defined as that part of the processor architecture related to programming, including the native data types, instructions, registers, addressing modes, memory architecture, interrupt and exception handling, and external IO. With the exception of some small deviations and differences in terminology, all Intel and AMD x86 processors share a common ISA. This book focuses on those shared attributes (it does not cover those areas where the two companies have chosen widely divergent solutions which, by definition, fall outside of the ISA specification). If you re looking for a comprehensive book designed to bootstrap you up quickly on virtually all aspects of the x86 32/64-bit Instruction Set Architecture (ISA), we respectfully ask you to consider this book. Essential topics covered include: Basic Terms and Concepts Operating Mode/SubMode Introduction A (very) Brief History State After Reset Intro to the IA-32 Ecosystem Instruction Set Expansion 32-bit Machine Language Instruction Format Real Mode (8086 Emulation) Legacy x87 FP Support Introduction to Multitasking Multitasking-Related Issues Summary of the Protection Mechanisms Protected Mode Memory Addressing Code, Calls and Privilege Checks Data and Stack Segments IA-32 Address Translation Mechanisms Memory Type Configuration Task Switching Protected Mode Interrupts and Exceptions Virtual 8086 Mode The MMX Facilities The SSE Facilities IA-32e OS Environment IA-32e Address Translation Compatibility Mode 64-bit Register Overview 64-bit Operands and Addressing 64-bit Machine Language Instruction Format 64-bit Odds and Ends Transitioning to Protected Mode Transitioning to IA-32e Mode Introduction to Virtualization Technology System Management Mode (SMM) Machine Check Architecture (MCA) The Local and IO APICs
Approach of novel level set for medical image segmentation based on local region information

Because medical image has the characteristic of intensity inhomogeneity,this paper presents a novel level set based on the simplified Mumford-Shah model for image segmentation proposed by Chan-Vese.Local region information is crucial for accurate segmentation of images with intensity inhomogeneity,howevert,he traditional level set method dont’ utilize it.This paper proposes a novel level set medical image segmentation base on local region information.This mothed costs less,and the experimental result verifies the effectives and robustness of this segmentation method.
Security And Privacy For Ubiquitous Mobile Devices

We live in a world where mobile devices are already ubiquitous. It is estimated that in the United States approximately two thirds of adults own a smartphone, and that for many, these devices are their primary method of accessing the Internet [99]. World wide, it is estimated that in May of 2014 there were 6.9 billion mobile cellular subscriptions, almost as much as the world population. Of these 6.9 billion, approximately 1 billion are smart devices, which are concentrated in the developed world. In the developing world, users are moving from feature phones to smart devices as a result of lower prices and marketing efforts [30]. Because smart mobile devices are ubiquitous, users trust them with an unprecedented amount of information. This makes security and privacy primary concerns. Threats such as mobile malware are already substantial, with over 2500 different types identified in 2010 alone [65]. It is likely that, as the smart device market continues to grow, so to will concerns about privacy, security, and malicious software. This is especially true, because these mobile devices are relatively new. Our research focuses on increasing the security and privacy of user data on smart mobile devices. We propose three applications in this domain: (1) a service that provides private, mobile location sharing; (2) a secure, intuitive proximity networking solution; and (3) a potential attack vector in mobile devices, which utilizes novel covert channels. We also propose a first step defense mechanism against these covert channels. Our first project is the design and implementation of a service, which provides users with private and secure location sharing. This is useful for a variety of applications such as online dating, taxi cab services, and social networking. Our ultrasound modem, enables users to share relatively small pieces of information with those that are near by, also known as proximity based networking. It has several advantages over other, existing mechanisms for proximity based networking. Our third work exposes a novel attack vector utilizing physical media covert channels on smart devices, in conjunction with privilege escalation and confused deputy attacks. We show this attack preemptively and also propose a defense mechnanism to protect user data. As a contribution to the field, we present these three systems, which together enrich the smart mobile experience, while providing mobile security and keeping privacy in mind. Our third approach specifically, presents a unique attack, which has not been seen ``in the wild'', in an effort to keep ahead of malicious efforts.
A Comparison of Android Native App Architecture – MVC, MVP and MVVM

Disclaimer This document contains a student thesis (bachelor's or master's), as authored by a student at Eindhoven University of Technology. Student theses are made available in the TU/e repository upon obtaining the required degree. The grade received is not published on the document as presented in the repository. The required complexity or quality of research of student theses may vary by program, and the required minimum study period may vary in duration.
Image Edge Detection Algorithms and Their Application in Power Plants

Several typical edge detection algorithms are presented, and a comparison of their features is made. Its application to flame detection in power plant boilers is discussed. According to an original flame image, two edge detection algorithms are used to detect the edges,and the required edge image is analyzed. Finally the development of edge detection methods in the future is given.
To Construct the Set of Synonyms and Association Words Using Latent Semantic Analysis and the Mining of Association Rules

The synonyms and association words are so many in text mining that the text eigenspace not precisely express text semantics and compute the complexity of calculation. The paper integrates the latent semantic analysis with the mining of association rules and puts forward a method of constructing the set of synonyms and association words.We use the two sets to reduce the redundancy of information and improve the efficiency of mining.The corresponding algorithm is described and the result of experiment is satisfactory.
Comparative analysis of library marketing studies in Korea and other countries from 2000 to 2013

The purpose of this study is to review and understand the trends and characteristics of Korean library marketing studies based on a comparison of Korean scholars’ viewpoints on library marketing with those of scholars’ from other countries. To achieve its purpose, this study adopts a qualitative content analysis methodology. The data collected for analysis were library and information science literature focusing on library marketing. This study adopts a four-stage qualitative analytical process: segmenting, initial coding, in-depth coding, and development of themes. Through the comparison of themes in library marketing studies from Korea and other countries, five common themes were found: (a) library environment, (b) user-centeredness, (c) library marketing strategies, (d) user satisfaction, and (e) customer relationship management. The biggest difference between library marketing studies from Korea and those from other countries, is that a range of Korean studies focus on comparatively short-term quantitative results of library marketing activities, while studies from other countries focus on the long-term qualitative results. Furthermore, Korean library marketing studies lack attention to the planning process of library marketing activities. In addition, Korean library marketing studies are interested in the establishment of libraries’ social value through marketing activities. Though the library marketing studies are dealing with different types of libraries and subjects, themes of the studies were very similar.
Improved image segmentation algorithm based on GrabCut

To solve the problem that GrabCut algorithm is sensitive to local noise,time consuming and edge extraction is not ideal,the paper put forward a new algorithm of improving image segmentation based on GrabCut.Multi-scale watershed was used for gradient image smoothing and denoising.Watershed operation was proposed again for the new gradient image,which not only enhanced image edge points,but also reduced the computation cost of the subsequent processing.Then the entropy penalty factor was used to optimize the segmentation energy function to prevent target information loss.The experimental results show that the error rate of the proposed algorithm is reduced,Kappa coefficient is increased and the efficiency is improved compared with the traditional algorithm.In addition,the edge extraction is more complete and smooth.The improved algorithm is applicable to different types of image segmentation.
Parallel Study of Ant Colony Algorithm

Parallel computing as modern computer an important method of calculation,in a large part,optimizes the ant colony algorithm calculation processes.The ant colony algorithm itself implies a parallelism,in essence,the ant algorithm is characterized by the parallel collaborative optimization calculation methods and gets optimization solution by it.This article focuses on realization the ant colony algorithm parallel,through a simulation to verify that the ant colony optimization algorithm in parallel is the optimal solution method in solving problems with time-varying dynamic,continuous,multi-input and the optimal control of nonlinear system then arrive a conclusion that the ant algorithm has more advantages than anther in accelerator.