ppxscal/embedding_network huggingface dataset:
YAO: A Software for Variational Data Assimilation Using Numerical Models
Authors: Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie Thiria
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observations. The gradient based minimization methods require the multiplication of the transpose jacobian matrix (adjoint model), which is of huge dimension, with the derivative vector of the cost function at the observation points. We present a method based on a modular graph concept and two algorithms to avoid these expensive multiplications. The first step of the method is a propagation algorithm on the graph that allows computing the output of the numerical model and its linear tangent, the second is a backpropagation on the graph that allows the computation of the adjoint model. The YAO software implements these two steps using appropriate algorithms. We present a brief description of YAO functionalities.
Information Sharing System for Maintenance of Sewage Facilities
Authors: Takashi Okamoto
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

There are many cases which entrust the operation and maintenance of public facilities to private sectors or organizations in recent years. The main purpose of the consignment is cost reduction. The sewage facilities are the representatives of such consignment. Although such consignment lowers expense in the short term by reduction of labor cost, there would be a risk of increasing expense of the public service from a long-term viewpoint. That is, this comprehensive private consignment has an agency problem. This paper points out the effectiveness of information sharing systems for improving asymmetry of information, and the necessity for standardization of information and widening the area. This paper proposed the one direction of the systems, that is, utilizing Web2.0 technologies.
User-Centered Evaluation of the Responsiveness of Applications
Authors: Gerd Waloszek, Ulrich Kreichgauer
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

This paper presents an approach to evaluating the responsiveness of soft ware applications from a 'user's perspective, which has been developed and applied at SAP AG, Ger many, a leading manufacturer of business soft ware. The approach is based on human time ranges and compares actual with toler able response times, mea sured using standardized application scenarios.
The Effectiveness of Passport Source Address Validation Scheme
Authors: Ning-ning Lu, Hua-chun Zhou, Hong-ke Zhang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Passport is a new secure and adoptable source address validation technique, which has attracted fully attention. In this article, we research into the efficiency of Passport. First of all, we build a mathematical model to describe Passport’s function, then propose an evaluating indexes, at last we use Brite generate a Power-Law network topology and design correlative algorithm to quantitative analysis Passport’s efficiency. The study shows that: (1) Comparing with randomly deploying, the efficiency of Vertex Cover deploying is even higher; (2) Only deploying Passport in 54.3% AS can effectively defend the whole Internet against source address spoofing, although Passport will still cause large overload, it has been the most effectiveness source address validation scheme at recently.
New System of Quasi-variational-Like Inclusions Involving Monotone Operators in General Banach Spaces
Authors: Ni Renxing
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

A new system of set-valued quasi-variational-like inclusions (in short, QVLI) involving H-n-monotone operators is introduced and studied in general Banach spaces without uniform smoothness. Moreover, A new iterative algorithm to find the approximation solutions of the QVLI is suggested and analyzed. It is proved that the iterative sequences generated by the algorithm converge strongly to the exact solution of the QVLI under suitable assumptions. These new results extend and improve the corresponding ones in this field.
Packet Loss Pattern and Parametric Video Quality Model for IPTV
Authors: Fenghua You, Wei Zhang, Jun Xiao
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

This paper proposes a packet-layer parametric quality of experience (QoE) oriented model for IPTV service over next generation communication system. It is a model that based on the ITU-T G.1070 video quality model, whose video quality parameters can be adjusted for IPTV applications. In the paper, three metrics for evaluation of the packet loss burst are introduced for the enhancement of ITU G.1070 model. The experiment results show that the proposed model, T-model, correlates quite well with subjective opinion of IPTV video quality, and the results also prove that T-model, by considering packet loss pattern of the network, is more accurate for estimate of the video quality than standard ITU-T G.1070 video model.
Construction of explicit and implicit dynamic finite difference schemes and application to the large-eddy simulation of the Taylor-Green vortex
Authors: Dieter Fauconnier, Chris De Langhe, Erik Dick
Venue: Journal of Computational Physics (2009)

