ppxscal/embedding_network huggingface dataset:
LOCALE: Collaborative Localization Estimation for Sparse Mobile Sensor Networks
Authors: Pei Zhang, Margaret Martonosi
Venue: Proceedings of the 7th international conference on Information processing in sensor networks (2008)

As the field of sensor networks matures, research in this area is focusing not only on fixed networks, but also on mobile sensor networks. For many reasons, both technical and logistical, such networks will often be very sparse for all or part of their operation, sometimes functioning more as disruption-tolerant networks (DTNs). While much work has been done on localization methods for densely populated fixed networks, most of these methods are inefficient or ineffective for sparse mobile networks, where connections can be infrequent. While some mobile networks rely on fixed location beacons or per-node, onboard GPS, these methods are not always possible due to cost, power and other constraints.In this paper we present the Low-density Collaborative Ad-Hoc Localization Estimation (LOCALE) system for sparse sensor networks. In LOCALE, each node estimates its own position, and collaboratively refines that location estimate by updating its prediction based on neighbors it encounters. Nodes also estimate (as a probability density function) the likelihood their prediction is accurate. We evaluate LOCALE's collaborative localization both through real implementations running on sensor nodes, as well as through simulations of larger systems. We consider scenarios of varying density (down to 0.02 neighbors per communication attempt), as well as scenarios that demonstrate LOCALE's resilience in the face of extremely-inaccurate individual nodes. Overall, our algorithms yield up to a median of 21X better accuracy for location estimation compared to existing approaches. In addition, by allowing nodes to refine location estimates collaboratively, LOCALE also reduces the need for fixed location beacons (i.e. GPS-enabled beacon towers) by as much as 64X.
Quality Measurement Model for Analysis and Design Tools Based on FLOSS
Authors: O. Alfonzo, K. Domínguez, L. Rivas, M. Pérez, L. Mendoza, M. Ortega
Venue: Proceedings of the 19th Australian Conference on Software Engineering (2008)

The selection of Free/Libre Open Source Software (FLOSS) tools for Analysis and Design (A&D) is a hard task due to their complexity, their wide variety within the market, and their functionality level. This article aims at introducing a group of quality features to evaluate FLOSS tools for A&D. Such features are presented based on the perspective of the Software Quality Systemic Model (MOSCA), inspired by ISO/IEC 9126 [9], Dromey’s quality model [5] and the Goal-Question-Metrics (GQM) Paradigm. This model includes attributes such as functionality, usability and maintainability, and establishes 52 new metrics for a total of 102 metrics that allow evaluating FLOSS tools for A&D within a specific context. Lastly, validation of this proposal is verified through its application on eight FLOSS-based A&D tools
Observations on Compressing Text Files of Varying Length
Authors: Mohammad Hjouj Btoush, Jawed Siddiqi, Babak Akhgar, Ziad Dawahdeh
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

The paper compares different data compression algorithms of text files: LZW, Huffman, Fixed-length code (FLC), and Huffman after using Fixed-length code (HFLC). We compare these algorithms on different text files of different sizes in terms of compression scales of: Size, Ratio, Time (Speed), and Entropy. Our evaluation reveals that initially for smaller size files the simplest algorithm namely LZW performs worst for first two scales than the more complex Huffman algorithm but as the size of the text increases interestingly the position is reversed. Moreover for the scales time and entropy LZW performs better than Huffmans but for larger files once again the position is reversed.
A reputation system for electronic negotiations
Authors: Omid Tafreschi, Dominique Mähler, Janina Fengel, Michael Rebstock, Claudia Eckert
Venue: Computer Standards Interfaces (2008)

In this paper we first present a system architecture enabling market participants to carry out bilateral and multi-attributive electronic negotiations with each other. Since this system uses open and anonymous communication networks, market participants have to cope with much higher mount of uncertainty about the quality of products and the trustworthiness of other participants. Therefore, we present a reputation system, which facilitates trust building among business partners who interact in an ad-hoc manner with each other. The system enables market participants to rate the business performance of their partners as well as the quality of offered goods. These ratings are the basis for evaluating the trustworthiness of market participants and the quality of their goods. The ratings are aggregated using the concept of Web of Trust. This approach leads to robustness of the proposed system against malicious behavior aiming at manipulating the reputation of market participants.
Linear and weakly nonlinear instability of a particle-laden shallow wake flows
Authors: A. A. Kolyshkin, S. Nazarovs
Venue: Proceedings of the 10th WSEAS International Conference on APPLIED MATHEMATICS (2006)

