ppxscal/embedding_network huggingface dataset:
Correlated matroids
Authors: Clifford c. Cocks
Venue: Combinatorics, Probability and Computing (2008)

Semple and Welsh [5] introduced the concept of correlated matroids, which relate to conjectures by Grimmett and Winkler [2], and Pemantle [4], respectively, that the uniformly random forest and the uniformly random connected subgraph of a finite graph have the edge-negative-association property. In this paper, we extend results of Semple and Welsh, and show that the Grimmett and Winkler, and Pemantle conjectures are equivalent to statements about correlated graphic matroids. We also answer some open questions raised in [5] regarding correlated matroids, and in particular show that the 2-sum of correlated matroids is correlated.
Photo displays in the home
Authors: Laurel Swan, Alex S. Taylor
Venue: Proceedings of the 7th ACM conference on Designing interactive systems (2008)

This paper examines an under explored area of digital photography, namely photo display. Using examples from a study undertaken with six families, we examine photo displays on mantelpieces, sideboards, and hallway walls, and in homeoffices. Using the examples, we make a case relating to the material properties of photo displays, suggesting that families routinely (and often unintentionally) express something of themselves in the ways they display their photos. The very ideas of family and home, we suggest, are tightly interwoven with the methods of photo display. This position is used to offer up some early design considerations for digital photo displays. We outline some basic properties that might be designed around and contend that the ideas of family and home impose constraints on which of these properties might be best combined and exploited. We also present three design concepts to illustrate how we have been developing this position.
Simulated annealing procedure for on-line control with process dynamics
Authors: Shihyu Chou, Min-Chiang Wang
Venue: International Journal of Systems Science (2007)

We study the problem of economic design for a control policy where the sampling interval (m) and control limit (d) are determined by minimizing the expected total quality costs. In this article, we propose a simulated annealing scheme applicable to an economic design for a control policy where the disturbances can follow the autoregressive integrated moving average (ARIMA) processes and obtain the optimum d and m. Numerical investigations are conducted for a system with a first-order dynamics subjected to an IMA (1,1), and an ARI (1,1) random disturbance. The performance of the proposed simulated annealing scheme is very promising and compares favorably to other methods.
A Study of Protein Secondary Structure Hydrogen Bonds under Oxidizing Conditions
Authors: Christopher M. Wood, H. J. Kadim
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

Molecular simulations show that hydrogen bond energies are stable between oxidized and unoxidized variants of the same protein, and that, consequentially, the secondary-structure elements are stable. Whilst there is no change in the energy of hydrogen bonds, it is shown that oxidation increases the number of hydrogen bonds between the oxidized histone octamer and its solvation layer. This analysis shows that GSNO-driven oxidation influences the tertiary structure of a protein by modulating hydrogen bond structure, rather than hydrogen bond energies. The active molecule derived from GSNO is nitric oxide (NO), which is an important effector molecule in the redox-signalling pathway. We believe that this model of hydrogen bond structure modulation, rather than hydrogen bond energy, plays an important role in the redox-signalling pathway, where GSNO/NO are the effector molecules.
An Efficient Scheme for Joint Equalization and Interference Cancellation in Distributed Cooperative Diversity Networks
Authors: Qi Jia, Tiejun Lv, Gong Ping
Venue: Proceedings of the Communication Networks and Services Research Conference (2008)

This paper presents a new scheme of joint equalization and interference cancellation by single carrier frequency domain equalization (SC-FDE) for Alamouti-like space-time block-coded (STBC) transmissions in distributed cooperative diversity networks with frequency-selective fading channels. The communication process in this scheme followed that the source terminal adopted broadcasting mode to communicate with the relay terminals and the destination terminals during the first and third time slots. The destination terminals implemented maximum ratio combining (MRC) after performing SC-FDE. Exploiting the broadcasting mode can obtain more mutual information than non-broadcasting mode. MRC operation can make full use of all the transmitted information from the source terminals and the relay terminals to obtain more diversity gains. With one source equipped with a single relay, the proposed scheme was verified could obtain significant diversity gains and better BER performance than the existing cooperative diversity communication which combines the Alamouti-like STBC and SC-FDE via simulations.
On Mining Movement Pattern from Mobile Users
Authors: David Taniar, John Goh
Venue: International Journal of Distributed Sensor Networks (2007)

