Miracle-dz/UniFAR-FTUs huggingface dataset:
Global asymptotic stability of bounded output feedback tracking control for robot manipulators

This paper shows that global asymptotic stability of the closed-loop system formed by an output feedback tracking bounded controller (previously reported in the literature) for robot manipulators in presence of sufficiently large viscous friction, can be achieved provided that a feedforward compensation term of the viscous friction is added to the controller.
Maximising Accuracy and Efficiency of Traffic Accident Prediction Combining Information Mining with Computational Intelligence Approaches and Decision Trees

Abstract The development of universal methodologies for the accurate, efficient, and timely prediction of traffic accident location and severity constitutes a crucial endeavour. In this piece of research, the best combinations of salient accident-related parameters and accurate accident severity prediction models are determined for the 2005 accident dataset brought together by the Republic of Cyprus Police. The optimal methodology involves: (a) information mining in the form of feature selection of the accident parameters that maximise prediction accuracy (implemented via scatter search), followed by feature extraction (implemented via principal component analysis) and selection of the minimal number of components that contain the salient information of the original parameters, which combined bring about an overall 74.42% reduction in the dataset dimensionality; (b) accident severity prediction via probabilistic neural networks and random forests, both of which independently accomplish over 96% correct prediction and a balanced proportion of under- and over-estimations of accident severity. An explanation of the superiority of the optimal combinations of parameters and models is given, as is a comparison with existing accident classification/prediction approaches
Parameter Estimate With Only One Complete Failure Observation Using Monte Carlo Em Algorithm

In reliability studies, often we only have one failure data recorded in a life testing experiment. If there are two parameters in the reliability model, such as the model using Weibull distribution, then maximum likelihood estimation of parameters becomes a difficult problem. Mao and Chen published a real data set of the lifetime of a certain type of bearings which only contains one failure data. They used a Bayesian method to analyze the data and obtained some results for model parameter estimation. However, in their method the choice of prior distribution will affect heavily the final results. In this paper, we propose a Monte Carlo EM (MCEM) algorithm to estimate reliability model parameters using the Weibull distribution. Based on the same data set of Mao and Chen, we obtain some results using the MCEM algorithm. Our results do not depend on the choice of arbitrary prior distributions.
Order-based localization scheme in ad hoc sensor networks

Most monitoring or tracking applications require the localization information in wireless sensor network. The DV-Hop[1] provides a basic scheme to retrieve the localization without GPS information. DV-Hop scheme only uses the localizations of the reference nodes and the hop-count, so the fundamental estimation may cause the larger error than range-based schemes. The proposed scheme uses the neighbor information to improve the accuracy in the distance estimation. A node finds the orders of its neighbors, and the orders means how close of them. The proposed analysis model reveals the probability distribution of the distance with different orders. According to the analysis model, a node retrieves the distance, called order distance, to provide the approximate location. The simulation results show our scheme outperforms than the DV-Hop in the location accuracy. For example, the average error distance is 1.09 in our scheme and 1.4 in DV-hop with the average node density 9.42.
2D imaging and 3D sensing data acquisition and mutual registration for painting conservation

We describe the application of 2D and 3D data acquisition and mutual registration to the conservation of paintings. RGB color image acquisition, IR and UV fluorescence imaging, together with the more recent hyperspectral imaging (32 bands) are among the most useful techniques in this field. They generally are meant to provide information on the painting materials, on the employed techniques and on the object state of conservation. However, only when the various images are perfectly registered on each other and on the 3D model, no ambiguity is possible and safe conclusions may be drawn. We present the integration of 2D and 3D measurements carried out on two different paintings: "Madonna of the Yarnwinder" by Leonardo da Vinci, and "Portrait of Lionello d'Este", by Pisanello, both painted in the XV century.
The SQL Injection Attacking Prevention Applying the Design Techniques of IPTABLES

This study presents the SQL Injection Prevention using the design techniques of IPTABLES. It applied the IPTABLES’s special feature that is able to investigate the application layers to detect and drop the packets that contains SQL patterns ( e.g. ' or '1'=' ). Besides, the study suggests the methods for designing the IPTABLES rule without a confliction or that has least possibility of confliction between the rules. The researcher presents how to adjust IPTABLES to filter the SQL Injection packets more rapidly by applying the concept of relation and Cartesian product into designing the rule and using the rule repositioning method. The researcher has also collected various patterns that used to be attacked with SQL Injection, from different reliable sources, to find out the common signatures. Then these patterns were concluded to be about 10 patterns only so that they would function with least overhead. In addition, the researcher has run the performance testing and found that the response time has been slightly increased, while the possibility of false positive appeared at an acceptable rate.
Detecting Link Communities Based on Hadoop

