ppxscal/embedding_network huggingface dataset:
Improving the accessibility of NFC/RFID-based mobile interaction through learnability and guidance
Authors: Gregor Broll, Susanne Keck, Paul Holleis, Andreas Butz
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

NFC and RFID technologies have found their way into current mobile phones and research has presented a variety of applications using NFC/RFID tags for interaction between physical objects and mobile devices. Since this type of interaction is widely novel for most users, there is a considerable initial inhibition threshold for them. In order to get novice users started with this physical interaction and its applications, we have designed different ways to increase the learnability and guidance of such applications. Their effectiveness was evaluated in a qualitative and quantitative user study with 40 participants, who interacted with NFC-equipped posters in different ways. We report on the types of usage errors observed and show that future designs of NFC/RFID-based mobile applications should consider using a dedicated start-tag for interaction.
On some lifetime distributions with decreasing failure rate
Authors: M. Chahkandi, M. Ganjali
Venue: Computational Statistics Data Analysis (2009)

A new two-parameter distribution family with decreasing failure rate arising by mixing power-series distribution and exponential distribution is introduced. This family includes some well-used mixing distributions. Various properties of this family are discussed and the estimation of parameters are obtained by method of maximum likelihood. An EM algorithm is proposed for computing the estimates and expression for their asymptotic variances and covariances are derived. Simulation studies are performed and experimental results are illustrated based on real data sets.
Measuring of Impact Force and the Crush Distance of the Cylindrical Shell Impacted by Mass
Authors: G. Y. Lu, Zhifang Liu, Zhijun Han, S. Y. Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In this paper the testing setup and testing method in the impact test of three-span pressure pipeline were introduced and discussed. In the test process a piezoelectric force sensor was tightly fixed between the missile and the mass to record the impact force. Two kinds of fixing methods were used to measure the impact force and the results acquired from different method were compared and discussed. During the impact process the variety of liquid pressure is measured by CY-YD-205 quartz pressure sensor. We also introduce the test setup and the method of the deflection testing system. Computer simulations were also carried to compare with the results of tests and to correct the error of the fixing method of load cell.
Acidic Wastewater of the Flue Gas Absorbed by Crystal Membrane Distillation
Authors: He Wang, Zhonglin Chen, Xu Zhai, Fengjun Zhang, Shengyu Zhang, Xinjing Peng, Luanning Li
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

The effect of neutralizing acidic waste water of the flue gas absorbed by using crude calcium carbonate and treatment of it by using crystal membrane distillation was studied. Effect of some factors, such as the temperature, the original concentration, the velocity of flow and the pH of feed solution, on the process of the membrane distillation and crystallization was observed. The results showed that CaCl2 crystal in the concentrated feed solution began to appear after 18 h running in the condition of the temperature 50 °C, the velocity of flow 18.5 mL/min, the pH of feed solution 7, and resulted in the desired crystal. The separation efficiency was close to 100%.
Cavitation Analysis Near Blade Leading Edge of an Axial-Flow Pump
Authors: Can Kang, Minguan Yang, Guangyan Wu, Haixia Liu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In an axial-flow impeller, rotating flow with cavitation is simulated and experimentally studied with high speed photography technique. Special attention is paid to cavitation profile and its evolution near the blade leading edge. Flow field is firstly computed without cavitation model and low-pressure area is defined, then with cavitation model, the cavity volume fraction distributions are obtained. With corresponding model pump and a test rig, cavitation near blade leading edge is recorded with high-speed photography technique. Observed cavity profile and cavitation inception location are both in good accordance with that obtained through simulation. Cavity movement from suction surface to pressure surface through blade tip is also analyzed.
Adaptive Cluster-Based Scheduling Management for Wireless Ad-Hoc Sensor Networks
Authors: Ying-Chih Chen, Chih-Yu Wen
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

This paper presents an adaptive sensor management scheme for wireless sensor networks, which manages the sensors by utilizing the hierarchical network structure and allocates network resources efficiently. A local criteria is used to simultaneously undertake the sensing coverage and connectivity such that dynamic cluster-based sleep scheduling can be achieved. The proposed scheme is simulated and analyzed to abstract the network behaviors in a number of settings. The experimental results show that the proposed algorithm provides efficient network power control and achieves high scalability in wireless sensor networks.
Model Checking for Hybrid Logic
Authors: Martin Lange
Venue: Journal of Logic, Language and Information (2009)

