Miracle-dz/UniFAR-FTUs huggingface dataset:
Research and Application of a Trusted Attestation Model and OIAP Protocol Based on Trusted Computing Platform

In this paper, taking into account existing attesting and authentication technology,a trusted connection attestion model based on trusted computing platform is presented. The attesting method can find whether the attested devices are safe and trusted,then can take the proper measurement. Considering when the attested devices are trusted, the device will send requirement to service resoure using OIAP protocol, but the protocol has password flaw by itself, so a strengthening security method is emphatically proposed. The applications of them to 863 project"a Trusted Computing Platform System "show the efficiency of the above model and mothod, also indicate that they will have a good future for implementation.
Research of Intrusion Detection System Dataset Evaluation

Intrusion detection technology has been an indispensable part of information security metrics, but till now no standard is widely accepted to evaluate the effectiveness and accuracy of intrusion detection systems (IDS). Thus, both the end users and researchers have doubt on the effectiveness of IDS and algorithms. The key point of the solution is to construct a precise and comprehensive methodology for IDS evaluation. Researchers have proposed several IDS evaluation methods, such as dataset evaluation proposed by MIT Lincoln Lab and Open Security Evaluation Criteria proposed by Neohapsis, etc. According to the evaluation results researchers may look through the weak point of current intrusion detection technologies and thus improve on them. In this paper we present a detail analysis of dataset evaluation methodology proposed by MIT Lincoln Lab and point out the key problems of dataset evaluation methodology. We also propose an improving research plan as our furthering work in order to update the evaluation dataset.
An autonomous monitoring system based on object shape detection

In traditional monitoring systems, stationary cameras are supervised only by a human operator, who may easily miss some events recorded by a camera. Because it is imperative for a surveillance system to be reliable, its autonomy can be extended by applying computer vision algorithms to a video signal and also by the use of mobile robots capable of monitoring tight and occluded areas. In this paper, we present an overview of the concept of an autonomous monitoring system based on object shape detection. Our goal is to develop a real-time system which robustly and efficiently identifies objects on the basis of their approximate shape. For monitoring the environment we use active and smart cameras capable of remote position control, as well as mobots equipped with video sensors. After performing the object extraction from individual video frames, each new detected object is decomposed into simple graphical primitives like lines, circles, rectangles etc. and then identified in a database using the Query by Shape (QS) method.
Mobile Computing for M-Commerce

The ubiquitous nature of modern mobile computing has made “any information, any device, any network, anytime, anywhere” a well-known reality. Traditionally, mobile devices are smaller, and data transfer rates are much lower. However, mobile and wireless networks are becoming faster in terms of transfer rates, while mobile devices are becoming smaller, more compact, less power consuming, and, most importantly, user-friendly. As more new applications and services become available every day, the number of mobile device owners and users is increasing exponentially. Furthermore, content is targeted to user needs and preferences by making use of personal and location data. The user profile and location information is becoming increasingly a necessity. The aim of this article is to present an overview of key mobile computing concepts, in particular, those of relevance to m-commerce. The following sections discuss the challenges of mobile computing and present issues on m-commerce. Finally, this article concludes with a discussion of future trends.
Advanced Chipless Rfid: Mimo-Based Imaging at 60 Ghz - ML Detection

The book proposes new approaches to chipless RFID tag encoding and tag detection that supersede their predecessors in signal processing, tag design, and reader architectures. The text is divided into two main sections: the first section introduces the fundamentals of electromagnetic (EM) imaging at mm-wave band to enhance the content capacity of Chipless RFID systems. The EM Imaging through Synthetic Aperture Radar (SAR) technique is used for data extraction. The second section presents a few smart tag detection techniques for existing chipless RFID systems. A Multiple-Input and Multiple-Output (MIMO) based tag detection technique improves the spectral efficiency and increases data bit capacity. The book concludes with a discussion of how the MIMO approach can be combined with the image based technique to introduce a complete solution with a fast imaging approach to chipless RFID systems. The book has the following salient features:
An Overview of Non-Linear Kernel Functions for Solving the Human Face Recognition Problem

