Miracle-dz/UniFAR-FTUs huggingface dataset:
A nonlinear observer for GPS and INS integration

GPS and Inertial Navigation Systems (INS) have complementary properties, and they are therefore well suited for integration. The integrated solution offers better long term accuracy than a stand-alone INS, and better integrity, availability and continuity than a stand-alone GPS receiver, making it suitable for demanding applications. The integration filter is nonlinear both in state and measurements, and the extended Kalman-filter has been used with good results, but it has not been proven globally stable, and it is also computationally intensive, especially within a direct integration architecture. In this work a nonlinear observer suitable for direct integration, due to no covariance update equations, is presented. Global exponential stability of the origin of the combined attitude and velocity error systems is proven.
A module-based method for design and analysis of reconfigurable parallel robots

Presented in this paper is a method for design and analysis of reconfigurable parallel robots. Inherent modularity in the parallel robot lends itself a natural candidate for reconfiguration. By taking the branches as building blocks, a number of modular parallel robots can be constructed, from which a reconfigurable parallel robot can be realized. Among three types of reconfiguration, namely, geometry morphing, topology morphing, and group morphing, the method presented here is for the last two reconfigurations, thereby advancing the current research that is mainly limited to geometry morphing. It is shown that the module-based method not only provides a systematic way of designing a reconfigurable parallel robot, but also offers a unified modeling for robot analysis. Two examples are provided, one showing the topology morphing and another showing the group morphing.
Boost.SIMD: Generic programming for portable SIMDization

SIMD extensions have been a feature of choice for processor manufacturers for a couple of decades. Designed to exploit data parallelism in applications at the instruction level and provide significant accelerations, these extensions still require a high level of expertise or the use of potentially fragile compiler support or vendor-specific libraries. In this poster, we present Boost.SIMD, a C++ template library that simplifies the exploitation of SIMD hardware within a standard C++ programming model.
Concepts for computer center power management

Electrical power usage contributes significantly to the operational costs of large computer systems. At the Hypersonic Missile Technology Research and Operations Center (HMT‐ROC) our system usage patterns provide a significant opportunity to reduce operating costs since there are a small number of dedicated users. The relatively predictable nature of our usage patterns allows for the scheduling of computational resource availability. We take advantage of this predictability to shut down systems during periods of low usage to reduce power consumption. With interconnected computer cluster systems, reducing the number of online nodes is more than a simple matter of throwing the power switch on a portion of the cluster. The paper discusses these issues and an approach for power reduction strategies for a computational system with a heterogeneous system mix that includes a large (1560‐node) Apple Xserve PowerPC supercluster. In practice, the average load on computer systems may be much less than the peak load although the infrastructure supporting the operation of large computer systems in a computer or data center must still be designed with the peak loads in mind. Given that a significant portion of the time, systems loads can be less than full peak, an opportunity exists for cost savings if idle systems can be dynamically throttled back, slept, or shut off entirely. The paper describes two separate strategies that meet the requirements for both power conservation and system availability at HMT‐ROC. The first approach, for legacy systems, is not much more than a brute force approach to power management which we call Time‐Driven System Management (TDSM). The second approach, which we call Dynamic‐Loading System Management (DLSM), is applicable to more current systems with ‘Wake‐on‐LAN’ capability and takes a more granular approach to the management of system resources. The paper details the rule sets that we have developed and implemented in the two approaches to system power management and discusses some results with these approaches. Copyright © 2009 John Wiley & Sons, Ltd.
Baseline modelling for ERS-1 SAR interferometry

An automated system for generating interferograms is presented, including coarse and fine registration, calculation of the interferogram, baseline estimation, and planar phase removal. Adaptive filtering, phase unwrapping, and baseline estimation are then performed to calculate the height model. Methods for the precise estimation of the interferometric baseline using ground control points are presented, and height residuals are compared. Test results are tabulated for an ERS-1 scene pair acquired over the Bonn area in Germany during March 1992. Of the methods tried, a three parameter iterative non-linear least squares procedure produces the best baseline model for use in generating digital elevation models. <<ETX>>
Help from My “Friends”: Social Capital in the Social Network Sites of Low-Income Students