The linear and weakly nonlinear analysis of a particle-laden shallow wake flows is investigated in the present paper under the simplifying assumptions that the mean velocity profile of the particle-laden flow is identical to that of a single-phase flow. The particle concentration is assumed to be uniform. The coupling between the phases is simplified by assuming that the particles do not respond to changes in fluid motion. The linear stability analysis shows that the presence of particles enhances the stability of the flow. In addition, bottom friction also acts a stabilizing mechanism. Weakly nonlinear analysis of the flow in a convectively unstable regime shows that the evolution of the most unstable mode is governed by the complex Ginzburg-Landau equation. The coefficients of the equation are calculated numerically.
Developing Accessible Applications with User-Centered Architecture
Authors: Sabina Jeschke, Helmut Vieritz, Olivier Pfeiffer
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned application whereas it is also necessary to respect the complex needs of accessibility from the beginning. User-centered architecture starts modeling with the design and functionality of the user interface. The interface models include the necessary semantic information to provide Assistive Technology with additional annotation about functionality and behavior of interface elements. In this paper, a concept of a model-driven design process is presented which uses the advantages of user-centered architecture to facilitate the design of accessible applications.
Towards guidelines for designing augmented toy environments
Authors: Steve Hinske, Marc Langheinrich, Matthias Lampe
Venue: Proceedings of the 7th ACM conference on Designing interactive systems (2008)

Combining interactive technology with traditional toys promises to significantly enhance the educational value of children's play. Designing such augmented toy environments, however, requires designers to take both the traditional, technology-less nature of the toy, and the novel interactive aspects of the newly accessible virtual environment into account. This article attempts to present a unified set of guidelines for the design and implementation of augmented toy environments, drawing upon existing literature in traditional and educational toy and game design, as well as our own experiences in building mixed reality game environments. We also offer practical advice on the use of these guidelines by reporting on our own augmented toy environment for young children, called the Augmented Knight's Castle, which encourages learning about the Middle Ages in a playful way.
Dataflow analysis for concurrent programs using datarace detection
Authors: Ravi Chugh, Jan W. Voung, Ranjit Jhala, Sorin Lerner
Venue: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008)

Dataflow analyses for concurrent programs differ from their single-threaded counterparts in that they must account for shared memory locations being overwritten by concurrent threads. Existing dataflow analysis techniques for concurrent programs typically fall at either end of a spectrum: at one end, the analysis conservatively kills facts about all data that might possibly be shared by multiple threads; at the other end, a precise thread-interleaving analysis determines which data may be shared, and thus which dataflow facts must be invalidated. The former approach can suffer from imprecision, whereas the latter does not scale. We present RADAR, a framework that automatically converts a dataflow analysis for sequential programs into one that is correct for concurrent programs. RADAR uses a race detection engine to kill the dataflow facts, generated and propagated by the sequential analysis, that become invalid due to concurrent writes. Our approach of factoring all reasoning about concurrency into a race detection engine yields two benefits. First, to obtain analyses for code using new concurrency constructs, one need only design a suitable race detection engine for the constructs. Second, it gives analysis designers an easy way to tune the scalability and precision of the overall analysis by only modifying the race detection engine. We describe the RADAR framework and its implementation using a pre-existing race detection engine. We show how RADAR was used to generate a concurrent version of a null-pointer dereference analysis, and we analyze the result of running the generated concurrent analysis on several benchmarks.
An Approach Using Hybrid Methods to Select Informative Genes from Microarray Data for Cancer Classification
Authors: Mohd Saberi Mohamad, Sigeru Omatu, Michifumi Yoshioka, Safaai Deris
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Recent advances in microarray technology allow scientists to measure expression levels of thousands of genes simultaneously in human tissue samples. This technology has been increasingly used in cancer research because of its potential for classification of the tissue samples based only on gene expression levels. A major problem in these microarray data is that the number of genes greatly exceeds the number of tissue samples. Moreover, these data have a noisy nature. It has been shown from literature review that selecting a small subset of informative genes can lead to an improved classification accuracy. Thus, this paper aims to select a small subset of informative genes that is most relevant for the cancer classification. To achieve this aim, an approach using two hybrid methods has been proposed. This approach is assessed on two well-known microarray data. The experimental results have shown that the gene subsets are very small in size and yield better classification accuracy as compared with other previous works as well as four methods experimented in this work. In addition, a list of informative genes in the best subsets is also presented for biological usage.
Combine Personal Blog Functionalities with LMS Using Tools Interoperability Architecture
Authors: Jui-Hung Chen, Timothy K. Shih, Chun-Chia Wang, Shu-Wei Yeh, Chen-Yu Lee
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

Respecting related technologies within E-learning domain, the use of Learning Management System (LMS) has been considered as the most important and essential component. LMS can manage the curriculum learning content, learner’s learning profile and learning process. However it lacks suitable study assistance functions and personalized interface. Accordingly LMS is hard to promote and to be utilized by learners. This paper proposed an integrated framework which combined the personal learning blog functionalities to LMS by using the Tools Interoperability (TI) architecture in order to develop the suitable learning functionalities and interface in LMS for learners. And we hope the TI-based blog functionalities which can be utilized by other LMS in order to improve the LMS utility rate and to prove the feasibility of TI-based blog system.
Phasers: a unified deadlock-free construct for collective and point-to-point synchronization
Authors: Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer
Venue: Proceedings of the 22nd annual international conference on Supercomputing (2008)