Principal Component Analysis has been extensively used in the computer vision field as a method of capturing orthogonal axes of large variability in high-dimensional data sets. Computer vision scientists have come up with reconstructive models which capture the most distinguished features of a human face using Principal Component Analysis, known as “Eigenfaces”. Several papers have approached the problem of facial recognition using standard PCA, however very few provide a detailed comparison on the different non-linear kernels which can be used in place of the traditional linear approach. The aim of this paper is to introduce several non-linear kernel functions to the human recognition problem, by working with a set of radial basis kernels, a logarithmic kernel, a Cauchy kernel, and a polynomial kernel. We perform a model assessment for each kernel using a parameter tuning method which minimizes reconstruction error, and display reconstruction plots for each kernel method. We also capture influential physical features of the images in the high-dimensional space (the Eigenface) for each kernel and compare reconstructed and original images, by capturing the Frebenius (L2) norm between test and original image data.
Ext4 file system performance analysis in linux environment

This paper considers the characteristics and behavior of the modern 64-bit ext4 file system under the Linux operating system, kernel version 2.6. It also provides the performance comparison of ext4 file system with earlier ext3 and ext2 file systems. The testing procedures and further analysis are performed using the Postmark benchmark application.
Modeling and Prediction of Freeway Traffic Flow Using Seasonal ARIMA Models

Traffic flow is one of the parameters that affect the studies on analysis of traffic status, traffic facility construction and control structure of freeway. It has obvious seasonal characteristic, therefore seasonal ARIMA models can be a reliable approach to the prediction of traffic flow. A general expression of seasonal ARIMA models with one periodicity is given, and procedures to model and predict traffic flow using seasonal ARIMA models are provided. Feasibility-study experiments show that seasonal ARIMA models can he used to model and predict actual freeway traffic flow, The result of 72-step long-term forecast is obtained and the maximum relative error is 0. 13.
Compositional and Hierarchical Semantic Frameworks for Hand Gesture Recognition

This chapter presents some new approaches in hand gesture recognition from monocular and from 3D images. After introducing the main trends from literature, the chapter addresses the hand gesture recognition problem in a compositional framework. The ability of compositional methods to capture and extract semantic information from selected salient parts of the images is demonstrated for the hand gesture application. Performances on images with static hand gestures executed on uniform backgrounds rival the state of the art, while living a lot of room for further optimization and improvement. The second work reported in this chapter is focused on using multiple cues to overcome diﬃcult problems arising when dynamic gestures are executed in front of heterogeneous backgrounds, with camouﬂage and sudden illumination changes. Ideas from robust estimation are integrated in the proposed approach. Finally, some prelimi-nary results of hand gesture recognition obtained with images generated by 3D time of ﬂight image sensors, presumed to become prevalent in the near future, are presented.
The Research on System-Level Modeling of Router for Network-on-Chip

As the most important part of NoC,the system-level modeling of router can be used to construct simulation platform of NoC or guide the realization of RTL modeling of router.This paper presents a modeling of router based on 2D-Mesh,and cuts the protocol modeling of the OSI used as the communication protocol of the router.The modeling is constructed on SystemC platform,and adopts the modified XY-dimensional routing algorithm and the wormhole switching technology and the polling arbitration,and uses the full connected switch and sets four virtual channels on input ports to improve the performance of the router.
Hibridar las artes y la educación para favorecer la conciencia imaginativa