The development of social capital in young people is positively associated with educational attainment, achievement, and psychosocial factors. Prior research has explored factors that contribute to social capital, such as offline social networks. To a lesser extent, studies have analyzed the relationship between online social networks and students' social capital. However, educational researchers have yet to examine this relationship among students from low-income families. It is especially important to consider low-income students since historically they have not reached the same educational attainment and achievement levels as their higher income peers. In this article, we conduct a regression analysis on survey responses from high school students from low-income families (n = 607) to examine the relationship between intensity of online social network site use, social capital, and other measures of psychological well-being. Results suggest positive associations between use of online social network sites and two forms of social capital. Qualitative data were also utilized to illuminate low income students' opportunities or barriers for forging and sustaining relationships through online social network sites and implications for future research and education are discussed.
Hyperspectral image classification based on NMF Features Selection Method

Hyperspectral instruments are capable of collecting hundreds of images corresponding to wavelength channels for the same area on the earth surface. Due to the huge number of features (bands) in hyperspectral imagery, land cover classification procedures are computationally expensive and pose a problem known as the curse of dimensionality. In addition, higher correlation among contiguous bands increases the redundancy within the bands. Hence, dimension reduction of hyperspectral data is very crucial so as to obtain good classification accuracy results. This paper presents a new feature selection technique. Non-negative Matrix Factorization (NMF) algorithm is proposed to obtain reduced relevant features in the input domain of each class label. This aimed to reduce classification error and dimensionality of classification challenges. Indiana pines of the Northwest Indiana dataset is used to evaluate the performance of the proposed method through experiments of features selection and classification. The Waikato Environment for Knowledge Analysis (WEKA) data mining framework is selected as a tool to implement the classification using Support Vector Machines and Neural Network. The selected features subsets are subjected to land cover classification to investigate the performance of the classifiers and how the features size affects classification accuracy. Results obtained shows that performances of the classifiers are significant. The study makes a positive contribution to the problems of hyperspectral imagery by exploring NMF, SVMs and NN to improve classification accuracy. The performances of the classifiers are valuable for decision maker to consider tradeoffs in method accuracy versus method complexity.
A novel adaptive two-stage detector for synchronous DS-CDMA communication systems

A novel adaptive two-stage multiuser detector is proposed for synchronous DS-CDMA communication systems. This new multiuser detector employs the first-order approximate decorrelating detector as the first stage followed by an adaptive canceller. The steepest descent algorithm is used to control the weights of the adaptive canceller. Through analysis and numerical results, we show that the proposed detector results in a better error probability than that of the conventional detector and the decorrelating detector, especially when the multiple access interference (MAI) is high.
Introduction–From Genres to Tags: A Little Epistemology of Music Information Retrieval Research

Surprise: This didn’t quite happen as expected. Most of the information is annotated manually (no automated analysis), unstructured (no taxonomy), in a collaborative, dynamical and unmoderated process (unlike a centralized library). Millions of users routinely connect to web-sites such as last.fm, MusicStrands, MusicBrainz or Pandora, where they enter free descriptions (aka tags) of the music they like or dislike. Each user’s tags are available for all to see and influence the way other users describe or look for music. The result is a collaborative repository of musical knowledge of a size and richness unheard of so far. ‘‘The Beatles’’ used to be ‘‘British pop’’. What they are now is something akin to Figure 1.
A metabonomic approach to the investigation of drug-induced phospholipidosis: an NMR spectroscopy and pattern recognition study

1H NMR spectroscopy of urine and pattern recognition analysis have been used to study the metabolic perturbations caused following dosing of five novel drug candidates, two of which (GWA, GWB) caused mild lung and liver phospholipidosis, whilst the rest (GWC-GWE) did not cause any detectable toxicity. Urine samples were collected predose, 0-8 h, 8-16 h, 16-24 h and 24-32 h after single, oral dosing with each compound to Han Wistar rats (n = 3 per group), and liver and lung samples for were taken at 48 h for histology. 1H NMR spectra of whole urine were acquired, processed and subsequently analysed using principal component analysis. All animals administered the drug candidates showed a significant reduction in serum triglycerides and those animals administered either GWA or GWB were observed to have foamy alveolar macrophages and the presence of multilamellar bodies in hepatocytes by electron microscopy. In the plot of the first two principal components, urinary spectra of those animals dosed with GWA or .
A Method of Deductive Logical Inference Proofs

A method of proof is presented and used in proving theorems in logic and set theory. Many commonly used methods of proof are rigid and not easy to apply in proving different theorems. This study deductively draws conclusions from rules of logical inference and then, it generalizes the deduction methods to be applied to logic and set theory. Then, it shows how this method of logical inference can be used to prove implications involving conjunction or disjunction of premises and to prove some identities in set theory involving implication or containment.
Braille box: analysis of the parallelism concept to access graphic information for blind people