In the era in which activities performed by mobile users are tracked through various sensing mechanisms, the movement data collected through these sensors is submitted into a data mining algorithm in order to determine the movement pattern. The movement pattern refers to the pattern that mobile users generally take to move from one base location to another base location through multiple intermediate locations. This paper provides a proposal and case study on how the movement pattern can be extracted from mobile users through transforming the user movement database to the location movement database and subsequently transferred to an algorithm Apriori-like movement pattern (AMP) and movement tree (M-tree). The result is a list of sequences in which mobile users frequently go through that which satisfies min-support and min-confidence. The result of this movement pattern mining exercise opens up a new future for the prediction of the movement for the individual mobile user.
Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation
Authors: Michael Short, Michael J. Pont
Venue: Journal of Systems and Software (2008)

Sensor-based driver assistance systems often have a safety-related role in modern automotive designs. In this paper we argue that the current generation of ''Hardware in the Loop'' (HIL) simulators have limitations which restrict the extent to which testing of such systems can be carried out, with the consequence that it is more difficult to make informed decisions regarding the impact of new technologies and control methods on vehicle safety and performance prior to system deployment. In order to begin to address this problem, this paper presents a novel, low-cost and flexible HIL simulator. An overview of the simulator is provided, followed by detailed descriptions of the models that are employed. The effectiveness of the simulator is then illustrated using a case study, in which we examine the performance and safety integrity of eight different designs of a representative distributed embedded control system (a throttle- and brake-by-wire system with adaptive cruise control capability). It is concluded that the proposed HIL simulator provides a highly effective and low-cost test environment for assessing and comparing new automotive control system implementations.
Comments on "segment shared protection in mesh communication networks with bandwidth guaranteed tunnels"
Authors: Hongbin Luo, Hongfang Yu, Lemin Li
Venue: IEEE/ACM Transactions on Networking (TON) (2007)

In this Comment, two typos in Ho et al., 2004, "Segment Shared Protection in Mesh Communication Networks With Bandwidth Guaranteed Tunnels", are pointed out. These typos may puzzle readers or prevent them from correctly understand this paper. In the second part of this Comment, we present corrections to the typos.
Automatic Aerodynamic and hydrodynamic Design Based on Simulation and Evolution
Authors: Fernando López Peña, Vicente Díaz Casás, Richard J. Duro
Venue: Proceedings of the Tenth International Conference on Computer Modeling and Simulation (2008)

This paper describes an automatic design environment based on simulation and evolution that has been tailored to be suitable for aerodynamic and hydrodynamic engineering design. Discussions of its application to various case studies are presented.
Structural Videotext Regions Completion with Temporal-Spatial Consistency
Authors: Tsung-Han Tsai, Chih-Lun Fang
Venue: Proceedings of the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008) (2008)

With the rapid speed of spreading video content, some videotext exists in the video content. Usually some videotext is the advertisements and it is not needed for some people. Most video completion methods deal with the object removing or broken regions occurring when the object is undesired or original video is broken. But few methods can handle the completion of the original region occupied by motion videotext well since the complex background of motion videotext. Most existing algorithm took a lot computation time for video completion. However, the completed region should be generated as soon as possible based on the real-time consideration. In this paper, we propose a fast and regular structural videotext region completion method to recover the original structural region occupied by the scrolling videotexts. We utilize the characteristic of the canny edge map of frames to form structural edge in the occupied region with temporal consistency. The spatial texture region completion is carried out by our proposed video gradient interpolation approach. We have completed the whole system and the experimental results show that all of the horizontal and vertical scrolling videotexts can be completed well.
Sensitivity of change vector analysis to land cover change in an arid ecosystem
Authors: Sánchez E. Flores, S. R. Yool
Venue: International Journal of Remote Sensing (2007)

Remote sensing technology can provide timely, accurate information about land cover changes in arid ecosystems particularly vulnerable to human activities. For this study we used decadal Landsat 4 Thematic Mapper (TM) and Landsat 7 Enhanced Thematic Mapper Plus (ETM+) data, to track land cover changes in the arid Pinacate Biosphere Reserve (PBR), Sonora, Mexico between 1989 and 1999. We selected Change Vector Analysis (CVA) to exploit the full range of spectral information contained in the satellite data in order to identify the magnitude and direction of change. We referenced change magnitude and direction to brightness, greenness and wetness axes of the Kauth-Thomas transform. Results are enhanced by incorporating colatitude direction as another vector in the wetness-brightness axis. We found southeast and southwest portions of the study area were changing most rapidly, probably due to grazing outside the PBR. Though no significant changes were detected within the protected area, landscape dynamics exposed with this approach could, however, serve to establish connections with other ecological processes occurring in the PBR.
Simulating winter wheat development response to temperature: Modifying Malo's exponential sine equation
Authors: Longhui Li, Gregory S. McMaster, Qiang Yu, Jun Du
Venue: Computers and Electronics in Agriculture (2008)