En los más de 21 años del GEARTE e en seis años que se ha publicado la revista GEARTE han tenido lugar diferentes movimientos en los campos en los que se relacionan las artes y en la educación. Movimientos que no solo han afectado a su consideración dentro de las instituciones, sino también a las conceptualizaciones que le han servido de fundamento, al desarrollo de nuevas perspectivas de investigación y a la proyección que ha adquirido en diferentes entornos y contextos. Si la relación entre las artes y la educación comenzó siendo un ámbito más propio de las instituciones de enseñanza (de la Escuela a la Universidad) y de los museos, en la actualidad, y en la medida en que las prácticas artísticas también se redefinen y expanden, esta relación, sobre todo desde el giro pedagógico, se encuentra cada vez más en otros ámbitos y ha sido apropiado por diferentes colectivos, interesados en otros modos de participación y de gestión de las artes en la educación. En este artículo se presentan algunos de estos movimientos, así como una propuesta para vincular las artes en la educación con la conciencia imaginativa.
Image Segmentation Algorithm based on Shuffled Frog-leaping with FCM

A new image segmentation algorithm in combination with Shuffled frog-leaping algorithm and FCM clustering is proposed,this algorithm could overcome the disfigurement caused by FCM algorithm,which is sensitive to initial clustering center and membership matrix.Shuffled frog-leaping algorithm(SFLA) is a bran-new heuristic colony optimization method,which has effective computing capability and excellent global searching capability.The experimental results indicate that the proposed algorithm could enhance the efficiency of image segmentation,and as compared with the algorithm of FPSO with FCM,could also achieve better image segmentation effect.
A ZCS AC/DC CONVERTER WITH HIGH POWER FACTOR BASED ON PWM CONTROL STRATEGY

At present, the research of the single-stage power factor correction(PFC) circuits is mostly concentrated on the application of low powers. A zero-current-switching(ZCS) single-stage AC/DC converter with high power factor is proposed to use in medium and high power conditions.The PWM control is achieved by adding two auxiliary switches to the full bridge converter. The proposed converter can achieve zero-current switching and PFC in a very wide load range.It doesnt have the problem that the pulse frequency modulation (PFM) must be adopted in the full bridge resonant circuits if phase-shifted control is not used.The dynamic response of the proposed converter is faster,the cost is lower and the voltage stress of the switches is also lower as compared with the two-stage PEC converters characteristics.The advantages are verified by the results of the simulation and experiments.
Study and Realization for 3D Reconstruction of Medical Models Based on VTK and MFC

Visualization Toolkit(VTK),which is used widely in scientific and engineering field,is introduced,the methods of how to integrate VTK and MFC in different system are described,and a table of comparison for current 3D-reconstruction algorithms is given.The prototype system of medical visualization is developed based on VTC and MFC,and the 3D model of human’s head is reconstructed by using marching-cubes(MC) and raycasting algorithms.
Undecimated wavelet transforms for image

A few different approaches exist for computing undecimated wavelet transform. In this work we construct three undecimated schemes and evaluate their performance for image noise reduction. We use standard wavelet based de-noising techniques and compare the performance of our algorithms with the original undecimated wavelet transform, as well as with the decimated wavelet transform. The experiments we have made show that our algorithms have better noise removal/blurring ratio.
The effect of the nonlinearity on GCV applied to conjugate gradients in computerized tomography

We study the effect of the nonlinear dependence of the iterate xk of Conjugate Gradients method (CG) from the data b in the GCV procedure to stop the iterations. We compare two versions of using GCV to stop CG. In one version we compute the GCV function with the iterate xk depending linearly from the data b and the other one depending nonlinearly. We have tested the two versions in a large scale problem: positron emission tomography (PET). Our results suggest the necessity of considering the nonlinearity for the GCV function to obtain a reasonable stopping criterion.
Interpretation of online multi-stroke sketching with straight lines based on time-space relationship