A general class of explicit and implicit dynamic finite difference schemes for large-eddy simulation is constructed, by combining Taylor series expansions on two different grid resolutions. After calibration for Re->~, the dynamic finite difference schemes allow to minimize the dispersion errors during the calculation through the real-time adaption of a dynamic coefficient. In case of DNS resolution, these dynamic schemes reduce to Taylor-based finite difference schemes with formal asymptotic order of accuracy, whereas for LES resolution, the schemes adapt to Dispersion-Relation Preserving schemes. Both the explicit and implicit dynamic finite difference schemes are tested for the large-eddy simulation of the Taylor-Green vortex flow and numerical errors are investigated as well as their interaction with the dynamic Smagorinsky model and the multiscale Smagorinsky model. Very good results are obtained.
Secure network coding for wireless mesh networks: Threats, challenges, and directions
Authors: Jing Dong, Reza Curtmola, Cristina Nita-Rotaru
Venue: Computer Communications (2009)

In recent years, network coding has emerged as a new communication paradigm that can significantly improve the efficiency of network protocols by requiring intermediate nodes to mix packets before forwarding them. Recently, several real-world systems have been proposed to leverage network coding in wireless networks. Although the theoretical foundations of network coding are well understood, a real-world system needs to solve a plethora of practical aspects before network coding can meet its promised potential. These practical design choices expose network coding systems to a wide range of attacks. We identify two general frameworks (inter-flow and intra-flow) that encompass several network coding-based systems proposed in wireless networks. Our systematic analysis of the components of these frameworks reveals vulnerabilities to a wide range of attacks, which may severely degrade system performance. Then, we identify security goals and design challenges in achieving security for network coding systems. Adequate understanding of both the threats and challenges is essential to effectively design secure practical network coding systems. Our paper should be viewed as a cautionary note pointing out the frailty of current network coding-based wireless systems and a general guideline in the effort of achieving security for network coding systems.
Characterization and Fabrication of Novel Micromachined Electrode for BSN-Based Vital Signs Monitoring System
Authors: D. G. Guo, Francis E. H. Tay, L. Xu, L. M. Yu, M. N. Nyan, F. W. Chong, K. L. Yap, B. Xu
Venue: Proceedings of the 2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks (2009)

A novel micromachined electrode is designed and fabricated for a BSN-based vital signs monitoring system. Both theoretical calculation and ANSYS simulation show that buckling problem will not occur for the proposed microneedles during insertion process. The BSN-based vital signs routine monitoring system, which comprises of wireless mote, analog amplifier circuit board and SpO2 (Saturation of Arterial Oxygen) probe, is able to measure physiological signs in real time and with minimum disturbance on quality of life. The proposed device is easy to wear and convenient to use. Using a dock with ZigBee adapter, a PDA phone can communicate with the mote and then display the ECG/PPG waveforms as well as the important indices of vital signs, such as heart beat rate, SpO2 value and systolic blood pressure.
Software Engineering for Spreadsheets
Authors: Martin Erwig
Venue: IEEE Software (2009)

Spreadsheets are popular end-user programming tools. Many people use spreadsheet-computed values to make critical decisions, so spreadsheets must be correct. Proven software engineering principles can assist the construction and maintenance of dependable spreadsheets. However, how can we make this practical for end users? One way is to exploit spreadsheets' idiosyncratic structure to translate software engineering concepts such as type checking and debugging to an end-user programming domain. The simplified computational model and the spatial embedding of formulas, which provides rich contextual information, can simplify these concepts, leading to effective tools for end users.
Construction of Strategic HRM Platform Based on the SaaS Model
Authors: Li Jing, Zhang Chunying
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

Based on the analysis of the situation of human resources and the development of human resource management informatization in SMEs (Small and medium-sized enterprises) in Tianjin Binhai New Area, this paper puts forward the necessity of constructing the platform of strategic human resources management. With the unified planning as the principle and the public services as the core, the concept of SaaS (Software as a Service) mode is brought into the strategic HRM (human resources management) platform to carry out demand analysis and to raise the overall framework so as to integrate and configure the human resources of Tianjin Binhai New Area. The platform is established from the perspective of the public through the Government's business process reengineering and public human resources integration, so it plays a strategic role in Tianjin Binhai New Area.
Research on Iterative Algorithm of Parameter Identification for Two Order Distributed Parameter System
Authors: Liequan Liang, Xuan Zhou
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

An iterative algorithm based on orthogonal function of parameter identification for distributed parameter system is proposed in this paper, which includes the initial condition and boundary condition to improve identification precision and keep the spatial distributed characteristic. During iterative process, a new uniform method based on block pulse function (BPF) is used to deriving the integral operational matrix, which is a kind of orthogonal function transfer used to transfer the two order partial differential equation to algebra equation. The parameter identification method is simple and easy to compute. The simulation result indicates that this method can meet the demand on real-time and precision of control system.
Resource-and-time-aware test strategy for configurable quaternary logic blocks
Authors: Érika Cota, Luigi Carro, Felipe Pinto, Ricardo Reis, Marcelo Lubaszewski
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