Coordination and synchronization of parallel tasks is a major source of complexity in parallel programming. These constructs take many forms in practice including mutual exclusion in accesses to shared resources, termination detection of child tasks, collective barrier synchronization, and point-to-point synchronization. In this paper, we introduce phasers, a new coordination construct that unifies collective and point-to-point synchronizations. We establish two safety properties for phasers: deadlock-freedom and phase-ordering. Performance results obtained from a portable implementation of phasers on three different SMP platforms demonstrate that phasers can deliver superior performance to existing barrier implementations, in addition to the productivity benefits that result from their generality and safety properties.
Taligent MVP in interactive statistical graphics
Authors: Derek Law
Venue: Computational Statistics (2008)

This paper will discuss a sophisticated GUI architecture, Taligent's Model-View-Presenter, and its use in statistical graphics. The architecture exhibits some useful features, most noticeably its support for multiple undo/redo and scripting. However, the architecture is not without its own issues, because of ambiguities in the original paper that cannot be easily clarified. One issue, in particular, seems to contradict general GUI design principles. This paper will describe Taligent's Model-View-Presenter and a modification of the architecture which circumvents the problem mentioned above. It also presents an example illustrating how the architecture can be applied to real problems.
FPGA acceleration of a quantum Monte Carlo application
Authors: Akila Gothandaraman, Gregory D. Peterson, G. L. Warren, Robert J. Hinde, Robert J. Harrison
Venue: Parallel Computing (2008)

Quantum Monte Carlo methods enable us to determine the ground-state properties of atomic or molecular clusters. Here, we present a reconfigurable computing architecture using Field Programmable Gate Arrays (FPGAs) to accelerate two computationally intensive kernels of a Quantum Monte Carlo (QMC) application applied to N-body systems. We focus on two key kernels of the QMC application: acceleration of potential energy and wave function calculations. We compare the performance of our application on two reconfigurable platforms. Firstly, we use a dual-processor 2.4GHz Intel Xeon augmented with two reconfigurable development boards consisting of Xilinx Virtex-II Pro FPGAs. Using this platform, we achieve a speedup of 3x over a software-only implementation. Following this, the chemistry application is ported to the Cray XD1 supercomputer equipped with Xilinx Virtex-II Pro and Virtex-4 FPGAs. The hardware-accelerated application on one node of the high performance system equipped with a single Virtex-4 FPGA yields a speedup of approximately 25x over the serial reference code running on one node of the dual-processor dual-core 2.2GHz AMD Opteron. This speedup is mainly attributed to the use of pipelining, the use of fixed-point arithmetic for all calculations and the fine-grained parallelism using FPGAs. We can further enhance the performance by operating multiple instances of our design in parallel.
AUTOPILOT-BT: A system for knowledge and model based mechanical ventilation
Authors: S. Lozano, K. Möller, A. Brendle, D. Gottlieb, S. Schumann, C. A. Stahl, J. Guttmann
Venue: Technology and Health Care (2008)

A closed-loop system (AUTOPILOT-BT) for the control of mechanical ventilation was designed to: 1) autonomously achieve goals specified by the clinician, 2) optimize the ventilator settings with respect to the underlying disease and 3) automatically adapt to the individual properties and specific disease status of the patient. The current realization focuses on arterial oxygen saturation (SpO$_2$), end-tidal CO$_2$ pressure (P$_{et}$CO$_2$), and positive end-expiratory pressure (PEEP) maximizing respiratory system compliance (C$_{ rs}$). The "AUTOPILOT-BT" incorporates two different knowledge sources: a fuzzy logic control reflecting expert knowledge and a mathematical model based system that provides individualized patient specific information. A first evaluation test with respect to desired end-tidal-CO$_2$-level was accomplished using an experimental setup to simulate three different metabolic CO$_2$ production rates by means of a physical lung simulator. The outcome of ventilator settings made by the "AUTOPILOT-BT" system was compared to those produced by clinicians. The model based control system proved to be superior to the clinicians as well as to a pure fuzzy logic based control with respect to precision and required settling time into the optimal ventilation state.
A framework for enhanced QoS support in IEEE802.11e networks
Authors: G. Cecchetti, A. L. Ruscelli
Venue: Proceedings of the 2nd international conference on Mobile multimedia communications (2006)