This paper presents a novel method for interpreting online multi-stroke sketching with straight lines.The multi-strokes are interpreted as sketch content and are used to generate 2D geometric primitives.The pretreatment approach proposed is able to interpret the dashed or continuous strokes.Through between two strokes fitting line position relations,it is proposed to estimate which is the multi-stroke sketching,and gives the multi-stroke fitting line method using itself characteristic.The distinguish method is proposed for start or terminal points of the multi-stroke sketching.The integrated definitions of straight line are given.This paper develops a human-computer interface prototype system FSR using the proposed theory,which makes system interface easy and friendly to user.The FRS system has been tested with a number of multi-stroke sketches,and the test results show that the algorithm achieves a satisfactory interpretative efficiency.
Toward a scalable multimedia metadata infrastructure using distributed computing and semantic web technologies

This paper describes a research activity carried on in the frame of a collaboration among ISTI-CNR, leader of the 'Representation and Communication of Data and Metadata' Workpackage in the European Project MUSCLE-NoE ('Multimedia Understanding through Semantics, Computation and Learning Network of Excellence') and the Dept. of Electronics, A.I. & Telecommunications of the Polytechnic University of Marche. In particular, an original approach towards multimedia metadata handling and a solution for massive metadata processing, based on distributed computing, are presented. Besides, a tool kit that glues low level metadata with higher-level representation capabilities of RDF is also approached.
1,8-Cineole inhibits biofilm formation and bacterial pathogenicity by suppressing luxS gene expression in Escherichia coli

In recent years, with frequent reports of multi-drug resistant strains, bacteria antibiotic resistance has become an increasingly serious health problem worldwide. One of the most promising ways for combating bacterial infections and antibiotic resistance is development of quorum-sensing (QS) interfering drugs. In this study, the results show that 1,8-cineole inhibited the expression of QS as well as the virulence genes in Escherichia coli O101 (E. coli O101) with a 65% inhibition rate against luxS gene. Therefore, we hypothesized that 1,8-cineole may inhibit the biofilm formation and reduce the pathogenicity of E. coli O101 by inhibiting the expression of luxS gene. To confirm our hypotheses, a luxS gene deleted E. coli O101 was constructed. The results show that the biofilm formation, motility, structure and pathogenicity of E. coli O101 were significantly inhibited following deletion of the luxS gene. In addition, the transcript levels of QS and virulence genes of E. coli O101 were also significantly down-regulated. Interestingly, 1,8-cineole no longer had a significant inhibitory effect on the related phenotype and gene expression of E. coli O101 without luxS gene. In conclusion, the results show that 1,8-cineole can affect bacterial biofilm formation and pathogenicity by suppressing the expression of luxS gene in E. coli O101, which could provide a new perspective for dealing with the biofilm problem of pathogenic bacteria.
Chapter 11. From Diacritics to the Mental Lexicon: Where is the Stress?

This chapter presents recent work on stress assignment in reading Greek, aiming to help understand the cognitive processes of reading and the representation of words in the mental lexicon. Word spelling and pseudoword reading studies spanning a wide range from early grades through adulthood have suggested a developmentally limited role for the processing of the obligatory stress diacritic. Children with reading difficulties are especially impaired in explicit stress assignment tasks involving pseudowords. Considered alongside stress priming experiments, these studies suggest that stress information is primarily derived from the lexicon and that it is associated with specific words rather than represented generically in the form of abstract templates. Further research is needed to elucidate stress representations and stress assignment processes.
Évolution de l'inspection heuristique : vers une intégration des critères d'accessibilité, de praticité, d'émotion et de persuasion dans l'évaluation ergonomique

This research investigates the issue of conducting heuristic inspections along an extended array of dimensions that includes often ignored considerations such as motivational and persuasive factors. Two objectives are pursued: to offer a comprehensive perspective on the different approaches to heuristic inspections and their evolution in the last decades since their emergence, and to propose an approach that integrates the extended array of heuristic criteria. The motivation for the proposed approach and the issues faced are also discussed.
The usefulness of preoperative endosonographic differentiation of low and high anal fistula