We consider the model checking problem for Hybrid Logic. Known algorithms so far are global in the sense that they compute, inductively, in every step the set of all worlds of a Kripke structure that satisfy a subformula of the input. Hence, they always exploit the entire structure. Local model checking tries to avoid this by only traversing necessary parts of the input in order to establish or refute the satisfaction relation between a given world and a formula. We present a framework for local model checking of Hybrid Logic based on games. We show that these games are simple reachability games for ordinary Hybrid Logic and weak Büchi games for Hybrid Logic with operators interpreted over the transitive closure of the accessibility relation of the underlying Kripke frame, and show how to solve these games thus solving the local model checking problem. Since the first-order part of Hybrid Logic is inherently hard to localise in model checking, we give examples, in the end, of how global model checkers can be optimised in certain special cases using well-established techniques like fixpoint approximations and divide-and-conquer algorithms.
Application of Multi-Scale Fractal Feature in Defects Detection of Log X-Ray Image
Authors: Dawei Qi, Xuejing Jin, Haijun Wu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

The aim of this study is to extract the internal defects information from a log x-ray image and accurately identify the types of the defects in log by digital image processing technology and fractal theory. A method in log x-ray image defects detection based on multi-scale fractal feature (DMF) was applied in this paper. The DMF values of different regions in a log image are normally different. According to the values of DMF, the internal defects in log can be detected and classified. This method has been applied to the log image with crack and knots, the experimental result show that the DMF values of the normal regions are between 0.020 and 0.060; the DMF values of the crack regions are between 0.300 and 0.600; and the DMF values of the knot regions are between 0.100 and 0.200. This study provides a new tool for analyzing and processing log x-ray image.
Image retrieval using nonlinear manifold embedding
Authors: Can Wang, Jun Zhao, Xiaofei He, Chun Chen, Jiajun Bu
Venue: Neurocomputing (2009)

The huge number of images on the Web gives rise to the content-based image retrieval (CBIR) as the text-based search techniques cannot cater to the needs of precisely retrieving Web images. However, CBIR comes with a fundamental flaw: the semantic gap between high-level semantic concepts and low-level visual features. Consequently, relevance feedback is introduced into CBIR to learn the subjective needs of users. However, in practical applications the limited number of user feedbacks is usually overwhelmed by the large number of dimensionalities of the visual feature space. To address this issue, a novel semi-supervised learning method for dimensionality reduction, namely kernel maximum margin projection (KMMP) is proposed in this paper based on our previous work of maximum margin projection (MMP). Unlike traditional dimensionality reduction algorithms such as principal component analysis (PCA) and linear discriminant analysis (LDA), which only see the global Euclidean structure, KMMP is designed for discovering the local manifold structure. After projecting the images into a lower dimensional subspace, KMMP significantly improves the performance of image retrieval. The experimental results on Corel image database demonstrate the effectiveness of our proposed nonlinear algorithm.
Progress and Prospects of Chinese and International Environmental Finance Study
Authors: Zhang Wei, Li Peijie
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

There are rare foreign scholars researching the financing problem of environmental industry until the mid-90's of 20th century, before that time, popular was the traditional theory of public goods which were funded by governmental finance, while some quasi-public goods may be invested by private capital. With the increasing spread and expansion of financial crisis in western countries during mid-90's of 20th century, there was an re-thinking of financial development model, thus environmental finance with "green", cross-cutting and new features come into being. At present, research on the environmental finance at home and abroad has just started and the subject system has not yet formed, it is needed for long-term and unremitting efforts to be gradually improved.
Acceleration of Multiresolution Imaging Algorithms: A Comparative Study
Authors: Richard Membarth, Philipp Kutzer, Hritam Dutta, Frank Hannig, Jürgen Teich
Venue: Proceedings of the 2009 20th IEEE International Conference on Application-specific Systems, Architectures and Processors (2009)

In this paper we consider a multiresolution filter and its realization on the Cell BE and GPUs. We not only present common and specific optimization strategies undertaken for obtaining maximum performance on these architectures, but also how to obtain a speedup of 6.57x and 33.24x compared to an optimized OpenMP baseline implementation. Furthermore, we also undertake automated configuration space exploration of different partitioning possibilities for selection of best tiling parameters.
Artful Media: Nuage Vert
Authors: Helen Evans, Heiko Hansen, Joey Hagedorn
Venue: IEEE MultiMedia (2009)