Predicting crop developmental events is fundamental to simulation models and crop management decisions. Many approaches to predict developmental events have been developed, however, most only simulate the mean time for reaching a developmental event. An exponential sine equation developed by Malo [Malo, J.E., 2002. Modelling unimodal flowering phenology with exponential sine equation. Funct. Ecol. 16, 413-418] to predict flower number over time was modified to incorporate the response of crop development rate to temperature. The revised model (ExpSine model) uses the base, optimum, and maximum cardinal temperatures specific to a crop or genotype. Most model parameters were estimated from the literature, and four of the five model parameters have physiological significance. Model evaluation for winter wheat (Triticum aestivum L.) was based on two controlled environment studies from the literature and two field experiments conducted in the North China Plain (NCP) and the Tibet Plateau (TPC). The r^2 for the modified temperature response function was 0.74 and 0.91 for two different experiments and compared very well (identical mean r^2's) to an existing function (Beta model) [Yin, X., Kropff, M.J., McLaren, G., Visperas, R.M., 1995. A nonlinear model for crop development rate as a function of temperature. Agric. Forest Meteorol. 77, 1-16]. Differences between observed and predicted flowering dates ranged from -2 to 3 days in the NCP and from -7 to 4 days on the TPC, with the mean percent error in both sites less than 1% and no apparent bias observed in the model. This modification of Malo's exponential sine equation expanded the predictive ability of the original equation to simulate phenology across a broader range of environments. The ExpSine model developed can be used as a phenological module in various crop or ecological simulation models.
A GPU-based light hierarchy for real-time approximate illumination
Authors: Hyunwoo Ki, Kyoungsu Oh
Venue: The Visual Computer: International Journal of Computer Graphics (2008)

Illumination rendering, including environment lighting, indirect illumination, and subsurface scattering, plays an important role in many graphics applications such as games and VR systems. However, it is difficult to run in real-time due to its highly computational cost. We introduce a GPU-based light hierarchy for real-time approximation of the illumination. We store virtual point lights in images and then build the view-independent hierarchy of the lights into image pyramids, with a simple and rapid clustering strategy. We approximate the illumination with small numbers of groups of lights instead of large numbers of individual lights, using a new tree traversal algorithm on programmable graphics hardware. Although we implemented our method without occlusion, we obtained visually good results in many cases. Entire steps run on programmable graphics hardware in real-time without any preprocessing.
Movement-based checkpointing and logging for failure recovery of database applications in mobile environments
Authors: Sapna E. George, Ing-Ray Chen
Venue: Distributed and Parallel Databases (2008)

In this paper, we present an efficient failure recovery scheme for mobile database applications based on movement-based checkpointing and logging. Current approaches take checkpoints periodically without regard to the mobility behavior of mobile users. Our movement-based checkpointing scheme takes a checkpoint only after a threshold of mobility handoffs has been exceeded. The optimal threshold is governed by the failure rate, log arrival rate, and the mobility rate of the mobile host. This allows the tuning of the checkpointing rate on a per-user basis. We identify the optimal movement threshold which will minimize the recovery cost per failure as a function of the mobile node's mobility rate, failure rate and log arrival rate. We derive the mobile database application recoverability, i.e., the probability that the recovery can be done by a specified recovery time deadline. Numeric data are presented to demonstrate the feasibility of our approach with its applicability given.
Stabilized boundary element methods for exterior Helmholtz problems
Authors: S. Engleder, O. Steinbach
Venue: Numerische Mathematik (2008)

In this paper we describe and analyze some modified boundary element methods to solve the exterior Dirichlet boundary value problem for the Helmholtz equation. As in classical combined field integral equations also the proposed approach avoids spurious modes. Moreover, the stability of related modified boundary element methods can be shown even in the case of Lipschitz boundaries. The proposed regularization is done based on boundary integral operators which are already included in standard boundary element formulations. Numerical examples are given to compare the proposed approach with other already existing regularized formulations.
Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development
Authors: Ji Eun Kim, Rahul Kapoor, Martin Herrmann, Jochen Haerdtlein, Franz Grzeschniok, Peter Lutz
Venue: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (2008)

Component Based Software Development (CBSD) has been established in the development of automotive real-time embedded applications at Bosch. CBSD together with Software Product Line (SPL) practice has improved software reuse, productivity, quality and complexity management, by raising the level of abstraction for software constructions and by sharing services. Although CBSD has contributed to the aforementioned improvement in the software development practice, the existing Bosch component model often requires software developers to take a close look at the implementation including models (e.g., ASCET-MD ) and even complex source code to understand software behavior and dependencies when reusing and adapting software components. This hinders the realization of the full benefits of CBSD, as the available information on the component level does not sufficiently describe important aspects of software behavior. This paper presents the concepts and case studies of ‘signal flows’ and ‘mode dependent signal flows’, which provide crucial software behavior information for real time embedded systems at the component level.
Provisioning for Dynamic Instantiation of Community Services
Authors: Li Qi, Hai Jin, Ian Foster, Jarek Gawor
Venue: IEEE Internet Computing (2008)

On-demand provisioning can allow collaborative communities to rapidly deploy the services required to support collaboration, without the need to acquire and operate dedicated hardware. To meet community needs for on-demand access, while also maximizing global availability and runtime efficiency, the authors propose service-, container-, node-, and VO-level provisioning approaches based on a highly available dynamic deployment infrastructure. Their experiments with an image-processing application demonstrate their approach's efficiency and effectiveness.
Determination of influential factors and diagnostics using multivariate statistical relationships between variables and faults
Authors: Hyun-Woo Cho, Kwang-Jae Kim, Myong K. Jeong
Venue: Expert Systems with Applications: An International Journal (2008)

This paper proposes a variable influence (VI) index-based on-line method for diagnosing discontinuous processes. The VI index is developed using the concept of contribution plots, and can be used to explain the influence of a process variable on a specific fault. The proposed method consists of two phases: off-line VI model-building and on-line diagnosis via VI index comparison. In the off-line VI model-building phase, the off-line VI model is constructed using off-line fault data and used as a reference model for the on-line diagnosis of a new batch. The on-line diagnosis phase is triggered by an out-of-control signal of a new batch. It calculates the VI index values for new process data available at that time, which are compared with the off-line VI index values of the off-line VI model stored in the data/model base. The proposed method has the advantage that it does not require any process knowledge of operators and can automatically select an assignable cause via the comparison of VI index values. A case study on a PVC batch process is conducted to demonstrate the diagnosis performance of the proposed method. The performance of the proposed method is also evaluated when an on-line mode is not considered in the proposed framework.
Disaster Information Service System for Relief Activities Using Ad-Hoc Network A Network Construction Algorithm and Results of Field Experiments
Authors: Kanae Sakamoto, Misako Urakami, Tetsuya Shigeyasu, Hiroshi Matsuno
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

Safety information of evacuee is the most important information in relief activities in a disaster such as earthquake. We have been developing an autonomous disaster information service system using ad-hoc networks that is constructed after the occurrence of a disaster, providing safety information of evacuee in safe shelters. This paper proposes an algorithm to compute a network of safe shelters based on geographical conditions such as distances, altitudes and arrangements of mountains and buildings in the distressed area. In addition, we report the results of field experiments conducted in a small urban area aiming at testing automatic routing function of the wireless router used in our research.
Multivariate Markov-switching ARMA processes with regularly varying noise
Authors: Robert Stelzer
Venue: Journal of Multivariate Analysis (2008)

The tail behaviour of stationary R^d-valued Markov-switching ARMA (MS-ARMA) processes driven by a regularly varying noise is analysed. It is shown that under appropriate summability conditions the MS-ARMA process is again regularly varying as a sequence. Moreover, it is established that these summability conditions are satisfied if the sum of the norms of the autoregressive parameters is less than one for all possible values of the parameter chain, which leads to feasible sufficient conditions. Our results complement in particular those of Saporta [Tail of the stationary solution of the stochastic equation Y"n"+"1=a"nY"n+b"n with Markovian coefficients, Stochastic Process. Appl. 115 (2005) 1954-1978.] where regularly varying tails of one-dimensional MS-AR(1) processes coming from consecutive large values of the parameter chain were studied.
Qualitative analysis of visualization: a building design field study
Authors: Melanie Tory, Sheryl Staub-French
Venue: Proceedings of the 2008 conference on BEyond time and errors: novel evaLuation methods for Information Visualization (2008)

We conducted an ethnographic field study examining the ways in which building design teams used visual representations of data to coordinate their work. Here we describe our experience with this field study approach, including both quantitative and qualitative analysis of field study data. Conducting a field study enabled us to effectively examine real work practice of a diverse team of experts, which would have been nearly impossible in a laboratory study. We also found that structured qualitative analysis methods provided deeper insight into our results than our initial quantitative approach. Our experience suggests that field studies and qualitative analysis could have substantial benefit in visualization and could nicely complement existing quantitative laboratory studies.