Overlapping community detection is a key approach to study the structure of network. Link community approach redefines the community into the collection of edges, which shows great advantages. But with the increasing number of edges in the network, the efficiency of link community algorithm is severely degraded, so that this algorithm lost scalability. In order to detect the large overlapping community efficiently, we proposed a method DLCH (detecting link communities based on Hadoop), mapping link communities method to MapReduce framework, an efficient detecting communities platform for large complex communities. It can successfully store and process massive data by HDFS, and divide the work to map and reduce tasks, which can detect the complex communities efficiently. According to the experiments on standard test data, this method is scalable and effective.
Development of Efficient and Reusable Diarylphosphinopolystyrene‐Supported Palladium Catalysts for C—C Bond Forming Cross‐Coupling Reactions.

Short and versatile syntheses of reusable diarylphosphinopolystyrene-supported palladium catalysts 3a-j are described. The bis(o-tolyl)phosphino catalyst 3b is particularly efficient for the Suzuki and Sonogashira cross-couplings, whereas the bis(m-tolyl)phosphino catalyst 3c is the most active catalyst for Heck reactions. The couplings are performed under non-anhydrous reaction conditions and require only low amounts of supported palladium (0.5 mequivs. for Suzuki-Miyaura, 1.0 mequiv. for Sonogashira and 0.5 mequivs. for Heck reactions could be sufficient). Catalysts 3a-j are recovered by filtration and can be reused more than four times with no loss of efficiency.
Routing space Internet based on Dijkstra's algorithm

Space Based Internets will be used to move earth observation data through satellite constellations to ground based receiving stations. Routing observation traffic in this environment is constrained by individual satellite orbits, individual satellite capabilities, observation schedules, ground station schedules, and rapidly evolving natural events. Among many global routing algorithms, Dijkstra Algorithm is mostly preferred as it is faster as compared to any other algorithm and its implementation is easier. For this reason, this paper implements a routing algorithm of Dijkstra for Space Based Internets under constraints mentioned above.
Target tracking using interest point detection and correlation filtering

A reliable method for real-time target tracking is presented. The method is based on an interest point detector and a bank of locally adaptive correlation filters. The point detector is used to identify local regions in the observed scene around potential location of the target. The bank of correlation filters is employed to reliably detect the target and accurately estimate its position within the scene, by processing the local regions identified by the detector. Using information of past state estimates of the target the proposed algorithm predicts the state of the target in the next frame in order to perform a fast and accurate target tracking by focusing signal processing only on small regions of the scene in each frame. In order to achieve a real-time operation performance the proposed algorithm is implemented in a graphics processing unit. Experimental results obtained with the proposed method are presented, discussed, and compared with those obtained with a similar state-of-the-art target tracking algorithm.
A security protocol specification language extension for modal logic-based verification

Security services for mobile and fixed communication networks, such as authentication, key distribution, non-repudiation, fair exchange and certified e-mail, are realised using cryptographic security protocols. Security protocols are required to ensure the security of both the communication infrastructure itself and the information that runs through it. Formal verification of cryptographic-based security protocols using logic-based techniques, provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects in the protocol design can be identified. Formal verification proves the correctness of the protocol against its design goals. An important component of the formal verification process is initially formalising the security protocol, so that the subsequent verification is based on an accurate description of the protocol. This paper introduces a new extension of the common authentication protocol specification language (CAPSL). This extension enables the specification of security protocol in the CAPSL specification language and its formal verification using the Coffey-Saidha modal logic of knowledge and belief. The Needham-Schroeder public key authentication protocol is specified in the extended language to demonstrate its application.
Intermediate Statistics and Econometrics: A Comparative Approach

The standard introductory texts to mathematical statistics leave the Bayesian approach to be taught later in advanced topics courses -- giving students the impression that Bayesian statistics provide but a few techniques appropriate in only special circumstances. Nothing could be further from the truth, argues Dale Poirier, who has developed a course for teaching comparatively both the classical and the Bayesian approaches to econometrics. Poirier's text provides a thoroughly modern, self-contained, comprehensive, and accessible treatment of the probability and statistical foundations of econometrics with special emphasis on the linear regression model. Written primarily for advanced undergraduate and graduate students who are pursuing research careers in economics, Intermediate Statistics and Econometrics offers a broad perspective, bringing together a great deal of diverse material. Its comparative approach, emphasis on regression and prediction, and numerous exercises and references provide a solid foundation for subsequent courses in econometrics and will prove a valuable resource to many nonspecialists who want to update their quantitative skills. The introduction closes with an example of a real-world data set -- the Challenger space shuttle disaster -- that motivates much of the text's theoretical discussion. The ten chapters that follow cover basic concepts, special distributions, distributions of functions of random variables, sampling theory, estimation, hypothesis testing, prediction, and the linear regression model. Appendixes contain a review of matrix algebra, computation, and statistical tables.
Visually lossless compression of breast biopsy virtual slides for telepathology