The use of quaternary logic has been presented as a cost-effective solution to tackle the increasing area and power consumption of million-gate systems. This paper discusses the problem of testing a configurable logic block based on quaternary logic assuming a catastrophic fault model. We then analyze a possible test strategy in terms of number of test configurations and test vectors. Our preliminary results show that, for the most common faults, the resulting test cost for this new design paradigm can be very competitive.
Multi-Objective Control and Potential Application for Chaotic Connected Complex Networks
Authors: Jin-Qing Fang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

A global linear coupling and combined with local feedback method is proposed to realize multi-objective control method for any chaotic connected complex network. Beam transport network and Lorenz chaotic connected network are taken as two typical examples to show the method effectiveness and potential of applications.
Inspection of Rice Appearance Quality Using Machine Vision
Authors: Qing Yao, Jianhua Chen, Zexin Guan, Chengxiao Sun, Zhiwei Zhu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Characteristics of rice appearance quality are very important to evaluate rice quality and pricing. The normal method for determining rice quality is based on manual inspection which is an inefficient way and resulting in unconstant outcomes. Thus, we developed an automatic system relying on the machine vision which allowed us evaluate rice appearance quality including rice chalkiness and shape. In our system, contacting angle analysis method was used for separating the contacting rice grains. Improved multi-threshold method based on maximum entropy was used for inspecting rice chalkiness. Minimum enclosing rectangle method was used for evaluating rice shape. The outcomes of inspection for 21 rice varieties showed that our system was an objective and effective way for inspecting rice appearance quality.
Deployment and Evaluation of a Wireless Mesh Network
Authors: Ali Hamidian, Claudio E. Palazzi, Tin Y. Chong, Juan M. Navarro, Ulf Korner, Mario Gerla
Venue: Proceedings of the 2009 Second International Conference on Advances in Mesh Networks (2009)

Wireless Mesh Networks (WMNs) have the potentialities to greatly penetrate the marketplace in the next decade. They can be considered a hybrid between wireless infrastructure and ad-hoc networks; no other network infrastructure is needed other than the mesh points, thus providing flexibility in building and expanding the network, allowing for automatic discovery of neighboring nodes, increased reliability and redundancy. In this work, we discuss how WMNs can be practically employed to support communications in an office-wide area. To this aim, we have deployed a real WMN testbed utilizing state-of-the-art technology and analyzed the performance of this architecture when supporting multihop heterogeneous traffic.
Nonlinear Simulation of Gear Transmission System
Authors: Shaobin Li
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Nonlinear dynamic model of a gear transmission system is developed, in which time-varying gear meshing stiffness, errors, and gaps are considered. This model has included the meshing impact in the gear meshing. The meshing impact part is relevant with the gear errors, time-varying stiffness, and the gaps. The model is solved by numerical methods. The calculation results are represented by the time domain diagram, frequency domain diagram, phase plot, and Poincaré map. By the results the basic characteristics of the system and the systematic parameters' influences on the dynamic properties have been discussed. The fundamental rules of the system's multi-harmonic dynamic response have been obtained based on the time domain diagram, frequency domain diagram, phase plot, and Poincaré map. Therefore, estimation of the dynamic response can be realized in the period of the system design.
Orthogonal Pulses Optimization in High Data Rate UWB System
Authors: Yincheng Qi, Jian Zhia, Cunxia Di
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In this paper, we propose a high data rate UWB system with optimization of orthogonal pulses. The system is consists of several parallel transmitting branches, and the orthogonal pulses are used in each parallel branch. The receiver uses the orthogonal pulses as the correlated template to receive the transmitted signal. PPM and PSM are combined in the proposed system, which using orthogonal Hermite pulses as PSM and using each orthogonal pulse as PPM. We use Least Area Criteria (LAC) as the optimization criterion in the system. Simulation results demonstrate that this system can not only meet the FCC spectral mask using optimization of orthogonal pulses, but also have a better performance of high data rate than others in the same conditions.
Comparison of Access Policies for Replica Placement in Tree Networks
Authors: Anne Benoit
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