1Department of General Surgery, Vascular Surgery Unit, Praski Hospital, Warsaw Head of Department: Rafal Gorewicz, MD, PhD 2Department of General Surgery, Proctology Unit, Solec Hospital, Warsaw Head of Department: Jacek Bierca, MD, PhD Head of Unit: Malgorzata Kolodziejczak, MD, PhD 3Department of Radiology, Institute of Rheumatology, Warsaw Head of Department: prof. Iwona Sudol-Szopinska, MD, PhD 4Department of Diagnostic Imaging, II Medicine Faculty, Medical University, Warsaw Head of Department: prof. Wieslaw Jakubowski, MD, PhD
Formal Semantics for Testing

Software testing constitutes a substantial portion of the real world work of developing software. There has been much research aimed at partially-automating testing (random test generation, etc.). However, relatively little of it pays attention to precise semantics for languages or tests. Algorithms are described informally as pseudocode, and there is limited understanding of the relative power of many of the testing techniques in the literature. We outline a correspondence between tests and formal language semantics, and argue that techniques from programming language research are likely to advance our understanding of existing testing techniques and help to propose new techniques. We also argue that software tests can be a useful aid to formal verification. 1. Overview Tests are often written on an ad-hoc basis, as short functions that first set up some initial state (precondition), then perform an operation (a test expression), and finally check that certain properties hold of the resulting value and state (a test oracle). For Scheme, consider: (assertEqual (add1 2) 3) But a test is more than an assertion that a certain value is produced. A test is in fact a partial specification of the semantics for some language. The simple test above can be considered to specify the semantics of the language:
Development and Evaluation of a Habitat Suitability Model for White-tailed Deer in an Agricultural Landscape

Development and Evaluation of a Habitat Suitability Model for White-tailed Deer in an Agricultural Landscape Name: Eric Scott Anstedt Degree: Master of Science in Biology Institution: Minnesota State University, Mankato Mankato, Minnesota, 2016 White-tailed deer (Odocoileus virginianus) are an ecological, economical, and socially significant species that occupy a variety of ecoregions. White-tailed deer are mobile habitat generalists that prefer habitats containing woody cover. Deer have successfully adapted to habitat-fragmented, agricultural landscapes. As a result, deer are not uniformly distributed across intensively cultivated areas, which make field surveys difficult with often highly variable spatial data. To increase sampling efficiency (deer observed / sampling effort), the landscape can be stratified based upon preferred habitat types. Habitat suitability models (HSI) have been used to represent hypothesized wildlifehabitat relationships, and therefore the likelihood of deer being observed may likely vary based on HSI scores. My research objective was to improve field sampling efforts for spotlight surveys in an intensive agricultural landscape of southwest Minnesota, using HSI modeling to stratify the landscape. An HSI model previously created for white-tailed deer populations in Illinois (original HSI) and a modified HSI model that I created which included grassland habitats were utilized. Deer management unit (DMU) HSI scores were correlated with deer densities at the statewide level and the original HSI and modified HSI models explained much of the variation in DMU deer densities at the statewide level. v Spotlight surveys were conducted in spring 2015 and 2016 to test both models on a local level. The modified HSI model was more efficient at predicting where deer could be in agricultural landscapes, in large part, because the original HSI model ignored grassland habitats and many deer were observed in these habitats. The modified HSI model is recommended to stratify habitats for transect surveys to better predict the distribution and abundance of white-tailed deer in agricultural landscapes, which will improve sampling efficiency.
Open Ended Tool for Self Paced Learning

Advances in science and technology have impacted the field of education in manners unthought-of in the past. Information and Communication Technology based systems have resulted in ubiquitous learning becoming a reality, where classrooms are not restricted within boundaries or four walls. Self-paced learning is now the order of the day, which requires the learner to be aided in his learning endeavors at times that suits him. The present paper proposes a system that gives the learner an automated tool to learn a subject at his own pace. The preparatory stage includes feeding in a couple of model answers to every question which the learner has to answer. Thereafter, the learner tries to answer the questions with aid in the form of hints available and is evaluated based on his response. Results show that learners taking help from this system performs better than those using traditional methods.