A major issue in telepathology is the extreme size of digitized slides, which require several gigabytes of storage and cause significant delays in image delivery to pathologists. We investigated the utility of a visual discrimination model (VDM) to predict bit rates for visually lossless JPEG2000 compression of breast biopsy virtual slides. Visually lossless bit rates were determined experimentally with human observers. VDM metrics computed for those bit rates were nearly constant, suggesting that VDMs could be used to achieve visually lossless image quality while providing about four times the data reduction of reversible compression.
Evolution of language with spatial topology

In this paper, we propose two agent-based simulation models for the evolution of language in the framework of evolutionary language games. The theory of evolutionary language games arose from the union of evolutionary game theory, introduced by the English biologist John Maynard Smith, and language games, developed by the Austrian philosopher Ludwig Wittgenstein. The first model proposed is based on Martin Nowak's work and is designed to reproduce and verify (or refute) the results Nowak obtained in his simplest mathematical model. For the second model, we extend the previous one with the introduction of a world where the languages live and evolve, and which influences interactions among individuals. The main goal of this research is to present a model which shows how the presence of a topological structure influences the communication among individuals and contributes to the emergence of clusters of different languages.
Design of a 15-MHz CMOS continuous-time filter with on-chip tuning

A fifth-order CMOS continuous-time Bessel filter with a tunable 6- to 15-MHz cutoff frequency is described. This fully balanced transconductance-capacitor (G/sub m/-C) leapfrog filter achieves a dynamic range of 55 dB while dissipating 96 mW in a 5-V 0.9- mu m CMOS process. The author reviews the disk drive application and filtering requirements, and explains why the G/sub m/-C continuous-time filtering approach was used. The on-chip master-slave tuning system uses a voltage-controlled oscillator (VCO). Experimental results are presented. >
Single-slice versus multi-slice display for human-observer lesion-detection studies

Use of a single-slice (2D) display for observer studies may bias results and reduce the study's clinical generalizability. Human observers perform better at the task of lesion detection with 3D-processed images than they do with 2D-processed images when the images are presented using a 2D display. However, 3D-processing techniques incorporate information from out-of-plane or adjacent slices into an image and thus provide more information to the observer than does a similar 2D-processing method. Observer performance with 2D-processing methods may improve if the adjacent-slice information is provided by way of a multi-slice (3D) display. 3D processing also introduces 3D distracters which may not be present with 2D processing. The authors investigated, with a human-observer LROC study, the impact of 2D versus 3D display on FBP and OSEM reconstruction followed by 2D and 3D filtering. Three display modes were used: single-slice, multi-slice, and multi-slice with cine. The emulated clinical task was the detection and localization of small gallium lesions in thoracic SPECT scans. Results indicate that 3D display generally improves performance over the 2D display, as measured by the area under the LROC curve and the probability of correct localization. The improvement is greater for 2D- than for 3D-filtered reconstruction leading to a reduction in the significance of the differences between them.
Behavioral fault modeling and simulation of phase-locked loops using a VHDL-A like language

A new methodology called induced behavioral fault modeling is presented for fault simulation and testing of analog and mixed-signal circuits, and demonstrated using voltage controlled oscillators and phase-locked loops. The key of this methodology is to use actual layout and process defect information to derive a set of realistic faults at the transistor level, and to generate a small set of behavioral fault models-in a mixed-signal hardware description language-that abstracts the derived transistor-level faults. While ensuring the same fault coverage as transistor-level fault modeling, induced behavioral fault modeling offers significant advantage in simulation efficiency and modeling capacity.
A SVM Based Automated Detection of Uterine Fibroids Using Gabor and Wavelet Features