IEEE 802.11 based WLANs have became popular, but they can only provide best effort services and so they are poorly suitable for multimedia applications. Recently IEEE 802.11e standard has been proposed to support quality of service. The new standard introduces a so-called Hybrid Coordination Function containing two medium access mechanisms: contention-based channel access and controlled channel access. In this paper we propose a novel framework to better support QoS guarantees for multimedia applications. It comprises QoS Manager, Admission Control, Enhanced Scheduler, Predictor and Feedback System. The scheduler adopted supports real-time applications, variable packet sizes and variable bit rate traffic streams. We show that this framework is suitable to be used by applications requesting Application Level Contracts which will be translated in Resource Level Contracts to the scheduler subsystem. The QoS manager component is able to dynamically manage available resources under different load conditions.
Extended QFD and data-mining-based methods for supplier selection in mass customization
Authors: M. Ni, X. Xu, S. Deng
Venue: International Journal of Computer Integrated Manufacturing (2007)

In mass customization, different kinds of customer requirements should be satisfied by the manufacturer. Supplier selection is one important task in supply-chain management. Effective supplier selection calls for robust analytical methods and decision-support tools. This research aims to develop a supplier selection methodology based on extended quality function deployment (QFD) and data-mining (DM) techniques. Through considering customer requirement and performance of components in a product's full life-cycle, the manufacturer can use data-mining techniques to find out quality requirements correlated to customer categories, product usage patterns, and frequent fault patterns in order to select the proper combination of suppliers. In this way, the manufacturer can decrease costs, raise product quality, and improve customer satisfaction. Related data-mining algorithms for supplier selection are presented. Customer requirement analysis is also studied in the paper, and transcendental and empirical customer requirement analysis methods are put forward. A case study is provided in detail. Finally, as a part of the supply-chain management system, a supplier selection prototype system is designed and implemented. Evaluation of experiments in an automobile manufacturing enterprise verifies the feasibility and efficiency of our method.
Integrated Wireless Rogue Access Point Detection and Counterattack System
Authors: Songrit Srilasak, Kitti Wongthavarawat, Anan Phonphoem
Venue: Proceedings of the 2008 International Conference on Information Security and Assurance (isa 2008) (2008)

In this paper we propose the integrated solution for detection and counterattack the rogue access points. Classification of rogue access point and related risk assessment is analyzed. Rogue detection algorithm is also proposed. Our proposed solution is effective and low cost. It is designed to utilize the existing wireless LAN infrastructure. There is no need to acquire the new RF devices or dedicated wireless detection sensors. The experiments in the real system are demonstrated.
Rendezvous design algorithms for wireless sensor networks with a mobile base station
Authors: Guoliang Xing, Tian Wang, Weijia Jia, Minming Li
Venue: Proceedings of the 9th ACM international symposium on Mobile ad hoc networking and computing (2008)

Recent research shows that significant energy saving can be achieved in wireless sensor networks with a mobile base station that collects data from sensor nodes via short-range communications. However, a major performance bottleneck of such WSNs is the significantly increased latency in data collection due to the low movement speed of mobile base stations. To address this issue, we propose a rendezvous-based data collection approach in which a subset of nodes serve as the rendezvous points that buffer and aggregate data originated from sources and transfer to the base station when it arrives. This approach combines the advantages of controlled mobility and in-network data caching and can achieve a desirable balance between network energy saving and data collection delay. We propose two efficient rendezvous design algorithms with provable performance bounds for mobile base stations with variable and fixed tracks, respectively. The effectiveness of our approach is validated through both theoretical analysis and extensive simulations.
Linear histogram equalization in the acoustic feature domain for speech recognition over Bluetooth&trade; channels
Authors: Ke Peng, Hongbin Cai, Yaxin Zhang
Venue: Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology (2007)

This paper studies the improvement of speech recognition over Bluetooth&trade; wireless channels. Speech recognition over Bluetooth&trade; suffers from the low SNR due to the position of the Bluetooth&trade; microphone, Bluetooth&trade; codec distortion, packet loss over the wireless channel, and Bluetooth&trade; channel distortion. By transforming the MFCCs (Mel-Frequency Cepstral Coefficients) to make the cumulative density functions of the MFCC values in recognition match the ones that were estimated on the training data, the recognition can be improved. The cumulative density functions are approximated using a small number of quantiles. Recognition tests on a Bluetooth&trade; speech database showed significant increase of recognition accuracy in noisy environments.
Simplification of nested radicals
Authors: S. Landau
Venue: Proceedings of the 30th Annual Symposium on Foundations of Computer Science (1989)

Radical simplification is a fundamental mathematical question, as well as an important part of symbolic computation systems. The general denesting problem had not been known to be decidable. Necessary and sufficient conditions for a radical alpha over a field k to be denested, as well as the first algorithm to decide whether the expression can be denested, are given. The algorithm computes an equivalent expression of minimum nesting depth. It has running time polynomial in the size of the splitting field of the minimal polynomial of alpha over k.