Editor's NoteNuage Vert [Green Cloud] is a major environmental artwork that engages light and public participation. A stunning and important work, Nuage Vert has won many accolades and several prestigious prizes, including the 2008 Golden Nica in Hybrid Art from Ars Electronica, the 2008 Green Prix from ZeroOne, and the 2009 Award from the Environmental Art Foundation. The implementation process is particularly interesting as the team found new and successful ways to work with lasers that will benefit future artists.&#x2014;Norie Neumark
Application Research of Association Analysis in Business Intelligence
Authors: He YueShun, Ding QiuLin
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

A great deal of business transaction data implicit much of useful knowledge for business decision, but data mining can find out the hidden pattern and relationships. This paper presents the algorithm of association rules mining and analyzes the inconsistent support constraint strategy mostly. And then analyzes the relationship between the minimum support and the maximal reliability. Present a new evaluation method to reflect the association rules. Finally, connecting with the concrete examples, the transaction data were association analyzed, some rules with lower reliability and support were found, but these still have better application value.
Simulation of Guidance Subsystem of Launch Vehicle Based on Matlab/Simulink
Authors: Lan Lin, Hui Li, Wei Ding
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Adapting the CZ series Launch Vehicle as research object, and according to multi-scale Modeling, the simulation model of the Launch Vehicle guidance subsystem was established and simulated in Matlab/Simulink. A series of relatively independent mathematical model such as rocket instantaneous velocity, instantaneous displacement, earth gravity acceleration, navigation guidance equation etc were built at first. Then the sub simulation models of these units were built in Matlab/Simulink. The model of guidance calculating subsystem of Launch Vehicle was acquired by means of integration on the Basis of their Logical Relationships. Comparing with the real sampling data, the results showed that the model was sound and the method was validity
High-Performance Full-Differential Op-Amp Design
Authors: Yang Yang, Xie Juntang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

The design process of a high-performance full-differential operational amplifier is described in this article. Based on the telescope structure, we optimize the parameters for high performance. In the 0.18μm CMOS technology, simulation results show that the op-amp achieves good performance in gain, bandwidth and phase margin.
Integral Parallel Architecture & Berkeley's Motifs
Authors: Mihaela Malita, Gheorghe Stefan
Venue: Proceedings of the 2009 20th IEEE International Conference on Application-specific Systems, Architectures and Processors (2009)

The Integral Parallel Architecture (IPA) developed and actually implemented by BrightScale is a low-power(133 GOPS/Watt) & low-area (8 GOPS/mm^2) one-chip solution to solve intense computational problems using data-parallel, time-parallel and speculative-parallel mechanisms. BrightScale technology is presented from the point of view of each of the 13motifs proposed in The Berkeley's View. IPA emerges from Kleene's computational model of the partial recursive functionsas the simplest parallel architecture, a good starting point for a true science of parallel computation. We briefly investigate how such an elementary parallel architecture performs, for the main computational motifs, in solving the problems of programmability, portability, flexibility, data movement between computational cells, and between cells and the main memory.
Automatic Facial Expression Recognition Based on Local Binary Patterns of Local Areas
Authors: Wei-feng Liu, Shu-juan Li, Yan-jiang Wang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Automatic facial expression recognition is one of the great challenges in facial expression recognition field. An algrithom of automatic facial expression recognition is proposed based on Local Binary Patterns of local areas (LLBP)in this work. First, theposition of eye balls is fixed by projection method. Then the local areas of the eyes and mouth’s neighbourhood could be determined through the pri-knowledge of face structure. The LBP feature on the local areas is then computed as the facial feature for facial expression recognition. Finally, the recognition experiment is conducted on the JAFFE facial database, which showd the realibility of the method proposed.
Towards Unifying Vulnerability Information for Attack Graph Construction
Authors: Sebastian Roschke, Feng Cheng, Robert Schuppenies, Christoph Meinel
Venue: Proceedings of the 12th International Conference on Information Security (2009)

Attack graph is used as an effective method to model, analyze, and evaluate the security of complicated computer systems or networks. The attack graph workflow consists of three parts: information gathering, attack graph construction, and visualization. To construct an attack graph, runtime information on the target system or network environment should be monitored, gathered, and later evaluated with existing descriptions of known vulnerabilities. The output will be visualized into a graph structure for further measurements. Information gatherer, vulnerability repository, and the visualization module are three important components of an attack graph constructor. However, high quality attack graph construction relies on up-to-date vulnerability information. There are already some existing databases maintained by security companies, a community, or governments. Such databases can not be directly used for generating attack graph, due to missing unification of the provided information. This paper challenged the automatic extraction of meaningful information from various existing vulnerability databases. After comparing existing vulnerability databases, a new method is proposed for automatic extraction of vulnerability information from textual descriptions. Finally, a prototype was implemented to proof the applicability of the proposed method for attack graph construction.
Weakly-supervised acquisition of labeled class instances using graph random walks
Authors: Partha Pratim Talukdar, Joseph Reisinger, Marius Paşca, Deepak Ravichandran, Rahul Bhagat, Fernando Pereira
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