In this paper, we discuss and compare several policies to place replicas in tree networks subject to server capacity. The server capacities and client requests are known beforehand, while the number and location of the servers are to be determined. The standard approach in the literature is to enforce that all requests of a client be served by a single server in the tree (Single). One major contribution of this paper is to assess the impact of a new policy in which requests of a given client can be processed by multiple servers (Multiple), thus distributing the processing of requests over the platform. We characterize problem instances for which Multiple cannot be more than two times better than the optimal Single solution, if this latter exists. For such instances, we provide a procedure which builds a Single solution with a guarantee on its cost. This is a very interesting result for applications which do not accept multiple servers for a given client, since it might be more difficult to implement such a complex strategy.
KEI-Time Traveler: A Virtual Time Machine with Mobile Phones for Learning Local History
Authors: Hiroyuki Tarumi, Keitaro Yamada, Takafumi Daikoku, Fusako Kusunoki, Shigenori Inagaki, Makiko Takenaka, Toshihiro Hayashi, Masahiko Yano
Venue: Transactions on Edutainment II (2009)

KEI-Time Traveler is a kind of "virtual time machine" that requires only commercially available mobile phones with no hardware attachment. In reality, KEI-Time Traveler presents graphical images of a past scene within a given area, viewed from the location measured using GPS and with arbitrary viewing angles. Users can explore a virtual past world using this system. A promising application of KEI-Time Traveler is edutainment. We applied it for learning activities with a group of 34 junior high school students. They virtually visited a world of 1938, when a severe landslide disaster occurred. They were able to compare conditions now and in the past directly at places with which they were familiar. The design approach and evaluation of our edutainment practice are described herein. Technically, the system uses 3D-model-based graphics that can be updated continually. From an educational perspective, students truly enjoyed the experience. It was not merely fun: our system raised their motivation to learn about disaster prevention. We confirmed the edutainment effect based on evidence: user responses and recordings of their experiences.
Large-coverage root lexicon extraction for Hindi
Authors: Cohan Sujay Carlos, Monojit Choudhury, Sandipan Dandapat
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

This paper describes a method using morphological rules and heuristics, for the automatic extraction of large-coverage lexicons of stems and root word-forms from a raw text corpus. We cast the problem of high-coverage lexicon extraction as one of stemming followed by root word-form selection. We examine the use of POS tagging to improve precision and recall of stemming and thereby the coverage of the lexicon. We present accuracy, precision and recall scores for the system on a Hindi corpus.
Estimating Bounds on Expected Plateau Size in MAXSAT Problems
Authors: Andrew M. Sutton, Adele E. Howe, L. Darrell Whitley
Venue: Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics (2009)

Stochastic local search algorithms can now successfully solve MAXSAT problems with thousands of variables or more. A key to this success is how effectively the search can navigate and escape plateau regions. Furthermore, the solubility of a problem depends on the size and exit density of plateaus, especially those closest to the optimal solution. In this paper we model the plateau phenomenon as a percolation process on hypercube graphs. We develop two models for estimating bounds on the size of plateaus and prove that one is a lower bound and the other an upper bound on the expected size of plateaus at a given level. The models' accuracy is demonstrated on controlled random hypercube landscapes. We apply the models to MAXSAT through analogy to hypercube graphs and by introducing an approach to estimating, through sampling, a key parameter of the models. Using this approach, we assess the accuracy of our bound estimations on uniform random and structured benchmarks. Surprisingly, we find similar trends in accuracy across random and structured problem instances. Less surprisingly, we find a high accuracy on smaller plateaus with systematic divergence as plateaus increase in size.
Symmetric architecture modeling with a single image
Authors: Nianjuan Jiang, Ping Tan, Loong-Fah Cheong
Venue: ACM Transactions on Graphics (TOG) (2009)

We present a method to recover a 3D texture-mapped architecture model from a single image. Both single image based modeling and architecture modeling are challenging problems. We handle these difficulties by employing constraints derived from shape symmetries, which are prevalent in architecture. We first present a novel algorithm to calibrate the camera from a single image by exploiting symmetry. Then a set of 3D points is recovered according to the calibration and the underlying symmetry. With these reconstructed points, the user interactively marks out components of the architecture structure, whose shapes and positions are automatically determined according to the 3D points. Lastly, we texture the 3D model according to the input image, and we enhance the texture quality at those foreshortened and occluded regions according to their symmetric counterparts. The modeling process requires only a few minutes interaction. Multiple examples are provided to demonstrate the presented method.