According to the parallelism concept, the more sensors we use, the more precisely and easily we could access information. The "Braille Box" has been developed by modifying Braille cells to form an array of tactile stimulators which is compatible with the fingertip. Each pin can be controlled independently so that we can change the size and type of array to study the tactile perception of simple and more complex graphical shapes and therefore control the parallelism of inputs in this visual-tactile perception device. The result from the experiment with 25 subjects shows us that the quality of perception is influenced by the characteristic of array. The main result is that the form detection is made easier with a multiple sensor array rather than with the mono sensor array. Some other parameters, such as the type of form, the strategy of exploration, also influence the recognition performance. Further experiments need to be done with this Braille Box in order to improve this device and help blind people to access graphic information.
Himalayan Information Subject Gateway in Digital era: A Proposal for its Development

One of the major problems in accessing information from internet is that it is very difficult and time consuming to get reliable and relevant information in the limited time. An effective and efficient way to provide easy access to quality information on internet is by developing subject gateways in specific areas. To meet the information requirement of the scientific and academic community in the digital era, various departments have developed Subject Gateways in their respective areas and some are in developing process. This paper suggests a proposal for developing Himalayan Information Subject Gateway for scientists and researchers engaged in Himalayan Studies. This paper also gives an overview of some the subject information gateways. http://dx.doi. org/10.14429/dbit.23. 2.3593
Las universidades públicas españolas en Google Scholar: presencia y evolución de su publicación académica web

The validity of Google Scholar as a service that reflects properly the scientific output of a university is analyzed, comparing its coverage of Spanish public universities with that of Scopus. The presence and evolution of scientific documentation on the websites of the Spanish public universities from January to July (both months inclusive) 2009 is also studied. The results show that, despite finding some interrelationship between Scholar and Scopus concerning the productivity of institutions, there are large differences in the total results that override the latter as a valid reflection of university productivity. Finally, Scholar shows positive, albeit modest, growth during the studied period for most university websites analyzed
On the Design of a Wearable Multi-sensor System for Recognizing Motion Modes and Sit-to-stand Transition

Locomotion mode recognition is one of the key aspects of control of intelligent prostheses. This paper presents a wireless wearable multi-sensor system for locomotion mode recognition. The sensor suit of the system includes three inertial measurement units (IMUs) and eight force sensors. The system was built to measure both kinematic (tilt angles) and dynamic (ground contact forces) signals of human gaits. To evaluate the recognition performance of the system, seven motion modes and sit-to-stand transition were monitored. With a linear discriminant analysis (LDA) classifier, the proposed system can accurately classify the current states. The overall motion mode recognition accuracy was 99.9% during the stance phase and 98.5% during the swing phase. For sit-to-stand transition recognition, the average accuracy was 99.9%. These promising results show the potential of the designed system for the control of intelligent prostheses.
Research on extensibility and reliability of agents in Web-based Computing Resource Publishing

Web-based Computing Resource Publishing is a Web oriented metacomputing system. Agent publishing is its leading style. Extensibility and reliability are two crucial problems for the agent. We propose a parent-child agent framework and a primary-slave agent framework to improve the agents' performance. Several problems arise in the frameworks: how to assign tasks among agents, how to schedule slave agents to select a new primary agent under condition that the original one cannot perform its role any more, and how to keep states in primary agent and slave agents consistent. Aiming at these problems, we introduce an agent coordination strategy, a slave scheduling strategy and an agent coherence algorithm.
Promoting Ownership: A System for WWW Site Maintenance by the Non-Technical User

The invention of the World Wide Web has created a graphical user interface to the world of distributed computing that does not require high level skills in the end-user. As the Internet changes however, effective exploitation of its ecommerce potential requires a greater degree of technical sophistication in the design and maintenance of a WWW site. Tools are required to facilitate this process for the nontechnical user. This paper describes one suite of tools designed to enable the non-technical user to maintain and develop a WWW site and/or store without the need to learn complex programming skills. A WWW interface provides the user with transparent access to a comprehensive suite of WWW site maintenance and development software. The user can thus complete key maintenance tasks -Authoring; Site registration and Marketing; Site Validation and Analysis- and extend the functionality of their site without the need for detailed technical knowledge
Corpus-based versus traditional learning of collocations

One of the aspects of knowing a word is the knowledge of which words it is usually used with. Since knowledge of collocations is essential for appropriate and fluent use of language, learning collocations should have a central place in the study of vocabulary. There are different opinions about the best ways of learning collocations. This study investigates the effectiveness of corpus-based activities for learning verb–adverb collocations compared to traditional activities usually found in course books. The test results show that the participants who learned the collocations with the help of the online concordancer gained more knowledge and had better results in all parts of the test.
Factors of Programme Choice in Public Television: A National Survey.