We present a graph-based semi-supervised label propagation algorithm for acquiring open-domain labeled classes and their instances from a combination of unstructured and structured text sources. This acquisition method significantly improves coverage compared to a previous set of labeled classes and instances derived from free text, while achieving comparable precision.
Three Phase to Three Phase Matrix Converter with Rotor Field Oriented Vector Control System
Authors: Wang Jun, Li Ming
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

The working principle and space vector modulation method of matrix converter are analyzed in this paper. To provide High-performance control of induction motors and reduce the appearance of harmonics current and its impact on power grid in AC speed regulation system, the vector control system of induction motor fed by matrix converter is implemented through combing the space vector modulation of matrix converter with the rotor-field-oriented control of induction motor. Simulation results show that the drive system fed by matrix converter has both the ideal characteristics of matrix converter and good steady state,dynamic performance. That is, the proposed control scheme is effective and feasible.
The Assessment of Credibility of e-Government: Users' Perspective
Authors: Zhao Huang, Laurence Brooks, Sherry Chen
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

Electronic government is increasing worldwide; however there are still some problems which influence users' interaction with them. One of these problems is trustworthiness, which appears to be affected by whether e-government websites demonstrate their credibility. This study uses an empirical approach to evaluate credibility of e-government websites, especially at the local level in the UK. The evaluation consists of three steps: free interaction, task-based interaction and questionnaire. The results indicate that the majority of credibility problems are related to "site easy use", "site looks professional" and "site update". The value of the study is that it provides guidance for designers to improve the credibility of e-government websites.
Research on Positioning Technology of Xinjiang Mobile GIS
Authors: Gang Yin, Zhenhong Jia, Xizhong Qin, Chun Chang, Tao Li, Hao Wang, Junkai Zhao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

In this paper, the characteristics of Xinjiang mobile communication network are analyzed, the results show that for a reliable mobile communication network, BS (base station) and base station control BSC (base station controller) monitoring system, cable and fiber optic cable monitoring system and mobile communications troubleshooting and dispatching system should be built. Combined with GIS, GPS, GSM and geographic database technology, positioning technology for different targets and detection on fault point are studied, the results indicate that precise positioning of static target can accurately locate the failure telecom equipment in the electronic map and provide data source for the realization of real-time monitoring and management system for telecom equipment based on GIS & wireless sensor network technology. GSM-based wireless messaging communications and real-time fast positioning of dynamic target is the key to the emergency repair vehicles monitoring and dispatch system. The proposed fault determination and fault point location method can provide fast accurately fault devices location with detailed geography information and prompt the efficiency of fault management and improve the reliability of telecom network services. The above research results are important basis on the design and implementation of the system.
Oblique projection for source estimation in a competitive environment: Algorithm and statistical analysis
Authors: Rémy Boyer
Venue: Signal Processing (2009)

In this paper, we study the problem where the aim is to estimate the source (complex amplitude) parameter of a single signal contaminated by a structured interference (constituted by the other signals) and by a background Gaussian noise. To solve this problem, we propose an estimator based on a partially estimated oblique projection. We derive closed-form expressions of the variance of this estimator and of the Cramer-Rao bound (CRB) associated with the considered model. In particular, we show that the proposed estimator is (i) asymptotically (for large number of sensors) efficient in the sense that its variance meets the CRB for a single signal in noise and (ii) for a small of moderate number of sensors, the variance remains close to the CRB without structured interference for well separated bearings.
Optimizing Turning Parameters Based on Correlation Pruning Neural Networks
Authors: Wu Wang, Yuan-min Zhang
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

The control for turning process was a complicated problem and the suitable turning parameters are instrumental to turning process, the turning parameters optimized with artificial neural networks was proposed in this paper. Artificial neural networks was a non-linear system with strong non-linear modeling ability, but the traditional BP neural networks has many shortcomings like easily step into local minimum, with weak generalization ability and the middle layer neuron are hard to determine, so the correlation pruning algorithm was applied to resolve the problem that the hidden layer nodes of neural networks are hard to determine, the correlation of hidden layer nodes was analyzed and the algorithm was programmed, the simulation shows the methods is effective and can provide a guidance to optimizing turning parameters and turning process control.