This paper suggests an automated detection procedure for identification of ultrasonic imaging based uterine fibroids using Gabor filters and wavelet features with support vector machines as classifier. A classification accuracy of 100% is achieved for 86 test images using wavelet packet features, which indicates the potential suitability of the proposed scheme for clinical diagnosis. DOI: 10.4018/ijbce.2012010106 78 International Journal of Biomedical and Clinical Engineering, 1(1), 77-85, January-June 2012 Copyright © 2012, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. and hence the tumors can be benign or malignant. The benign tumors can be surgically removed whereas malignant causes infertility and miscarriage (Hassani, 1975; Stewart, 2001; Walker, 2007; Mukhopadhya, 2007). Although qualitative visual interpretation are made by the radiologists, the real challenges arise when the size of the fibroid is very small (say 2-10mm) and the resolution of the machine is low. There are situations where the normal uterus image is misinterpreted as abnormal due to the reflection of the ultrasonic waves. In the recent studies reported, knowledge based rules with morphological operations (Jeyalakshmi & Kadarkarai, 2010) local phase based level set method (Malarkodi & Wahida Banu, 2012) and wavelet features with neural network classifier (Sriraam, 2010) were applied for uterine fibroid detection. The studies reveal the limitations in terms of number of test images, performance accuracy and validation. This research study suggests an automated procedure for the detection of benign fibroids using Gabor filters and wavelet packet features. A Support vector machine is used as classifier to detect the fibroid.
A Grading Method for Orange Based on Computer Vision

Fruit grading is an important step in postharvest processing. Based on the images of oranges, we can get those characters that describe the size and color of them. Then 16 features were used to grade the oranges. To the best of our knowledge, this is the first work that used the mean value of R, G, B, H, S, I and the variance of R, G, B, H, S, I together as parameters, and graded the oranges through Bayes inference method. Experimental result shows that our method is competitive.
Computer-based analysis of microvascular alterations in a mouse model for Alzheimer's disease

Vascular factors associated with Alzheimer's disease (AD) have recently gained increased attention. To investigate changes in vascular, particularly microvascular architecture, we developed a hierarchical imaging framework to obtain large-volume, high-resolution 3D images from brains of transgenic mice modeling AD. In this paper, we present imaging and data analysis methods which allow compiling unique characteristics from several hundred gigabytes of image data. Image acquisition is based on desktop micro-computed tomography (µCT) and local synchrotron-radiation µCT (SRµCT) scanning with a nominal voxel size of 16 µm and 1.4 µm, respectively. Two visualization approaches were implemented: stacks of Z-buffer projections for fast data browsing, and progressive-mesh based surface rendering for detailed 3D visualization of the large datasets. In a first step, image data was assessed visually via a Java client connected to a central database. Identified characteristics of interest were subsequently quantified using global morphometry software. To obtain even deeper insight into microvascular alterations, tree analysis software was developed providing local morphometric parameters such as number of vessel segments or vessel tortuosity. In the context of ever increasing image resolution and large datasets, computer-aided analysis has proven both powerful and indispensable. The hierarchical approach maintains the context of local phenomena, while proper visualization and morphometry provide the basis for detailed analysis of the pathology related to structure. Beyond analysis of microvascular changes in AD this framework will have significant impact considering that vascular changes are involved in other neurodegenerative diseases as well as in cancer, cardiovascular disease, asthma, and arthritis.
Indirect Touch Pointing with Desktop Computing: Effects of Trackpad Size and Input mapping on Performance, Posture, Discomfort, and Preference

Multi-touch trackpads have the advantage over traditional pointing devices (mice) in being able to recognize and act on finger gestures, such as pinching, rotating, and swiping. The primary objective of this study was to quantify the effects of desktop-trackpad size and input mapping on performance, posture and discomfort. Three trackpad sizes (112X63 mm, 178X100 mm, 230 X130 mm) and two types of input mapping, the traditional relative mapping with ‘cursor acceleration’ and absolute mapping, were tested. Subjects performed a series of target acquisition tasks (drag and select) while the dependent variables were recorded. Results suggest that peripheral indirect-touch pointing devices with a width between 112 and 178 mm and a depth between 63 and 100 mm may provide an appropriate balance between cost, footprint, performance, and comfort.
Pathfinder: A Microcomputer Experience in Interpreting Graphs

This article describes the design, implementation, and testing of a microcomputer package intended to improve students' understanding and skills in interpreting graphs of physical phenomena. In this package students interpret graphs in order to reproduce the events described by the graphs. Students may also construct events and challenge others to reproduce the events from the graphs they generate. Some previous work is described briefly to provide context for the activities. The package was used with students in grades nine through twelve. Students taking the college preparatory mathematics classes differed from those taking general mathematics in their choices of activities and in the strategies they used. There was evidence that students' strategies changed as they gained more experience.
Cómo contratar un servicio de posicionamiento web

A set of recommendations are presented that are intended to be useful for the externalization of a SEO service. The recommendations are articulated around four phases: (1) initial information acquisition, (2) information contrast, (3) hiring, (4) monitoring. The main characteristics of black hat SEO practices, or bad practices in SEO, are presented.