ABSTRACT The differing audience objectives of public and commercial television in the United States pose significant issues relative to how programmes are chosen for broadcast. Factors which influence the selection of programmes on public television (the chief broadcast outlet of educational programmes in America) warrant the scrutiny of media scholars, for such factors may prove influential in determining the nature of broadcast educational programmes. A survey of US public television programmers, conducted to examine factors perceived as important in making programme decisions, identified 11 factors, but about 70% of the total variance was explained by the first five factors: (1) audience measures, (2) personal feedback, (3) programme strategy, (4) station resources and (5) intuition. The audience measure factor explained the largest proportion of the variance (30%). Several factors were comparable with those used in an earlier study of commercial TV programme decision‐making. The findings suggest that .
The need for an Internet video compression standard

This paper presents the argument for the development of an Internet video compression standard. The history and science of video compression is reviewed with a focus on identifying how network technology has influenced video compression technology. It is argued that the use of the Internet to deliver video content, an application it was not designed for, and the fact that the Internet is here to stay, calls for a critical look at existing video compression standards. An analysis of the performance of these standards in delivering content over the Internet is provided with an explanation of why these standards have shortcomings in this application domain. Because of this, it is argued, video compression technology for the Internet will need to be different to what is used in other application domains. The paper further presents a discussion on what the technical characteristics of video compression technology would need to be for it to deliver high quality video over the Internet in an interoperable manner, thereby concluding that a new video compression standard is needed.
A Geographical Approach to Identifying Vegetation-Related Environmental Equity in Canadian Cities

The research in this paper addresses human — environment interactions in Canadian cities by examining the spatial distribution of vegetation in relation to various socioeconomic indicators. Specifically, intercity and intracity comparisons are evaluated using correlation analysis and geographically weighted regression (GWR). Vegetation abundance estimates derived from spectral mixture analysis of Landsat imagery are compared with Canadian census data for the cities of Montreal, Toronto, and Vancouver to quantify vegetation-related environmental equity in Canada's largest urban centres. Results exhibit strong and consistent correlations between median family income and vegetation fraction for Montreal (r = 0.473), Toronto (r = 0.467), and Vancouver (r = 0.456). Furthermore, examining the GWR results suggests that employing an adaptive bandwidth kernel technique with a manual selection of ten neighbours for each observation provides a greater range and higher median values for local regression estimates (Montreal: 0.69; Toronto: 0.74; Vancouver: 0.73) as compared with the Akaike information criterion-selection method. Finally, we discuss the potential application of the presented analysis techniques for urban planning and community-development initiatives, specifically associated with managing vegetation-related environmental equity at various scales. Possible applications of these techniques for urban planning purposes are discussed, and key methodological considerations for performing such an analysis are highlighted.
A Kind of Logarithmic Function Hardware Encryptor and Decryptor

This paper presents the realization of a kind of hardware encryptor and decryptor, which is based on Logarithmic Function principle. It shows how to design the encryption circuit and the decryption circuit by the sequential circuit. It had been designed in VHDL and simulated by Modelsim software, and then synthesized as well as realized on the FPGA chip EP2C5T144 by QuartusII software, last finished the test.
Journal evaluation and science 2. 0. Using social bookmarks to analyze reader perception

Introduction Web 2.0 technologies are blazing a trail into science: specialized social bookmarking services allow researchers to store and share literature online [SHNEIDERMAN, 2008]. In science 2.0, academics generate information about resources, i.e. description and usage. Since publishers deny access to global download statistics, we propose the application of social bookmarking data to journal evaluation: the number of bookmarks could function as an alternative indicator of journal usage. Tags assigned to the articles reveal the readers' perspectives on the journal content.
A Technique to Choose the Proper Vector Space Models of Semantics in Case of Automatic Text Categorization

vides a proper solution to this limitation. There are broadly three main categories of Vector Space Model: term-document, word-content and pair- pattern matrices. The main aim of this paper is to discuss broadly the three main categories of VSM for semantic analysis of texts and make proper selection for automatic categorizing. The scenario taken up here is categorization of research papers for organizing a national or an international conference based on the proposed methodology. Computers do not understand human language and this makes it difficult when human wants the computer to do some specific task like categorization according to human need. Vector Space Model (VSM) for semantic analysis of texts and make proper selection of one of the three main categories for automatic categorizing of research papers for organizing a national or an international conference based on the proposed methodology.